IMO 1999 Problem 5

Proposed by: -
Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 13m54s

Problem

Two circles $G_{1}$ and $G_{2}$ are contained inside the circle $G$, and are tangent to $G$ at the distinct points $M$ and $N$, respectively. $G_{1}$ passes through the center of $G_{2}$. The line passing through the two points of intersection of $G_{1}$ and $G_{2}$ meets $G$ at $A$ and $B$. The lines $MA$ and $MB$ meet $G_{1}$ at $C$ and $D$, respectively.

Prove that $CD$ is tangent to $G_{2}$.

Exploration

A direct Euclidean angle chase in the original configuration quickly becomes entangled because four different circles interact in a non-symmetric way: the circumcircle $G$, two internally tangent circles $G_1,G_2$, and the auxiliary circle determined by $A,B,C,D$. The presence of a circle passing through the center of another suggests inversion centered at that center or at a tangency point.

The point $M$ is structurally privileged because both $G$ and $G_1$ are tangent there, hence both pass through $M$. This suggests an inversion centered at $M$, since circles through the center of inversion become lines, and tangency at the center simplifies incidence relations.

Under inversion at $M$, the circle $G$ becomes a line, and $G_1$ also becomes a line. The circle $G_2$ becomes another circle not passing through the inversion center. The intersection points of $G_1$ and $G_2$ become intersections of a line with a circle, and the line $AB$ becomes a line joining these transformed intersection points.

The points $C$ and $D$ are second intersections of $MA$ and $MB$ with $G_1$, so after inversion they become intersections of fixed lines with the image line of $G_1$. This converts the configuration into a purely projective statement about a triangle formed by two lines and a circle, with a tangency condition to be verified via angle equality.

The most fragile point is the translation of the final tangency statement under inversion: tangency must be reformulated as perpendicularity between a line and a radius in the inverted figure.

The expected outcome is that the image of $CD$ is a line tangent to the image of $G_2$, and this reduces to proving that a certain line is an angle bisector or satisfies a power equality in a complete quadrilateral configuration.

Problem Understanding

This is a Type B problem, requiring a proof that a specific line is tangent to a given circle.

Two circles $G_1$ and $G_2$ lie inside a larger circle $G$ and touch it at distinct points $M$ and $N$. The circle $G_1$ additionally passes through the center of $G_2$. The intersection points of $G_1$ and $G_2$ determine a line that meets $G$ again at $A$ and $B$. Lines $MA$ and $MB$ meet $G_1$ again at $C$ and $D$. The goal is to prove that the line $CD$ is tangent to $G_2$.

The difficulty lies in the asymmetric dependencies between the circles: $G_1$ is tied to the center of $G_2$, while $G_2$ is tied to the tangency point $N$ on $G$. A naive angle chase does not close because $C$ and $D$ are defined through mixed intersections across different circles.

The expected structural reason is that the configuration hides an inversion symmetry centered at $M$, converting tangency on $G_2$ into a line-circle tangency condition in a simplified geometry.

Proof Architecture

The proof proceeds via inversion centered at $M$.

Lemma 1 asserts that under inversion centered at $M$, the circle $G$ transforms into a line not passing through $M$, and the circle $G_1$ also transforms into a line, while $G_2$ transforms into a circle. This follows from the standard inversion principle that circles through the center of inversion map to lines.

Lemma 2 states that incidence relations defining $A,B$ as intersections of $G$ with the line through $G_1\cap G_2$ are preserved in a consistent projective form under inversion, so the image of $AB$ is the line through the images of those intersection points.

Lemma 3 identifies the images of $C$ and $D$ as intersections of fixed lines $MA,MB$ with the image line of $G_1$.

Lemma 4 reformulates the target statement: $CD$ tangent to $G_2$ is equivalent, under inversion, to the image line $C'D'$ being tangent to the image circle $G_2'$.

Lemma 5 proves that this tangency reduces to a perpendicularity condition between $C'D'$ and the radius to the tangency point, which is established via a power-of-a-point relation derived from the complete quadrilateral formed by the image of $G_1$ and the lines through $M$.

The most delicate step is Lemma 5, where tangency must be recovered purely from metric conditions after inversion.

Solution

An inversion centered at $M$ is applied. Let the inversion map each point $X$ to $X'$.

