Colinear Points
Source: 2016 Korea Winter Camp 2nd Test #2
January 25, 2016
geometry
Problem Statement
Let there be an acute triangle , such that . Let the perpendicular from to hit the circumcircle of at , and let be the midpoint of . The tangent to the circumcircle of at hits the perpendicular bisector of at , and the circumcircle of hits the circumcircle of at . Let be the foot of the perpendicular from to , and be the midpoint of . Prove that are collinear.