GeometryDifficulty 7.7National Olympiad, round 2Prove itHong Kong
Let △ABC be a triangle. M is the midpoint of AC, D is a point on AB. BM and CD meet at O, with AB=CO. E is a point on AC such that DE//BM. Prove that AB⊥BC if and only if ADOM is a cyclic quadrilateral.
Solution
Using the parallel lines, we have △ADE∼△ABM and △CMO∼△CED. This implies BDAB=MEAM=MECM=ODCO. As AB=CO, we obtain BD=OD. Now, ⇔∠BAM=∠DOB⇔∠BAM=∠DBO⇔∠BAM=∠ABM⇔MB=MA. Since MA=MC, this is equivalent to ∠ABC=90∘, i.e. AB⊥BC as desired.
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.