Interesting geo with tangents, external bisector and many equal segments
Source: Iberoamerican 2022, Day 2, P2
September 29, 2022
geometry
Problem Statement
Let be an acute triangle with circumcircle . Let and be points in the half plane defined by containing , such that and are tangents to and . Let and be points on the external bisector of the angle , such that . Let be the intersection point of the lines and . Prove that .