xét hiệu x³+y³+z³-3xyz

=(x+y)³+z³-3xy(x+y)-3xyz

=(x+y+z)³-3(x+y+z)(x+y)z-3xy(x+y+z)

=0       vì x+y+z=0

=>x³+y³+z³=3xyz

=>đpcm

Áp dụng BĐT Cô-si cho 2 số dương, ta có:

\(18x+\frac{2}{x}\ge2\sqrt{18x.\frac{2}{x}}=12\)

Chứng minh tương tự, ta có

\(18y+\frac{2}{y}\ge12\)

\(18z+\frac{2}{z}\ge12\)

Từ đó suy ra \(18\left(x+y+z\right)+2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\ge36\)(*)

Lại có \(x+y+z\le1\Rightarrow-\left(x+y+z\right)\ge-1\)(**)

Từ (*) và (**) suy ra \(18\left(x+y+z\right)+2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)-\left(x+y+z\right)\ge36-1\)

                           \(\Leftrightarrow17\left(x+y+z\right)+2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\ge35\)

Vậy \(17\left(x+y+z\right)+2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\ge35\)với \(x+y+z\le1\)

\(\Leftrightarrow\left(x^3-x\right)+\left(y^3-y\right)+\left(z^3-z\right)=2009\Leftrightarrow\left(x-1\right)x\left(x+1\right)+\left(y-1\right)y\left(y+1\right)+\left(z+1\right)z\left(z+1\right)=2009\)

Ta thấy về trái chia hết cho 3, vế phải không chia hết cho 3 =>đpcm.