Let be an isosceles triangle with , and let be a point inside side such that . Let and be two points inside sides and , respectively, such that . Let the perpendicular bisector of meet line segment at , and let the circumcircles of triangles and meet again at point , different from .
Suppose that are collinear. Prove that .
, 2021
Solutions — 2
Solution 1
Let be the perpendicular bisector of , and denote by the circle . By and , the circle passes through ; moreover, is a diameter of .
The lines and are symmetric about , and is a symmetry axis of as well; it follows that the chords and are symmetric about , hence and are symmetric about . Therefore, the perpendicular bisector of coincides with . Thus passes through the circumcenter of .
Let be the midpoint of . Since , also lies on . By , the chords and of are equal. Then, from it follows that passes through .
Finally, both and lie on lines and , therefore , and follows.
Solution 2
Like in the first solution, we conclude that points and the midpoint of lie on one circle with diameter , and lies on , the perpendicular bisector of .
Let and meet at and let . Then, since lies on , and the quadrilaterals and are cyclic, we have
Since points are collinear, we have
But , so is cyclic. Hence
Thus . It follows that , so is cyclic, too. Hence , that completes the proof.