在数学中，函数与自变量的函数关系是由一个含和的方程所确定的，即与的关系隐含在方程中，称这种由未解出因变量的方程所确定的与之间的函数关系为隐函数。[1] 隐函数存在定理为：设函数在点的某一邻域内具有连续的偏导数，且，则方程在点的某一邻域内恒能唯一确定一个连续且具有连续导数的函数满足条件，并有。[2] 定义
隐函数是由隐式方程所隐含定义的函数。设是某个定义域上的函数。如果存在定义域上的子集，使得对每个属于，存在相应的满足，则称方程确定了一个隐函数。记为。显函数是用来表示的函数，显函数是相对于隐函数来说的。 求导法则