Maths Olympiad Prep

Library / /49 of 56

Geometry Difficulty 6.9 National Olympiad Prove it JBMO

Problem:

Let ABCABC be an acute scalene triangle with circumcenter OO. Let DD be the foot of the altitude from AA to the side BCBC. The lines BCBC and AOAO intersect at EE. Let ss be the line through EE perpendicular to AOAO. The line ss intersects ABAB and ACAC at KK and LL, respectively. Denote by ω\omega the circumcircle of triangle AKLAKL. Line ADAD intersects ω\omega again at XX.
Prove that ω\omega and the circumcircles of triangles ABCABC and DEXDEX have a common point.

Solutions — 2

Solution 1

Solution:

Figure 1
Let us denote angles of triangle ABCABC with α,β,γ\alpha, \beta, \gamma in a standard way. By basic angle chasing we have
BAD=90β=OAC and CAD=BAO=90γ \angle BAD = 90^\circ - \beta = \angle OAC \text{ and } \angle CAD = \angle BAO = 90^\circ - \gamma
Using the fact that lines AEAE and AXAX are isogonal with respect to KAL\angle KAL we can conclude that XX is an AA-antipode on ω\omega. (This fact can be purely angle-chased: we have
KAX+AXK=KAX+ALK=90β+β=90 \angle KAX + \angle AXK = \angle KAX + \angle ALK = 90^\circ - \beta + \beta = 90^\circ
which implies AKX=90\angle AKX = 90^\circ.) Now let FF be the projection of XX on the line AEAE. Using that AXAX is a diameter of ω\omega and EDX=90\angle EDX = 90^\circ it's clear that FF is the intersection point of ω\omega and the circumcircle of triangle DEXDEX. Now it suffices to show that ABFCABFC is cyclic. We have KLF=KAF=90γ\angle KLF = \angle KAF = 90^\circ - \gamma and from FEL=90\angle FEL = 90^\circ we have that EFL=γ=ECL\angle EFL = \gamma = \angle ECL so quadrilateral EFCLEFCL is cyclic. Next, we have
AFC=EFC=180ELC=ELA=β \angle AFC = \angle EFC = 180^\circ - \angle ELC = \angle ELA = \beta
(where last equality holds because of AEL=90\angle AEL = 90^\circ and EAL=90β\angle EAL = 90^\circ - \beta).

Figure 2

Solution 2

Solution:

We have BAD=90β=OAC\angle BAD = 90^\circ - \beta = \angle OAC and that AXAX is the diameter of ω\omega. Also we note that
ALK=β,KLC=180β=KBC \angle ALK = \beta, \quad \angle KLC = 180^\circ - \beta = \angle KBC
so BKCLBKCL is cyclic. Let AOAO intersect circumcircle of ABCABC again at AA'. We will show that AA' is the desired concurrence point. Obviously AAAA' is the diameter of circumcircle of triangle ABCABC so ACA=90\angle A'CA = 90^\circ which implies that ACLEA'CLE is cyclic. From power of point EE we have that EKEL=EBEC=EAEAEK \cdot EL = EB \cdot EC = EA \cdot EA', so we can conclude that AωA' \in \omega. Now using the fact that AXAX is a diameter of ω\omega implies AXA=90\angle AXA' = 90^\circ we have that DXAEDXA'E is cyclic because of EDX=90\angle EDX = 90^\circ which finishes the proof. \square

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

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