2025 AIME II Problems/Problem 15
Contents
[hide]Problem
There are exactly three positive real numbers such that the function
defined over the positive real numbers achieves its minimum value at exactly two positive real numbers
. Find the sum of these three values of
.
Solution 1 ('clunky', trial and error)
Let be the minimum value of the expression (changes based on the value of
, however is a constant). Therefore we can say that
is a constant, and for the equation to be true in all
the right side is also a quartic. The roots must also both be double, or else there is an even more 'minimum' value, setting contradiction.
We expand as follows, comparing coefficients:
Recall , so we can equate and evaluate as follows:
We now have a quartic with respect to . Keeping in mind it is much easier to guess the roots of a polynomial with integer coefficients, we set
. Now our equation becomes
If you are lucky, you should find roots and
. After this, solving the resulting quadratic gets you the remaining roots as
and
. Working back through our substitution for
, we have generated values of
as
.
However, we are not finished, trying into the equation
from earlier does not give us equality, thus it is an extraneous root. The sum of all
then must be
.
~ Edited by aoum
Note: I'm not sure what the first author meant by "or else there is an even more 'minimum' value." The most noticeable reason there are two double roots is because there are two distinct positive solutions per the conditions of the problem
~ fermat_sLastAMC
Further notes (from the author):
To clarify why the equation takes the form as above, if you do not regard the context of the problem, you could say that is another form, also having two roots. However when we consider this form, (WLOG assuming
) if we take a value such that
, then
, therefore implying that
or otherwise resulting
, which is contradiction as we assumed
is the least value of the function. Similarly logic proceeds if the third power is on the other binomial.
Solution 2 (AM-GM)
Consider this function
Let
Let
when
Let
When
Since
With same method, consider the function
In summary, .
~ Edited by dongjiu0728
Comment: The function in the solution is different (the denominator
is replaced with
). So this is different problem.
Another issue is that, even if both
and
assume their minimal value (-18), they multiplication is positive, not necessary a minimum.
-J.Z.
Solution 3 (elegant polynomial)
We first do the same thing as Solution 1 did, but in mathematical language.
Lemma: for Polynomial , if
and
both hold, then
is a multiple root of
.
This lemma is obvious since every root of occurs
times in the derivative polynomial and any single root of
can't be a root of
.
Simply name m as the minimum value of .
Then and the equal sign holds if and only of
or
.
Define . Obviously,
and
satisfy the two properties in the lemma. So we've got:
Take
, we get:
and so on.
So we can construct
.
As what we have seen,
are four roots of
.
So we've got:
Comparing the cubic coefficient:
So
Now
are accesible in this form. The final task is to eliminate
. In this occasion the four roots are either
or
. In either way the constant coefficient of
is
But,
and
are both positive, so we end up with contradiction.
~ Edited by ThomasZZW
Solution 4
What this problem is asking is to choose for which there exists a real
with the property that
at exactly two positive reals
. Specifically,
is the minimum value of the expression for positive reals
. This rewrites into
having two roots. Because it is a quartic, then it is either the square of a quadratic or the product of a cubic and a linear. However, for the latter case, note that this essentially contradicts our minimality assumption. Therefore, it needs to be the square of a quadratic. We can write that squared quadratic as
. We would then have the equation
Firstly, compare the coefficients of . In the left equation, we can see by vietas that the term is
, while in the right equation this is
. We then obtain the relationship
. So it is equivalent to finding the values of
that work. Next, we can start plugging in convenient values for
. For
, we find that
. If we plug in
, we also get
. Similarly,
gets us
. Notice how we have three variables in a three-way systems of equations, so it can be solved. Dividing the second equation by the first equation, we get a new equation
which simplifies to
Taking the square root of both sides and doing a little rearranging, it simplifies into
. Proceeding similarly, we can divide the third equation by the first equation to get
At this point, we have now simplified it slightly down into two variables and two equations. We need both equations to be true, although the plus and the minus cases for each equation aren't necessarily both true at the same time. For convenience, let us call the four equations
as equations 1, 2, 3, and 4, respectively.
To make things simpler, we can simplify each equation down.
In equation 1, we have , so
.
In equation 2, we have , so
.
In equation 3, , so
.
Then in equation 4, , so
.
Now, recall our earlier condition how both of those equations with the must be true. Then we have four cases of which are true: Equations 1 and 3, 1 and 4, 2 and 3, and 2 and 4.
Case 1: Equations 1 and 3 are true
We then have and
. Subtracting the equations gives
. However, it is obvious that
is negative. But then this would force that one of the roots in the quadratic
are negative, which contradicts our initial assumption that it occurs in the positive reals
. This case doesn't provide any solutions.
Case 2: Equations 1 and 4 are true
It requires and
. Adding the two equations gives
. Then
is positive, so this case does indeed work. Applying the relationship
from earlier gives
as a possibility.
Case 3: Equations 2 and 3 are true
Then and
. Adding the two equations,
.
is indeed positive, so this case provides
.
Case 4: Equations 2 and 4 are true
The two equations are and
. Subtracting the first from the second, we see that
. We find that
is also positive here, so it works. Then it can be easily found that
.
Therefore, our possible values of are
, so the answer is
.
~ethanzhang1001
See also
2025 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 14 |
Followed by Last Problem | |
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.