IMO 1992 Problem 4

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 5m55s

Problem

In the plane let $C$ be a circle, $l$ a line tangent to the circle $C$, and $M$ a point on $l$. Find the locus of all points $P$ with the following property: there exists two points $Q$, $R$ on $l$ such that $M$ is the midpoint of $QR$ and $C$ is the inscribed circle of triangle $PQR$.

Exploration

The circle $C$ is tangent to a fixed line $l$ at $M$, so the radius $OM$ is perpendicular to $l$, where $O$ denotes the center of $C$. Points $Q$ and $R$ lie on $l$ with $M$ as midpoint of $QR$, hence $Q$ and $R$ are symmetric with respect to $M$ along the line $l$.

The triangle $PQR$ has $C$ as its incircle, so all three sides of the triangle are tangent to $C$. Since $QR$ lies on $l$, the tangency point of $C$ with $QR$ must be $M$.

Thus $PQ$ and $PR$ are also tangents to $C$. This places $P$ as the intersection of the tangents to $C$ at two contact points distinct from $M$. The points $Q$ and $R$ arise as intersections of tangents to $C$ at $M$ with tangents at two other points on $C$.

The condition that $M$ is the midpoint of $QR$ imposes a symmetry constraint between the two tangent directions from $P$ to $C$. This suggests a reflection symmetry about the line $OM$, since $M$ lies on both $l$ and the radius direction of the circle.

The likely geometric outcome is that the two tangency points from $P$ on $C$ are symmetric with respect to the diameter through $M$, which forces $P$ to lie on a fixed line parallel to $l$ passing through $O$.

Problem Understanding

The problem considers a fixed circle $C$ tangent to a fixed line $l$ at a point $M$. One chooses points $Q$ and $R$ on $l$ symmetric about $M$, and forms a triangle $PQR$ whose incircle is exactly $C$. The task is to determine all possible positions of $P$.

This is a classification problem, corresponding to Type A. One must describe precisely the locus of $P$ for which such a triangle exists.

The structure of the configuration is governed by tangency relations: each side of the triangle is tangent to $C$, so the vertices arise as intersections of tangents to the circle. The midpoint condition introduces a rigid symmetry constraint on how tangency points associated with $P$ interact with the fixed tangency at $M$.

The expected locus is a straight line parallel to $l$ passing through the center $O$ of the circle. This arises from the fact that symmetry of the contact configuration about the radius $OM$ forces the intersection point of the two tangents from $P$ to remain on a fixed line.

Proof Architecture

The first lemma asserts that in any triangle $PQR$ with incircle $C$, the vertices are intersections of tangents to $C$ at the three contact points of the incircle with the sides, and conversely any such triple of tangents determines a triangle circumscribed about $C$. This follows from the definition of an incircle and the uniqueness of tangents from a point to a circle.

The second lemma states that the contact point of $C$ with $QR$ is necessarily $M$, since $QR$ lies on the tangent line $l$ and $C$ is tangent to $l$ at $M$. This fixes one of the three tangency points in the configuration.

The third lemma reformulates the midpoint condition $MQ = MR$ as a symmetry condition: the tangency points on $C$ corresponding to the sides $PQ$ and $PR$ are symmetric with respect to the diameter $OM$. This uses the fact that tangents from symmetric points on a circle with respect to a diameter meet a fixed tangent line in symmetric points.

The fourth lemma shows that if two tangency points on $C$ are symmetric with respect to $OM$, then the intersection of the corresponding tangents lies on the line through $O$ parallel to $l$.

The final step combines these facts to show that every admissible configuration produces $P$ on that line, and conversely every point on that line yields such a configuration.

The most delicate step is the equivalence between the midpoint condition on $l$ and symmetry of tangency points on $C$.

Solution

Lemma 1

For a triangle circumscribed about a circle $C$, each side is tangent to $C$ at a unique point, and each vertex is the intersection of the two tangents at the corresponding contact points.

Let $C$ be tangent to $PQ$, $QR$, and $RP$ at points $A$, $M$, and $B$ respectively. The tangent at $A$ intersects the tangent at $M$ at $Q$, the tangent at $M$ intersects the tangent at $B$ at $R$, and the tangent at $A$ intersects the tangent at $B$ at $P$. This reconstruction is valid because from any external point to a circle there are exactly two tangents, and these tangents determine the side lines uniquely.

