Difference between revisions of "2025 AIME I Problems/Problem 14"
m (→Solution 1: fixed incorrect logic) |
(→Solution 3(Fermat Point)) |
||
(3 intermediate revisions by the same user not shown) | |||
Line 27: | Line 27: | ||
~ethanzhang1001 | ~ethanzhang1001 | ||
+ | |||
+ | ==Solution 3(Fermat Point)== | ||
+ | [[File:AIME2025I_P14_Solution3.PNG|350px]] | ||
+ | |||
+ | <math>AE = 26</math>, <math>DE = 13</math>, and <math>\angle{E}={60}^{\circ}</math>, which means that <math>\triangle{AED}</math> is a 30-60-90 triangle, so <math>AD = 13\sqrt3</math>, <math>\angle{EAD}={30}^{\circ}</math>, and <math>\angle{ADE}={90}^{\circ}</math>. Similar with <math>\triangle{ABC}</math>, <math>AD = 7\sqrt3</math>, <math>\angle{BAC}={30}^{\circ}</math>, and <math>\angle{ACB}={90}^{\circ}</math> | ||
+ | |||
+ | To solve the question, we would have to locate point <math>X</math> first. We first consider the points <math>B</math> and <math>E</math>. For the distance of <math>X</math> to <math>B</math> and <math>E</math> to become the shortest, <math>X</math> should lay on <math>BE</math>. For <math>X</math> to be closest to point <math>A</math>, it should be on the foot of perpendicular from <math>A</math> to line <math>BE</math>. | ||
+ | |||
+ | Consider about <math>C</math> and <math>D</math>. <math>\angle{ADE}=\angle{AXE}={90}^{\circ}</math>, so <math>AXDE</math> is cyclic. Therefore, <math>\angle{EXD}=\angle{EAD}=\angle{BXC}={30}^{\circ}</math>. <math>\angle{DXC}=\angle{AXD}=\angle{AXD}={120}^{\circ}</math>, so <math>X</math> is coincidently the Fermat Point of <math>ADC</math>. | ||
+ | |||
+ | To calculate the <math>f(X)</math>, we divide it into 2 parts: the sum of distance to <math>A</math>, <math>C</math>, and <math>D</math> and the sum of distance to <math>B</math> and <math>E</math>. Applying Ptolemy's Theorem in <math>AXDE</math> and <math>AXCB</math>, | ||
+ | <cmath>AX+2DX=\sqrt3EX</cmath> | ||
+ | <cmath>and</cmath> | ||
+ | <cmath>AX+2CX=\sqrt3BX</cmath> | ||
+ | We get that <math>AX+DX+CX = \frac{\sqrt3}{2}\cdot(EX+BX) = \frac{\sqrt3}{2}BE</math> | ||
+ | |||
+ | Construct equilateral triangle <math>\triangle{ADE}</math> outside of <math>\triangle{ADC}</math> on side <math>AD</math>. Because <math>X</math> is the Fermat Point, <math>FC=AX+DX+CX</math>. To calculate <math>FC</math>, we needed to utilize <math>\angle{FDC}</math> | ||
+ | |||
+ | <cmath>\angle{FDC}=\angle{FDA}+\angle{ADC}={60}^{\circ}+\angle{ADC}</cmath>. | ||
+ | |||
+ | From <math>\triangle{ADC}</math>, we know: | ||
+ | \begin{align*} | ||
+ | \cos{\angle{ADC}} & = \frac{(13\sqrt3)^2+{24}^2-(7\sqrt3)^2}{2\cdot13\sqrt3\cdot24}\\ | ||
+ | &= \frac{936}{2\cdot13\sqrt3\cdot24}\\ | ||
+ | &= \frac{\sqrt3}{2}\\ | ||
+ | \end{align*} | ||
+ | |||
+ | This shows that <math>\angle{ADC} = {30}^{\circ}</math>, which means that <math>\angle{FDC} = {60}^{\circ}+{30}^{\circ}={90}^{\circ}</math> | ||
+ | |||
+ | Using the Pythagorean Theorem, | ||
+ | <cmath>FC = \sqrt{(13\sqrt3)^2+24^2)}=19\sqrt3=AX+DX+CD</cmath> | ||
+ | <cmath>f(X) = 19\sqrt3(1+\frac{2}{\sqrt3})=38+19\sqrt3</cmath> | ||
+ | |||
+ | The answer is <math>38+19+3=\boxed{060}</math> | ||
+ | |||
+ | ~cassphe | ||
==See also== | ==See also== |
Latest revision as of 07:54, 17 February 2025
Problem
Let be a convex pentagon with
and
For each point
in the plane, define
The least possible value of
can be expressed as
where
and
are positive integers and
is not divisible by the square of any prime. Find
Solution 1
Assume , by Ptolemy inequality we have
, while the inequality is reached when both
and
are concyclic. Since
, so
lie on the same line. Thus, the desired value is then
.
Note by LOC, the answer is then
~ Bluesoul
Solution 2
Firstly, note that
and
are just 30-60-90 triangles. Let
be the Fermat point of
, with motivation stemming from considering the pentagon as
with the two 30-60-90 extensions. Note that
is minimized at this point when
. Because we have
, then
and
are both cyclic. Then we have
and
. Then it turns out that we actually have
, implying that
,
and
are collinear. Now, by the triangle inequality, we must have
, with equality occurring when
is on
. Thus
and
are minimized, so this point
is our desired point.
Firstly, we will find . We have that
and
, so applying the Law of Cosines in
, we get
It follows as a result that
. Then we want to find
. We can do this by seeing
Applying the Law of Cosines again in
, then because
and
, we have
so it follows that
.
Now, we will find the value of . Construct a point
outside such that
is equilateral, as shown. By property of fermat point, then
,
, and
are collinear. Additionally,
, so
is cyclic. Applying Ptolemy's Theorem, we have that
. But since
is equilateral, it follows that
. Then
, so we wish to find
. Applying the Law of Cosines in
, we have that
Then because
, then
, so we can find
simply with the Pythagorean Theorem. We know
and
, so
.
We then have , which is our minimum value. Therefore, the answer to the problem is
.
~ethanzhang1001
Solution 3(Fermat Point)
,
, and
, which means that
is a 30-60-90 triangle, so
,
, and
. Similar with
,
,
, and
To solve the question, we would have to locate point first. We first consider the points
and
. For the distance of
to
and
to become the shortest,
should lay on
. For
to be closest to point
, it should be on the foot of perpendicular from
to line
.
Consider about and
.
, so
is cyclic. Therefore,
.
, so
is coincidently the Fermat Point of
.
To calculate the , we divide it into 2 parts: the sum of distance to
,
, and
and the sum of distance to
and
. Applying Ptolemy's Theorem in
and
,
We get that
Construct equilateral triangle outside of
on side
. Because
is the Fermat Point,
. To calculate
, we needed to utilize
.
From , we know:
\begin{align*}
\cos{\angle{ADC}} & = \frac{(13\sqrt3)^2+{24}^2-(7\sqrt3)^2}{2\cdot13\sqrt3\cdot24}\\
&= \frac{936}{2\cdot13\sqrt3\cdot24}\\
&= \frac{\sqrt3}{2}\\
\end{align*}
This shows that , which means that
Using the Pythagorean Theorem,
The answer is
~cassphe
See also
2025 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 13 |
Followed by Problem 15 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.