2014 USAMO Problems/Problem 5
Problem
Let be a triangle with orthocenter
and let
be the second intersection of the circumcircle of triangle
with the internal bisector of the angle
. Let
be the circumcenter of triangle
and
the orthocenter of triangle
. Prove that the length of segment
is equal to the circumradius of triangle
.