隐函数是由隐式方程所隐含定义的函数。设 $F（x, y）$ 是某个定义域上的函数，如果存在定义域上的子集 $D$，使得对每个 $x$ 属于 $D$，存在相应的 $y$ 满足 $F（x, y） = 0$，则称方程 $F（x, y） = 0$ 确定了一个隐函数，记为 $y = y（x）$。

隐函数与显函数的区别在于：

隐函数不一定能写为 $y = f（x）$ 的形式，例如 $x^2 + y^2 = 0$。

显函数是用 $y = f（x）$ 表示的函数，左边是一个 $y$，右边是 $x$ 的表达式，例如 $y = 2x + 1$。而隐函数是 $x$ 和 $y$ 都混在一起的，例如 $2x - y + 1 = 0$。

有些隐函数可以表示成显函数，这个过程叫做隐函数显化，但也有些隐函数是不能显化的，例如 $e^y + xy = 1$。

隐函数的求导法则：

对于一个已经确定存在且可导的情况下，可以用复合函数求导的链式法则来进行求导。

隐函数存在定理：

隐函数存在定理是判断方程或方程组能否确定隐函数的理论依据。单变量情形：对于方程 $F（x, y） = 0$，若在某点满足 $F（x_0, y_0） = 0$ 且 $F_y（x_0, y_0） neq 0$，则在 $x_0$ 的某邻域内存在唯一连续可微函数 $y = y（x）$，使得 $F（x, y（x）） = 0$。

总结：

隐函数是由隐式方程所隐含定义的函数，通常不能直接表示为 $y = f（x）$ 的形式，但可以通过隐函数求导法则进行求导。隐函数存在定理提供了判断方程能否确定隐函数的理论依据。