Consider quadrilateral ABCD with ∣DC∣>∣AD∣. Let P be a point on DC such that PC=AD and let Q be the midpoint of DP. Let L1 be the line perpendicular on DC passing through Q and let L2 be the bisector of the angle ∠ABC. Let us call X=L1∩L2. Show that if quadrilateral is cyclic then X lies on the circumcircle of ABCD.
https://cdn.artofproblemsolving.com/attachments/f/6/3ebfce8a7fd2a0ece9f09065608141006893d2.png geometryConcycliccyclic quadrilateral