2024 SSMO Team Round Problems/Problem 4
Problem
Let be a right triangle with circumcenter
and incenter
such that
and
. Let
the projection of
onto
, and let
be the projection of
onto
. Denote
be the incenter of
and
as the incenter of
. If
for relatively prime positive integers
and
find
Solution
We will use analytic geometry. WLOG, let without loss of generality due to rigid transformations or dilations. Since the area of
is
the inradius is
meaning
Since
is a right triangle, the
must be the midpoint of
So,
and
are the midpoints of
and
respectively. Now, as
and
are both similar to
we can easily compute
and
From the shoelace theorem, the area of
is
meaning our answer is
~SMO_Team