由函數方程所確定的函數。在某些數學或物理的問題中，常常隻知道一個函數所滿足的方程，而不知道或者難於求出該函數的運算式。這時需要根據函數所滿足的方程去研究它的性質。這就導致隱函數的概念。
設F(x,y)是一個二元函數。稱函數y=f(x)(a＜x＜b)是由方程F(x,y)=0所確定的一個隱函數，如果將y=f(x)代入F(x,y)=0後，使之變成恒等式，也即F(x,f(x))≡0(a＜x＜b)
隱函數存在定理 假若有一點(x0,y0)使得F(x0,y0)＝0，並假定F(x,y)的偏導數Fx和Fy在(x0,y0)附近連續且Fy(x0,y0)≠0，則方程F(x,y)＝0在x0的某個鄰域內確定一個唯一的隱函數y=f(x)使得y0=f(x0)。
隱函數的導數求法 假定y＝f(x) (a＜x＜b)是方程F(x,y)=0所確定的一個隱函數，其中F有連續的偏導數且Fy(x,y)≠0，則有公式f ′(x)＝–Fx(x,y)/Fy(x,y)
隱函數的概念可以推廣到多元函數。例如，方程F(x,y,z)＝0可能確定一個二元隱函數z=f(x,y)。上述的隱函數存在定理在形式上作一定修改後依舊成立。這時關於隱函數z=f(x,y)的偏導數的計算，有公式
fx( x, y)=– Fx( x, y, z)/ Fz( x, y, z) fy( x, y)=– Fy( x, y, z)/ Fz( x, y, z)