Ta có: \(1=x+y\ge2\sqrt{xy}\)
\(\Rightarrow4xy\le1\)
\(S=\frac{1}{x^2+y^2}+\frac{3}{4xy}\)
\(=\frac{1}{x^2+y^2}+\frac{1}{2xy}+\frac{1}{4xy}\)
\(\ge\frac{4}{x^2+y^2+2xy}+\frac{1}{1}=\frac{4}{\left(x+y\right)^2}+1=\frac{4}{1}+1=5\)
Dấu = xảy ra khi \(x=y=\frac{1}{2}\)
Áp dụng BĐT AM - MG ta có :
\(xy\)\(\le\)\(\frac{\left(x+y\right)^2}{4}\)\(=\)\(\frac{1}{4}\)
Áp dụng BĐT Cauchy - Schwarz dạng Engel :
\(S\)\(=\)\(\frac{1}{x^2+y^2}\)\(-\)\(\frac{3}{4xy}\)\(=\)\(\frac{1}{x^2+y^2}\)\(-\)\(\frac{2}{4xy}\)\(-\)\(\frac{1}{4xy}\)
\(=\)\(\frac{1}{x^2+y^2}\)\(-\)\(\frac{1}{2xy}\)\(-\)\(\frac{1}{4xy}\)\(\ge\)\(\frac{\left(1-1\right)^2}{x^2-y^2-2xy}\)\(-\)\(\frac{1}{4xy}\)
\(\ge\)\(\frac{\left(1+1\right)^2}{\left(x+y\right)^2}\)\(-\)\(\frac{1}{4.\frac{1}{4}}\)\(=\)\(4\)\(-\)\(1\)\(=\)\(5\)
Xảy ra khi \(x\)\(=\)\(y\)\(=\)\(\frac{1}{2}\)