基本不等式是主要应用于求某些函数的最值及证明的不等式。其表述为：两个正实数的算术平均数大于或等于它们的几何平均数。基本不等式的四种形式：

1、a2+b2≧2ab(a，b∈R)

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

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

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