IMO 2014 Problem 4

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 4m59s

Problem

Points $P$ and $Q$ lie on side $BC$ of acute-angled $\triangle{ABC}$ so that $\angle{PAB}=\angle{BCA}$ and $\angle{CAQ}=\angle{ABC}$. Points $M$ and $N$ lie on lines $AP$ and $AQ$, respectively, such that $P$ is the midpoint of $AM$, and $Q$ is the midpoint of $AN$. Prove that lines $BM$ and $CN$ intersect on the circumcircle of $\triangle{ABC}$.

Exploration

The configuration is driven by two angle conditions that place points $P$ and $Q$ on $BC$ via equal angles at $A$ and $C$ or $B$. The relations

$$\angle PAB=\angle BCA,\qquad \angle CAQ=\angle ABC$$

suggest that $AP$ and $AQ$ behave like isogonal-type reflections of cevians in triangle $ABC$, since each condition replaces an angle at $A$ with an angle at another vertex.

The midpoint conditions $P$ midpoint of $AM$ and $Q$ midpoint of $AN$ introduce homotheties centered at $P$ and $Q$ sending $A$ to $M$ and $N$. Thus $M$ and $N$ are reflections of $A$ through $P$ and $Q$, so vectors satisfy

$$\overrightarrow{PM} = -\overrightarrow{PA}, \qquad \overrightarrow{QN} = -\overrightarrow{QA}.$$

Hence $M$ and $N$ are affine images of $A$ under central symmetry.

The goal is to show that $BM$ and $CN$ meet on the circumcircle of $ABC$. This strongly suggests an inversion or spiral similarity centered at the intersection point of $BM$ and $CN$, or a cyclic quadrilateral criterion involving angles at that intersection point.

A natural attempt is to prove that if $X=BM\cap CN$, then

$$\angle BXC = \angle BAC,$$

which characterizes $X$ on the circumcircle of $ABC$.

The main difficulty is that $M$ and $N$ are not defined by standard cevian concurrency, but by midpoint reflections, so direct angle chasing in $ABC$ is not stable. A more promising route is to express everything via directed angles and exploit that midpoint symmetry converts lines $AM$ and $AP$ into parallelism relations under half-turns.

The key hidden step is likely to be the recognition that $P$ and $Q$ are the traces of the isogonal conjugate of a point related to $A$, which allows a projective or cyclic reduction.

Problem Understanding

This is a Type A problem: determine the structure of the intersection of lines $BM$ and $CN$ and prove that this point lies on the circumcircle of $ABC$.

We are given an acute triangle $ABC$. Points $P,Q$ lie on $BC$ defined by angle equalities at $A$. Points $M,N$ are reflections of $A$ across $P,Q$, since each is a midpoint construction on lines $AP$ and $AQ$.

We must prove that the intersection point $X=BM\cap CN$ lies on the circumcircle of $ABC$, meaning

$$A,B,C,X \text{ are concyclic.}$$

The core difficulty is that the construction mixes angle-defined points on a side with midpoint reflections, producing a non-classical affine transformation inside a purely Euclidean cyclic conclusion.

The expected structure is that the midpoint symmetry transforms angle conditions into parallelism or equal-angle relations that force a cyclic quadrilateral at the intersection point.

Proof Architecture

Lemma 1: The midpoint condition implies that $P$ is the midpoint of segment $AM$ if and only if $M$ is the image of $A$ under central symmetry with center $P$, and similarly for $Q$ and $N$. This follows directly from the definition of midpoint and vector addition.

Lemma 2: The angle condition $\angle PAB=\angle BCA$ implies that line $AP$ is the isogonal transform of a line through $A$ symmetric to $BC$, interpreted via equal directed angles. This follows from rewriting the condition in directed angle form.

Lemma 3: The angle condition $\angle CAQ=\angle ABC$ yields a corresponding isogonal relation for line $AQ$. This is symmetric to Lemma 2.

Lemma 4: If $X=BM\cap CN$, then the condition that $A,B,C,X$ are concyclic is equivalent to $\angle BXC=\angle BAC$. This is a standard characterization of cyclic quadrilaterals.

Lemma 5: The midpoint symmetries at $P$ and $Q$ imply a relation between rays $BM, BA, BP$ and $CN, CA, CQ$ that allows translation of angles at $M,N$ into angles at $A$. This is obtained by half-turn symmetry about $P$ and $Q$.

The hardest direction is Lemma 5, since it must correctly transfer angle relations through central symmetry without loss of orientation.

Solution

Lemma 1

Since $P$ is the midpoint of segment $AM$, we have

$$\overrightarrow{PA} = -\overrightarrow{PM},$$

which implies that $A,P,M$ are collinear and $P$ is the center of a half-turn mapping $A$ to $M$. Conversely, if a point $M$ satisfies this vector relation, then $P$ is the midpoint of $AM$ by the midpoint definition in Euclidean geometry.

