..., "n" 定义平均 "S" 为这个分式的分子是度数为 "n" 变元 "a", "a", ..., "a" 的 "k" 阶基本对称多项式，即 "a", "a", ..., "a" 中指标递增的任意 "k" 个数乘积之和。分母是分子的项数，二项式系数formula_2。麦克劳林不等式是如下不等式链：等号成立当且仅当所有 "a" 相等。对 "n" = 2，这个给出两个数通常的几何算术平均不等式。"n" = 4 的情形很好地展示了麦克劳林不等式:
证明.麦克劳林