Let be the circumcircle of the triangle , which is isosceles at . Let the point lie in the interior of the side . Let there be a point on the ray such that lies between and and which satisfies . Let the circumcircle of the triangle intersect at the two distinct points and . Let the lines and meet at a point . Prove that .
Problem 1630
Official solution
The idea for the solution starts from the observation that the requirement remains unchanged if one swaps and as well as and with each other. This suggests that one should also consider the circumcircle of the triangle . The second intersection point of the circumcircles of and can finally be identified as the incenter of .
Let be the incenter of the triangle . As is well known, , and because the triangle is isosceles at , we have , so , and because and lie in different half-planes with respect to the line , it follows from the theorem on cyclic quadrilaterals that is a cyclic quadrilateral, i.e., that lies on the circumcircle of . Due to the symmetry mentioned at the beginning, also lies on the circumcircle of . Since , as the incenter, is an interior point of the triangle , in particular , and thus the line is the radical axis of the circumcircles of and . Since furthermore the line is the radical axis of the circumcircles of and and the line is the radical axis of the circumcircles of and , the lines and meet at a point. This point is, by definition, , i.e., lies on the angle bisector of the angle , but this is identical with the angle bisector of the angle , consequently .