1、隱函數的求導法則由一個方程確定的隱函數由方程組確定的隱函數0),(. 1yxF一、一個方程的情形隱函數存在定理隱函數存在定理 1 1 設函數設函數),(yxF在點在點),(00yxP的的某一鄰域內具有連續的偏導數，且某一鄰域內具有連續的偏導數，且0),(00 yxF，0),(00 yxFy，則方程，則方程0),( yxF在點在點),(00yxP的的某一鄰域內恒能唯一確定一個單值連續且具有連續某一鄰域內恒能唯一確定一個單值連續且具有連續導數的函數導數的函數)(xfy ，它滿足條件，它滿足條件)(00 xfy ，并，并有有 yxFFdxdy . .隱函數的求導公式隱函數的求導公式解解令令1),(2

2、2 yxyxF那那么么,2xFx ,2yFy , 0)1 , 0( F, 02)1 , 0( yF依依定定理理知知方方程程0122 yx在在點點)1 , 0(的的某某鄰鄰域域內內能能唯唯一一確確定定一一個個單單值值可可導導、且且0 x時時1 y的的函函數數)(xfy 函函數數的的一一階階和和二二階階導導數數為為yxFFdxdy ,yx , 00 xdxdy222yyxydxyd 2yyxxy ,13y . 1022 xdxyd例例 2 2 已已知知xyyxarctanln22 ，求求dxdy.解解令令那那么么,arctanln),(22xyyxyxF ,),(22yxyxyxFx ,),(22

3、yxxyyxFy yxFFdxdy .xyyx 隱函數存在定理隱函數存在定理2 2 設函數設函數),(zyxF在點在點,(0 xP),00zy的某一鄰域內有連續的偏導數，且的某一鄰域內有連續的偏導數，且,(0 xF0),00 zy，0),(000 zyxFz，則方程，則方程,(yxF0) z在點在點),(000zyxP的某一鄰域內恒能唯一確的某一鄰域內恒能唯一確定一個單值連續且具有連續偏導數的函數定一個單值連續且具有連續偏導數的函數),(yxfz ，它滿足條件，它滿足條件),(000yxfz ，并有并有 zxFFxz ， zyFFyz . .0),(. 2 zyxF例例 3 3 設設04222

4、 zzyx，求求22xz .解解令令那那么么,4),(222zzyxzyxF ,2xFx , 42 zFz,2zxFFxzzx 22xz 2)2()2(zxzxz 2)2(2)2(zzxxz .)2()2(322zxz 例例 4 4 設設),(xyzzyxfz ，求求xz ，yx ，zy .思路：思路：把把z看成看成yx,的函數對的函數對x求偏導數得求偏導數得xz ，把把x看看成成yz,的的函函數數對對y求求偏偏導導數數得得yx ，把把y看看成成zx,的的函函數數對對z求求偏偏導導數數得得zy .解解令令, zyxu ,xyzv 那那么么),(vufz 把把z看看成成yx,的的函函數數對對x求

5、求偏偏導導數數得得xz )1(xzfu ),(xzxyyzfv 整理得整理得xz ,1vuvuxyffyzff 把把x看看成成yz,的的函函數數對對y求求偏偏導導數數得得)1(0 yxfu),(yxyzxzfv 整理得整理得,vuvuyzffxzff yx 把把y看看成成zx,的的函函數數對對z求求偏偏導導數數得得)1(1 zyfu),(zyxzxyfv 整理得整理得zy .1vuvuxzffxyff 設有一組方程設有一組方程 ( , , , )0,(1)( , , , )0,F x y u vG x y u v則稱由則稱由 (1) 確定了隱函數組確定了隱函數組 之對應之對應, 能使能使( ,

6、 , , ),(1),x y u vV 且滿足方程組且滿足方程組其中其中 定義在定義在 若存在若存在 2,R ,D E 4R .V FG與與使得對于任給的使得對于任給的 ( , ),x yD ()u,vE 與與有惟一的有惟一的二、隱函數組( , ),( , ),( , ),( , ),uu x yx yDu vEvv x y 并有并有 ( , , ( , ), ( , )0,( , ).( , , ( , ), ( , )0,F x y u x y v x yx yDG x y u x y v x y 關于隱函數組的一般情形關于隱函數組的一般情形 ( 含有含有 m + n 個變量的個變量的 m

7、 個方程所確定的個方程所確定的 n 個隱函數個隱函數 )，在本章不作詳，在本章不作詳 細討論細討論 首先來看看首先來看看, 若由方程組若由方程組 (1) 能確定兩個可微的隱能確定兩個可微的隱 函數函數 , 則函數則函數 ( , )( , )uu x yvv x y與與GF、應滿應滿 足何種條件呢足何種條件呢? 不妨先設不妨先設 都可微都可微, 由復合求導法由復合求導法, 通過對通過對 (1)GF、分別求關于分別求關于 x 與關于與關于 y 的偏導數的偏導數, 得到得到 0,(2)0;xuxvxxuxvxFF uF vGG uG v 0,(3)0.yuyvyyuyvyFF uF vGG uG v

8、 能由能由 (2) 與與 (3) 惟一解出惟一解出 的充要的充要 ),(),(yyxxvuvu與與條件是雅可比條件是雅可比 ( Jacobi ) 行列式不等于零，即行列式不等于零，即 def0.(4,)()( , )uvuvFFF GJGGu v 由此可見，只要由此可見，只要 具有連續的一階偏導數，且具有連續的一階偏導數，且 GF、其中其中 是滿足是滿足 (1) 的某一的某一 ,00 PJ00000(,)P xyu v初始點初始點, 則由保號性定理，則由保號性定理， 使得在此鄰域使得在此鄰域 , )(0PU 內內 (4)式成立式成立 根據以上分析根據以上分析, 便有下述隱函數組定理便有下述隱函

9、數組定理. 雅可比（雅可比（ Jacobi, C.G.J. 1804-1851, 德德國國 ）定理定理 ( 隱函數組定理隱函數組定理 ) 設方程組設方程組 (1) 中的函數中的函數 F 與與 G 滿足下列條件：滿足下列條件： (i) 在以點在以點 為內點的某區域為內點的某區域 ),(00000vuyxP4RV 上連續；上連續； (ii) (初始條件初始條件); 0)()(00 PGPF(iii) 在在 V 內存在連續的一階偏導數；內存在連續的一階偏導數； (iv).0),(),(00 PPvuGFJ隱函數組定理 , )(),( !, )(),(00WUvuQUyx 即有即有 ; )(),(,

10、)(),(, ),(, ),(00WUvuQUyxyxvvyxuu( , , ( , ), ( , )0,( , , ( , ), ( , )0,F x y u x y v x yG x y u x y v x y . )(),(0QUyx 則有如下結論成立：則有如下結論成立： 且滿足且滿足 000000(,),(,)uu xyvv xy 以以及及1必定存在鄰域必定存在鄰域 ,)()()(000VWUQUPU 其中其中 000000(,),(,),QxyWu v 使得使得 2o o( , ), ( , )u x yv x y在在 上連續上連續. 0()U Q3o o( , ), ( , )u

11、x yv x y在在 上存在一階連續偏導上存在一階連續偏導 0()U Q數數, 且有且有 1(,),( , )1(,).( , )vF GxJu xvF GyJu y 1(,),( , )1(,);( , )uF GxJx vuF GyJy v 本定理的詳細證明從略本定理的詳細證明從略,下面只作一粗略的解釋下面只作一粗略的解釋: 由方程組由方程組 (1) 的第一式的第一式 確定隱確定隱 ( , , , )0F x y u v 函數函數 ( , , ),ux y v 且且有有,.xxuyyuvvuFFFFFF ( , , )( , , ( , , ), )0.H x y vG x yx y v

12、v ( , , ( , )( , ).ux y v x yu x y ( , , )ux y v 將將 代入方程組代入方程組(1) 的第二式的第二式, 得得 ( , ),vv x y 再由此方程確定隱函數再由此方程確定隱函數 并代回至并代回至 這樣就得到了一組隱函數這樣就得到了一組隱函數 ( , ),( , ).uu x yvv x y通過詳細計算通過詳細計算, 又可得出如下一些結果又可得出如下一些結果: ,;xxuxvuvvHGGHGG 1(,),( , )xvxxvxuuvxvxuxuuuvvFFHuvxFFHFFGGF GFFGGJx v L L1(,);( , )yvyuF GvyJy

13、 v L L1(,)1(,),.( , )( , )vF GvF GxJu xyJu y同同理理又又有有 例例1 設有方程組設有方程組 22240,(5)50.xyyzx yyzz 2224,( , , )5( , , ),xyyzF x y zx yyzzG x y z 0(1, 2,1)P 試討論在點試討論在點 的近旁能確定怎樣的隱函的近旁能確定怎樣的隱函 0P數組？并計算各隱函數在點數組？并計算各隱函數在點 處的導數處的導數. 0P解解 易知點易知點 滿足方程組滿足方程組 (5) . 設設 它們在它們在 上有連續的各階偏導數上有連續的各階偏導數. 再考察再考察 3R,F G0022222

14、xyzPPxyzFFFyxzyzGGGxyxzyz 2 24.4 24 0P在點在點 關于所有變量的雅可比矩陣關于所有變量的雅可比矩陣 02 2(,)40,( , )4 2PF Gx y 由于由于042(,)80,( , )44PF Gz x 024(,)0,( , )24PF Gy z ( ),( ),( ),( );xx zzz yyy zxx y 與與0P因此由隱函數組定理可知因此由隱函數組定理可知, 在點在點 近旁可以惟一近旁可以惟一 地確定隱函數組地確定隱函數組: 但不能肯定但不能肯定 y , z 可否作為可否作為 x 的兩個隱函數的兩個隱函數. 00d0(,)(,)0,( , )d

15、4( , )PPxF GF Gz yzx y 00d( 8)(,)(,)2;( , )d4( , )PPyF GF Gx zzx y 00d41(,)(,),( , )d82( , )PPzF GF Gy xyz x 00d0(,)(,)0 .( , )d8( , )PPxF GF Gz yyz x 3o o0P運用定理運用定理 18.4 的結論的結論 , 可求得隱函數在點可求得隱函數在點 處處 的導數值的導數值: 022d10.4dPxy *注注 通過詳細計算通過詳細計算, 還能求得還能求得 ( )2xx yy 在在這說明這說明 處取極大值處取極大值, 從而知道從而知道 0P在點在點 的任意

16、小鄰域內的任意小鄰域內, 對每一個對每一個 x 的值的值, 會有會有 多個多個 y 的值與之對應的值與之對應. 類似地類似地, 對每一個對每一個 x 的值的值, 也會有多個也會有多個 z 的值與之對應的值與之對應. 所以方程組所以方程組 (5) 在點在點 0P近旁不能惟一確定以近旁不能惟一確定以 x 作為自變量的隱函數組作為自變量的隱函數組. 例例 2 設函數設函數 具有連續的偏導數具有連續的偏導數, ( , ),( , )f x yg x y2(,),(,)0uf ux vyg ux v y 1212212121.2xyuvxyuvFFFFuffx ffGGGGgv ggvyg ( , )(

17、 , )uu x yvv x y 與與是由方程組是由方程組 ,.uvxy所確定的隱函數組所確定的隱函數組. 試求試求 2(,),(,),Fuf ux vyGg ux v y 解解 設設 則有則有 由此計算所需之雅可比行列式由此計算所需之雅可比行列式: 1221 22112122,2uvx ffJvygxyvf gf ggvyg 121 221122,2xvuffJyuvf gf ggvyg 122221 2212121.uyx ffJv gxv f gf ggv g于是求得于是求得 1 22 121 22 12,22xvuvJyuvf gf guxJyvgxyvf gf g 221 22 12

18、21 22 1.22uyuvJxv f gf gv gvyJyvgxyvf gf g 注注 計算隱函數組的偏導數計算隱函數組的偏導數 ( 或導數或導數 ) 比較繁瑣比較繁瑣, 要學懂前兩例所演示的方法要學懂前兩例所演示的方法 ( 利用雅可比矩陣和利用雅可比矩陣和 雅可比行列式雅可比行列式 ), 掌握其中的規律掌握其中的規律. 這里特別需要這里特別需要 “ 精心細心耐心精心細心耐心 ”. vuvuxuxuGGFFGGFFxuGFJxv ),(),(1,),(),(1vuvuvyvyGGFFGGFFvyGFJyu .),(),(1vuvuyuyuGGFFGGFFyuGFJyv 公式：（分以下幾種情

19、況）（分以下幾種情況）隱函數的求導法則隱函數的求導法則0),()1( yxF0),()2( zyxF 0),(0),()3(vuyxGvuyxF三、小結已已知知)(zyzx ，其其中中 為為可可微微函函數數，求求? yzyxzx思考題思考題思考題解答思考題解答記記)(),(zyzxzyxF , 則則zFx1 ，,1)(zzyFy ,)()(22zyzyzxFz ,)(zyyxzFFxzzx ,)()(zyyxzyzFFyzzy 于于是是zyzyxzx .一一、 填填空空題題: :1 1、 設設xyyxarctanln22 , ,則則 dxdy_ _ _ _ _ _ _ _ _ _ _ _ _

20、_ _ _ _ _ _ _ _ _ _ _ _ _ _ _. . 2 2、設設zxyz , ,則則 xz_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _, , yz_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _. .二二、 設設,32)32sin(2zyxzyx 證證明明：. 1 yzxz練練 習習 題題三三、 如如 果果 函函 數數),(zyxf對對 任任 何何t恒恒 滿滿 足足 關關 系系 式式),(),(zyxfttztytxfk , ,則則稱稱函函數數),(zyxf為為 k次次齊齊次次函函數數, ,試試證證: :k次次齊齊次次函函數數滿滿足足方方程程 ),(zyxkfzfzyfyxfx . .四四、設設.,3233yx