隐函数的概念

问题提出

上节课结束时，我们留下了一个深刻的困惑：圆的方程 $x^2 + y^2 = r^2$ 清清楚楚地描述了圆上每一个点的坐标关系，但它不是函数——因为一个 $x$ 会对应两个 $y$ 。

今天走进教室，我看到呼噜星的学生们已经把上次课的结论工工整整地写在笔记本上了：

圆的方程 $x^2 + y^2 = r^2$ 不能化为 $y = f(x)$ 的形式。

阿普一看到我就问：

老师，上节课你说圆整体不是函数，但切成两半的半圆可以是函数。还说要教我们一种叫”隐函数”的新工具。今天该兑现了吧？

我笑着说：

没错。今天我们要回答的问题是——既然 $x^2 + y^2 = r^2$ 不是函数，那它到底是什么？有没有一种更广义的概念，能把这种”方程但不是函数”的东西纳入数学框架？

我在黑板上写下今天要探索的问题：

问题 1：什么叫”隐”函数？“隐”在哪里？跟”显”函数有什么区别？
问题 2：圆的方程 $x^2 + y^2 = r^2$ 是隐函数吗？在什么条件下，隐函数可以”变成”普通的函数？
问题 3：对于圆来说，在哪些点上我们可以把 $y$ “解出来”？哪些点上”解不出来”？

观察与猜想

第一步：回顾——“显”函数长什么样

在引入”隐”函数之前，我需要先让全班明白什么是”显”。

平时我们说的函数，比如 $y = 2x + 1$ 、 $y = x^2$ 、 $y = \sin x$ ——它们有什么共同特点？

贝塔回答：

$y$ 单独在等号一边， $x$ 的表达式在另一边。给你一个 $x$ ，你直接代入就能算出 $y$ 。

我在黑板上写下：

$y = f(x)$

没错。这种形式—— $y$ 被明确地、直接地用 $x$ 表示出来——我们称之为显函数（explicit function）。“显”就是”显眼、明确”的意思—— $y$ 就摆在那里，一目了然。

但是，请回忆上节课的情形。圆的方程 $x^2 + y^2 = r^2$ 中， $x$ 和 $y$ 是混在一起的。 $y$ 没有被单独解出来，而是和 $x$ 一起”隐含”在一个等式里。

这就是”隐”和”显”的区别。

第二步：把圆的方程写成 $F(x,y) = 0$

我拿起粉笔，把圆的方程做了一个简单的变形：

$x^2 + y^2 = r^2$

$x^2 + y^2 - r^2 = 0$

请看——我把等号右边变成了 $0$ ，左边变成了一个关于 $x$ 和 $y$ 的表达式。如果我令：

$F(x, y) = x^2 + y^2 - r^2$

那么圆的方程就变成了：

$F(x, y) = 0$

我转身问全班：

这个形式有什么好处？

伽玛想了想说：

好处是……我们不再需要纠结” $y$ 等于什么”了。 $x$ 和 $y$ 是平等的，它们共同满足一个条件 $F(x,y) = 0$ 。

太好了！这正是关键所在。

第三步：观察更多的”方程”例子

为了让全班有更广阔的视野，我在黑板上写了几个例子：

方程	改写成 $F(x,y) = 0$ 的形式	能解出 $y = f(x)$ 吗？
$x^2 + y^2 = r^2$	$F(x,y) = x^2 + y^2 - r^2 = 0$	不能（两个 $y$ ）
$y = 2x + 1$	$F(x,y) = 2x + 1 - y = 0$	能！ $y = 2x + 1$
$y^2 = x$	$F(x,y) = y^2 - x = 0$	不能（两个 $y$ ）
$x^2 y + y^3 - x = 0$	$F(x,y) = x^2 y + y^3 - x = 0$	不确定……
$xy = 1$	$F(x,y) = xy - 1 = 0$	能！ $y = \dfrac{1}{x}$ （ $x \neq 0$ ）

阿普盯着表格说：

