2025 SSMO Accuracy Round Problems/Problem 10
Problem
Let
be a convex pentagon with
and
. Let
and
meet at
. Given that
,
, and
, the length of
can be expressed as
where
and
are positive integers such that
is square-free. Find
.
Solution
The main idea is to consider the transformation
that sends
to
. By the given angle equalities, AA similarity gives us
. Since
, it follows that
is composed of a rotation by
about
followed by a dilation of scale factor
centered at
.
We use
to prove that
is the the second intersection point of
and
. Notice that
sends
to
, so
. This implies that
lies on
. Since
,
also lies on
, as desired.
Next, let
and
be the centers of
and
, respectively. We seek the value of
. Notice that
sends
to
, so
sends
to
. (Here,
denotes
applied twice.) Therefore,
. Then,
\begin{align*}
\cos (\angle O_1AO_2) &= \cos(2\angle BAC) \\
&= 1 - 2 \sin^2(\angle BAC) \\
&= \frac{7}{25}.
\end{align*}
By the extended Law of Sines, the radius of
is
, which means that the radius of
is
. By the Law of Cosines on
, we have
\begin{align*}
(O_1O_2)^2 &= (AO_1)^2 + (AO_2)^2 - 2(AO_1)(AO_2)\cos(\angle O_1AO_2) \\
&= 5^2 + 125^2 - 2(5)(125)(\tfrac{7}{25}) \\
&= 15300,
\end{align*}
so
.
Finally, to find
, we compute
. We have
, and by the sine area formula, we obtain
. Now, since
is the perpendicular bisector of
, the length of the altitude from
to
is
. Thus,
. Solving, we find
, and we extract
.
~Sedro