RU-ALLRUSSIAN 2016 Problem 92
is a circle inside angle and it is tangent to sides of this angle at .An arbitrary line intersects with at ,respectively and intersect with at .Points are on such that and .Prove that are concyclic.(I.Bogdanov,P.Kozhevnikov)
Dataset text AI-MO AoPS. 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.
Similar problems
These problems have the most words in common with this statement.