等一下——第二行的 $y = 2x + 1$ 和第五行的 $xy = 1$ ，明明可以解出 $y$ 。那它们既是方程，又是函数？

没错！这是非常重要的一点。所有的显函数都可以写成 $F(x,y) = 0$ 的形式，但反过来不成立。比如 $y = 2x + 1$ 可以写成 $2x + 1 - y = 0$ ，这里 $F(x,y) = 2x + 1 - y$ 。

所以 $F(x,y) = 0$ 是一种更”宽容”的框架——函数能装进去，不是函数的也能装进去。

第四步：一个大胆的猜想

贝塔举手：

老师，我有一个猜想。我们能不能把 $F(x,y) = 0$ 当作一种”广义的函数”？然后约定——如果 $F(x,y) = 0$ 能解出 $y$ ，它就对应一个普通函数；如果解不出来，它就只是一种”关系”？

我赞许地点头：

你的方向非常正确！数学家们也是这么想的。他们给这种 $F(x,y) = 0$ 的形式取了一个名字——

我在黑板上写下：

隐函数（implicit function）。

不过，这个名字有一点容易引起误解。让我来仔细解释。

严格证明

定义：隐函数

首先，让我给出隐函数的精确定义。

我解释道：

请仔细听我的措辞——” $y$ 是由方程 $F(x,y) = 0$ 所确定的隐函数”。这里的关键是：隐函数不是一个单独的函数，而是一种由方程所确定的函数关系。方程 $F(x,y) = 0$ 本身不是函数，但在某些条件下，这个方程隐含了一个函数。

阿普挠挠头：

说得通俗一点呢？

通俗地说——隐函数就是藏在方程背后的函数。方程 $F(x,y) = 0$ 是一层面纱，面纱后面可能藏着一个函数 $y = f(x)$ ，但这个函数没有被”显式地”写出来，而是”隐式地”包含在方程中。

隐函数 vs. 显函数

我花了一些时间整理两者的关系：

隐函数与显函数的关系：

显函数： $y = f(x)$ ， $y$ 被明确地用 $x$ 表示。
隐函数： $F(x, y) = 0$ ， $y$ 和 $x$ 的关系隐藏在方程中。

核心区别：显函数中 $y$ 是”主角”，站在聚光灯下；隐函数中 $y$ 是”幕后角色”，藏在方程里面。

联系：每一个显函数都可以写成隐函数的形式（例如 $y = 2x + 1$ 等价于 $2x + 1 - y = 0$ ），但不是每一个隐函数都能解成显函数。

我继续解释：

举个生活中的比喻。显函数就像一张直截了当的名片——上面写着”我叫 $y$ ，你给我 $x$ ，我就给你 $2x + 1$ “。而隐函数就像一个谜语——” $x$ 和 $y$ 之间满足 $x^2 + y^2 = r^2$ “。谜面里藏着答案，但你得去解。

论证：圆的方程 $x^2 + y^2 = r^2$ 是隐函数

现在，让我们回到圆。 $x^2 + y^2 = r^2$ 是隐函数吗？

我写出：

$F(x, y) = x^2 + y^2 - r^2$

第一步：验证 $F(x,y) = 0$ 确实描述了圆。

对圆上的任意一点 $(x_0, y_0)$ ，有 $x_0^2 + y_0^2 = r^2$ ，所以 $F(x_0, y_0) = 0$ 。

反过来，如果 $F(x_0, y_0) = 0$ ，即 $x_0^2 + y_0^2 = r^2$ ，那么 $(x_0, y_0)$ 在圆上。

所以方程 $F(x,y) = 0$ 精确地描述了圆——不多不少。

第二步：检查这个方程能否确定 $y$ 是 $x$ 的函数。

从 $F(x,y) = x^2 + y^2 - r^2 = 0$ 出发，解出 $y$ ：

$y^2 = r^2 - x^2$

$y = \pm\sqrt{r^2 - x^2}$

