隐函数的求导

今天上物理课时偶然想到了隐函数求导的严谨证明，那么就记一下吧。

---

首先，如果我们要对一个隐函数求导，我们首先需要证明这个隐函数连续可微

以及，由于我太菜了，所以本文的隐函数只对于二维的隐函数进行了讨论

对于一个二维隐函数***Implicit Function*** $f(x,y)$，若对于此函数上的任意一点$A(x_1,y_1)$，都有隐函数上的另一点 $B(x_2,y_2)$ 使得对于任意正数 $\delta >0$ ，都有 $|x_1-x_2|<\delta$ 且 $|y_1-y_2|<\delta$，那么我们说这个隐函数 $f(x,y)$ 是连续可微的。

——XsJIONG的胡乱定义

那么有了这个定义，我们就可以进入正题了。

推导

我们假设有这样一个函数 $f(x,y)$ ，其对应的隐函数为
$$f(x,y)=C$$
其中 $C$ 为任意常数

那么我们该如何得到它的导数呢？我们先来回顾一下导数的定义：
$$f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x)-f(x)}{\Delta x}$$
即
$$f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{\Delta x}$$
那么我们就可以直观地推出隐函数导数的公式
$$f^{\prime }(x,y)=\underset{\Delta x\to 0}{\lim }\underset{\Delta y\to 0}{\lim }\frac{\Delta y}{\Delta x}$$
那么问题来了，我们该怎么得到这个 $\Delta x$ 和 $\Delta y$ 呢？

让我们回到这个隐函数 $f(x,y)=C$ 上，我们可以得出
$$\underset{\Delta x\to 0}{\lim }\underset{\Delta y\to 0}{\lim }{f}_x(x+\Delta x)+f_y(y+\Delta y)=C\text{\hspace{1em}(2)}$$
其中 $f_x$ 和 $f_y$ 分别代表 $f(x,y)$ 在 $x$ 方向和 $y$ 方向的偏函数。（可以简单地理解为把原函数 $f(x,y)$ 拆分为 $f_x(x)+f_y(y)$，其中 $f_x$ 和 $f_y$ 分别是关于 $x$ 和关于 $y$ 的函数）

发现什么了吗？

我们由 $(2)-(1)$ 可得
$$\underset{\Delta x\to 0}{\lim }\underset{\Delta y\to 0}{\lim }{f}_x(x+\Delta x)-f_x(x)+f_y(y+\Delta y)-f_y(y)=0$$
即
$$\underset{\Delta x\to 0}{\lim }\underset{\Delta y\to 0}{\lim }\Delta x\cdot f_x^{\prime }(x)+\Delta y\cdot f_y^{\prime }(y)=0\text{\hspace{1em}(3)}$$
其中 $f_x^{\prime }(x)$ 和 $f_y^{\prime }(y)$ 分别代表 $f(x,y)$ 在 $x$ 方向和 $y$ 方向的偏导数。

那么我们由 $(3)$ 可以得到
$$\begin{gathered} \underset{\Delta x\to 0}{\lim }\underset{\Delta y\to 0}{\lim }-\Delta x\cdot f_x^{\prime }(x)=\Delta y\cdot f_y^{\prime }(y) \\ \underset{\Delta x\to 0}{\lim }\underset{\Delta y\to 0}{\lim }\frac{\Delta y}{\Delta x}=-\frac{f_x^{\prime }(x)}{f_y^{\prime }(y)} \\ {f}^{\prime }(x,y)=-\frac{f_x^{\prime }(x)}{f_y^{\prime }(y)} \end{gathered}$$
所以一个简洁的公式就被推导出来了！

验证

我们来验证一下这个结论的正确性。

让我们来看看这个很常见的隐函数：
$$\begin{gathered} f(x,y)=x^2+y^2 \\ f(x,y)=25 \end{gathered}$$
它的图像应该是下图所示的一个半径为5的圆

我们根据刚才的结论可以得到
$$f^{\prime }(x,y)=-\frac{f_x^{\prime }(x)}{f_y^{\prime }(y)}=-\frac{2x}{2y}=-\frac{x}{y}$$
我们再任取一个点 $A(3,4)$ ，根据生活常识，我们可以得到隐函数在这个点上的导数（即图中黑线的斜率），也就是 $-\frac{3}{4}$ 。

我们再用公式验证一下：
$$f^{\prime }(3,4)=-\frac{3}{4}$$

验证完毕。