带约束条件的二元函数最大值求解咨询（含具体案例）

嘿，我来帮你把这个问题捋明白——你已经选对了最直接的解法方向，就差最后几步分析啦！

1. 完成消元并明确定义域 #

从约束条件 y - x² + 1 = 0 解出 x² = y + 1 这一步完全正确，但这里有个容易忽略的关键点：x²是非负的，所以必须满足 y + 1 ≥ 0，也就是 y ≥ -1，这是后续分析的核心定义域。

把 x² = y + 1 代入原函数 f(x,y) = x² + 2y²，得到只关于y的一元函数：

f(y) = (y + 1) + 2y² = 2y² + y + 1

现在问题转化为：在 y ≥ -1 的范围内，求这个一元二次函数的最大值。

2. 分析函数的极值特性 #

这个二次函数的二次项系数是2（大于0），所以它的图像是开口向上的抛物线：

• 抛物线的顶点在 y = -b/(2a) = -1/(2*2) = -1/4，这个点在定义域 y ≥ -1 内，顶点处的函数值是整个函数的最小值（因为开口向上）。
• 当y从-1开始向正无穷增大时，函数值会持续上升，没有上限。也就是说，这个函数不存在最大值——只要x取足够大的数值，对应的y = x² -1也会无限增大，f(x,y)的值也会跟着无限变大。

如果是你不小心把“最小值”写成了“最大值”，那顶点处的最小值计算如下：

f(-1/4) = 2*(-1/4)² + (-1/4) + 1 = 2*(1/16) - 1/4 + 1 = 7/8

3. 补充通用方法：拉格朗日乘数法 #

如果遇到无法直接消元的复杂约束，拉格朗日乘数法是更通用的解法，这里也给你演示一下这个问题的解法：
构造拉格朗日函数：

L(x,y,λ) = x² + 2y² + λ(y - x² + 1)

对x、y、λ分别求偏导并令其为0：

• ∂L/∂x = 2x - 2λx = 0 → x(1 - λ) = 0
• ∂L/∂y = 4y + λ = 0 → λ = -4y
• ∂L/∂λ = y - x² + 1 = 0

分两种情况讨论：

• 当x=0时，代入约束条件得y = -1，此时f(0,-1)=0 + 2*(-1)²=2
• 当1-λ=0即λ=1时，代入λ=-4y得y=-1/4，再代入约束条件得x² = y+1=3/4，此时f(x,-1/4)=3/4 + 2*(1/16)=7/8

同样能得出结论：函数没有最大值，只有最小值7/8。

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