链接:https://www.zhihu.com/question/38586401/answer/105588901
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
<img src="https://pic2.zhimg.com/50/efc7e83116906f8ffebba8b0ab58dcd2_hd.jpg" data-rawwidth="324" data-rawheight="178" class="content_image" width="324">
两条曲线相切,意味着他们在这点的法线平行,也就是法向量只差一个任意的常数乘子(取为
):
, 我们把这个式子的右边移到左边,并把常数移进微分算子,就得到
。
把这个式子重新解释一下,这个就是函数
无约束情况下极值点的充分条件。
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
想象一下,目标函数是一座山的高度,约束
是镶嵌在山上的一条曲线如下图。(渣画技看看就好了)
![](https://i-blog.csdnimg.cn/blog_migrate/82447190ba21457d2645f805c8cc659e.png)
你为了找到曲线上的最低点,就从最低的等高线(0那条)开始网上数。数到第三条,等高线终于和曲线有交点了(如上图所示)。因为比这条等高线低的地方都不在约束范围内,所以这肯定是这条约束曲线的最低点了。
而且约束曲线在这里不可能和等高线相交,一定是相切。因为如果是相交的话,如下图所示,那么曲线一定会有一部分在B区域,但是B区域比等高线低,这是不可能的。
<img src="https://pic2.zhimg.com/50/efc7e83116906f8ffebba8b0ab58dcd2_hd.jpg" data-rawwidth="324" data-rawheight="178" class="content_image" width="324">
![](https://i-blog.csdnimg.cn/blog_migrate/db91e1b514e7e55d3dddeff60736b419.png)
![-\lambda](https://i-blog.csdnimg.cn/blog_migrate/1a0dc11f4b040cef76aa8dada9666b02.png)
![\nabla f(x,y)=-\lambda \nabla g(x,y)](https://i-blog.csdnimg.cn/blog_migrate/4bddce08bfb4ee6f9c2b062b5316d592.png)
![\nabla (f(x,y)+\lambda g(x,y))=0](https://i-blog.csdnimg.cn/blog_migrate/e6680fc101cbdb3d21d33eafb7904dde.png)
把这个式子重新解释一下,这个就是函数
![f(x,y)+\lambda g(x,y)](https://i-blog.csdnimg.cn/blog_migrate/6e4b1349ddee3d7af0338cbc56d4c8ab.png%2B%5Clambda+g%28x%2Cy%29)