2025 SSMO Accuracy Round Problems/Problem 7
Problem
There is a unique ordered triple of positive reals satisfying the system of equations
The value of
can be expressed as
where
and
are positive integers such that
is square-free. Find
.
Solution
Rewrite the given system of equations as\begin{align*} a^2 + 3^2 &= (8\sqrt{3}-b)^2 + 2^2 \\ b^2 + 2^2 &= (8\sqrt{3}-c)^2 + 7^2 \\ c^2 + 7^2 &= (8\sqrt{3}-a)^2 + 3^2. \end{align*}We provide a geometric interpretation for this system. Let be equilateral, let
be a point in the interior of
, and let
,
, and
be the projections of
onto
,
, and
, respectively. Furthermore, suppose that
,
, and
.
We claim that . To prove this, we need to verify that the side length
of
is
. We determine the value of
by computing the area of
in two different ways. On one hand,
. On the other hand,
. Equating these two expressions for
, we find
, as desired.
Now, we use the Law of Cosines on triangles and
to obtain two expressions for the value of
that we can set equal. Note that
and
. Thus, we have
We also know that
, and because
, we have
. Plugging in these expressions for
and
into the above equation and simplifying gives us
Squaring and rearranging this equation yields the even quartic
. Solving and discarding negative solutions, we get
or
. However,
is extraneous as
, so
. It is now straightforward algebra to find that
. Therefore,
, and we extract
.
~Sedro