Let be a convex pentagon inscribed in a semicircle with diameter , and let be the foot of the altitude from to . Let denote the midpoint of and the intersection of with . Select a point on line with , and finally, let be the reflection of across .
Prove that if quadrilateral is cyclic then so is quadrilateral .
Solution
Extend the semicircle to a full circle . Let line meet at two points . On ray , find a point satisfying . From this, we know that are concyclic; let this circle be .
The radical center of the three circles , and the circumcircle of is the point , because line and are radical axes. Therefore line is the radical axis of and .
Let be the intersection of and . Since
the point also lies on circle . Moreover, from
we know that is tangent to .
Let be the midpoint of segment . Considering the homothety centered at point with ratio , we know that the line through and the midpoint of is perpendicular to . Moreover, lies on the perpendicular bisector of . Therefore, is the center of the circumcircle of quadrilateral .
Finally, since are collinear, we have
from which we know . Hence quadrilateral is cyclic. Q.E.D.