Bổ sung giả thuyết x ,y \(\ge0\)
Do giả thiết x ,y \(\ge0\)
\(\sqrt{x}+\sqrt{y}\) =1
nên:
xy (x+y )\(^2\)\(\le\) \(\dfrac{1}{64}\)
<=> 64 xy (x + y )\(^2\) \(\le\)1
<=> 64 xy ( x + y)\(^2\)\(\le\)(\(\sqrt{x}+\sqrt{y}\))\(^8\)
<=> 64 xy ( x + y )\(^2\) < \((x+2\sqrt{xy}+y)^4\)
Áp dụng bất đẳng thức Cauchy cho 2 số không âm x + y và \(2\sqrt{xy}\)
ta có ;
x + y + 2\(\sqrt{xy}\) \(\ge\) \(2\sqrt{x+y}2\sqrt{xy}\)
=> ( x + y +2\(\sqrt{xy}\)) \(^4\)\(\ge\) (\(2\sqrt{x+y}2\sqrt{xy}\) )\(^4\)= 64 xy (x + y)\(^2\)
=> ĐIỀU PHẢI CHỨNG MINH
Dấu bằng xảy ra <=> x + y = \(2\sqrt{xy}\)
<=> x = y = \(\dfrac{1}{4}\)