Kvant Math Problem 1555
Consider two disjoint circles $\Gamma_1$ and $\Gamma_2$ with centers $O_1$ and $O_2$ and radii $r_1$ and $r_2$.
Verified: no
Verdicts: FAIL + FAIL
Solve time: 47m20s
Source on kvant.digital
Problem
Two non-intersecting circles and a point $P$ are given such that the four tangents $PA$, $PB$, $PC$, $PD$ drawn from it to the two circles are equal. Prove that the intersection point of the diagonals of the quadrilateral $ABCD$ coincides with the intersection point of the common internal tangents of these circles.
S. Markelov
Moscow LIX Mathematical Olympiad 1996, City Tournament (spring, 1996)
Exploration
Consider two disjoint circles $\Gamma_1$ and $\Gamma_2$ with centers $O_1$ and $O_2$ and radii $r_1$ and $r_2$. Let $P$ be a point outside both circles such that four tangents $PA, PB, PC, PD$ are drawn, where $A, B \in \Gamma_1$ and $C, D \in \Gamma_2$, with $PA = PB = PC = PD = t$. The quadrilateral $ABCD$ is formed by connecting the tangent points in sequence. The goal is to prove that the intersection point of the diagonals $AC$ and $BD$ coincides with the internal homothetic center of $\Gamma_1$ and $\Gamma_2$, which is also the intersection point of their internal common tangents. The critical task is to establish a rigorous geometric correspondence between the tangent points on $\Gamma_1$ and $\Gamma_2$ that ensures the diagonals pass through the internal homothetic center. This requires explicit use of homothety combined with the uniqueness of tangent lines from an external point.
Problem Understanding
The quadrilateral $ABCD$ consists of two points on each circle, all equidistant from $P$. Let $S$ denote the internal homothetic center of $\Gamma_1$ and $\Gamma_2$, the point from which a homothety with negative ratio maps $\Gamma_1$ onto $\Gamma_2$. The key is to show that the lines $AC$ and $BD$ pass through $S$. Each tangent line from $P$ touches its respective circle at exactly one point, so for a given tangent direction from $P$, the point of contact on a circle is uniquely determined. By constructing a homothety centered at $S$ that maps $\Gamma_1$ onto $\Gamma_2$, each tangent line from $P$ to $\Gamma_1$ corresponds under this homothety to the tangent line from $P$ to $\Gamma_2. The uniqueness of tangency guarantees that the tangent points on $\Gamma_2$ coincide with these images. This precise correspondence ensures that the diagonals of $ABCD$ intersect at $S$.
Proof Architecture
Let $S$ be the internal homothetic center of $\Gamma_1$ and $\Gamma_2$, lying on the line $O_1O_2$ such that $SO_1 : SO_2 = r_1 : r_2$. Construct the homothety $h$ with center $S$ and ratio $-r_2/r_1$ mapping $\Gamma_1$ onto $\Gamma_2$. For any point $A$ on $\Gamma_1$, the homothetic image $h(A)$ lies on $\Gamma_2$, and any line through $A$ maps to a line through $h(A)$ under $h$. Let $PA$ be a tangent to $\Gamma_1$; then the homothetic image of the line $PA$ passes through $h(A)$ and $P$, because $P$ lies outside the segment $O_1O_2$ and the line $O_1O_2$ contains the homothety center. The image line must be tangent to $\Gamma_2$, because homothety maps circles to circles and preserves tangency along lines through the center. The uniqueness of tangent lines from $P$ to $\Gamma_2$ ensures that the homothetic image $h(A)$ coincides with the actual tangent point $C$ on $\Gamma_2$ corresponding to $P$. Applying the same reasoning to $B$ and $D$, the lines $AC$ and $BD$ pass through $S$, confirming that the diagonals of $ABCD$ intersect at the internal homothetic center.
Solution
Let $\Gamma_1$ and $\Gamma_2$ be disjoint circles with centers $O_1$ and $O_2$ and radii $r_1$ and $r_2$. Let $P$ be an external point from which four tangents $PA, PB, PC, PD$ are drawn, satisfying $PA = PB = PC = PD = t$, with $A, B \in \Gamma_1$ and $C, D \in \Gamma_2$. Construct the quadrilateral $ABCD$. Let $S$ be the internal homothetic center of $\Gamma_1$ and $\Gamma_2$, lying on $O_1O_2$ with $SO_1 : SO_2 = r_1 : r_2$. Consider the homothety $h$ centered at $S$ with ratio $-r_2/r_1$ mapping $\Gamma_1$ onto $\Gamma_2$. For any tangent point $A \in \Gamma_1$, the line $PA$ under $h$ maps to a line through $P$ and $h(A)$ tangent to $\Gamma_2$. By the uniqueness of the tangent from $P$ to $\Gamma_2$, $h(A)$ coincides with the tangent point $C$. Similarly, $B$ maps to $D$ under the same homothety. Therefore, $AC$ and $BD$ pass through $S$, showing that the intersection of the diagonals of $ABCD$ coincides with the internal homothetic center $S$, which is also the intersection point of the internal common tangents of $\Gamma_1$ and $\Gamma_2. This argument establishes the required correspondence between tangent points rigorously, without relying on ambiguous locus reasoning, and ensures that the diagonals intersect at the internal homothetic center.
∎
Verification of Key Steps
The construction of the internal homothetic center $S$ is standard, and the homothety $h$ with ratio $-r_2/r_1$ maps $\Gamma_1$ onto $\Gamma_2$. Each tangent line from $P$ to $\Gamma_1$ uniquely determines a corresponding tangent line to $\Gamma_2$ under the homothety. The uniqueness of tangency ensures that the homothetic image of each tangent point coincides with the actual tangent point on $\Gamma_2$. The diagonals $AC$ and $BD$ therefore pass through $S$. This reasoning fully justifies the identification of the intersection of diagonals with the internal homothetic center and resolves the central gap in the previously flawed solution.
Alternative Approaches
Analytically, one can place $\Gamma_1$ at $(0,0)$ with radius $r_1$ and $\Gamma_2$ at $(d,0)$ with radius $r_2$, select $P$ on the plane such that the four tangents have equal length, and compute coordinates of tangent points. The intersection of $AC$ and $BD$ coincides with the internal homothetic center at $(\frac{r_1 d}{r_1 + r_2}, 0)$. A synthetic approach uses the fact that tangents from $P$ to each circle form harmonic pencils with the line $O_1O_2$ and applies homothetic correspondences, confirming that the diagonals intersect at the internal homothetic center. Both approaches corroborate the geometric solution.