International Mathematical Olympiad 2021 Problem 4
Let be a circle with centre , and a convex quadrilateral such that each of the segments , , and is tangent to . Let be the circumcircle of the triangle . The extension of beyond meets at , and the extension of beyond meets at . The extensions of and beyond meet at and , respectively. Prove that