对每个 $x \in (-r, r)$ ，方程给出两个 $y$ 值，所以圆的方程整体上不能确定 $y$ 是 $x$ 的（单值）函数。

重要区分：圆的方程 $F(x,y) = x^2 + y^2 - r^2 = 0$ 整体上不能确定唯一的隐函数 $y = f(x)$ ，因为一个 $x$ 对应两个 $y$ 。但是，如果我们限制范围（比如只考虑上半圆），那么方程就能确定一个隐函数。

第三步：限制范围后，隐函数可以”显化”。

如果我只看上半圆（ $y \geq 0$ ），那么：

$y = +\sqrt{r^2 - x^2}, \quad x \in [-r, r]$

这就是上半圆对应的显函数。我们说，方程 $x^2 + y^2 = r^2$ 在条件 $y \geq 0$ 下确定了隐函数，而这个隐函数可以”显化”为 $y = \sqrt{r^2 - x^2}$ 。

同理，如果只看下半圆（ $y \leq 0$ ），那么：

$y = -\sqrt{r^2 - x^2}, \quad x \in [-r, r]$

所以——圆的方程整体上不是函数，但在局部（上半圆或下半圆）可以确定隐函数，进而显化为普通函数。

论证：隐函数定理的直观理解

这时候，咕噜举起了手：

老师，你刚才说”在一定条件下”方程能确定隐函数。那这个”一定条件”具体是什么？

非常好的问题！这就涉及到了微积分中一个著名的定理——隐函数定理。虽然完整的证明需要更深的工具，但我可以给你们一个直观的理解。

我画了一个圆，标出了几个特殊点：

              y
              ↑
         ●    |    ●  P₁=(0, r)  最高点
        /     |     \
       /      |      \
  ----/-------+-------\---→ x
  P₃=(-r,0)  |      P₄=(r,0)
       \      |      /
        \     |     /
         ●    |    ●  P₂=(0,-r) 最低点
              |

请看这个圆。我在上面标了四个特殊点：最高点 $P_1(0, r)$ 、最低点 $P_2(0, -r)$ 、最左点 $P_3(-r, 0)$ 、最右点 $P_4(r, 0)$ 。

现在，想象你在圆上行走。在大部分地方，圆都是”光滑地上升”或”光滑地下降”的——在每一个非特殊点附近，你可以把 $y$ 写成 $x$ 的函数。

但在最左点和最右点—— $(-r, 0)$ 和 $(r, 0)$ ——圆的方向是竖直的。在竖直的地方， $y$ 没法写成 $x$ 的函数，因为一点点 $x$ 的变化对应了非常大的 $y$ 变化（斜率趋于无穷）。

我进一步解释：

那个条件 $\dfrac{\partial F}{\partial y} \neq 0$ 是什么意思呢？粗略地说，它意味着在点 $(a,b)$ 附近， $F$ 对 $y$ 的变化是”敏感的”—— $y$ 稍微变一点， $F$ 的值就有明显变化。这种”敏感”保证了我们可以反过来从 $F$ 的值唯一确定 $y$ 。

论证：用圆来验证隐函数定理

让我们用圆的方程来验证这个定理。

设 $F(x, y) = x^2 + y^2 - r^2$ 。

计算偏导数：

$\frac{\partial F}{\partial y} = 2y$

在圆上各点检验条件 $\dfrac{\partial F}{\partial y} \neq 0$ ：

在点 $(0, r)$ （最高点）： $\dfrac{\partial F}{\partial y} = 2r \neq 0$ ✓ ——可以确定隐函数
在点 $(0, -r)$ （最低点）： $\dfrac{\partial F}{\partial y} = -2r \neq 0$ ✓ ——可以确定隐函数
在点 $(r, 0)$ （最右点）： $\dfrac{\partial F}{\partial y} = 0$ ✗ ——不能确定隐函数！
在点 $(-r, 0)$ （最左点）： $\dfrac{\partial F}{\partial y} = 0$ ✗ ——不能确定隐函数！

