Bất đẳng thức Cô-Si (Cauchy) :
a^2 + b^2 >= 2ab dấu = xảy ra <=> khi a = b
a + b >= 2Vab (a, b >0) dấu bằng xày ra <=> a = b (V là dấu căn)
(a + b)/2 >= Vab
(a1 + a2 + a3)/3 >= căn bậc ba của tích a1.a2.a3 (a1, a2, a3 là các số lớm hơn hoặc bằng 0)
(a1 + a2 + a3 +....+ an)/n >= căn bậc n của tích a1.a2.a3....an)
Trong toán học, bất đẳng thức Cauchy, bất đẳng so sánh giữa trung bình cộng và trung bình nhân của n số thực không âm được phát biểu như sau:
Trung bình cộng của n số thực không âm luôn lớn hơn hoặc bằng trung bình nhân của chúng, và trung bình cộng chỉ bằng trung bình nhân khi và chỉ khi n số đó bằng nhau.