Maths Olympiad Prep

Library / Croatian Mathematical Olympiad /21 of 37

Croatian Mathematical Olympiad

Geometry Difficulty 6.4 National Olympiad Prove it Croatia

Let AD‾\overline{AD} be the altitude of an acute-angled triangle ABCABC. On the line ADAD there are distinct points EE and FF such that ∣DE∣=∣DF∣|DE| = |DF| and the point EE is inside the triangle ABCABC. The circumcircle of the triangle BEFBEF meets segments BC‾\overline{BC} and AB‾\overline{AB} again at points KK and MM, respectively. The circumcircle of the triangle CEFCEF meets segments BC‾\overline{BC} and CA‾\overline{CA} again at points LL and NN, respectively.
Prove that the lines ADAD, KMKM and LNLN are concurrent.

Solution

Notice that the circumcentre of triangle BEFBEF is on the segment BC‾\overline{BC}. Therefore, segment BK‾\overline{BK} is a diameter of the circumcircle of triangle BEFBEF, so ∠BMK=90∘\angle BMK = 90^\circ, and analogously ∠LNC=90∘\angle LNC = 90^\circ.

Figure 1

Let lines ADAD and KMKM intersect at XX. From ∠BMX=∠BMK=90∘\angle BMX = \angle BMK = 90^\circ and ∠XDB=∠ADB=90∘\angle XDB = \angle ADB = 90^\circ, it follows that the quadrilateral BDXMBDXM is cyclic.

Quadrilaterals BMEFBMEF and EFCNEFCN are cyclic too, so from power of a point theorem (multiple use) it follows that
∣AX∣⋅∣AD∣=∣AM∣⋅∣AB∣=∣AE∣⋅∣AF∣=∣AN∣⋅∣AC∣, |AX| \cdot |AD| = |AM| \cdot |AB| = |AE| \cdot |AF| = |AN| \cdot |AC|,
and because of that, quadrilateral CDXNCDXN is also cyclic.

Finally, ∠XNC=180∘−∠CDX=90∘=∠LNC\angle XNC = 180^\circ - \angle CDX = 90^\circ = \angle LNC, i.e. point XX lies on the line LNLN, which completes the proof.

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.