BALKAN-SL 2017 G7
Let be an acute triangle with and circumcirle . The angle bisector of intersects and at and respectively. Circle with diameter intersects again at . Point is on such that and and are feet of perpendiculars from to and respectively. Let and be the ortocenters of and respectively. meets again at . If and intersect the circle with diameter again at points and , respectively, prove that the lines and are concurrent.
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.