基本不等式是主要應用於求某些函數的最值及證明的不等式。其表述爲：兩個正實數的算術平均數大於或等於它們的幾何平均數。一般地，用純粹的大於號、小於號連接的不等式稱爲嚴格不等式，用不小於號、不大於號連接的不等式稱爲非嚴格不等式，或稱廣義不等式。