我指着黑板说：

你们看到了吗？定理的判断和我们的直觉完全吻合！在最左点和最右点——圆的切线是竖直的——偏导数恰好为零，定理说这里不能确定隐函数。而在最高点、最低点以及圆上其他任何 $y \neq 0$ 的点，偏导数不为零，定理说这些地方都可以确定隐函数。

验证结果：对于圆的方程 $F(x,y) = x^2 + y^2 - r^2 = 0$ ：

在所有 $y \neq 0$ 的点处， $\dfrac{\partial F}{\partial y} = 2y \neq 0$ ，隐函数定理保证存在唯一的局部隐函数 $y = f(x)$ 。
在 $y = 0$ 的点（即 $(-r, 0)$ 和 $(r, 0)$ ）处， $\dfrac{\partial F}{\partial y} = 0$ ，定理不适用——事实上这两个点正是圆的切线竖直的地方， $y$ 无法表示为 $x$ 的函数。

例题一：椭圆的隐函数分析

我给全班出了一道例题：

题目：椭圆 $\dfrac{x^2}{4} + \dfrac{y^2}{9} = 1$ 。
(1) 写出对应的 $F(x,y) = 0$ 的形式；
(2) 计算 $\dfrac{\partial F}{\partial y}$ ；
(3) 判断在哪些点可以确定隐函数 $y = f(x)$ 。

伽玛自告奋勇上来解题：

(1) 将方程改写为：

$F(x, y) = \frac{x^2}{4} + \frac{y^2}{9} - 1$

(2) 对 $y$ 求偏导数：

$\frac{\partial F}{\partial y} = \frac{2y}{9}$

(3) 当 $y \neq 0$ 时， $\dfrac{\partial F}{\partial y} = \dfrac{2y}{9} \neq 0$ ，隐函数定理适用。

当 $y = 0$ 时，椭圆上对应的点为 $(\pm 2, 0)$ ，此时 $\dfrac{\partial F}{\partial y} = 0$ ，定理不适用。

我补充道：

具体来说，在 $y > 0$ 的部分，椭圆方程可以显化为：

$y = 3\sqrt{1 - \frac{x^2}{4}}, \quad x \in [-2, 2]$

在 $y < 0$ 的部分：

$y = -3\sqrt{1 - \frac{x^2}{4}}, \quad x \in [-2, 2]$

这和圆的情况完全类似——椭圆也关于 $x$ 轴对称，所以也要拆成上下两半来处理。

例题二：一个”能完全显化”的隐函数

再来看一个更有趣的例子。

题目：方程 $xy = 1$ （ $x \neq 0$ ）。

(1) 写成 $F(x,y) = 0$ 的形式；
(2) 能否确定隐函数 $y = f(x)$ ？
(3) 如果能，把隐函数显化。

阿普主动回答：

(1) 令 $F(x, y) = xy - 1$ ，则方程为 $F(x, y) = 0$ 。

(2) 计算 $\dfrac{\partial F}{\partial y} = x$ 。只要 $x \neq 0$ ，就有 $\dfrac{\partial F}{\partial y} \neq 0$ ，所以隐函数定理保证在任意 $x \neq 0$ 的点附近都能确定隐函数。

(3) 直接从 $xy = 1$ 解出 $y$ ：

$y = \frac{1}{x}, \quad x \neq 0$

完美！这个例子告诉我们——有时候隐函数可以全局地显化。 $xy = 1$ 写成 $F(x,y) = 0$ 的形式是隐函数，但直接解就得到显函数 $y = \dfrac{1}{x}$ 。这里没有任何”一个 $x$ 对应多个 $y$ “的问题。

为什么这个例子能全局显化？ 因为 $F(x,y) = xy - 1$ 关于 $y$ 是一次的（ $y$ 的指数为 $1$ ），所以解出 $y$ 只有一个答案。而圆的方程 $x^2 + y^2 - r^2 = 0$ 关于 $y$ 是二次的（ $y^2$ ），解出来就有两个答案。

