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 4 of 8: M is the isosceles apex over BC
Detailed analysis
Since is the midpoint of arc (measure ) not containing , arcs and each measure , so and .