定義設F（x,y）是某個定義域上的函式。如果存在定義域上的子集D，使得對每個x屬於D，存在相應的y滿足F(x,y)=0,則稱方程確定了一個隱函式。記為y=y(x)顯函式是用y=f(x)來表示的函式，顯函式是相對於隱函式來說的。求導法則對於一個已經確定存在且可導的情況下，我們可以用複合函式求導的鏈式法則來進行求導。在方程左右兩邊都對x進行求導，由於y其實是x的一個函式，所以可以直接得到帶有 y" 的一個方程，然後化簡得到 y" 的表示式。隱函式導數的求解一般可以採用以下方法：先把隱函式轉化成顯函式，再利用顯函式求導的方法求導；隱函式左右兩邊對x求導（但要注意把y看作x的函式）； 利用一階微分形式不變的性質分別對x和y求導，再透過移項求得的值； 把n元隱函式看作(n+1)元函式，透過多元函式的偏導數的商求得n元隱函式的導數。舉個例子，若欲求z = f(x,y)的導數，那麼可以將原隱函式透過移項化為f(x,y,z) = 0的形式，然後透過（式中F"yF"x分別表示y和x對z的偏導數）來求解。推理過程一個函式y=ƒ(x)，隱含在給定的方程 (1)隱函式中，作為這方程的一個解（函式）。例如給出隱函式。如果不限定函式連續，則式中正負號可以隨x而變,因而有無窮個解；如果限定連續，則只有兩個解（一個恆取正號,一個恆取負號）；如果限定可微，則要排除x=±1，因而函式的定義域應是開區間(-1<x<1)，但仍然有兩個解;如果還限定在適合原方程的一個點(x,y)=(x0,y0)的鄰近範圍內，則只有一個惟一的解（當起點(x0,y0)在上半平面時取正號，在下半平面時取負號）