Problem 3
Let be a cyclic convex quadrilateral and be its circumcircle. Let be the intersection of the diagonals and , let be the center of the circle tangent to sides , , and , and let be the midpoint of the arc of not containing and . Prove that the excenter of triangle opposite lies on the line .
Step 3 of 8: The excenter's angles at B and C
Detailed analysis
Let be the excenter of triangle opposite ; it lies on the external bisectors of and , which meet at angles and (external bisector is perpendicular to the internal one).