Let be a fixed acute-angled triangle. Consider some points and lying on the sides and , respectively, and let be the midpoint of . Let the perpendicular bisector of intersect the line at , and let the perpendicular bisector of intersect the lines and at and , respectively. If the quadrilateral is cyclic, prove that .
Taiwan IMO Selection Camp
Solution
Let be the circumcircle of the quadrilateral . Let be the intersection of line with line , and let be the second intersection point of with , as shown in the figure below.
Since and is the midpoint of , is also the midpoint of . Furthermore, since and are symmetric with respect to line , we have . Therefore and are symmetric with respect to the perpendicular bisector of , so .
Let be the point symmetric to with respect to . Then lies on line . Without loss of generality, assume lies on ray . We obtain
(when , refers to the angle between and the tangent to at ). Hence form a cyclic quadrilateral. Because is a parallelogram, we know . Also, since , by symmetry we get .
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.