拉格朗日乘子法是研究函数条件极值的必要条件的一个方法,在数分课上会了一个比较严谨的证明。
条件极值问题
设 n n n维函数 f ( x ) ∈ C 1 ( Ω ) , g ( x ) ∈ C 1 ( Ω ) f(\bm{x}) \in C^1(\Omega), g(\bm{x})\in C^1(\Omega) f(x)∈C1(Ω),g(x)∈C1(Ω),求 f ( x ) f(\bm{x}) f(x)在满足 g ( x ) = 0 g(\bm{x})=0 g(x)=0的条件下的极值点。
推导
假设 x 0 \bm{x}_0 x0是极值点,不妨设 ∂ g ∂ x n ∣ x 0 ≠ 0 \frac{\partial g}{\partial x_n}|_{\bm{x_0}}\neq 0 ∂xn∂g∣x0=0,由隐函数定理知 ∃ h ( x 1 , ⋯ , x n − 1 ) \exist h(x_1,\cdots,x_{n-1}) ∃h(x1,⋯,xn−1)在 x 0 \bm{x}_0 x0某邻域上满足 g ( x 1 , ⋯ , x n − 1 , h ( x 1 , . .