2017 Team #5: Collinearity with circumcenter
Source:
February 19, 2017
geometrycircumcircle
Problem Statement
Let be an acute triangle. The altitudes and intersect at the orthocenter , and point denotes the circumcenter. Point is chosen so that , and point is chosen so that . Lines and meet at point . Prove that points , , are collinear.