Maths Olympiad Prep

Library / /20 of 82

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 6060^\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=2CAD=60\angle COD = 2\angle CAD = 60^\circ, triangle CODCOD is equilateral. PP is the midpoint of ODOD, since ODBCOD \perp BC.
Figure 1
Since AH=2OP|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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.