二元函数最大最小值定理证明_隐函数定理的一个证明（来自卓里奇习题）

卓里奇在第八章第五节习题中叙述了一种简洁证明，给出了大致的思路，分为abcdefgh八个目标，在此分享一下~在此假设读者已知隐函数定理所描述的命题了

定义：

是矩阵

的第

行.

如果所有的点

都位于

的一个充分小邻域

,则由向量

组成的矩阵的行列式不为零。

由

连续性可知其每个分量连续，且在

处的行列式不为零，故可以找到

的充分小邻域，使对于任意的属于此邻域的点，其分量组成的行列式不为零。

若对于

,存在点

,则

可以在以

为端点组成的线段上找到点

,使得

由此，

，即如果隐函数

，则它是唯一的。

由中值定理

若球

则当

,

由中值定理

连续且在球面

上具有极小值

.

连续性显然，而在紧集（此时为球面）的连续映射必然可以取到最小值

.

当

，

时，有

,如果

,则

.

由连续可知

,

,

取值

即可。

另一方面，

取

即证。

综上，取

对于满足

的任何固定的

,

的最小值在球

的某个内点

取到,又

可逆,故

.这说明了隐函数

由

中的结论可以知道，最小值一定在内点取到。

若

,则

,

为行向量

组成的矩阵，

为

为端点的线段上的点

令

定理证毕.