10. Find the smallest real number M, such that for all real numbers a,b,c, we have ab(a2−b2)+bc(b2−c2)+ca(c2−a2)⩽M(a2+b2+c2)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, thereby finding the minimum value of M. First consider P(t)=tb(t2−b2)+bc(b2−c2)+ct(c2−t2) It is easy to see that P(b)=P(c)=P(−c−b)=0. Then, ∣ab(a2−b2)+bc(b2−c2)+ca(c2−a2)∣ =∣P(a)∣=∣(b−c)(a−b)(a−c)(a+b+c)∣.
Thus, the original inequality is equivalent to: ∣(b−c)(a−b)(a−c)(a+b+c)∣⩽M(a2+b2+c2)2.
By symmetry, without loss of generality, assume a⩽b⩽c, then ∣(b−c)(a−b)∣=(b−a)(c−b)⩽[2(b−a)+(c−b)]2=4(c−a)2,
The equality holds if and only if b−a=c−b, i.e., 2b=a+c. Note that [2(b−a)+(c−b)]2⩽2(c−b)2+(b−a)2 ⇔3(c−a)2⩽2[(b−a)2+(c−b)2+(c−a)2], The equality holds if and only if 2b=a+c. Therefore, ∣(b−c)(a−b)(a−c)(a+b+c)∣⩽41(c−a)3(a+b+c)=41(c−a)6(a+b+c)2⩽41{32[(b−a)2+(c−b)2+(c−a)2]}3(a+b+c)2⩽22{4[3(b−a)2+(c−b)2+(c−a)2]3(a+b+c)2}2.
By the mean value inequality, ∣(b−c)(a−b)(a−c)(a+b+c)∣⩽22[4(b−a)2+(c−b)2+(c−a)2+(a+b+c)2]2=3292(a2+b2+c2)2.
Thus, M⩾3292, and the equality holds if and only if 2b=a+c and 3(b−a)2+(c−b)2+(c−a)2=(a+b+c)2. Solving, we get 2b=a+c,(c−a)2=18b2. Taking b=1, we get a=1−232,c=1+232. At this point, the equality in the original inequality holds. Therefore, Mmin =3292.
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.