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
.
Solution
Let be the center of
,
be the center of
. Note that
is the reflection of
across
, so
. Additionally
so
lies on
. Now since
are perpendicular to
and their bisector,
is isosceles with
, and
. Also
But
as well, and
, so
. Thus
.