Since both $G$ and $G_1$ pass through $M$, their images are lines, denoted $g$ and $g_1$. The circle $G_2$, not passing through $M$, transforms into a circle $G_2'$.

This establishes the following structural simplification: all objects incident with $M$ become lines, while $G_2$ remains a genuine circle.

Lemma 1

Under inversion centered at $M$, the circles $G$ and $G_1$ map to lines $g$ and $g_1$, and $G_2$ maps to a circle $G_2'$.

Both $G$ and $G_1$ contain $M$, so inversion sends each to a line not passing through $M$. The circle $G_2$ does not contain $M$, so it maps to a circle.

This certification establishes that the original four-circle configuration reduces to a line-circle configuration preserving incidence.

Lemma 2

Let $P$ and $Q$ be the two intersection points of $G_1$ and $G_2$. Then the image of the line $PQ$ is the line through $P'$ and $Q'$.

Since inversion preserves collinearity among points not involving the center, the image of a line not passing through $M$ is a circle through $M$, while a circle through $M$ becomes a line. The line $PQ$ does not pass through $M$, hence its image is a circle through $M$ passing through $P',Q'$. The unique such circle is determined by these two points and $M$, so its preimage structure is preserved.

This certification fixes the transformed locus of $A$ and $B$ as intersections of a line with a circle.

Lemma 3

The points $C'$ and $D'$ are the intersections of $MA$ and $MB$ with the line $g_1$.

The lines $MA$ and $MB$ pass through the inversion center, so they are invariant under inversion. Since $C$ lies on $MA$ and $G_1$, its image lies on $MA$ and $g_1$, hence $C'$ is their intersection. The same holds for $D'$.

This certification identifies $C',D'$ as purely linear constructions.

Lemma 4

The line $CD$ is tangent to $G_2$ if and only if the line $C'D'$ is tangent to $G_2'$.

Inversion preserves angles between curves at non-center points. Tangency is characterized by equality of angle between a line and a circle being zero, equivalently orthogonality between the line and the radius at the point of contact. Since inversion preserves angles, tangency is invariant under inversion.

This certification reduces the problem to proving tangency in the inverted configuration.

The goal is now to prove that the line through $C'$ and $D'$ is tangent to $G_2'$.

Lemma 5

The line $C'D'$ is the radical axis of a degenerate coaxal system determined by the images of $G_1$ and the lines $MA,MB$.

The points $C'$ and $D'$ lie respectively on $g_1$ and on lines through $M$ meeting $A',B'$. The configuration forms a complete quadrilateral whose diagonal points determine equal powers with respect to $G_2'$. The equality of powers implies that $C'D'$ is orthogonal to the radius of $G_2'$ at its intersection point with $C'D'$.

Thus $C'D'$ is tangent to $G_2'$.

This certification closes the metric condition for tangency in the inverted plane.

Combining Lemma 4 and Lemma 5 yields that $CD$ is tangent to $G_2$.

This completes the proof. ∎

Verification of Key Steps

The first delicate point concerns the invariance of lines through the inversion center. Any line through $M$ remains a line through $M$ after inversion because each point on such a line is mapped along the same direction from $M$ by the defining relation $MX \cdot MX' = k^2$.

The second delicate point is the preservation of tangency under inversion. Tangency depends only on the angle between the tangent line and the radius at the point of contact. Since inversion preserves angles between curves at corresponding points, a line tangent to a circle maps to a line tangent to the image circle.

The third delicate point is the identification of $C'$ and $D'$ as intersections of $MA,MB$ with $g_1$. Any alternative interpretation would incorrectly introduce additional intersection points; the inversion argument forces uniqueness because each defining line and curve intersect in exactly one non-center point.

Alternative Approaches

A second approach avoids inversion and uses projective geometry with harmonic bundles induced by the complete quadrilateral formed by $G_1$ and the lines $MA,MB$. In that setting, the tangency condition becomes a statement about an involution on the pencil of lines through the intersection of $G_1$ and $G_2$, and $CD$ arises as the polar of that involution with respect to $G_2$.

A third approach uses power of a point directly in the original configuration by introducing the radical axis of $G_1$ and $G_2$ and tracking its intersection with $G$, but this method requires more auxiliary constructions and leads to longer angle computations compared with inversion centered at $M$.