Difference between revisions of "2025 SSMO Accuracy Round Problems/Problem 7"
(→Solution) |
(→Solution) |
||
Line 11: | Line 11: | ||
==Solution== | ==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 <math>\triangle ABC</math> be equilateral, let <math>P</math> be a point in the interior of <math>ABC</math>, and let <math>D</math>, <math>E</math>, and <math>F</math> be the projections of <math>P</math> onto <math>AB</math>, <math>BC</math>, and <math>CA</math>, respectively. Furthermore, suppose that <math>PD=2</math>, <math>PE=7</math>, and <math>PF=3</math>. | + | 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 <math>\triangle ABC</math> be equilateral, let <math>P</math> be a point in the interior of <math>\triangle ABC</math>, and let <math>D</math>, <math>E</math>, and <math>F</math> be the projections of <math>P</math> onto <math>AB</math>, <math>BC</math>, and <math>CA</math>, respectively. Furthermore, suppose that <math>PD=2</math>, <math>PE=7</math>, and <math>PF=3</math>. |
<asy> | <asy> |
Revision as of 20:15, 15 September 2025
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