Ta chứng minh BĐT: \(x^2+y^2+z^2\ge xy+yz+xz\)
\(\Leftrightarrow2\left(x^2+y^2+z^2\right)\ge2\left(xy+yz+xz\right)\)
\(\Leftrightarrow\left(x-y\right)^2+\left(y-z\right)^2+\left(z-x\right)^2\ge0\) ( luôn đúng)
Áp dụng BĐT Cauchy - Schwarz dạng Engel ta có:
\(\dfrac{1}{1+xy}+\dfrac{1}{1+yz}+\dfrac{1}{1+xz}\ge\dfrac{\left(1+1+1\right)^2}{1+xy+1+yz+1+xz}=\dfrac{9}{3+xy+yz+xz}\ge\dfrac{9}{3+3}=\dfrac{9}{6}=\dfrac{3}{2}\)\(\RightarrowĐPCM\)
\("="\Leftrightarrow x=y=z=1\)
Cách 2:
Áp dụng BĐT AM - GM, ta có:
\(\dfrac{1}{1+xy}+\dfrac{1+xy}{4}\ge2\sqrt{\dfrac{1}{1+xy}.\dfrac{1+xy}{4}}=1\)
\(\dfrac{1}{1+yz}+\dfrac{1+yz}{4}\ge1\)
\(\dfrac{1}{1+zx}+\dfrac{1+zx}{4}\ge1\)
Cộng vế theo vế BĐT, ta được:
\(\dfrac{1}{1+xy}+\dfrac{1}{1+yz}+\dfrac{1}{1+zx}+\dfrac{1+1+1+xy+yz+zx}{4}\ge1+1+1\)
\(\Leftrightarrow\dfrac{1}{1+xy}+\dfrac{1}{1+yz}+\dfrac{1}{1+zx}+\dfrac{3+xy+yz+zx}{4}\ge3\)
\(\Leftrightarrow\dfrac{1}{1+xy}+\dfrac{1}{1+yz}+\dfrac{1}{1+xz}\ge3-\dfrac{3+xy+yz+zx}{4}\ge3-\dfrac{3+\left(x^2+y^2+z^2\right)}{4}=3-\dfrac{3+3}{4}=\dfrac{3}{2}\)\("="\Leftrightarrow x=y=z=1\)
