Let be a triangle such that . The perpendicular bisector of the side meets the side at the point , and the (interior) bisectrix of the angle meets the circumcircle at the point . Prove that the (interior) bisectrix of the angle and the line through the incentres of the triangles and are perpendicular.
Solution
The lines and are parallel, so the angles and are equal. Then so are the angles and . Let and be the incentres of the triangles and , respectively. It follows that the triangles and are similar, so . Since the angles and are equal, the triangles and are similar, so the angles and are equal. Let the line meet the line at the point . Notice that the quadrangle is cyclic to deduce that the angles and are both equal to one half of the angle . Consequently, the line is parallel to the exterior bisectrix of the angle . The conclusion follows.
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.