51 .( a 2 b + b 2 c + c 2 a ) ( a b 2 + b c 2 + c a 2 ) ⩾ a b c + ( a 3 + a b c ) ( b 3 + a b c ) ( c 3 + a b c ) 3 ⇔ ( a c + b a + c b ) ( c a + a b + b c ) ⩾ 1 + ( a 2 b c + 1 ) ( b 2 c a + 1 ) ( c 2 a b + 1 ) 3 \begin{array}{l}
\sqrt{\left(a^{2} b+b^{2} c+c^{2} a\right)\left(a b^{2}+b c^{2}+c a^{2}\right)} \geqslant \\
a b c+\sqrt[3]{\left(a^{3}+a b c\right)\left(b^{3}+a b c\right)\left(c^{3}+a b c\right)} \Leftrightarrow \\
\sqrt{\left(\frac{a}{c}+\frac{b}{a}+\frac{c}{b}\right)\left(\frac{c}{a}+\frac{a}{b}+\frac{b}{c}\right)} \geqslant \\
1+\sqrt[3]{\left(\frac{a^{2}}{b c}+1\right)\left(\frac{b^{2}}{c a}+1\right)\left(\frac{c^{2}}{a b}+1\right)}
\end{array} ( a 2 b + b 2 c + c 2 a ) ( a b 2 + b c 2 + c a 2 ) ⩾ ab c + 3 ( a 3 + ab c ) ( b 3 + ab c ) ( c 3 + ab c ) ⇔ ( c a + a b + b c ) ( a c + b a + c b ) ⩾ 1 + 3 ( b c a 2 + 1 ) ( c a b 2 + 1 ) ( ab c 2 + 1 )
Let x = a c , y = b a , z = c b x=\frac{a}{c}, y=\frac{b}{a}, z=\frac{c}{b} x = c a , y = a b , z = b c , then x y z = 1 x y z=1 x y z = 1 ,( 1 ) ⇔ ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + ( x z + 1 ) ( y x + 1 ) ( z y + 1 ) 3 (1) \Leftrightarrow \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\sqrt[3]{\left(\frac{x}{z}+1\right)\left(\frac{y}{x}+1\right)\left(\frac{z}{y}+1\right)} ( 1 ) ⇔ ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + 3 ( z x + 1 ) ( x y + 1 ) ( y z + 1 )
Notice that x y z = 1 x y z=1 x y z = 1 , we have( x z + 1 ) ( y x + 1 ) ( z y + 1 ) = ( x + y ) ( − y + z ) ( z + x ) \left(\frac{x}{z}+1\right)\left(\frac{y}{x}+1\right)\left(\frac{z}{y}+1\right)=(x+y)(-y+z)(z+x) ( z x + 1 ) ( x y + 1 ) ( y z + 1 ) = ( x + y ) ( − y + z ) ( z + x )
Also,( x + y + z ) ( x y + y z + z x ) = ( x + y ) ( y + z ) ( z + x ) + x y z = ( x + y ) ( y + z ) ( z + x ) + 1 \begin{aligned}
(x+y+z)(x y+y z+z x)= & (x+y)(y+z)(z+x)+x y z= \\
& (x+y)(y+z)(z+x)+1
\end{aligned} ( x + y + z ) ( x y + y z + z x ) = ( x + y ) ( y + z ) ( z + x ) + x y z = ( x + y ) ( y + z ) ( z + x ) + 1
So we only need to prove( x + y + z ) ( x y + y z + z x ) ⩾ 1 + ( x + y ) ( y + z ) ( z + x ) 3 \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\sqrt[3]{(x+y)(y+z)(z+x)} ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + 3 ( x + y ) ( y + z ) ( z + x )
Proof 1: Let p = ( x + y ) ( − y + z ) ( z + x ) 3 p=\sqrt[3]{(x+y)(-y+z)(z+x)} p = 3 ( x + y ) ( − y + z ) ( z + x ) , so inequality (2) ⇔ p 3 + 1 ⩾ 1 + p ⇔ p ( p + 1 ) ( p − 2 ) ⩾ 0 \Leftrightarrow \sqrt{p^{3}+1} \geqslant 1+p \Leftrightarrow p(p+1)(p-2) \geqslant 0 ⇔ p 3 + 1 ⩾ 1 + p ⇔ p ( p + 1 ) ( p − 2 ) ⩾ 0 , we only need to prove p ⩾ 2 p \geqslant 2 p ⩾ 2 . By the AM-GM inequality, we get ( x + y ) ( y + z ) ( z + x ) ⩾ 2 x y ⋅ 2 y z ⋅ 2 z x = 8 x y z = 8 (x+y)(y+z)(z+x) \geqslant 2 \sqrt{x y} \cdot 2 \sqrt{y z} \cdot 2 \sqrt{z x}=8 x y z=8 ( x + y ) ( y + z ) ( z + x ) ⩾ 2 x y ⋅ 2 y z ⋅ 2 z x = 8 x y z = 8 , so, p ⩾ 2 p \geqslant 2 p ⩾ 2 .
Proof 2: First prove the strengthened inequality: ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+ ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + 1 3 ( y + z y z + z + x z x + x + y x y ) \frac{1}{3}\left(\frac{y+z}{\sqrt{y z}}+\frac{z+x}{\sqrt{z x}}+\frac{x+y}{\sqrt{x y}}\right) 3 1 ( y z y + z + z x z + x + x y x + y ) . By the Cauchy-Schwarz inequality and noting that x y z = 1 x y z=1 x y z = 1 , we get[ x + ( y + z ) ] [ y z + x ( y + z ) ] ⩾ [ x y z + x ( y + z ) ] 2 = ( 1 + y + z y z ) 2 [x+(y+z)][y z+x(y+z)] \geqslant[\sqrt{x y z}+\sqrt{x}(y+z)]^{2}=\left(1+\frac{y+z}{\sqrt{y z}}\right)^{2} [ x + ( y + z )] [ y z + x ( y + z )] ⩾ [ x y z + x ( y + z ) ] 2 = ( 1 + y z y + z ) 2
That is,( x + y + z ) ( x y + y z + z x ) ⩾ 1 + y + z y z \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{y+z}{\sqrt{y z}} ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + y z y + z
Similarly,( x + y + z ) ( x y + y z + z x ) ⩾ 1 + z + x z x ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + x + y x y \begin{array}{l}
\sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{z+x}{\sqrt{z x}} \\
\sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{x+y}{\sqrt{x y}}
\end{array} ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + z x z + x ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + x y x + y
So, adding them up, we get( x + y + z ) ( x y + y z + z x ) ⩾ 1 + 1 3 ( y + z y z + z + x z x + x + y x y ) = \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{1}{3}\left(\frac{y+z}{\sqrt{y z}}+\frac{z+x}{\sqrt{z x}}+\frac{x+y}{\sqrt{x y}}\right)= ( x + y + z ) ( x y + y z + z x ) ⩾ 1 + 3 1 ( y z y + z + z x z + x + x y x + y ) =
Then by the AM-GM inequality, we get1 3 ( y + z y z + z + x z x + x + y x y ) ⩾ ( x + y ) ( y + z ) ( z + x ) x y ⋅ y z ⋅ z x 3 = \frac{1}{3}\left(\frac{y+z}{\sqrt{y z}}+\frac{z+x}{\sqrt{z x}}+\frac{x+y}{\sqrt{x y}}\right) \geqslant \sqrt[3]{\frac{(x+y)(y+z)(z+x)}{\sqrt{x y} \cdot \sqrt{y z} \cdot \sqrt{z x}}}= 3 1 ( y z y + z + z x z + x + x y x + y ) ⩾ 3 x y ⋅ y z ⋅ z x ( x + y ) ( y + z ) ( z + x ) =