2. Given the circumcircle of , the midpoints of sides and are and respectively, and the midpoint of the arc of circle not containing point is . The circumcircles of and intersect the perpendicular bisectors of sides and at points and respectively, and and are inside . If line intersects at point , prove: .
Problem 856
Official solution
2. As shown in Figure 1, let the center of circle be . Then is the intersection of and .
Let the perpendicular bisector of segment be . Then line passes through point . Denote the reflection transformation about line as .
Since is the angle bisector of , the line is parallel to .
Also, , thus, the line is parallel to and passes through point .
Therefore, .
Since the circumcircle of is symmetric about , then .
Thus, the reflection of point about line is the intersection of line and the arc of circle , i.e., point coincides with point .
Similarly, point coincides with point .
Therefore, .
Hence, the intersection point of line and lies on line .
Thus, .