我們知道，隱函數(shù)的求導(dǎo)公式如下：

但一般的教科書中，沒(méi)有證明，這里轉(zhuǎn)載一篇證明：

這里的DxE就是兩個(gè)一維區(qū)間相乘得出的二維區(qū)間。

上面的s.t.的意思是使得...滿足...的意思。

上面的存在符合表示的是唯一存在的意思。

整個(gè)證明的關(guān)鍵就是上圖。上圖的證明用到了函數(shù)的連續(xù)性以及拉格朗日中值定理等。