设给定二元函数 z = ƒ ( x , y ) z=ƒ(x,y) z=ƒ(x,y) 和附加条件 φ 1 ( x , y ) = 0 , φ 2 ( x , y ) = 0 , φ 3 ( x , y ) = 0 \varphi_1(x,y)=0,\varphi_2(x,y)=0,\varphi_3(x,y)=0 φ1(x,y)=0,φ2(x,y)=0,φ3(x,y)=0 ,为寻找 z = ƒ ( x , y ) z=ƒ(x,y) z=ƒ(x,y) 在附加条件下的极值点,先做拉格朗日函数 F ( x , y , λ 1 , λ 2 , λ 3 ) = f ( x , y ) + λ 1 φ 1 ( x , y ) + λ 2 φ 2 ( x , y ) + λ 3 φ 3 ( x , y ) F(x,y,\lambda_1,\lambda_2,\lambda_3)=f(x,y)+\lambda_1\varphi_1(x,y)+\lambda_2\varphi_2(x,y)+\lambda_3\varphi_3(x,y) F(x,y,λ1,λ2,λ3)=f(x,y)+λ1φ1(x,y)+λ2φ2(x,y)+λ3φ3(x,y) ,其中 λ 1 , λ 2 , λ 3 \lambda_1,\lambda_2,\lambda_3 λ1,λ2,λ3为参数。
令 F ( x , y , λ 1 , λ 2 , λ 3 ) F(x,y,\lambda_1,\lambda_2,\lambda_3) F(x,y,λ1,λ2,λ3)对 x , y , λ 1 , λ 2 , λ 3 x,y,\lambda_1,\lambda_2,\lambda_3 x,y,λ1,λ2,λ3的一阶偏导数等于零,即
F x ′ = f x ′ ( x , y ) , λ 1 φ 1 x ′ ( x , y ) , λ 2 φ 2 x ′ ( x , y ) , λ 3 φ 3 x ′ ( x , y ) = 0 F'_x=f'_x(x,y),\lambda_1\varphi'_{1x}(x,y),\lambda_2\varphi'_{2x}(x,y),\lambda_3\varphi'_{3x}(x,y)=0 Fx′=fx′(x,y),λ1φ1x′(x,y),λ2φ2x′(x,y),λ3φ3x′(x,y)=0
F y ′ = f y ′ ( x , y ) , λ 1 φ 1 y ′ ( x , y ) , λ 2 φ 2 y ′ ( x , y ) , λ 3 φ 3 y ′ ( x , y ) = 0 F'_y=f'_y(x,y),\lambda_1\varphi'_{1y}(x,y),\lambda_2\varphi'_{2y}(x,y),\lambda_3\varphi'_{3y}(x,y)=0 Fy′=fy′(x,y),λ1φ1y′(x,y),λ2φ2y′(x,y),λ3φ3y′(x,y)=0
F λ 1 ′ = φ 1 ( x , y ) = 0 F'_{\lambda1}=\varphi_1(x,y)=0 Fλ1′=φ1(x,y)=0
F λ 2 ′ = φ 2 ( x , y ) = 0 F'_{\lambda2}=\varphi_2(x,y)=0 Fλ2′=φ2(x,y)=0
F λ 3 ′ = φ 3 ( x , y ) = 0 F'_{\lambda3}=\varphi_3(x,y)=0 Fλ3′=φ3(x,y)=0
由上述方程组解出 x , y , λ 1 , λ 2 , λ 3 x,y,\lambda_1,\lambda_2,\lambda_3 x,y,λ1,λ2,λ3,如此求得的解 ( x , y ) (x,y) (x,y),就是函数 z = ƒ ( x , y ) z=ƒ(x,y) z=ƒ(x,y)的附加条件 φ 1 ( x , y ) = 0 , φ 2 ( x , y ) = 0 , φ 3 ( x , y ) = 0 \varphi_1(x,y)=0,\varphi_2(x,y)=0,\varphi_3(x,y)=0 φ1(x,y)=0,φ2(x,y)=0,φ3(x,y)=0下的可能极值点。把每个点带入原函数 z = ƒ ( x , y ) z=ƒ(x,y) z=ƒ(x,y),判断对应的值。