（a1^+a2+……am）/n≥n次根号a1·a2·……·am，其中a1，a2，……，an≥0.

基本不等式的n维形式是

（a1^+a2+……an）/n≥n次根号a1·a2·……·an，其中a1，a2，……，an≥0，n是大于等于2的正整数.

用数学归纳法可以证明n维基本不等式。

该不等式的意思是，n个非负数的算术平均数不小于它们的几何平均数。