ab > c^2 + cd + d^2

Do a, b, c, d là các số không âm nên c + d cũng không âm.

Khi đó, với a > c + d ≥ 0 và b > c + d ≥ 0, ta có:

b > (c + d)b (do b ≥ 0)

Mà (c + d)b > (c + d)(c + d) (do c + d ≥ 0)

Suy ra ab > (c + d)2 hay ab > c2 + 2cd + d2

Do đó ab > c2 + cd + d2.