多元函数极值的拉格朗日乘数法中，λ≠0是先决条件。事实上，λ=0的情形对应的是无条件极值问题（在你的例子中，λ=0时变成了求函数F(x,y)=1/2* (x+y-8)^2的不附带任何条件的极值，即无条件极值）。
有可能前面提示它不等于0，不过当它等于0，联立方程也能得出矛盾（用平方和差公式）
