隐函数定理（作为工具）（implicit function theorem, as a tool）

像 F(x, y) = 0 这样的方程描出一条曲线，但它很少允许你用代数把 y = （x 的某式）孤立出来。隐函数定理回答了一个实用问题：即便无法显式求解，你能否在曲线上某给定点附近，仍把 y 当作 x 的一个良定义的光滑函数？而且它在你从未找到公式的情况下，把那个隐藏函数的导数交到你手里。

条件只需一项检查。在某 F = 0 的点附近，若 F 连续可微，且 F 关于你想求解的那个变量的偏导数在那里非零，那么局部上该变量是其余变量的光滑函数，方程可以在一个邻域内对它求解。对 F(x, y) = 0 且 partial F / partial y 不为零，y 局部为 y(x)，对 F(x, y(x)) = 0 用链式法则求导直接给出斜率：dy/dx = -(partial F / partial x) / (partial F / partial y)。一般版本完全相同，只是把那唯一的非零偏导换成一个可逆的雅可比块，于是你恰好能在那个雅可比非奇异之处，把一组方程对若干变量求解、用其余变量表示。

作为工具，这个定理时刻做着三件事。它为隐函数求导提供依据（只要分母偏导不为零，你就可以对一个无法求解的关系写出 dy/dx）。它定位曲线与曲面在何处真正是图像、在何处折回自身（失效点，即 partial F / partial y = 0 之处，恰是曲线有竖直切线或奇异之处）。它还是换元、优化中约束流形、以及经济学与物理中平衡分析背后的主力——凡是你需要知道某个量被隐式决定、以及它对一次微推如何响应之处。