Bất đẳng thức Cosi là bất đẳng thức so sánh giữa trung bình cộng và trung bình nhân của 2 số thực a, b không âm: a+b2≥ab−−√
Dấu bằng xảy ra khi và chỉ khi a = b
rồi với 3 số thực a, b, c không âm: a+b+c3≥abc−−−√3
Dấu bằng xảy ra khi và chỉ khi a = b = c
rồi với 4 số thực a, b, c, d không âm: a+b+c+d4≥abcd−−−−√4
Dấu bằng xảy ra khi và chỉ khi a = b = c = d
Với n số thức không âm x1,x2,x3,…xn: x1+x2+x3+…+xnn≥x1x2