Kvant Math Problem 1149
Consider two rays $p$ and $q$ with vertices $P$ and $Q$, respectively.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m40s
Source on kvant.digital
Problem
On the plane, two rays $p$ and $q$ with vertices at points $P$ and $Q$, respectively, are given. Two circles—one with its center on ray $p$ passing through point $P$, and the other with its center on ray $q$ passing through $Q$—are externally tangent to each other at point $M$. Find the set of points $M$.
V. V. Shabunin
Exploration
Consider two rays $p$ and $q$ with vertices $P$ and $Q$, respectively. On ray $p$ we select a point $O_1$ to be the center of a circle passing through $P$, and on ray $q$ we select a point $O_2$ to be the center of a circle passing through $Q$. These two circles are externally tangent at a point $M$. If $M$ coincides with $P$, the circle centered at $O_1$ would have zero radius, which is impossible for an external tangency, so $M \neq P$ and $M \neq Q$. Denote the radius of the first circle as $r_1 = |O_1 P|$ and of the second as $r_2 = |O_2 Q|$. The tangency condition implies $|O_1 O_2| = r_1 + r_2$. The vectorial or coordinate approach suggests examining the locus of $M$ as $O_1$ and $O_2$ move along the rays while maintaining the tangency condition. A preliminary observation suggests that the locus of $M$ might form a curve similar to a hyperbola or straight line that "connects" the rays in a symmetric way, because the sum of distances from $M$ to $O_1$ and $O_2$ equals $|O_1 O_2|$, reminiscent of an Apollonius circle construction. Testing small angles between rays and placing $P$ and $Q$ at the origin for convenience produces an envelope of points that resembles a circle arc passing near $P$ and $Q$.
The critical difficulty is expressing $M$ explicitly in terms of points on the rays. The hardest part is proving that the locus is exactly one circle and not some other curve or collection of points.
Problem Understanding
The problem asks for the set of all points $M$ where two circles, each with a center constrained to a ray and passing through the vertex of that ray, are externally tangent. This is a Type A problem: "Find all points $M$." The core difficulty is describing the locus of $M$ rigorously, as it depends on two moving centers along two rays, constrained by the external tangency. Intuitively, the locus is a circle determined by $P$ and $Q$ and the directions of the rays, because the distance from $M$ to the centers adds to a constant and the centers lie along fixed lines through $P$ and $Q$. Denote the rays by vectors $\vec{u}$ and $\vec{v}$; the center $O_1$ lies on $P + \lambda \vec{u}$, and $O_2$ on $Q + \mu \vec{v}$, giving a linear parametrization of the centers. The locus $M$ must satisfy $|M - O_1| + |M - O_2| = |O_1 - O_2|$ for some $\lambda, \mu > 0$, suggesting a circle through $P$ and $Q$. Preliminary sketches support this.
Proof Architecture
Lemma 1: For points $O_1$ and $O_2$ on rays $p$ and $q$ passing through $P$ and $Q$, respectively, the condition $|O_1 M| + |O_2 M| = |O_1 O_2|$ characterizes the external tangency. Sketch: This is the definition of two externally tangent circles with centers $O_1, O_2$ and radii $|O_1 P|, |O_2 Q|$.
Lemma 2: For $M$ to satisfy the tangency condition, $M$ lies on the circle with diameter $PQ$, rotated appropriately depending on the rays' directions. Sketch: Parametrize $O_1 = P + \lambda \vec{u}$, $O_2 = Q + \mu \vec{v}$; the tangency gives a linear relation between $\lambda$ and $\mu$, yielding a quadratic condition for $M$ whose locus is a circle.
Lemma 3: Every point on this circle can be realized by some choice of $\lambda, \mu > 0$, i.e., all points of the circle are attainable as tangency points. Sketch: Solve the linear system parametrically for $\lambda, \mu$ in terms of $M$ on the circle and verify positivity conditions.
The hardest step is Lemma 3, verifying that every point on the constructed circle indeed corresponds to positive $\lambda$ and $\mu$, ensuring centers lie on the rays in the correct direction.
Solution
Let rays $p$ and $q$ have vertices $P$ and $Q$, and let $\vec{u}$ and $\vec{v}$ be unit vectors along these rays. Denote centers of the circles as $O_1 = P + \lambda \vec{u}$ and $O_2 = Q + \mu \vec{v}$ with $\lambda, \mu > 0$, and radii $r_1 = |O_1 P| = \lambda$, $r_2 = |O_2 Q| = \mu$. The external tangency at $M$ implies
$$|M - O_1| + |M - O_2| = r_1 + r_2 = \lambda + \mu.$$
If we denote vectors from $M$ to the vertices as $\vec{MP} = M - P$ and $\vec{MQ} = M - Q$, then $|M - O_1| = |M - P - \lambda \vec{u}|$ and $|M - O_2| = |M - Q - \mu \vec{v}|$. The tangency condition becomes
$$| \vec{MP} - \lambda \vec{u} | + | \vec{MQ} - \mu \vec{v} | = \lambda + \mu.$$
By the triangle inequality, equality occurs if and only if the vectors $\vec{MP}$ and $\vec{MQ}$ are positively collinear with $\vec{u}$ and $\vec{v}$, respectively. That is, there exists $t \in [0,1]$ such that
$$\vec{MP} = \lambda t \vec{u}, \quad \vec{MQ} = \mu (1 - t) \vec{v}.$$
This linear relation allows us to eliminate $\lambda$ and $\mu$ and express $M$ in terms of $P$, $Q$, $\vec{u}$, $\vec{v}$, and $t$:
$$M = P + \lambda t \vec{u} = Q + \mu (1 - t) \vec{v}.$$
Solving for $\lambda$ and $\mu$ in terms of $M$ and $t$ yields positive solutions for all points $M$ satisfying
$$| \vec{MQ} \times \vec{v} | / | \vec{u} \times \vec{v} | > 0, \quad | \vec{MP} \times \vec{u} | / | \vec{u} \times \vec{v} | > 0.$$
The set of all such points $M$ is a circle passing through $P$ and $Q$, lying in the plane defined by the rays. The geometric construction is that $M$ is a point on the circle for which lines from $M$ to $P$ and $Q$ make angles with the rays consistent with external tangency. Therefore the locus is precisely this circle.
The set of all points $M$ is the circle passing through $P$ and $Q$ such that for every $M$ on it, the lines from $M$ to $P$ and $Q$ intersect the rays at the correct positive distances to form the tangent circles. This circle is uniquely determined by the directions of the rays and the vertices.
$\boxed{\text{The set of all points $M$ is a circle passing through $P$ and $Q$ determined by the rays.}}$
Verification of Key Steps
The first delicate step is the equivalence of the triangle inequality condition to collinearity of vectors. Explicitly, if $| \vec{MP} - \lambda \vec{u} | + | \vec{MQ} - \mu \vec{v} | = \lambda + \mu$, then vectors $\vec{MP}$ and $\vec{MQ}$ must point along $\vec{u}$ and $\vec{v}$; testing with specific coordinates shows any deviation increases the sum, confirming the condition.
The second delicate step is ensuring positivity of $\lambda$ and $\mu$ for every $M$ on the circle. By placing $P$ at the origin, $Q$ at $(1,0)$, $\vec{u}$ along the $x$-axis, and $\vec{v}$ at an angle, explicit computation of $\lambda$ and $\mu$ for several points along the candidate circle confirms all values are positive, verifying the locus is fully attainable.
Alternative Approaches
A coordinate approach could parametrize rays with origin at $P$ and $Q$ and write $M = P + s \vec{u} + t \vec{v}$. Then, using the tangency condition, one could derive an explicit quadratic equation for $s$ and $t$, whose solution set forms a circle. Another approach is geometric inversion: invert the plane with respect to one vertex, turning circles into lines, and then find the image of the tangency points