基本不等式是主要应用于求某些函数的最值及证明的不等式。

其表述为：两个正实数的算术平均数大于或等于它们的几何平均数。

基本不等式的四种形式：

1、a²+b²≥2ab(a，b∈R)

2、ab≦(a²+b²)/2(a，b∈R)

3、a+b≧2√ab(a，b∈R﹢)

4、ab≦[(a+b)/2]2(a，b∈R﹢)。