2025 AIME I Problems/Problem 14
Contents
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
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.