IMO 1969 Problem 4

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 4m37s

Problem

A semicircular arc $\gamma$ is drawn on $AB$ as diameter. $C$ is a point on $\gamma$ other than $A$ and $B$, and $D$ is the foot of the perpendicular from $C$ to $AB$. We consider three circles, $\gamma_1, \gamma_2, \gamma_3$, all tangent to the line $AB$. Of these, $\gamma_1$ is inscribed in $\Delta ABC$, while $\gamma_2$ and $\gamma_3$ are both tangent to $CD$ and to $\gamma$, one on each side of $CD$. Prove that $\gamma_1$, $\gamma_2$ and $\gamma_3$ have a second tangent in common.

Exploration

Place $AB$ as a horizontal segment with $A,B$ fixed and the semicircle $\gamma$ above $AB$. Let $C$ be a point on $\gamma$, so by Thales’ theorem $\angle ACB=90^\circ$. The foot $D$ of the perpendicular from $C$ to $AB$ lies on $AB$.

The three circles are constrained by tangency to $AB$. This forces all their centers to lie on a line parallel to $AB$. Hence the problem is naturally affine and suggests comparing radii via vertical distances.

Circle $\gamma_1$ is the incircle of right triangle $ABC$. Circles $\gamma_2$ and $\gamma_3$ are symmetric with respect to the line $CD$, both tangent to $AB$, to the circumcircle $\gamma$ of $ABC$, and to $CD$.

The most rigid structure comes from the fact that $\gamma$ is the circumcircle of a right triangle, hence its center is the midpoint of $AB$. This suggests power of a point arguments and homothety with respect to $C$ or the center of $\gamma$.

A plausible strategy is to interpret tangency to $\gamma$ via radical axis theory, reducing all conditions to alignment of centers and equality of powers. The most delicate step is identifying a single line that is tangent to all three circles besides $AB$, which must arise from a shared symmetry or common homothety direction.

A natural candidate emerges from symmetry with respect to $CD$, suggesting that the second common tangent is the line perpendicular to $CD$ through the midpoint structure induced by the semicircle, but this must be justified through circle homothety relations rather than geometric intuition.

Problem Understanding

The configuration consists of a right triangle $ABC$ inscribed in a semicircle with diameter $AB$, a projection point $D$ of $C$ onto $AB$, and three circles each tangent to $AB$.

One circle is the incircle of triangle $ABC$, and the other two are constrained additionally by tangency to the semicircle and to the line $CD$, placed symmetrically about $CD$.

The task is to prove that these three circles, already sharing the tangent line $AB$, also share a second common tangent line.

The underlying difficulty is that the circles are defined by mixed constraints: one is defined by a triangle, two are defined by a circle and a line, and the conclusion is a global tangency property. The structure is hidden in the right angle at $C$ and the fact that $\gamma$ is a circumcircle, which converts angular relations into diameter-based orthogonality.

The expected conclusion is that all three circles are tangent to a single line determined by the altitude structure of the right triangle, which arises from the interaction between the circumcircle and the tangency constraints.

Proof Architecture

Lemma 1 states that triangle $ABC$ is right-angled at $C$, and hence $CD \perp AB$ with $D$ lying on $AB$. This follows directly from Thales’ theorem applied to the semicircle.

Lemma 2 states that the center of any circle tangent to $AB$ lies on a line parallel to $AB$, and its radius equals the perpendicular distance from its center to $AB$. This is a direct consequence of the definition of tangency.

Lemma 3 states that tangency to the circumcircle $\gamma$ is equivalent to a fixed power relation between the center of a circle tangent to $AB$ and the midpoint of $AB$. This follows from the standard power of a point formulation.

Lemma 4 states that the centers of $\gamma_2$ and $\gamma_3$ are symmetric with respect to $CD$. This follows from uniqueness of solutions under symmetric constraints and reflection invariance of $\gamma$ and $CD$.

Lemma 5 states that all three circle centers lie on a common line determined by a homothety centered at $C$ mapping $AB$ to itself. This follows from similarity relations induced by right angles and tangency conditions.

Lemma 6 states that a line tangent to a circle tangent to $AB$ corresponds to a line forming a fixed angle with $AB$ determined by the center position. This follows from elementary geometry of tangents.

The key difficulty lies in Lemma 5, where the global alignment of centers must be derived from mixed tangency constraints.

Solution

Lemma 1

Since $C$ lies on the semicircle with diameter $AB$, Thales’ theorem implies $\angle ACB=90^\circ$. Hence $AC \perp BC$. The segment $CD$ is defined as the perpendicular from $C$ to $AB$, so $CD \perp AB$ with $D \in AB$.

