Difference between revisions of "2025 SSMO Accuracy Round Problems/Problem 7"
(→Solution) |
m (→Solution) |
||
(One intermediate revision by the same user not shown) | |||
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> | ||
Line 66: | Line 66: | ||
We claim that <math>(a,b,c) = (AF,BD,CE)</math>. To prove this, we need to verify that the side length <math>s</math> of <math>\triangle ABC</math> is <math>8\sqrt{3}</math>. We determine the value of <math>s</math> by computing the area of <math>\triangle ABC</math> in two different ways. On one hand, <math>[ABC] = \tfrac{1}{4}s^2\sqrt{3}</math>. On the other hand, <math>[ABC] = [APB]+[BPC]+[CPA] = 6s</math>. Equating these two expressions for <math>[ABC]</math>, we find <math>s=8\sqrt{3}</math>, as desired. | We claim that <math>(a,b,c) = (AF,BD,CE)</math>. To prove this, we need to verify that the side length <math>s</math> of <math>\triangle ABC</math> is <math>8\sqrt{3}</math>. We determine the value of <math>s</math> by computing the area of <math>\triangle ABC</math> in two different ways. On one hand, <math>[ABC] = \tfrac{1}{4}s^2\sqrt{3}</math>. On the other hand, <math>[ABC] = [APB]+[BPC]+[CPA] = 6s</math>. Equating these two expressions for <math>[ABC]</math>, we find <math>s=8\sqrt{3}</math>, as desired. | ||
− | Now, we use the Law of Cosines on | + | Now, we use the Law of Cosines on <math>\triangle FAD</math> and <math>\triangle FPD</math> to obtain two expressions for the value of <math>DF^2</math> that we can set equal. Note that <math>\angle FAD = 60^\circ</math> and <math>\angle FPD = 120^\circ</math>. Thus, we have |
<cmath>DF^2 = a^2 + (8\sqrt{3}-b)^2 - a(8\sqrt{3}-b) = 19.</cmath> | <cmath>DF^2 = a^2 + (8\sqrt{3}-b)^2 - a(8\sqrt{3}-b) = 19.</cmath> | ||
We also know that <math>(8\sqrt{3}-b)^2 = a^2+5</math>, and because <math>b=BD<8\sqrt{3}</math>, we have <math>8\sqrt{3}-b = \sqrt{a^2+5}</math>. Plugging in these expressions for <math>8\sqrt{3}-b</math> and <math>(8\sqrt{3}-b)^2</math> into the above equation and simplifying gives us | We also know that <math>(8\sqrt{3}-b)^2 = a^2+5</math>, and because <math>b=BD<8\sqrt{3}</math>, we have <math>8\sqrt{3}-b = \sqrt{a^2+5}</math>. Plugging in these expressions for <math>8\sqrt{3}-b</math> and <math>(8\sqrt{3}-b)^2</math> into the above equation and simplifying gives us |
Latest revision as of 14:43, 17 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 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