GeometryDifficulty 7.7National Olympiad, round 2Prove itHong Kong
In △ABC, let AD be the angle bisector of ∠BAC, with D on BC. The perpendicular from B to AD intersects the circumcircle of △ABD at B and E. Prove that E,A and the circumcentre O of △ABC are collinear.
Solution
By simple angle chasing, we find that ∠BAE=∠BAD+∠DAE=2A+∠DBE=2A+B−(90∘−2A)=A+B−90∘=90∘−C=∠BAO. As O and E lie on the same side of AB as C in this case, this implies A,O,E are collinear.
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.