规律：如果 $F(x,y) = 0$ 关于 $y$ 是一次方程，那隐函数可以直接显化；如果是二次或更高次，就可能需要分段处理。

论证：隐函数”显化”的一般方法

我总结了一个从隐函数到显函数的一般操作流程：

步骤 1：从方程 $F(x, y) = 0$ 出发。

步骤 2：尝试把 $y$ 解出来。

如果能解出唯一的 $y = f(x)$ ，则显化成功（如 $xy = 1 \Rightarrow y = \dfrac{1}{x}$ ）。
如果解出多个表达式（如 $y = \pm\sqrt{r^2 - x^2}$ ），则需要选择一个分支（比如取 $+\sqrt{}$ 或 $-\sqrt{}$ ），并确定定义域。

步骤 3：验证隐函数定理的条件 $\dfrac{\partial F}{\partial y} \neq 0$ ，确认在所选范围内确实能确定唯一的函数。

我用圆的方程来演示：

$F(x, y) = x^2 + y^2 - r^2 = 0$

解出 $y$ ： $y = \pm\sqrt{r^2 - x^2}$

选择分支：取 $y = \sqrt{r^2 - x^2}$ （上半圆），定义域 $x \in [-r, r]$ 。

验证条件：在 $y > 0$ 的区域（上半圆除端点）， $\dfrac{\partial F}{\partial y} = 2y > 0 \neq 0$ ，定理成立。

所以上半圆确实对应隐函数 $y = \sqrt{r^2 - x^2}$ ，定义域为 $[-r, r]$ 。

结论与应用

本节结论

我把今天最重要的结论写在黑板上：

本节核心结论：

隐函数的定义：如果变量 $x$ 和 $y$ 满足方程 $F(x, y) = 0$ ，并且在一定条件下这个方程能确定 $y$ 是 $x$ 的函数，那么我们称 $y$ 是由方程 $F(x,y) = 0$ 所确定的隐函数。
显函数是隐函数的特例：每一个显函数 $y = f(x)$ 都可以写成 $F(x,y) = 0$ 的形式（只需令 $F(x,y) = f(x) - y$ ），但反过来不成立。
圆的方程是隐函数： $x^2 + y^2 = r^2$ （即 $F(x,y) = x^2 + y^2 - r^2 = 0$ ）整体上不能确定唯一的隐函数，但在上半圆或下半圆的范围内，可以分别确定隐函数 $y = \sqrt{r^2 - x^2}$ 和 $y = -\sqrt{r^2 - x^2}$ 。
隐函数定理（直观）：在 $F(x,y) = 0$ 的曲线上，只要 $\dfrac{\partial F}{\partial y} \neq 0$ 的点附近，就一定存在唯一的局部隐函数 $y = f(x)$ 。

应用一：用隐函数的观点重新理解圆

上节课我们说”圆不是函数”。今天学了隐函数之后，我们可以修正这句话了。

我写下更精确的表述：

圆的方程 $x^2 + y^2 = r^2$ 不是一个显函数，但它是一个隐函数方程——它隐含了两个显函数：

$y_1 = \sqrt{r^2 - x^2} \quad \text{（上半圆）}$

$y_2 = -\sqrt{r^2 - x^2} \quad \text{（下半圆）}$

这两个显函数的图像拼在一起，就还原了完整的圆。

所以，圆不是一个函数，但圆是两个函数的”并集”。而这两个函数，共同隐藏在同一个方程 $x^2 + y^2 = r^2$ 中。

应用二：更多隐函数的例子

我给全班展示了更多隐函数方程，并让他们判断能否显化：

