Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /87 of 270

Iranian Mathematical Olympiad

Geometry Difficulty 6.2 National Olympiad Prove it Iran

In triangle ABCABC, altitudes ADAD, BEBE, and CFCF meet at HH. Line EFEF and the perpendicular bisector of HDHD intersect at point PP. Point NN is the center of the nine-point circle of triangle ABCABC. Point LL is on the circumcircle of the triangle such that ∠PLN=90∘\angle PLN = 90^\circ and points AA, LL are on opposite sides of line PNPN. Prove that the quadrilateral ANDLANDL is cyclic.

Solution

Let B′B', C′C' be the intersections of the perpendicular bisector of HDHD with BHBH, CHCH respectively.
Figure 1
Denote by MM, M′M', M0M_0 the midpoints of BCBC, B′C′B'C', EFEF, respectively. Since NN is the center of the circle FEC′B′FEC'B', we have
∠NM0P=∠NM′P=90∘ \angle NM_0P = \angle NM'P = 90^\circ
Let the intersections of HMHM with the circumcircle of ABCABC be KK, A′A' (where AA, A′A' are on opposite sides of BCBC). We know that ∠AKM=90∘\angle AKM = 90^\circ and quadrilateral AEFKAEFK is cyclic. We have
∠FKE=∠FAE∠KEF=∠KAF=∠KCB \begin{aligned} \angle FKE &= \angle FAE \\ \angle KEF &= \angle KAF = \angle KCB \end{aligned}
So triangles KBCKBC, KFEKFE are similar, and consequently, we have ∠KM0F=∠KMB=∠KM′B′\angle KM_0F = \angle KMB = \angle KM'B', resulting KM0M′PKM_0M'P is cyclic.

Claim 2. If A0A_0 is the intersection of the line through AA parallel to BCBC with the circumcircle, then NN, LL, A0A_0 are collinear.
Proof. Let OO be the circumcenter of ABCABC, and let the intersections of OMOM with the circumcircle be XX, YY (where XX is on the arc of BCBC that contains AA). We know NN is the midpoint of OHOH, thus
∠NM′K=∠OMK. \angle NM'K = \angle OMK.
On the other side,
XK^2=AK^2+∠B−∠C2YA′^2=∠B−∠C2∠OMK=YA′^2+XK^2=AK^2+(∠B−∠C) \begin{aligned} \frac{\widehat{XK}}{2} &= \frac{\widehat{AK}}{2} + \frac{\angle B - \angle C}{2} \\ \frac{\widehat{YA'}}{2} &= \frac{\angle B - \angle C}{2} \\ \angle OMK &= \frac{\widehat{YA'}}{2} + \frac{\widehat{XK}}{2} = \frac{\widehat{AK}}{2} + (\angle B - \angle C) \end{aligned}

Also, since AA02=∠B−∠C\frac{AA_0}{2} = \angle B - \angle C and ∠KLN=∠OMK\angle KLN = \angle OMK, then LL, NN, A0A_0 are collinear.
Let H′H' be the reflection of HH with respect to BCBC, it follows that this point is on the circumcircle and A0A_0, OO, H′H' are collinear. We have ∠ADN=∠AH′A0=∠ALA0\angle ADN = \angle AH'A_0 = \angle ALA_0, which means ANDLANDL is indeed cyclic and the statement is proved.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.