Maths Olympiad Prep

Library / Junior Balkan MO /44 of 51

Junior Balkan MO

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=180∘−∠ELC=∠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 A′A'. We will show that A′A' is the desired concurrence point. Obviously AA′AA' is the diameter of circumcircle of triangle ABCABC so ∠A′CA=90∘\angle A'CA = 90^\circ which implies that A′CLEA'CLE is cyclic. From power of point EE we have that EK⋅EL=EB⋅EC=EA⋅EA′EK \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 DXA′EDXA'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,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.