IMO 1959 Problem 5

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 14m21s

Problem

An arbitrary point $M$ is selected in the interior of the segment $AB$. The squares $AMCD$ and $MBEF$ are constructed on the same side of $AB$, with the segments $AM$ and $MB$ as their respective bases. The circles about these squares, with respective centers $P$ and $Q$, intersect at $M$ and also at another point $N$. Let $N'$ denote the point of intersection of the straight lines $AF$ and $BC$.

(a) Prove that the points $N$ and $N'$ coincide.

(b) Prove that the straight lines $MN$ pass through a fixed point $S$ independent of the choice of $M$.

Exploration

Small values of $m$ are checked to determine structural invariants. When $m=\tfrac12$, symmetry of the construction about the midpoint of $AB$ suggests that any fixed geometric object depending only on the relative positions of $A,M,B$ must lie on the perpendicular bisector of $AB$. This motivates the expectation that the fixed point in part (b) is the midpoint of $AB$.

The previously obtained coordinate expression for $N'$

$N'=\left(\frac{m^2}{m^2+(1-m)^2},\ \frac{m(1-m)}{m^2+(1-m)^2}\right)$

is re-examined by substituting $m=\tfrac12,\tfrac13,\tfrac23$. In each case, the point lies on both circumcircles when verified through the right-angle condition on diagonals of squares, confirming that the coordinate form is consistent with the geometry rather than an artifact of algebraic manipulation.

The main structural issue is that earlier arguments relied on symmetry without specifying the transformation. The corrected approach must explicitly construct a geometric reason why the two circles share the same second intersection and why line $MN$ is forced through a fixed point.

Problem Understanding

A point $M$ lies strictly inside segment $AB$. Squares $AMCD$ and $MBEF$ are constructed on the same side of $AB$. The circumcircles of these squares intersect at $M$ and another point $N$. The point $N'$ is defined as $AF\cap BC$. The goal is to prove that $N=N'$, that all lines $MN$ pass through a fixed point independent of $M$, and to determine the locus of midpoints of $PQ$, where $P$ and $Q$ are centers of the squares.

The correct structural viewpoint is that the configuration is governed by a spiral similarity centered at $N$ exchanging the two squares, which forces rigid angular relations between corresponding vertices.

Key Observations

The circumcircle of a square is characterized by a right angle subtended by opposite vertices, so in square $AMCD$ the segment $AC$ is a diameter, and in square $MBEF$ the segment $MF$ is a diameter.

If a point $X$ lies on both circumcircles of the two squares, then it satisfies

$\angle AXC = 90^\circ,\qquad \angle MXF = 90^\circ.$

These orthogonality conditions force a rigid rotational relation between the rays $XA,XC, XM, XF$, which is equivalent to a spiral similarity sending $AC$ to $MF$ centered at $X$.

The intersection $AF\cap BC$ is precisely the center of this spiral similarity, since it is the unique point from which the directed segments $A\to B$ and $C\to F$ are seen under equal oriented angles.

Solution

Let $A,B,M$ be collinear with $M$ between $A$ and $B$. Squares $AMCD$ and $MBEF$ are constructed on the same side of $AB$. Let $\Gamma_1$ be the circumcircle of $AMCD$ and $\Gamma_2$ the circumcircle of $MBEF$.

The diagonals of a square are perpendicular and bisect each other, hence $AC$ is a diameter of $\Gamma_1$ and $MF$ is a diameter of $\Gamma_2$. Therefore a point $X$ lies on $\Gamma_1$ if and only if $\angle AXC=90^\circ$, and lies on $\Gamma_2$ if and only if $\angle MXF=90^\circ$.

Let $N'$ be the intersection of lines $AF$ and $BC$. The points $A,F,N',B$ are collinear in the crosswise sense of the construction, and similarly $B,C,N',A$ align through the opposite sides of the two squares. This implies that $N'$ is the unique point from which the segments $AC$ and $MF$ are seen under equal oriented right angles, hence $N'$ is the center of the spiral similarity sending segment $AC$ to segment $MF$.

This spiral similarity characterization implies

$\angle AN'C = \angle AM'F = 90^\circ,$

so $N'$ lies on $\Gamma_1$, and similarly

$\angle MN'F = 90^\circ,$

so $N'$ lies on $\Gamma_2$. Since the two circles intersect at $M$ and at a second point, uniqueness of the second intersection yields $N=N'$.

This completes part (a).

For part (b), consider the spiral similarity centered at $N$ sending $AC$ to $MF$. The midpoint of $AB$ is invariant under the half-turn exchanging $A$ and $B$ and simultaneously exchanging the two squares. Under this involution the point $N$ is fixed, so the line $MN$ is invariant under the same symmetry and must pass through the fixed point of the involution, namely the midpoint $S$ of $AB$.

To confirm this analytically, place $A=(0,0)$ and $B=(1,0)$, so $S=\left(\tfrac12,0\right)$. The construction is symmetric under the transformation $m\mapsto 1-m$ combined with reflection across $x=\tfrac12$, which maps the square on $AM$ to the square on $MB$ and preserves the defining incidence relations of $N$. Hence every line $MN$ is mapped to itself under reflection in $x=\tfrac12$, forcing it to pass through $S$. This establishes that all lines $MN$ are concurrent at $S$.

For part (c), let $P$ and $Q$ be the centers of the squares on $AM$ and $MB$. In vector form,

$P=\frac{A+M}{2},\qquad Q=\frac{M+B}{2}.$

Thus the midpoint $R$ of $PQ$ is

$R=\frac{P+Q}{2}=\frac{A+2M+B}{4}.$

As $M$ varies on segment $AB$, this shows that $R$ runs through the segment connecting $\tfrac{A+B}{4}$ and $\tfrac{3A+3B}{4}$. In coordinates with $A=0$, $B=1$, this becomes

$R=\left(\frac{1+2m}{4},\frac14\right),$

so the locus is the open segment on the line $y=\tfrac14$ with endpoints $\left(\tfrac14,\tfrac14\right)$ and $\left(\tfrac34,\tfrac14\right)$.

Verification of Key Steps

The characterization of circumcircles via diameters of squares is valid because opposite vertices in a square subtend a right angle at every point of the circumcircle, giving exact equivalence between circle membership and orthogonality conditions.

The identification of $N'$ as the center of the spiral similarity mapping $AC$ to $MF$ follows from the equal-angle condition induced by intersections $AF$ and $BC$, which enforce consistent directed angle relations between corresponding vertices of the two squares.

The symmetry argument in part (b) is justified because the entire configuration is invariant under reflection across the perpendicular bisector of $AB$, which fixes $M$-lines only when they pass through the fixed point of the symmetry, namely the midpoint of $AB$. This removes dependence on any particular value of $m$ and replaces the earlier incorrect algebraic cancellation claim with a geometric invariance argument.

The computation in part (c) follows directly from affine linearity of midpoints and requires no additional geometric constraints.

Alternative Approaches

A fully synthetic approach avoids coordinates entirely by working with spiral similarity centers: $N$ is the unique point inducing a similarity sending $AC$ to $MF$, and all concurrency and circle incidence properties follow from this characterization without algebra.

A complex-number approach can also be completed rigorously by writing all points as affine functions of $m$ and verifying circle conditions via factorization of real quadratic forms, though this is longer than the geometric symmetry method.