ISL 2022 G3
Let be a cyclic quadrilateral. Assume that the points are collinear in this order, in such a way that the line is tangent to the circle , and the line is tangent to the circle . Let and be the midpoints of and , respectively. Prove that the following three lines are concurrent: line , the tangent of circle at point , and the tangent to circle at point . (Slovakia)
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.