Browse · MathNet
PrintXXX OBM
Brazil geometry
Problem
Let be a cyclic quadrilateral and and the lines obtained reflecting with respect to the internal bisectors of and , respectively. If is the intersection of and and is the center of the circumscribed circle of , prove that is perpendicular to .

Solution
Let and be the intersections of and with the circumcircle of , respectively. Since is cyclic and and are symmetric with respect to the bisector of , , hence and are parallel. Analogously, and are also parallel. Thus, since , and are parallel chords, its perpendicular bisectors coincide.
The intersection of and belong to this common perpendicular bisector because . Thus this common perpendicular bisector is , which is perpendicular to and, moreover, passes through its midpoint.
The intersection of and belong to this common perpendicular bisector because . Thus this common perpendicular bisector is , which is perpendicular to and, moreover, passes through its midpoint.
Techniques
Cyclic quadrilateralsIsogonal/isotomic conjugates, barycentric coordinatesAngle chasing