TSTST 2022 Problem 6
Let and be the circumcenter and orthocenter, respectively, of an acute scalene triangle . The perpendicular bisector of intersects and at and respectively. Let denote the intersection of the circumcircles of triangles and other than . Define and analogously by repeating this construction two more times. Prove that , and are concyclic.
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.