Maths Olympiad Prep

Library / /368 of 520

Algebra Difficulty 5.9 AIME, harder Find the answer

10. Find the smallest real number MM, such that for all real numbers a,b,ca, b, c, we have
ab(a2b2)+bc(b2c2)+ca(c2a2)M(a2+b2+c2)2. \left|a b\left(a^{2}-b^{2}\right)+b c\left(b^{2}-c^{2}\right)+c a\left(c^{2}-a^{2}\right)\right| \leqslant M\left(a^{2}+b^{2}+c^{2}\right)^{2} .

A number or a short expression. Spacing and $ signs are ignored.

Solution

10. Try to transform the left side of the given inequality into a form that can apply the mean value inequality, and note the connection between this expression and (a2+b2+c2)2\left(a^{2}+b^{2}+c^{2}\right)^{2}, thereby finding the minimum value of MM.
First consider P(t)=tb(t2b2)+bc(b2c2)+ct(c2t2)P(t)=t b\left(t^{2}-b^{2}\right)+b c\left(b^{2}-c^{2}\right)+c t\left(c^{2}-t^{2}\right)
It is easy to see that P(b)=P(c)=P(cb)=0P(b)=P(c)=P(-c-b)=0.
Then,
ab(a2b2)+bc(b2c2)+ca(c2a2) |a b\left(a^{2}-b^{2}\right)+b c\left(b^{2}-c^{2}\right)+c a\left(c^{2}-a^{2}\right)|
=P(a)=(bc)(ab)(ac)(a+b+c). =|P(a)|=|(b-c)(a-b)(a-c)(a+b+c)|.

Thus, the original inequality is equivalent to:
(bc)(ab)(ac)(a+b+c)M(a2+b2+c2)2. |(b-c)(a-b)(a-c)(a+b+c)| \leqslant M\left(a^{2}+b^{2}+c^{2}\right)^{2}.

By symmetry, without loss of generality, assume abca \leqslant b \leqslant c, then
(bc)(ab)=(ba)(cb)[(ba)+(cb)2]2=(ca)24, |(b-c)(a-b)|=(b-a)(c-b) \leqslant\left[\frac{(b-a)+(c-b)}{2}\right]^{2}=\frac{(c-a)^{2}}{4},

The equality holds if and only if ba=cbb-a=c-b, i.e., 2b=a+c2 b=a+c.
Note that [(ba)+(cb)2]2(cb)2+(ba)22\left[\frac{(b-a)+(c-b)}{2}\right]^{2} \leqslant \frac{(c-b)^{2}+(b-a)^{2}}{2}
3(ca)22[(ba)2+(cb)2+(ca)2], \begin{array}{l} \Leftrightarrow 3(c-a)^{2} \\ \leqslant 2\left[(b-a)^{2}+(c-b)^{2}+(c-a)^{2}\right], \end{array}
The equality holds if and only if 2b=a+c2 b=a+c. Therefore,
(bc)(ab)(ac)(a+b+c)14(ca)3(a+b+c)=14(ca)6(a+b+c)214{2[(ba)2+(cb)2+(ca)2]3}3(a+b+c)222{[(ba)2+(cb)2+(ca)23]3(a+b+c)24}2. \begin{array}{l} |(b-c)(a-b)(a-c)(a+b+c)| \\ \leqslant \frac{1}{4}\left|(c-a)^{3}(a+b+c)\right|=\frac{1}{4} \sqrt{(c-a)^{6}(a+b+c)^{2}} \\ \leqslant \frac{1}{4} \sqrt{\left\{\frac{2\left[(b-a)^{2}+(c-b)^{2}+(c-a)^{2}\right]}{3}\right\}^{3}(a+b+c)^{2}} \\ \leqslant \frac{\sqrt{2}}{2}\left\{\sqrt[4]{\left[\frac{(b-a)^{2}+(c-b)^{2}+(c-a)^{2}}{3}\right]^{3}(a+b+c)^{2}}\right\}^{2}. \end{array}

By the mean value inequality,
(bc)(ab)(ac)(a+b+c)22[(ba)2+(cb)2+(ca)2+(a+b+c)24]2=9232(a2+b2+c2)2. \begin{array}{l} |(b-c)(a-b)(a-c)(a+b+c)| \\ \leqslant \frac{\sqrt{2}}{2}\left[\frac{(b-a)^{2}+(c-b)^{2}+(c-a)^{2}+(a+b+c)^{2}}{4}\right]^{2} \\ =\frac{9 \sqrt{2}}{32}\left(a^{2}+b^{2}+c^{2}\right)^{2}. \end{array}

Thus, M9232M \geqslant \frac{9 \sqrt{2}}{32}, and the equality holds if and only if 2b=a+c2 b=a+c
and (ba)2+(cb)2+(ca)23=(a+b+c)2\frac{(b-a)^{2}+(c-b)^{2}+(c-a)^{2}}{3}=(a+b+c)^{2}.
Solving, we get 2b=a+c,(ca)2=18b22 b=a+c, (c-a)^{2}=18 b^{2}.
Taking b=1b=1, we get a=1322,c=1+322a=1-\frac{3 \sqrt{2}}{2}, c=1+\frac{3 \sqrt{2}}{2}. At this point, the equality in the original inequality holds. Therefore, Mmin =9232M_{\text {min }}=\frac{9 \sqrt{2}}{32}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.