隐函数存在定理1
设函数F（x，y）在点P（x0，y0）的某一邻域内具有连续偏导数，且F（x0，y0）=0；Fy（x0，y0）≠0，则方程F（x，y）=0在点（x0，y0）的某一邻域内有恒定能唯一确定一个连续且具有连续导数的函数y=F（x），它满足条件y0=f（x0），并有
dy/dx=-Fx/Fy，这就是隐函数的求导公式。