拉格朗日数乘法

隐函数

隐函数自变量与因变量之间关系通常由方程式确定
对于方程
$$F(x,y)=0$$

条件极值

该类极值问题受到各类不同条件的限制。例如，对于隐函数 f(x,y) = xy - 3 = 0,确定该函数图像上到原点距离最近的点。距离可表达为为
$$D(x,y)=\sqrt{x^2+y^2}$$
依题意，该距离函数自变量还需满足条件
$$xy=3$$
过去遇到此类问题可以采用消元再求解,而在变量更多的一般问题中可以采用拉格朗日数乘法，不依赖消元解决问题
先从最简单的二元问题入手，要求函数
$$z=f(x,y)$$
在P点的极值，其中(x,y)受条件
$$C:\phi (x,y)=0$$
控制
从几何角度看，等高线（contour图）f(x,y) = f( P)与曲线C有公共切线时，f 取条件极值

由切线关系可得方程组
$$\{\begin{array}{l}{f}_x(P)+{\lambda }_0{\phi }_x(P)=0\\ f_y(P)+{\lambda }_0{\phi }_y(P)=0\\ \phi (P)=0\end{array}$$
可构造函数
$$L(x,y,\lambda )=f(x,y)+\lambda \phi (x,y)$$
将上述三个方程改写为
$$\{\begin{array}{l}{L}_x(x,y,{\lambda }_0)=f_x(P){\lambda }_0+{\phi }_x(P)=0\\ L_y(x,y,{\lambda }_0)=f_y(P)+{\lambda }_0{\phi }_y(P)=0\\ L_{\lambda }(x,y,{\lambda }_0)=\phi (P)=0\end{array}$$
解方程组可得答案
注意：拉格朗日数乘法不能直接判断该点为极大值点或极小值点