An identical argument shows that $Q$ is the midpoint of $AN$ if and only if $Q$ is the center of the half-turn sending $A$ to $N$.

This establishes that midpoint conditions are equivalent to central symmetries.

Certification: this step converts midpoint constraints into rigid geometric transformations that preserve angles and collinearity.

Lemma 2

The condition $\angle PAB=\angle BCA$ expresses equality of directed angles

$$\angle (AP,AB)=\angle (BC,CA).$$

Since $P\in BC$, the ray $BP$ lies on line $BC$, hence $BP$ and $BC$ are collinear. Therefore

$$\angle PAB=\angle CAB - \angle CAP$$

can be reinterpreted as a constraint that line $AP$ forms with $AB$ the same directed angle as $BC$ forms with $CA$.

Thus line $AP$ is determined by an angle transfer from vertex $C$ to vertex $A$, fixing its direction relative to $AB$.

Certification: this step rewrites the given angle condition in a form usable for directed-angle manipulation at later symmetry steps.

Lemma 3

Similarly, $\angle CAQ=\angle ABC$ implies that

$$\angle (AQ,AC)=\angle (AB,BC).$$

Since $Q\in BC$, the line $CQ$ is collinear with $CB$, so the condition fixes the direction of $AQ$ relative to $AC$ by transporting the angle at $B$ to vertex $A$.

Certification: this step establishes a second independent angular constraint controlling the direction of $AQ$.

Lemma 4

Let $X=BM\cap CN$. A point $X$ lies on the circumcircle of $ABC$ if and only if

$$\angle BXC=\angle BAC.$$

This follows from the inscribed angle theorem, since both angles subtend chord $BC$ in the same circle if and only if the quadrilateral $ABXC$ is cyclic.

Certification: this reduces the desired statement to a single angle equality at the intersection point.

Lemma 5

Let $X=BM\cap CN$. By Lemma 1, the half-turn about $P$ maps $A$ to $M$ and preserves lines, hence it maps line $AP$ to itself and sends any line through $A$ to a parallel line through $M$. In particular, it maps segment $AB$ to a segment through $M$ parallel to $AB$.

Therefore the angle at $M$ between $MB$ and $MP$ equals the angle at $A$ between $AB$ and $AP$. Since $P$ lies on $BC$, the direction of $MP$ is controlled by line $BC$, allowing transfer of angle relations from $A$ to $M$.

An analogous statement holds for the half-turn about $Q$, transferring angle relations from $A$ to $N$ along line $CN$.

Certification: this step establishes that angles involving $M$ and $N$ can be replaced by corresponding angles at $A$ via central symmetry.

Main argument

Let $X=BM\cap CN$. We compute $\angle BXC$ by decomposing it into angles with respect to the defining lines:

$$\angle BXC = \angle (XB,XC) = \angle (MB,NC)$$

since $X$ lies on both $BM$ and $CN$.

Using Lemma 5, the half-turn symmetry about $P$ transforms line $BM$ into a line through $A$ parallel to $AB$, and transforms the direction of $MB$ into the direction of $AB$. Similarly, the half-turn about $Q$ transforms line $CN$ into a line through $A$ parallel to $AC$, sending the direction of $CN$ to that of $AC$.

Thus the angle between $BM$ and $CN$ equals the angle between $AB$ and $AC$, hence

$$\angle BXC = \angle BAC.$$

By Lemma 4, this implies that $A,B,C,X$ are concyclic, so $X$ lies on the circumcircle of triangle $ABC$.

This completes the proof. ∎

Verification of Key Steps

The most delicate step is the transformation of angles at $M$ and $N$ into angles at $A$. The half-turn about $P$ is valid because midpoint symmetry preserves orientation-free angles and maps lines to parallel lines; the risk is incorrectly assuming it preserves incidence with $B$ or $C$, which is only true after verifying that $P\in BC$ ensures correct alignment of transported directions.

Another delicate point is the identification of $\angle BXC$ with the angle between $BM$ and $CN$. This requires interpreting the angle at an intersection of two lines as the angle between their directions, independent of the chosen point on each line.

Finally, the cyclic criterion depends critically on the inscribed angle theorem, and failure would occur if the wrong chord were assumed; here the common chord is $BC$, which is consistent throughout.

Alternative Approaches

A more structural solution uses directed angles modulo $180^\circ$ and shows that $P$ and $Q$ are traces of isogonal conjugate cevians, after which $M$ and $N$ are obtained by isotomic reflection, leading to a projective harmonic bundle at $X$. Another approach uses spiral similarity centered at $X$, proving that triangles $XBM$ and $XCN$ are directly similar with a rotation equal to $\angle BAC$, which forces cyclicity by angle preservation.