贡献者： 零穹; Relo Stern
本节将建立保证隐函数单值连续及可微的条件。这由两个定理来保证
定理 1 存在定理
若：
- 函数 $F(x,y)$ 在以点 $(x_0,y_0)$ 为中心的长方形邻域定义 1
\begin{equation}
\mathcal{D}=[x_0-\Delta,x_0+\Delta;y_0-\Delta',y_0+\Delta']~
\end{equation}
- $F(x_0,y_0)=0$；
- 当 $x$ 为常数时，函数 $F(x,y)$ 随着 $y$ 的增大而单调增大（或单调减小）。
那么，在点 $(x_0,y_0)$ 的某一邻域内：
- 方程 $F(x,y)=0$ 确定 $y$ 为 $x$ 的单值函数：$y=f(x)$；
- $f(x_0)=y_0$；
- $f(x)$ 连续。
定理 2 可微定理
若：
- 函数 $F(x,y)$ 在以点 $(x_0,y_0)$ 为中心的长方形领域
\begin{equation}
\mathcal{D}=[x_0-\Delta,x_0+\Delta;y_0-\Delta',y_0+\Delta']~
\end{equation}
- 在 $\mathcal{D}$ 中偏导数 $F_x',F_y'$ 存在且连续；
- $F(x_0,y_0)=0$；
- $F_y'(x_0,y_0)\neq0$。
那么：
除定理 1 的结论 1,2,3 外，还可证明：
$\quad$4.函数 $f(x)$ 有连续导数。
1. 证明
存在定理的证明
存在性
图 1：隐函数存在定理示意图
如图 1 ，沿着 $x=x_0$ 的竖直线，函数 $F(x,y)$ 变成一个变元 $y$ 的函数 $F(x_0,y)$。根据定理条件 2：$F(x_0,y_0)=0$。根据定理条件 3
\begin{equation}
F(B_0)=F(x_0,y_0+\Delta')>0,\quad F(A_0)=F(x_0,y_0-\Delta')<0~
\end{equation}
沿着通过 $A_0,B_0$ 的两条水平直线，得到两个 $x$ 的函数：$F(x,y+\Delta'),F(x,y-\Delta')$。由
式 3 已看到，第一个函数有正值，第二个有负值。按条件 1：这两函数是连续的。因此必有点 $x_0$ 的某一邻域 $(x_0-\delta,x_0+\delta),\quad(0<\delta\leq\Delta)$，使得这两函数保持自己的符号（连续函数的保号性，需编辑词条并引用）。于是当 $x\in(x_0-\delta,x_0+\delta)$ 时，
\begin{equation}
F(x,y_0+\Delta')>0,\quad F(x,y_0-\Delta')<0~.
\end{equation}
换而言之，在原矩形的上下底上，有以点 $A_0$ 及 $B_0$ 为中心而长为 $2\delta$ 的线段 $B_1B_2$ 及 $A_1A_2$，沿着这些线段，给定函数 $F(x,y)$ 在 $B_1B_2$ 上有 正值而在 $A_1A_2$ 上有负值。
在区间 $(x_0-\delta,x_0+\delta)$ 上任选一点 $\overline{x}$，其在矩形上下底的垂直对应点为 $\overline{B}$ 和 $\overline{A}$，则
\begin{equation}
F(\overline{A})=F(\overline{x},y_0-\Delta)<0,\quad F(\overline{B})=F(\overline{x},y_0-\Delta)>0~.
\end{equation}
由连续性（布尔查诺-柯西第一定理（or 连续函数介值定理），编辑词条并引用），必有 $\overline{A}\overline{B}$ 间一点 $y=\overline{y}$，使得
\begin{equation}
F(\overline{x},\overline{y})=0~.
\end{equation}
由条件 3，满足
式 6 的 $\overline{y}$ 是唯一的。
这样，在点 $(x_0,y_0)$ 的邻域 $(x_0-\delta,x+\delta)$ 内，方程 $F(x,y)=0$ 确实确定 $y$ 为 $x$ 的单值函数定义 2 。
连续性
对 $y=f(x)$ 上的任一点 $(\overline{x},\overline{y})$，对于任意大于 0 的 $\epsilon$, 只需作该点的长方形邻域 $(\overline{x}-\delta',\overline{x}+\delta';\overline{y}-\epsilon,\overline{y}+\epsilon)$，使得区间 $(\overline{x}-\delta',\overline{x}+\delta')$ 内任一 $x$，有
\begin{equation}
\left\lvert f(x)-\overline{y} \right\rvert = \left\lvert f(x)-f(\overline{x}) \right\rvert <\epsilon~.
\end{equation}
就保证了连续性，而上面存在性中的方法保证了这一长方形邻域的存在性。
于是定理 1 得证。
可微定理的证明
设 $F'_y(x_0,y_0)>0$，根据定理的条件 2，$F'_y(x,y)$ 是连续的，所以可做正方形
\begin{equation}
[x_0-\delta',x_0+\delta';y_0-\delta',y_0+\delta']\quad(\delta'<\Delta \&\Delta')~
\end{equation}
使得对于一切属于它的点有 $F_y'(x,y)>0$（这意味着对这区域，$x$ 不变，$F(x,y)$ 单调增）。于是对这正方形区域而言，
定理 1 的一切条件满足。因此，
定理 1 的结论 1,2,3 成立。
现在转而证明函数 $f(x)$ 有连续的导数。在由方程 $F(x,y)=0$ 确定的隐函数 $y=f(x)$ 上，$F(x,y)=0$。那么在这曲线上给 $x$ 于增量 $\Delta x$，成立 $y+\Delta y=f(x+\Delta x)$。它们共同满足 $F(x+\Delta,y+\Delta)=0$。显然，增量
\begin{equation}
\Delta F(x,y)=F(x+\Delta,y+\Delta)-F(x,y)=0~.
\end{equation}
而由有限增量公式（编辑词条并引用），
\begin{equation}
\Delta F(x,y)=F_x'\Delta+F_y'\Delta y+\alpha\Delta x+\beta\Delta y~.
\end{equation}
其中，$\alpha,\beta$ 依赖于 $\Delta x,\Delta y$，且当 $\Delta x,\Delta y$ 趋于 0 时也趋于 0。由此
\begin{equation}
\frac{\Delta y}{\Delta x}=-\frac{F_x'(x,y)+\alpha}{F_y'(x,y)+\beta}~.
\end{equation}
由条件 4：$F_y'(x,y)\neq0$，所以
\begin{equation}
f'(x)=y_x'=\lim_{\Delta x\rightarrow 0}\frac{\Delta y}{\Delta x}=-\frac{F_x'(x,y)}{F_y'(x,y)}~
\end{equation}
存在。代入 $y=f(x)$，上式写为
\begin{equation}
f'(x)=-\frac{F_x'(x,f(x))}{F_y'(x,f(x))}~.
\end{equation}
因为等式右边分母分子都是连续函数的连续函数，且分母不为 0，故知 $f'(x)$ 连续。定理得证！
致读者： 小时百科一直以来坚持所有内容免费，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元，我们一个星期内就能脱离亏损， 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。
