用拉格朗日乘数法证明AM-GM不等式的相关疑问

嘿，我来帮你把拉格朗日乘数法的推导和三元AM-GM不等式的证明理得明明白白，顺便梳理你可能存在的困惑点～

首先明确前提：我们讨论的是正实数x,y,z（非负情况后面补充），要最大化函数 f(x,y,z)=xyz，约束条件为 g(x,y,z)=x+y+z=C（C为正常数）。

步骤1：构造拉格朗日函数 #

拉格朗日乘数法的核心是把约束优化问题转化为无约束优化，构造函数：

L(x,y,z,λ) = xyz - λ(x + y + z - C)

（这里用减号还是加号不影响，只要后续偏导逻辑一致就行）

步骤2：求偏导并令其为0 #

对L的四个变量分别求偏导，令偏导数等于0：

• ∂L/∂x = yz - λ = 0 → λ = yz
• ∂L/∂y = xz - λ = 0 → λ = xz
• ∂L/∂z = xy - λ = 0 → λ = xy
• ∂L/∂λ = -(x + y + z - C) = 0 → x + y + z = C

步骤3：联立方程求解极值点 #

把前三个等式联立：

• 由 yz = xz，因为z>0（正实数前提），两边除以z得 x = y
• 由 xz = xy，同理x>0，两边除以x得 y = z

结合约束条件 x+y+z=C，可得 x=y=z=C/3，这就是唯一的临界点。

步骤4：验证这是最大值点 #

你已经观察到“约束下f的其他取值均小于该极值”，这里再补两个直观的验证角度：

• 极限验证：如果让其中一个变量趋近于0（比如z→0+），那么x+y→C，此时f(x,y,z)=xy·z→0，远小于 (C/3)^3
• 代入法验证：把z=C-x-y代入f，得到二元函数 f(x,y)=xy(C-x-y)，对x,y求偏导也会得到x=y=C/3时取最大值，进一步确认这个点是全局最大值。

用同样的逻辑可以推广到n个正实数的情况：

• 目标函数：f(x₁,x₂,...,xₙ) = x₁x₂...xₙ
• 约束条件：g(x₁,...,xₙ) = x₁ + x₂ + ... + xₙ = C

构造拉格朗日函数 L = x₁x₂...xₙ - λ(Σxᵢ - C)，对每个xᵢ求偏导得：

∂L/∂xᵢ = (x₁x₂...xᵢ₋₁xᵢ₊₁...xₙ) - λ = 0

这意味着所有的 x₁x₂...xᵢ₋₁xᵢ₊₁...xₙ 都等于λ，因此必然有 x₁=x₂=...=xₙ=C/n。

此时f的最大值为 (C/n)^n，所以：

x₁x₂...xₙ ≤ (C/n)^n = ((x₁+x₂+...+xₙ)/n)^n

两边开n次方，就得到n元AM-GM不等式：

(x₁+x₂+...+xₙ)/n ≥ (x₁x₂...xₙ)^(1/n)

如果你还有疑问，大概率是这几个点：

• 为什么这个临界点是最大值而不是最小值？
  正实数范围内，f(x,y,z)的取值可以无限趋近于0（比如某个变量趋近于0），但不可能无限大（因为约束下变量的和固定，单个变量最大也不会超过C，乘积有上界），所以唯一的临界点必然是最大值点。
• 非负实数的情况怎么处理？
  如果有变量为0，那么f(x,y,z)=0，而算术平均值 (x+y+z)/3 = C/3 ≥ 0，显然满足AM≥GM；所有变量为正的情况已经证明，所以非负情况也成立。
• 推广到n元时为什么也是唯一极值点？
  和三元情况一样，n元函数在约束下只有当所有变量相等时才会满足偏导为0的条件，而其他取值要么趋近于0，要么小于这个极值，所以这个点是唯一的全局最大值点。

内容的提问来源于stack exchange，提问作者atreju