Let ABC be an acute scalene triangle with circumcenter O. Let D be the foot of the altitude from A to the side BC. The lines BC and AO intersect at E. Let s be the line through E perpendicular to AO. The line s intersects AB and AC at K and L, respectively. Denote by ω the circumcircle of triangle AKL. Line AD intersects ω again at X. Prove that ω and the circumcircles of triangles ABC and DEX have a common point.
Solutions — 2
Solution 1
Solution:
Let us denote angles of triangle ABC with α,β,γ in a standard way. By basic angle chasing we have ∠BAD=90∘−β=∠OAC and ∠CAD=∠BAO=90∘−γ Using the fact that lines AE and AX are isogonal with respect to ∠KAL we can conclude that X is an A-antipode on ω. (This fact can be purely angle-chased: we have ∠KAX+∠AXK=∠KAX+∠ALK=90∘−β+β=90∘ which implies ∠AKX=90∘.) Now let F be the projection of X on the line AE. Using that AX is a diameter of ω and ∠EDX=90∘ it's clear that F is the intersection point of ω and the circumcircle of triangle DEX. Now it suffices to show that ABFC is cyclic. We have ∠KLF=∠KAF=90∘−γ and from ∠FEL=90∘ we have that ∠EFL=γ=∠ECL so quadrilateral EFCL is cyclic. Next, we have ∠AFC=∠EFC=180∘−∠ELC=∠ELA=β (where last equality holds because of ∠AEL=90∘ and ∠EAL=90∘−β).
Solution 2
Solution:
We have ∠BAD=90∘−β=∠OAC and that AX is the diameter of ω. Also we note that ∠ALK=β,∠KLC=180∘−β=∠KBC so BKCL is cyclic. Let AO intersect circumcircle of ABC again at A′. We will show that A′ is the desired concurrence point. Obviously AA′ is the diameter of circumcircle of triangle ABC so ∠A′CA=90∘ which implies that A′CLE is cyclic. From power of point E we have that EK⋅EL=EB⋅EC=EA⋅EA′, so we can conclude that A′∈ω. Now using the fact that AX is a diameter of ω implies ∠AXA′=90∘ we have that DXA′E is cyclic because of ∠EDX=90∘ which finishes the proof. □
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.