A triangle with the orthocentre and circumcentre is given. If one of the angles of the triangle is , prove that the angle bisector of that angle is perpendicular to the line .
Solution
Without loss of generality, let and . Let be the intersection of the angle bisector of and the circumcircle of the triangle . Point lies on the perpendicular bisector of . Let be the midpoint of . Since and , triangle is equilateral. is the midpoint of , since .
Since we conclude that . Also, we notice that the lines and are parallel, because they are both perpendicular to . Hence, is a parallelogram. Since , is a rhombus, therefore, its diagonals and 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.