đặt x2 + y2 = a; xy = b. khi đó a - b = 1 hay a = b + 1.
ta phải chứng minh x4 + y4 - x2y2 \(\ge\)\(\frac{1}{9}\)hay a2 - 3b2 \(\ge\)\(\frac{1}{9}\) (1)
thế a = b + 1 vào (1) ta được 9b2 - 9b - 4 \(\le\)0 hay (3b + 1)(3b - 4) \(\le\)0 hay \(\frac{-1}{3}\le b\le\frac{4}{3}\)
ta sẽ chứng minh \(\frac{-1}{3}\le b\le\frac{4}{3}\).
thật vậy
ta có x2 + y2\(\ge\)2xy nên từ giả thiết suy ra xy \(\le\) 1 hay b \(\le\)1 nên b \(\le\)\(\frac{4}{3}\)
mặt khác từ giả thiết ta có (x + y)2 - 3xy = 1 nên 3xy + 1 = (x + y)2\(\ge\)0 hay xy \(\ge\)\(\frac{-1}{3}\)hay b \(\ge\)\(\frac{-1}{3}\)
từ đó suy ra đpcm.