Another orthocenter problem <3
Source: Mexico National Olympiad 2019 P6
November 12, 2019
geometrycircumcircle
Problem Statement
Let be a triangle such that . Let be the orthocenter and circumcenter of , respectively. Let be the circumcircle of and the point on such that the circumcircle of is tangent to . Let and be the circumcenters of and respectively. Let be the circumcenters of and respectively. Prove that and lie on and , respectively.