Maths Olympiad Prep

Library / /289 of 520

Algebra Difficulty 6.8 National olympiad Find the answer

Example 1.1.16 Find the smallest value of MM such that the following inequality holds for all real numbers a,b,ca, b, c.
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| \leq M\left(a^{2}+b^{2}+c^{2}\right)^{2}
(IMO 2006)

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

Solution

Let x=ab,y=bc,z=ca,s=a+b+cx=a-b, y=b-c, z=c-a, s=a+b+c, then the inequality can be written as follows:
9sxyzM(s2+x2+y2+z2)29|s x y z| \leq M\left(s^{2}+x^{2}+y^{2}+z^{2}\right)^{2}

where s,x,y,zs, x, y, z are any real numbers, and satisfy x+y+z=0x+y+z=0.
In fact, ss is an independent variable. First, we examine the relationship between xyzx y z and x2+y2+z2x^{2}+y^{2}+z^{2}. Since x+y+z=0x+y+z=0, it is clear that two of x,y,zx, y, z have the same sign. Without loss of generality, assume x,y0x, y \geq 0 (the case x,y0x, y \leq 0 can be similarly proven). By the AM-GM inequality, we have
sxyz=sxy(x+y)s(x+y)34|s x y z|=|\operatorname{sxy}(x+y)| \leq|s| \cdot \frac{(x+y)^{3}}{4}

Equality holds when x=yx=y. Let t=x+yt=x+y, and apply the AM-GM inequality again, we have
2s2t6=2s2t2t2t2(2s2+3t2)4442 s^{2} t^{6}=2 s^{2} \cdot t^{2} \cdot t^{2} \cdot t^{2} \leq \frac{\left(2 s^{2}+3 t^{2}\right)^{4}}{4^{4}}

Thus,
42st3(s2+32t2)2(s2+x2+y2+z2)24 \sqrt{2}|s| t^{3} \leq\left(s^{2}+\frac{3}{2} t^{2}\right)^{2} \leq\left(s^{2}+x^{2}+y^{2}+z^{2}\right)^{2}

Combining (1) and (2), we get
sxyz1162(s2+x2+y2+z2)2|s x y z| \leq \frac{1}{16 \sqrt{2}}\left(s^{2}+x^{2}+y^{2}+z^{2}\right)^{2}

This implies M9232M \geq \frac{9 \sqrt{2}}{32}. To prove that M=9232M=\frac{9 \sqrt{2}}{32} is the best constant, we need to find (s,x,y,z)(s, x, y, z), i.e., (a,b,c)(a, b, c), for which equality holds. After simple calculations, the values for which equality holds are (a,b,c)=(132,1,1+32)(a, b, c)=\left(1-\frac{3}{\sqrt{2}}, 1,1+\frac{3}{\sqrt{2}}\right).

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.