在數學中,隱式方程(英語:implicit equation)是形同
的關係,其中
是多元函數。比如單位圓的隱式方程是
。
隱函數(implicit function)是由隱式方程所隱含定義的函數,比如
是由
確定的函數。而可以直接用含自變量的算式表示的函數稱為顯函數,也就是通常所說的函數,如
。
隱函數定理說明了隱式方程在什麼情況下會確定出隱函數。
例子
反函數
隱函數的一個常見類型是反函數。若
是一個函數,那麼
的反函數記作
, 是給出下面方程解的函數
![{\displaystyle x=f(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f267ea7d7336d5211547c3ab4c3711c8c3424b05)
用x表示y。這個解是
![{\displaystyle y=f^{-1}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91c833d5b5563a0d651e66a94201d7fedd30d7b6)
直觀地,通過交換f自變量和因變量的位置就可以得到反函數。換一種說法,反函數給出該方程對於
的解
![{\displaystyle R(x,y)=x-f(y)=0.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f2b56b4ef0a536d614fa456e67830e56c9cc069)
例子
- 對數函數
給出方程
或等價的
的解
。 這裡
並且
。
- 朗伯W函數則可以解出
的
值。
代數函數
一個代數函數是滿足自身多項式係數的多項式方程的函數。例如,單變量
的代數函數給出一個方程中
的解。
![{\displaystyle a_{n}(x)y^{n}+a_{n-1}(x)y^{n-1}+\cdots +a_{0}(x)=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5922132550029e6833c36afb5aebee4fe4ccebc1)
其中係數
為
的多項式函數。
代數函數在數學分析和代數幾何中扮演重要角色,我們再拿單位圓方程式來當作代數函數的範例:
![{\displaystyle x^{2}+y^{2}-1=0.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/080500c8f9bdeebb48048ff6de38fe5c119f59d5)
那麼
的顯函數解顯然是:
![{\displaystyle y=\pm {\sqrt {1-x^{2}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c0e57ee2b7d2f1398622f9eafe6d9d652a5e907)
但其實我們不一定要把它的顯函數解寫出來,它也可以直接利用隱函數來表達。
對於y的二次、三次和四次方程,可以找到只包含有限次四則運算和開方運算的顯函數解, 但這並不適用於包括五次在內的更高次數的方程(參見阿貝爾-魯菲尼定理),例如:
![{\displaystyle y^{5}+2y^{4}-7y^{3}+3y^{2}-6y-x=0.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f162fed2b7e133de8e337a799fb156ea5fa81c61)
但是,我們仍然可以以隱函數 y = g(x) 的方式來表達。
隱函數的導數
隱函數導數的求解一般可以採用以下方法:
方法一
- 把n元隱函數看作(n+1)元函數,通過多元函數的偏導數的商求得n元隱函數的導數。
示例
把一元隱函數
看作二元函數
,若欲求
,對
取全微分,可得
,經過移項可得
(式中
表示
關於
的偏導數
,以此類推)。
把2元隱函數
看作3元函數
,若欲求
,對
取全微分,可得
。
由於所求為
,令z為常數,即
,經過移項可得
方法二
- 針對1元隱函數,把
看作
的函數,利用鏈式法則在隱函數等式兩邊分別對
求導,再通過移項求得
的值。
- 針對2元隱函數,把
看作
的函數,利用鏈式法則在隱函數等式兩邊分別對
求導,令
,再通過移項求得
的值。
示例
- 針對
:
- 針對
:
- 求
中y對x的導數。
為了方便辨別相應的導數部分,各項都以不同顏色分開(常數則以黑色表示)。
1.兩邊皆取其相應的導數,得出
2.移項處理。
3.提出導數因子。
4.移項處理。
5.完成。得出其導數為
。
6.選擇性步驟:因式分解。
參見