Cho x, y, z là các số dương thỏa mãn x2 + y2 + z2 = xyz.
Chứng minh : + + ≤
Từ giả thiết ta có : = 1
Mặt khác: xy + yz + zx ≤ x2 + y2 + z2
Mà theo giả thiết x2 + y2 + z2 = xyz nên xy + yz + zx ≤ xyz ; ≤1
Lại có : ≤ (1)
Tương tự : ≤ () (2)
≤ () (3)
Cộng (1), (2), (3) ta được:
+ +
≤
≤ ( 1 + 1) =
Đẳng thức xảy ra khi và chỉ khi
⇔ x = y = z = 3.