Áp dụng bđt Holder ta được:
\(9\left(a^3+b^3+c^3\right)=3.3.\left(a^3+b^3+c^3\right)=\left(1+1+1\right)\left(1+1+1\right)\left(a^3+b^3+c^3\right)\ge\left(a+b+c\right)^3=1\Rightarrow A\ge\frac{1}{9}\)
Dấu bằng xảy ra \(\Leftrightarrow x=y=z=\frac{1}{3}\)
c/m bất đẳng thức Holder:
Cho a,b,c,x,y,z,m,n,p là các số thực dương. Khi đó ta có:
\(\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)\ge\left(axm+byn+czp\right)^3\)
Sử dụng bất đẳng thức AM-GM (Cô-si) ta có:
\(\frac{a^3}{a^3+b^3+c^3}+\frac{x^3}{x^3+y^3+z^3}+\frac{m^3}{m^3+n^3+p^3}\ge\frac{3axm}{\sqrt[3]{\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)}}\)
Tương tự:
\(\frac{b^3}{a^3+b^3+c^3}+\frac{y^3}{x^3+y^3+z^3}+\frac{n^3}{m^3+n^3+p^3}\ge\frac{3byn}{\sqrt[3]{\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)}}\)
\(\frac{c^3}{a^3+b^3+c^3}+\frac{z^3}{x^3+y^3+z^3}+\frac{p^3}{m^3+n^3+p^3}\ge\frac{3czp}{\sqrt[3]{\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)}}\)
\(\Rightarrow3\ge\frac{3axm+3byn+3czp}{\sqrt[3]{\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)}}\)
\(\Leftrightarrow\sqrt[3]{\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)}\ge axm+byn+czp\)
\(\Leftrightarrow\left(a^3+b^3+c^3\right)\left(x^3+y^3+z^3\right)\left(m^3+n^3+p^3\right)\ge\left(axm+byn+czp\right)^3\)
Đẳng thức xảy ra khi các biến bằng nhau
