Let and be two congruent equilateral triangles, centered at and , respectively, such that segment meets segments and at and , respectively, and segment meets segments and at and , respectively. The bisectors of angles and meet at , and the bisectors of angles and meet at . Prove that is the perpendicular bisector of the segment .
Bogdan Maxim
Solution
Denote by and the circumcircles of the triangles and , respectively.
Since , the quadrilateral is cyclic, so .
Looking at the quadrilateral we have: , so .
Since , we infer that is a cyclic quadrilateral, so and are cyclic too.

It follows that and .
Subsequently, , so .
Let be the second intersection point of and and be the second intersection point of and .
Since is cyclic, it follows that , so the arc from the circle and the arc from the circle have the same measure. Since the minor arcs and from the two circles are congruent, each having , it follows that the arcs (in the circle ) and (in the circle ) have the same measure, so .
From here, we obtain , so , which means that the power of the point with respect to the circle is equal to the power of with respect to . Hence, belongs to the radical axis of these two circles.
Analogously, we prove that , so the lines and coincide. Hence, is the radical axis of the circles and , therefore is the perpendicular bisector of .