BALKAN-SL 2018 G2
Let be a triangle inscribed in circle with center and let its orthocenter and be the midpoint of . The tangent of at meets the perpendicular bisector of meets at and the tangent of at meets the perpendicular bisector of at . Prove that . (Greece)
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.