This step establishes that any triangle with incircle $C$ arises from a triple of tangency points and vice versa, so the configuration can be studied entirely in terms of tangency geometry.

Lemma 2

The tangency point of $C$ with $QR$ is $M$.

Since $QR$ lies on the line $l$ and $C$ is tangent to $l$ at $M$, the line $l$ has exactly one point of contact with $C$. Because $QR$ is a segment of $l$, the circle $C$ can only be tangent to $QR$ at $M$. This forces the contact point corresponding to side $QR$ to be fixed.

This step fixes one vertex of the tangency structure and reduces the degrees of freedom to the two remaining tangency points.

Lemma 3

Let $A$ and $B$ be the tangency points of $C$ with $PQ$ and $PR$. Then $MQ = MR$ holds if and only if $A$ and $B$ are symmetric with respect to the diameter $OM$.

The tangent at $A$ meets $l$ at $Q$, and the tangent at $B$ meets $l$ at $R$. Reflection across the line $OM$ fixes the circle $C$ and maps tangent lines to tangent lines. It also fixes $M$ and preserves the line $l$, since $l$ is perpendicular to $OM$ at $M$.

Under this reflection, the tangent at $A$ maps to the tangent at the reflected point $A'$, and its intersection with $l$ maps to the corresponding intersection point. Therefore symmetry of $A$ and $B$ implies symmetry of $Q$ and $R$ about $M$, hence $M$ is the midpoint of $QR$.

Conversely, if $M$ is the midpoint of $QR$, then the two tangents from $A$ and $B$ to $C$ intersect $l$ in symmetric points. The uniqueness of tangents from a point to a circle forces the tangency points to be mirror images with respect to $OM$.

This step converts the metric midpoint condition into a geometric symmetry condition on the circle.

Lemma 4

If $A$ and $B$ are symmetric with respect to $OM$, then the intersection $P$ of the tangents at $A$ and $B$ lies on the line through $O$ parallel to $l$.

Reflection across $OM$ swaps the tangents at $A$ and $B$. Hence $P$ is invariant under this reflection. The fixed locus of this reflection in the plane is exactly the line through $O$ perpendicular to $OM$, which is the line through $O$ parallel to $l$.

Therefore $P$ lies on the line through $O$ parallel to $l$.

This step identifies the geometric constraint imposed on the vertex $P$ by symmetry of tangency.

Completion of the argument

If a point $P$ admits a triangle $PQR$ satisfying the given conditions, then the corresponding tangency points $A$ and $B$ are symmetric with respect to $OM$ by Lemma 3. By Lemma 4, this implies $P$ lies on the line through $O$ parallel to $l$.

Conversely, let $P$ be any point on the line through $O$ parallel to $l$. The reflection symmetry about $OM$ maps $P$ to itself, so the tangents from $P$ to $C$ meet $C$ at two points symmetric with respect to $OM$. Denote these points by $A$ and $B$. Constructing tangents at $A$ and $B$ yields points $Q$ and $R$ on $l$ that are symmetric about $M$, so $M$ is the midpoint of $QR$. The triangle formed by the tangents at $A$, $B$, and $M$ has incircle $C$ and vertices $P$, $Q$, $R$.

Thus every point on the line through $O$ parallel to $l$ satisfies the required condition, and no other points do.

$$\boxed{\text{The locus of } P \text{ is the line through the center of } C \text{ parallel to } l.}$$

Verification of Key Steps

The symmetry-to-midpoint conversion depends on the fact that reflection across $OM$ preserves the line $l$ and the circle $C$ simultaneously. This uses the orthogonality of $OM$ and $l$; without this orthogonality the midpoint condition would not correspond to a reflection invariant.

The claim that $P$ is fixed under reflection requires checking that both tangents from $P$ to $C$ are exchanged by the reflection, which holds only when the tangency points are symmetric; otherwise the intersection of tangents would move.

The converse construction relies on the uniqueness of tangents from an external point to a circle; if $P$ lies on the boundary of the circle this degenerates, but such cases do not satisfy the triangle condition.

Alternative Approaches

One alternative method uses inversion centered at $M$ to transform the tangent line $l$ into itself and convert tangency conditions into angle conditions on a transformed configuration, reducing the problem to an Apollonius-type locus.

Another approach uses pole-polar duality with respect to $C$, interpreting $l$ as the polar of $M$ and translating midpoint symmetry into harmonic division, which leads to the same conclusion that $P$ lies on a fixed line determined by $O$ and $l$.