Orthocenter geo
Source: CAPS Match 2023 P5
June 30, 2023
geometry
Problem Statement
Let be an acute-angled triangle with orthocenter . Let be the foot of the altitude from to the line . Let be a point on the circle with diameter such that this circle is internally tangent to the circumcircle of triangle . Let be the midpoint of segment . Prove that .