隐函数方程	$F(x,y)$	$\dfrac{\partial F}{\partial y}$	能否显化？
$x^2 + y^2 = 4$	$x^2 + y^2 - 4$	$2y$	需分上下半圆
$y^2 = 2x$	$y^2 - 2x$	$2y$	需分左右半抛物线
$x + y = 3$	$x + y - 3$	$1$	直接显化： $y = 3 - x$
$e^y = x$	$e^y - x$	$e^y$ （永远 $\neq 0$ ）	直接显化： $y = \ln x$ （ $x > 0$ ）
$\sin y = x$	$\sin y - x$	$\cos y$ （ $y \neq \dfrac{\pi}{2} + k\pi$ 时 $\neq 0$ ）	局部可显化

贝塔注意到最后一行：

老师， $\sin y = x$ 也可以是隐函数？可是 $y = \arcsin x$ 不是处处有定义吗？

好问题！ $\arcsin x$ 只返回 $y \in \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right]$ 范围内的值。但 $\sin y = x$ 实际上有无穷多个解—— $y = \arcsin x + 2k\pi$ 或 $y = \pi - \arcsin x + 2k\pi$ （ $k$ 为整数）。所以 $\sin y = x$ 这个隐函数方程也包含了无穷多个分支， $\arcsin x$ 只是其中”主值”那个分支。

应用三：隐函数在数学中的地位

最后，让我告诉大家为什么隐函数如此重要。

我在黑板上画了一个关系图：

        所有的二元方程 F(x,y) = 0
              ┌─────────┐
              │         │
              ▼         ▼
        能解出 y=f(x)   不能解出 y=f(x)
        （显函数）       （纯隐函数）
              │         │
              │    ┌────┴────┐
              │    ▼         ▼
              │  局部可显化  完全不可显化
              │  （如圆）    （某些复杂曲线）
              ▼
        y = f(x) 是唯一的

在数学的发展历程中，人们最先研究的是显函数——因为它们简单直观。但随着研究的深入，数学家们发现很多重要的曲线（圆、椭圆、双曲线等等）都不能用单一的显函数表示。如果非要显化，就要拆成好几段，非常麻烦。

隐函数的概念提供了一个优雅的解决方案——不要拆。就让 $x$ 和 $y$ 共存在方程 $F(x,y) = 0$ 中。在需要的时候，我们利用隐函数定理在局部显化；在不需要的时候，我们可以直接对方程操作（比如隐函数求导），不需要知道 $y$ 的具体表达式。

隐函数的威力预告：在后续的课程中，我们将学习隐函数求导——不需要把 $y$ 解出来，直接对 $F(x,y) = 0$ 两边关于 $x$ 求导，就能得到 $\dfrac{dy}{dx}$ 。这意味着即使我们不知道 $y = f(x)$ 的具体形式，也能算出曲线上每一点的切线斜率。这对圆、椭圆、双曲线等曲线的切线研究将极为方便。

预告：下节课

我看了看时间，说：

今天我们从” $y$ 藏在方程里”这个直觉出发，定义了隐函数的概念，学习了隐函数定理的直观含义，并用圆的方程做了详细的验证。

下节课，我们将回到上节课贝塔提出的问题——把圆切成两半，每一半用函数表示。这就涉及到分段函数的概念。

今天我们知道了圆的方程隐含了两个函数 $y = \sqrt{r^2 - x^2}$ 和 $y = -\sqrt{r^2 - x^2}$ 。下节课，我们将把它们”拼”在一起，看看分段函数是如何工作的。

呼噜星人的收获

下课的铃声响了。学生们开始收拾笔记，但几个学生围了过来。

阿普说：

今天我最大的收获是理解了”隐”字的含义。隐函数不是一种新的函数，而是一种新的看待函数的方式。以前我只知道 $y = f(x)$ 这种形式，现在我知道了—— $x$ 和 $y$ 可以平等地出现在一个方程里，函数关系可以”藏”在方程背后。

贝塔说：

我最喜欢的是隐函数定理。它告诉我们——不要只看整体，要看局部。整体上，圆不是函数；但局部上，圆上几乎每一个点附近都是函数。这让我想到……是不是很多看似”不规矩”的东西，放大来看都是”规矩”的？