MathDB
Cyclic quadrilateral and reflections wrt bisectors

Source: Brazilian Math Olympiad 2008, Problem 4

October 28, 2008
geometrygeometric transformationreflectioncircumcircleincenterhomothetycyclic quadrilateral

Problem Statement

Let ABCD ABCD be a cyclic quadrilateral and r r and s s the lines obtained reflecting AB AB with respect to the internal bisectors of CAD \angle CAD and CBD \angle CBD, respectively. If P P is the intersection of r r and s s and O O is the center of the circumscribed circle of ABCD ABCD, prove that OP OP is perpendicular to CD CD.