基本不等式是主要应用于求某些函数的最值及证明的不等式。其表述为：两个正实数的算术平均数大于或等于它们的几何平均数。一般地，用纯粹的大于号、小于号连接的不等式称为严格不等式，用不小于号、不大于号连接的不等式称为非严格不等式，或称广义不等式。