Maths Olympiad Prep

Library / /418 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

28. Given a,b,c>0a, b, c > 0, and abc=1abc = 1, prove: ab2(c+1)+bc2(a+1)+ca2(b+1)32\frac{a}{b^{2}(c+1)} + \frac{b}{c^{2}(a+1)} + \frac{c}{a^{2}(b+1)} \geqslant \frac{3}{2}. (2005 Romanian Mathematical Olympiad Problem)

Solution

28. Let a=xz,b=yx,c=zya=\frac{x}{z}, b=\frac{y}{x}, c=\frac{z}{y}, then ab2(c+1)+bc2(a+1)+ca2(b+1)32\frac{a}{b^{2}(c+1)}+\frac{b}{c^{2}(a+1)}+\frac{c}{a^{2}(b+1)} \geqslant \frac{3}{2} \Leftrightarrow x3yz(y+z)+y3zx(z+x)+z3xy(x+y)32x4xyz(y+z)+y4xyz(z+x)+\frac{x^{3}}{y z(y+z)}+\frac{y^{3}}{z x(z+x)}+\frac{z^{3}}{x y(x+y)} \geqslant \frac{3}{2} \Leftrightarrow \frac{x^{4}}{x y z(y+z)}+\frac{y^{4}}{x y z(z+x)}+ z4xyz(x+y)32\frac{z^{4}}{x y z(x+y)} \geqslant \frac{3}{2}.
By the Cauchy-Schwarz inequality, we have
(x4y+z+y4z+x+z4x+y)[(y+z)+(z+x)+(x+y)](x2+y2+z2)2\left(\frac{x^{4}}{y+z}+\frac{y^{4}}{z+x}+\frac{z^{4}}{x+y}\right)[(y+z)+(z+x)+(x+y)] \geqslant\left(x^{2}+y^{2}+z^{2}\right)^{2}

Thus, it suffices to prove
(x2+y2+z2)23xyz(x+y+z)\left(x^{2}+y^{2}+z^{2}\right)^{2} \geqslant 3 x y z(x+y+z)

In fact,
(x2+y2+z2)213(x+y+z)2(x2+y2+z2)=13(x+y+z)(x+y+z)(x2+y2+z2)13(x+y+z)3xyz33(xyz)23=3xyz(x+y+z)\begin{aligned} \left(x^{2}+y^{2}+z^{2}\right)^{2} \geqslant & \frac{1}{3}(x+y+z)^{2}\left(x^{2}+y^{2}+z^{2}\right)= \\ & \frac{1}{3}(x+y+z)(x+y+z)\left(x^{2}+y^{2}+z^{2}\right) \geqslant \\ & \frac{1}{3}(x+y+z) \cdot 3 \sqrt[3]{x y z} \cdot 3 \sqrt[3]{(x y z)^{2}}= \\ & 3 x y z(x+y+z) \end{aligned}

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.