Two lines meet on semicircle
Source: 2015 ISL G3
July 7, 2016
geometryIMO Shortlist
Problem Statement
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 .