ISL 2015 G3
Let be a triangle with , and let be the foot of the altitude from . A point is chosen inside the triangle so that bisects . Let be the intersection point of the lines and . Let be the semicircle with diameter that meets the segment at an interior point. A line through is tangent to at . Prove that the lines and meet on . (Georgia)
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.