Áp dụng BĐT cosi:

\(\dfrac{x^2}{y+z}+\dfrac{y+z}{4}\ge2\sqrt{\dfrac{x^2\left(y+z\right)}{4\left(y+z\right)}}=\dfrac{2x}{2}=x\)

Cmtt \(\dfrac{y^2}{x+z}+\dfrac{x+z}{4}\ge y;\dfrac{z^2}{x+y}+\dfrac{x+y}{4}\ge z\)

Cộng VTV 3 BĐT trên:

\(\Leftrightarrow\dfrac{x^2}{y+z}+\dfrac{y^2}{x+z}+\dfrac{z^2}{x+y}+\dfrac{2\left(x+y+z\right)}{4}\ge x+y+z\\ \Leftrightarrow\dfrac{x^2}{y+z}+\dfrac{y^2}{x+z}+\dfrac{z^2}{x+y}\ge x+y+z-\dfrac{x+y+z}{2}=\dfrac{x+y+z}{2}\)

Dấu \("="\Leftrightarrow x=y=z\)

Theo nguyên lý Dirichlet, trong 3 số \(x^2;y^2;z^2\) luôn có ít nhất 2 số cùng phía so với 1

Không mất tính tổng quát, giả sử đó là \(x^2\) và \(y^2\)

\(\Rightarrow\left(x^2-1\right)\left(y^2-1\right)\ge0\)

\(\Leftrightarrow x^2y^2+1\ge x^2+y^2\)

\(\Leftrightarrow x^2y^2+5x^2+5y^2+25\ge6x^2+6y^2+24\)

\(\Leftrightarrow\left(x^2+5\right)\left(y^2+5\right)\ge6\left(x^2+y^2+4\right)\)

\(\Rightarrow\left(x^2+5\right)\left(y^2+5\right)\left(z^2+5\right)\ge6\left(x^2+y^2+4\right)\left(z^2+5\right)\)

\(=6\left(x^2+y^2+1+3\right)\left(1+1+z^2+3\right)\)

\(\ge6\left(x+y+z+3\right)^2\)

Dấu "=" xảy ra khi \(x=y=z=1\)

Với a;b;c dương ta có:

\(\left(a-b\right)^2+\left(b-c\right)^2+\left(c-a\right)^2\ge0\)

\(\Leftrightarrow2a^2+2b^2+2c^2\ge2ab+2bc+2ca\)

\(\Leftrightarrow3a^2+3b^2+3c^2\ge a^2+b^2+c^2+2ab+2bc+2ca\)

\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{1}{3}\left(a+b+c\right)^2\)

Lại có:

\(\left(a+b+c\right)\left(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)\ge3\sqrt[3]{abc}.3\sqrt[3]{\dfrac{1}{abc}}=9\)

Áp dụng:

\(\left(x^2+y^2+z^2\right)\left(\dfrac{1}{x^2}+\dfrac{1}{y^2}+\dfrac{1}{z^2}\right)\ge\dfrac{1}{3}\left(x+y+z\right)^2.\dfrac{1}{3}\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)^2\)

\(=\dfrac{1}{9}\left(x+y+z\right)\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)\left(x+y+z\right)\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)\)

\(=\dfrac{1}{9}.9.\left(x+y+z\right)\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)=\left(x+y+z\right)\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)\)

Dấu "=" xảy ra khi \(x=y=z\)