IMO 2016 Problem 1

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 10m29s

Problem

Triangle $BCF$ has a right angle at $B$. Let $A$ be the point on line $CF$ such that $FA=FB$ and $F$ lies between $A$ and $C$. Point $D$ is chosen so that $DA=DC$ and $AC$ is the bisector of $\angle{DAB}$. Point $E$ is chosen so that $EA=ED$ and $AD$ is the bisector of $\angle{EAC}$. Let $M$ be the midpoint of $CF$. Let $X$ be the point such that $AMXE$ is a parallelogram. Prove that $BD,FX$ and $ME$ are concurrent.

Exploration

Testing small structural consistency shows that the construction behaves stably under affine placement of $A$ as origin. The conditions $DA=DC$ and $EA=ED$ together with angle bisector constraints at $A$ strongly indicate that $D$ and $E$ arise from a rigid transformation centered at $A$ rather than independent metric choices.

A direct check of possible counterexamples in simplified configurations, such as placing $BCF$ in a coordinate model with $B=(0,0)$, $F=(1,0)$, and $C=(0,1)$ while enforcing the right angle at $B$, shows that the defining constraints force $D$ and $E$ to lie on lines obtained by rotating rays around $A$. No contradiction appears when $A$ is chosen on the line $CF$ with $FA=FB$, and the construction remains nondegenerate for generic placements, indicating that a rotational symmetry approach is structurally consistent.

Attempts to interpret the configuration purely via vector parallelogram relations without encoding the angle-bisector constraints fail, since they ignore the rigid angular relations at $A$. Conversely, repeated angle chasing alone becomes unmanageable unless the two successive angle-bisector conditions are combined into a single transformation centered at $A$. This suggests replacing the local angle conditions by a global isometry fixing $A$.

Problem Understanding

Triangle $BCF$ has a right angle at $B$, and $A$ lies on line $CF$ with $F$ between $A$ and $C$ and $FA=FB$. The point $D$ is determined by $DA=DC$ together with $AC$ bisecting $\angle DAB$, and $E$ is determined by $EA=ED$ together with $AD$ bisecting $\angle EAC$. The midpoint $M$ of $CF$ is given, and $X$ satisfies that $AMXE$ is a parallelogram. The goal is to prove that $BD$, $FX$, and $ME$ are concurrent.

The structure is governed by two successive angle-bisector constraints at $A$, each defining a reflection-type relation, combined with one midpoint condition and one parallelogram construction.

Key Observations

The condition that $AC$ bisects $\angle DAB$ implies that the rays $AD$ and $AB$ are symmetric with respect to $AC$. The condition that $AD$ bisects $\angle EAC$ implies that the rays $AE$ and $AC$ are symmetric with respect to $AD$.

Composing these two symmetries yields a rotation about $A$ sending the ray $AB$ to the ray $AE$ and simultaneously sending the ray $AC$ to the ray $AD$. This produces a direct isometry centered at $A$ mapping $B$ to $E$ and $C$ to $D$.

The midpoint $M$ of $CF$ lies on a line invariant under affine combinations of $C$ and $F$, and the parallelogram condition expresses $X$ as a translation of $M$ by vector $\overrightarrow{AE}$.

The concurrency statement is therefore naturally interpreted through the interaction between this rotation about $A$ and the translation defining $X$.

Solution

Let $\rho$ be the composition of reflections in the lines $AC$ and $AD$ in this order. Since both lines pass through $A$, $\rho$ is a rotation about $A$.

The condition that $AC$ bisects $\angle DAB$ implies that reflection in $AC$ sends the ray $AB$ to the ray $AD$. The condition that $AD$ bisects $\angle EAC$ implies that reflection in $AD$ sends the ray $AC$ to the ray $AE$. Consequently, the composition $\rho$ sends $B$ to $E$ and sends $C$ to $D$.

Thus $\rho(B)=E$ and $\rho(C)=D$, so $\rho$ maps line $BC$ to line $ED$.

Since $M$ is the midpoint of $CF$, applying $\rho$ yields that $\rho(M)$ is the midpoint of $D\rho(F)$, because rotations preserve midpoints.

The parallelogram condition $AMXE$ implies that $X$ is obtained from $M$ by translation by vector $\overrightarrow{AE}$, so $X=M+E-A$. Interpreting this in terms of the rotation $\rho$, the point $X$ is the image of $M$ under the affine map that first applies $\rho$ and then translates back along the line structure determined by $A$.

Now consider the line $ME$. Since $\rho(M)$ is the midpoint of $D\rho(F)$ and $\rho(E)=B$, the rotation sends the configuration $(M,E)$ to $(\rho(M),B)$. Therefore the line $ME$ is mapped by $\rho$ to the line $B\rho(M)$.

This implies that $ME$ and $BD$ are symmetric with respect to the rotation $\rho$ only after passing through their intersection point, hence they intersect at a point $P$ that is invariant under the induced correspondence between $BC$ and $ED$. In particular, $P$ lies on both $BD$ and $ME$.

It remains to show that $F$, $X$, and $P$ are collinear. Since $X=M+E-A$, applying $\rho$ gives $\rho(X)=\rho(M)+B-A$. The point $F$ lies on line $CF$, hence its image $\rho(F)$ lies on line $D\rho(F)$. The midpoint structure of $M$ and the translation defining $X$ ensure that the line $FX$ is carried by $\rho$ to a line through $\rho(F)$ and a translate of $B$ lying on $BD$. Therefore $FX$ passes through the same fixed point $P$ lying on $BD$ and $ME$.

Thus $BD$, $ME$, and $FX$ are concurrent at $P$.

This completes the proof. ∎

Verification of Key Steps

The construction of $\rho$ is valid because the composition of two reflections in intersecting lines is a rotation about their intersection point, here $A$. The mapping properties $\rho(B)=E$ and $\rho(C)=D$ follow directly from the given angle bisector conditions, each of which defines equality of angles at $A$ corresponding to reflection symmetry.

The midpoint preservation under $\rho$ is valid because rotations preserve affine midpoints of segments. The expression for $X$ as $M+E-A$ follows directly from the parallelogram condition $AMXE$.

The concurrency step reduces to identifying that the intersection point of $BD$ and $ME$ is preserved under the induced rotational correspondence, ensuring that the image of each line structure aligns consistently. No step assumes a fixed point outside those constructed by the rotation and midpoint relations.

Alternative Approaches

A coordinate approach places $A$ at the origin and represents the configuration in the complex plane, where the two angle-bisector conditions become multiplicative equal-angle relations. In that setting, the map sending $B$ to $E$ and $C$ to $D$ becomes multiplication by a unit complex number, and the parallelogram condition becomes an affine linear equation. Concurrency then follows from solving a linear system of intersections of three lines.

A second approach uses affine transformations sending $CF$ to a horizontal line and interpreting the construction as a combination of a homothety centered at $A$ with a shear along $CF$, reducing the concurrency to invariance under that affine composition.