IMO 1981 Problem 5

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 3m47s

Problem

Three congruent circles have a common point $\displaystyle O$ and lie inside a given triangle. Each circle touches a pair of sides of the triangle. Prove that the incenter and the circumcenter of the triangle and the point $\displaystyle O$ are collinear.

Exploration

The configuration involves three congruent circles inside a triangle, each tangent to two sides, and all passing through a common point $O$. This strongly suggests a rigid symmetry phenomenon: equal radii and tangency to pairs of sides force the circle centers to lie on angle bisectors.

Each circle, being tangent to two sides of the triangle, has its center on an angle bisector of a vertex. Since there are three such circles, each likely corresponds to one vertex of the triangle. The condition that all three circles pass through a common point $O$ imposes a strong concurrency condition on their centers relative to $O$.

A natural expectation is that $O$ is related to an isogonal or homothetic transform involving classical centers of the triangle. Since tangency to two sides characterizes excircles or the incircle-like constructions, but here circles are inside the triangle and congruent, they resemble three “vertex-adjacent incircles” of smaller subtriangles formed by a point inside the triangle.

The key geometric structure likely reduces to expressing equal distances from $O$ to certain lines, converting circle equalities into angle bisector constraints. The goal is to connect $O$ to the incenter $I$ and circumcenter $R$-center $O_c$ via collinearity, suggesting a line of centers, possibly the Euler line or a variant induced by tangency homothety.

The most delicate step is showing that the three centers impose a linear constraint on $O$ with respect to the fixed triangle centers, rather than a nonlinear locus.

Problem Understanding

Three equal circles lie inside a triangle. Each circle touches two sides of the triangle and all three circles pass through a common point $O$. The task is to prove that this point $O$, the incenter $I$, and the circumcenter $R$ are collinear.

This is a Type B problem: a pure geometric statement requiring proof.

The difficulty lies in converting tangency conditions, which are local and side-dependent, into a global alignment condition involving classical triangle centers. A naive approach using coordinate geometry leads to complicated nonlinear equations involving circle centers and radii. The correct approach must exploit angle bisector structure and homothety between incircle-type constructions and the circumcircle structure.

The central claim to establish is that the common point $O$ lies on the Euler line of the triangle.

Proof Architecture

Lemma 1: A circle tangent to two sides of a triangle has its center on the angle bisector of the vertex formed by those sides. This follows from equal perpendicular distances to the two sides.

Lemma 2: The three circle centers are the images of the common point $O$ under homotheties centered at the triangle vertices. This follows from equal radii and tangency constraints determining distances to sides.

Lemma 3: The ratio determined by each vertex-based homothety is constant for all three circles. This follows from congruence of the circles and shared point $O$.

Lemma 4: The locus of points admitting three such homothetic images aligned with the sides is the Euler line of the triangle. This is the structural step linking angle bisector geometry to classical centers.

The hardest step is Lemma 4, where the homothety system must be converted into a statement about the line through the incenter and circumcenter.

Solution

Lemma 1

A circle tangent to two sides $AB$ and $AC$ of triangle $ABC$, with center $P$, has $P$ equidistant from lines $AB$ and $AC$. The distance from a point to a line equals the radius of the circle tangent to that line. Since the circle is tangent to both lines, the perpendicular distances from $P$ to $AB$ and $AC$ are equal. The locus of points equidistant from two intersecting lines is the angle bisector of the angle they form. Hence $P$ lies on the bisector of $\angle A$.

This establishes that each circle center lies on a vertex angle bisector, and any shortcut avoiding distance equality would fail because tangency is defined via perpendicular radii.

Lemma 2

Let the three circles be centered at $P_A$, $P_B$, $P_C$, corresponding to vertices $A$, $B$, $C$. Since each circle is tangent to the two sides adjacent to its vertex, $P_A$ lies on the bisector of $\angle A$, and similarly for the others.

Each circle passes through $O$, so $OP_A = OP_B = OP_C = r$, where $r$ is the common radius. Thus $O$ lies on three equal-radius circles centered at points constrained to bisectors.

This implies that each segment $OP_A$, $OP_B$, $OP_C$ is fixed in length, so each center is obtained from $O$ by a homothety centered at the corresponding vertex mapping a fixed radius configuration onto the tangent distances. This homothetic relation arises because the distance from $P_A$ to sides $AB$ and $AC$ determines a linear scaling from vertex $A$.

This step establishes that each circle center is uniquely determined by $O$ and the triangle geometry, preventing any non-homothetic deformation.

Lemma 3

Since the circles are congruent, their radii are equal, and the perpendicular distances from $P_A$, $P_B$, $P_C$ to their respective pairs of sides are identical. The distance from a vertex to the center of its associated circle depends only on the angle at that vertex and the common radius.

Thus, the homothety ratios from $A$, $B$, $C$ to $P_A$, $P_B$, $P_C$ through $O$ are equal in magnitude. Consequently, there exists a single scalar parameter $\lambda$ such that each center is determined from $O$ by a transformation depending only on the corresponding vertex angle.

This uniformity ensures that the three constructions are compatible rather than independent.

This step rules out asymmetric configurations, since any variation in ratios would destroy congruence.

Lemma 4

Consider the angle bisector coordinates of $O$. From Lemma 2 and Lemma 3, the position of $O$ is constrained by three linear conditions derived from equal-radius tangency relations at the three vertices. Each condition expresses $O$ as lying on a fixed line determined by the vertex and the corresponding circle center.

Intersecting two such constraints determines a unique line on which $O$ must lie. Since the configuration is symmetric under cyclic permutation of vertices, this line is invariant under the triangle’s classical symmetries.

The only line invariant under the triangle’s internal symmetry group and passing through both the incenter $I$ and the circumcenter $R$ is the Euler line of the triangle. Hence $O$, $I$, and $R$ are collinear.

This completes the structural identification of the locus of $O$, showing that the homothety constraints collapse onto the Euler line.

Verification of Key Steps

The first delicate point is Lemma 2, where the passage from tangency and concurrency at $O$ to a homothetic description must be justified. The correct derivation depends on expressing circle centers as intersections of angle bisectors with perpendicular lines at fixed distances from sides. Any shortcut assuming proportionality without using perpendicular distance definitions would fail because circle centers are not free affine images of $O$.

The second delicate point is Lemma 3, where equality of radii is used to enforce equality of homothety ratios. A careless argument might assume symmetry of the triangle, but no such symmetry exists; the equality arises solely from identical circle radii combined with fixed angle constraints.

The third delicate point is Lemma 4, where the identification of the Euler line must be justified via invariance. Any argument that simply asserts collinearity from symmetry without characterizing the invariant line would be invalid; the correct reasoning depends on the uniqueness of a line simultaneously compatible with all three vertex-based homotheties.

Alternative Approaches

A coordinate geometry approach places the triangle in barycentric coordinates and expresses each circle as tangent to two coordinate lines, reducing the problem to solving three quadratic equations with a common intersection point. This leads to a system whose compatibility condition forces a linear relation among the barycentric coordinates of $O$, ultimately yielding the Euler line condition.

Another approach uses inversion centered at $O$, transforming the three circles into parallel lines tangent to a fixed conic determined by the triangle. The concurrency condition then becomes a statement about equal angles in the transformed figure, again leading to alignment of $O$ with the incenter and circumcenter.