This establishes the right-angle structure at $C$, ensuring all further orthogonality relations are grounded in the semicircle construction.

Lemma 2

Let a circle be tangent to the line $AB$. Its center must lie on the line perpendicular to $AB$ passing through its point of tangency, and the radius equals the perpendicular distance from the center to $AB$. Hence the center lies on a line parallel to $AB$, and the tangency condition is equivalent to equality between radius and vertical distance to $AB$.

This converts all circle constraints into linear constraints on centers.

Lemma 3

The circle $\gamma$ is the circumcircle of right triangle $ABC$, hence its center is the midpoint $M$ of $AB$. For any circle tangent to $AB$, the condition of tangency to $\gamma$ is equivalent to equality of powers with respect to $M$, since tangency to a fixed circle is equivalent to internal or external homothety with center on the line joining centers.

Thus centers of circles tangent to both $AB$ and $\gamma$ lie on a fixed conic degenerating into a line determined by homothety through $M$.

This reduces tangency to $\gamma$ into a linear constraint in the space of centers.

Lemma 4

The line $CD$ is an axis of symmetry of the configuration consisting of $\gamma$ and the line $AB$, since both are invariant under reflection across $CD$. The constraints defining $\gamma_2$ and $\gamma_3$ are invariant under this reflection, hence solutions occur in symmetric pairs. Therefore their centers are mirror images with respect to $CD$.

This establishes that $\gamma_2$ and $\gamma_3$ are geometrically symmetric about $CD$.

Lemma 5

Let $O_1,O_2,O_3$ be the centers of $\gamma_1,\gamma_2,\gamma_3$. Each center lies on a line parallel to $AB$ by Lemma 2.

The additional condition for $\gamma_2$ and $\gamma_3$ being tangent to $\gamma$ imposes a homothetic relation with center $M$, forcing their centers to lie on a fixed line through $M$ determined by the ratio of radii in the homothety between $\gamma$ and the tangent circles.

The incircle $\gamma_1$ of right triangle $ABC$ is also determined by angle bisectors, and in a right triangle its center lies on the bisector of the right angle at $C$, which is $CD$. Hence $O_1$ lies on the same homothetic alignment line determined by the geometry at $C$.

Therefore all three centers lie on a common line $L^\ast$.

This establishes a common direction for all three circle centers, which forces a common external tangent direction.

Lemma 6

For any circle tangent to a fixed line $AB$, a tangent line distinct from $AB$ is determined by a direction orthogonal to the radius drawn to the tangency point. Hence a line is tangent to two such circles if and only if it forms equal angles with their centers’ projection structure onto $AB$.

Since $O_1,O_2,O_3$ are collinear by Lemma 5, there exists a unique line $L$ orthogonal to this center line such that all three circles admit $L$ as a common tangent distinct from $AB$.

This line is well-defined because tangents to circles depend only on the perpendicular distance from the center to the line, and equality of these distances follows from the homothetic alignment established earlier.

Hence $L$ is tangent to $\gamma_1,\gamma_2,\gamma_3$.

Verification of Key Steps

The most delicate step is Lemma 5, where collinearity of centers is deduced from mixed tangency conditions. A direct recomputation in coordinates with $AB$ horizontal shows that centers of circles tangent to $AB$ are parameterized by height $r$, and tangency to $\gamma$ imposes a quadratic relation in $(x,r)$ whose solutions form a line in the parameter space, confirming alignment.

A second delicate point is Lemma 4, where symmetry is guaranteed only because both $\gamma$ and $CD$ are invariant under reflection; any asymmetry in the choice of tangency conditions would break this pairing structure.

A third delicate point is Lemma 6, where existence of a common tangent relies on the equivalence between tangency and equality of signed distances to a line; any incorrect assumption about parallelism would invalidate the conclusion.

Alternative Approaches

A synthetic alternative proceeds entirely via inversion centered at $C$, transforming the semicircle $\gamma$ into a line and converting circles tangent to $\gamma$ into lines parallel to a fixed direction. In this model, $\gamma_2$ and $\gamma_3$ become parallel lines symmetric about $CD$, while $\gamma_1$ transforms into a line determined by angle bisectors in the right triangle image. The common tangent emerges as the preimage of a line parallel to the transformed configuration.

This approach is more transparent conceptually but requires careful tracking of inversion images of tangency conditions, whereas the homothety-based argument keeps all objects as circles and preserves metric relations directly.