AIME 2025 II · 第 15 题
AIME 2025 II — Problem 15
题目详情
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 \begin{align*} f(x)-n=\frac{(x-\alpha)^2(x-\beta)^2}{x} \end{align*} This can be done because is a constant, and for the equation to be true for all , the right side is also a quartic. The roots must also both be double, or else there is an even smaller value, a contradiction.
We expand as follows, comparing coefficients:
\begin{align*} (x-18)(x-72)(x-98)(x-k)-nx=(x-\alpha)^2(x-\beta)^2 \\ -2\alpha-2\beta=-18-72-98-k \implies \alpha+\beta=94+\frac{k}{2} \\ \alpha^2+4\alpha \beta +\beta^2=(-18\cdot -72)+(-18\cdot-98)+(-18\cdot-k)+(-72\cdot-98)+(-72\cdot-k)+(-98\cdot-k)=10116+188k \\ (\alpha^2)(\beta^2)=(-18)(-72)(-98)(-k) \implies \alpha \beta=252\sqrt{2k} \\ \end{align*}
Recall , so we can equate and evaluate as follows:
\begin{align} (94+\frac{k}{2})^2+504\sqrt{2k}=10116+188k \tag{1}\\ \end{align} \begin{align*} (47-\frac{k}{4})^2+126\sqrt{2k}=2529 \\ \frac{k^2}{16}-\frac{47}{2}k+126\sqrt{2k}-320=0 \\ \end{align*}
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
\begin{align*} 4a^2-188a+504\sqrt{a}-320=0 \\ a^2-47a+126\sqrt{a}-80=0 \\ \end{align*}
We can test for easy roots and find and . After this, solving the resulting quadratic gets you the remaining roots as and . Discard . Working back through our substitution for , we have generated values of as .
The sum of all then must be .
~ lisztepos
~ 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 that 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 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 n$ is the least value of the function. Similarly, logic proceeds if the third power is on the other binomial.
Solution 2 (AM-GM)
Consider the function \begin{align*} f(x) = \frac{(x - 18)(x - 98)(x - 72)(x - k)}{x^2}. \end{align*} Expanding this, we obtain \begin{align*} f(x) = \left( x + \frac{18 \times 98}{x} - (18 + 98)\right)\left( x + \frac{72k}{x} - (72 + k) \right). \end{align*}
Let (where ). By the AM-GM inequality , we have \begin{align*} x + \frac{m}{x} \geq 2\sqrt{m}. \end{align*} Assuming , the minimum value is .
Let . Then,
when We obtain
Let .
When ,We obtain .
Since , we have \begin{align*} 2(\sqrt{72 \times k})-(72+k) = -32, \end{align*} which yields or .
With the same method, consider the function \begin{align*} f(x) = \underbrace{\left( x + \frac{18 \times 72}{x} - 90 \right)}_{y_1} \cdot \underbrace{\left( x + \frac{98k}{x} - (98 + k) \right)}_{y_2}. \end{align*} When , \begin{align*} y_1 = 2\times 36 - 90 = -18, \end{align*} When , \begin{align*} y_2 = 2(\sqrt{98 \times k})-(98+k), \end{align*} Thus, gives , and the minimum value corresponds to or .
In summary, , , and , with their sum being .
~ Edited by dongjiu0728
Comment: The function in the solution is different (the denominator is replaced with ). So this is another problem. Another issue is that, even if both and assume their minimal value (-18), their product is positive, not necessarily a minimum. Also, there is a problem that the person assumed multiple values of at the multiplicative of the function and yet assumed it to be a single variable function.
-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
Video Solution
2025 AIME II #15
MathProblemSolvingSkills.com