Maths Olympiad Prep

Library / Croatian Mathematical Competitions /26 of 114

Croatian Mathematical Competitions

Geometry Difficulty 5.1 AIME, harder Prove it Croatia

A triangle with the orthocentre HH and circumcentre OO is given. If one of the angles of the triangle is 60∘60^\circ, prove that the angle bisector of that angle is perpendicular to the line OHOH.

Solution

Without loss of generality, let ∠BAC=60∘\angle BAC = 60^\circ and ∣AB∣>∣CA∣|AB| > |CA|. Let DD be the intersection of the angle bisector of ∠BAC\angle BAC and the circumcircle of the triangle ABCABC. Point DD lies on the perpendicular bisector of BCBC. Let PP be the midpoint of BCBC. Since ∣OC∣=∣OD∣|OC| = |OD| and ∠COD=2∠CAD=60∘\angle COD = 2\angle CAD = 60^\circ, triangle CODCOD is equilateral. PP is the midpoint of ODOD, since OD⊥BCOD \perp BC.
Figure 1
Since ∣AH∣=2∣OP∣|AH| = 2|OP| we conclude that ∣AH∣=∣OD∣|AH| = |OD|. Also, we notice that the lines AHAH and ODOD are parallel, because they are both perpendicular to BCBC. Hence, AHDOAHDO is a parallelogram. Since ∣AO∣=∣DO∣|AO| = |DO|, AHDOAHDO is a rhombus, therefore, its diagonals ADAD and OHOH are perpendicular to each other.

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.