Đặt \(a=\frac{x^2}{z},\text{ }b=\frac{y^2}{z}\) thì \(z=\sqrt{x^4+y^4}\) và x, y, z > 0
Ta cần chứng minh: \(z\left(\frac{1}{x^2}+\frac{1}{y^2}\right)-\left(\frac{x}{y}-\frac{y}{x}\right)^2\ge2\sqrt{2}\)
Tương đương: \(\sqrt{x^4+y^4}\left(\frac{1}{x^2}+\frac{1}{y^2}\right)\ge\left(\frac{x}{y}-\frac{y}{x}\right)^2+2\sqrt{2}\)
Sau cùng ta cần chứng minh: \(\frac{2\left(3-2\sqrt{2}\right)\left(x^2-y^2\right)^2}{x^2y^2}\ge0\)
Xong.
Nhân tiện, với cùng điều kiện như trên thì bất đẳng thức sau đây đúng với mọi \(k\le1\):
\(\frac{1}{a}+\frac{1}{b}\ge k\left(\sqrt{\frac{a}{b}}-\sqrt{\frac{b}{a}}\right)^2+2\sqrt{2}\)
+) k = 1 đã được chứng minh.
+) k = 0 quá quen thuộc.
+) k < 0 thì yếu hơn k = 0.