IMO 1995 Problem 1

Proposed by: -
Verified: no
Verdicts: PASS + UNKNOWN
Solve time: 17m49s

Problem

Let $A,B,C,D$ be four distinct points on a line, in that order. The circles with diameters $AC$ and $BD$ intersect at $X$ and $Y$. The line $XY$ meets $BC$ at $Z$. Let $P$ be a point on the line $XY$ other than $Z$. The line $CP$ intersects the circle with diameter $AC$ at $C$ and $M$, and the line $BP$ intersects the circle with diameter $BD$ at $B$ and $N$. Prove that the lines $AM,DN,XY$ are concurrent.

Problem Understanding

Let $A,B,C,D$ be distinct collinear points in this order. The circles with diameters $AC$ and $BD$ intersect at $X$ and $Y$, so their radical axis is the line $XY$. Let $Z = XY \cap BC$. A point $P \in XY$, $P \neq Z$, is chosen. The line $CP$ meets the circle with diameter $AC$ again at $M$, and the line $BP$ meets the circle with diameter $BD$ again at $N$. We must prove that the lines $AM$, $DN$, and $XY$ are concurrent.

The coordinate approach identifies a fixed point on $XY$ independent of $P$, and shows both $AM$ and $DN$ pass through it.

Key Observations

Placing $A,B,C,D$ on the $x$-axis turns both circles into Thales circles, so orthogonality conditions become linear and computable.

The radical axis $XY$ is vertical, and its intersection with $BC$ is a point $Z$ on the $x$-axis. The exclusion $P \neq Z$ will later remove the only degenerate case where slope expressions fail.

The points $M$ and $N$ are determined by intersecting fixed circles with lines through $P$, so their coordinates can be tracked explicitly once $P$ is parametrized.

Solution

Place the collinear points as

$$A(0,0),\quad B(b,0),\quad C(c,0),\quad D(d,0), \quad 0<b<c<d.$$

The circle with diameter $AC$ is

$$x(x-c)+y^2=0,$$

and the circle with diameter $BD$ is

$$(x-b)(x-d)+y^2=0.$$

Subtracting gives the radical axis:

$$x(x-c)-(x-b)(x-d)=0.$$

Expanding,

$$x^2-cx - (x^2-(b+d)x+bd)=0,$$

$$(b+d-c)x-bd=0, \quad\Rightarrow\quad x=k:=\frac{bd}{b+d-c}.$$

Hence $XY$ is the vertical line $x=k$.

Now we identify $Z$. On the $x$-axis, $y=0$. Substituting into the radical axis gives $x=k$, so

$$Z = XY \cap BC = (k,0).$$

A point $P \in XY$ has the form $P=(k,t)$. The condition $P \neq Z$ is therefore exactly $t \neq 0$.

Construction of $M$

The line $CP$ has equation through $C(c,0)$ and $P(k,t)$. It meets the circle with diameter $AC$ at $C$ and $M$. From Thales’ theorem, $\angle AMC = 90^\circ$, so $AM \perp CM$. Since $M \in CP$, this implies

$$AM \perp CP.$$

If $t=0$, then $P=(k,0)$ lies on the $x$-axis, hence $CP$ is the $x$-axis. But then $k$ is the same $x$-coordinate as $Z$, so $P=Z$, contradicting the assumption $P \neq Z$. Therefore

$$t \neq 0,$$

and all slopes below are well-defined.

Thus the slope of $CP$ is

$$\frac{t}{k-c},$$

so the slope of $AM$ is the negative reciprocal:

$$-\frac{k-c}{t}.$$

Since $A=(0,0)$, the equation of $AM$ is

$$y = -\frac{k-c}{t}x.$$

Intersection $AM \cap XY$

On $XY$, $x=k$. Substituting into the equation of $AM$,

$$y = -\frac{k-c}{t}k,$$

$$AM \cap XY = \left(k,,-\frac{k(k-c)}{t}\right).$$

Construction of $N$

Similarly, $N$ lies on the circle with diameter $BD$, so $\angle BND = 90^\circ$, hence $DN \perp BN$. Since $N \in BP$, we get

$$DN \perp BP.$$

The slope of $BP$ is $\frac{t}{k-b}$, so the slope of $DN$ is $-\frac{k-b}{t}$. Through $D(d,0)$, its equation is

$$y = -\frac{k-b}{t}(x-d).$$

Intersecting with $x=k$,

$$y = -\frac{k-b}{t}(k-d),$$

$$DN \cap XY = \left(k,,-\frac{(k-b)(k-d)}{t}\right).$$

Concurrency

It suffices to show the two intersection points on $XY$ coincide:

$$-\frac{k(k-c)}{t} = -\frac{(k-b)(k-d)}{t}.$$

Since $t \neq 0$, this reduces to

$$k(k-c) = (k-b)(k-d).$$

Expanding,

$$k^2 - ck = k^2 - (b+d)k + bd,$$

$$(b+d-c)k = bd,$$

which holds by the definition $k = \frac{bd}{b+d-c}$.

Thus $AM$, $DN$, and $XY$ all pass through the same point on $XY$, proving concurrency.

Verification of Key Steps

The coordinate representation preserves the collinearity and ordering of $A,B,C,D$, and the circle equations follow directly from Thales’ theorem.

The radical axis computation is valid since both circle equations are expanded power-of-point expressions in the same coordinate system.

The only potential failure in the original argument occurs when $t=0$, where slope formulas break down. This case corresponds exactly to $P=(k,0)$, which is the intersection $Z = XY \cap BC$. Since the problem explicitly assumes $P \neq Z$, this case is excluded, and therefore $t \neq 0$ holds throughout the argument. This restores full validity of all slope-based computations.

All intersections are therefore well-defined, and the algebraic identity proving coincidence on $XY$ is valid without exception.

Alternative Approaches

A synthetic approach avoids coordinates by working in the coaxal system generated by the two diameter circles. The line $XY$ is their radical axis, and the constructions of $M$ and $N$ can be interpreted via orthogonal projections in the corresponding orthogonality structure. The concurrency point then arises as the fixed point on the radical axis preserved under the induced correspondence between rays $CP$ and $BP$.

Another approach uses inversion centered at $Z$, which maps $XY$ to itself and transforms the two diameter circles into parallel lines. In this setting, $M$ and $N$ become affine projections, and concurrency reduces to a fixed intersection invariant under the induced affine transformation along $XY$.