隐函数定理

方程 x^2 + y^2 = 1 并不直接给出 y 关于 x 的公式，但在圆上大多数点附近，你都能把 y 解为 x 的光滑函数。隐函数定理告诉你——无需真正找出那个公式——何时存在这样的局部解，并保证它与方程一样光滑，从而把一团约束化为诚实的函数。

精确地说：设 F: R^n x R^m -> R^m 是 C^1，且 F(a, b) = 0。把导数按对后 m 个变量求偏导的那一块分出来。若那个 m × m 的块、即偏雅可比矩阵 D_y F(a, b) 可逆，则在 a 附近存在唯一的 C^1 函数 g，满足 g(a) = b 且对 a 附近所有 x 有 F(x, g(x)) = 0。其导数为 Dg(a) = -(D_y F)^{-1} (D_x F)，由对约束求导得到。

该定理是“等值集为光滑流形”、拉格朗日乘数法、以及局部求解方程组背后的主力。非退化假设至关重要：在相关偏雅可比矩阵奇异之处——圆上切线竖直的点 (1, 0) 与 (-1, 0)——你无法把 y 解为 x 的函数，结论确实失效。