隱函數定理

方程 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 的函數，結論確實失效。