Bất đẳng thức AM-GM được phát biểu như sau:
với (*) là các số thực không âm bất kì.
Còn gọi là bất đẳng thức Cauchy, bất đẳng thức AM-GM tổng quát có nhiều cách chưng minh rất độc đáo và ngắn gọn. Đây là một cách chứng minh của Kong-Ming-Chong (Malaysia) (trích báo toán học tuổi trẻ):
Trước hết, đặt , khi đó bất đẳng thức trên tương đương với .
Nếu thì (*) trở thành đẳng thức, vì: .
Nếu không bằng nhau thì phải có bất đẳng thức thực sự:
(1).
Ta chứng minh (1) bằng qui nạp.
Dễ thấy (1) đúng với , tức là .
Giả sử (1) đúng với số không bằng nhau tất cả có trung bình cộng là . Ta phải chứng minh (1) đúng với .
Thật vậy, trong các số không bằng nhau tất cả phải có một số bé hơn và một số lớn hơn , giả sử là và : . Do đó ta có hay là . Ta xét số không âm sau đây: . Dễ thấy số nói trên không bằng nhau tất cả nên theo giả thiết quy nạp thì: .
Vậy (đpcm).