高等数学---隐函数

第五节 隐函数的求导法则一、一个方程的情形隐函数存在定理 1 设函数(,)F x y 在点00(,)P x y 的某一邻域内具有连续偏导数，00(,)0F x y =，00(,)0y F x y ≠，则方程(,)0F x y =在点0x 的某一邻域内恒能唯一确定一个连续且具有连续导数的函数()y f x =， 它满足条件00()y f x =，并有d d x yF yx F =-． 说明：1） 定理证明略，现仅给出求导公式的推导：将()y f x =代入(,)0F x y =，得恒等式(,())0F x f x ≡，等式两边对x 求导得d 0d F F y x y x∂∂+=∂∂， 由于0y F ≠ 于是得d d x yF yx F =-． 2） 若(,)F x y 的二阶偏导数也都连续, 则按上述方法还可求隐函数的二阶导数:22d d ()()d d x x y y F F y y x x F y F x∂∂=-+-⋅∂∂ 22()x x y y x xx y y y y xxy y yF F F F F F F F F F F F --=---2232x x y x y x y y y x yF F F F F F F F-+=-．例1 验证方程sin e 10x y x y +--=在点(0,0)的某一邻域内能唯一确定一个单值可导的隐函数()y f x =，并求22d d ,00d d y yx x x x ==． 解 设(,)sin e 1x F x y y x y =+--， 则 1） e x x F y =-，cos y F y x =-连续； 2） (0,0)0F =； 3） (0,0)10y F =≠．因此由定理1可知，方程sin e 10x y x y +--=在点(0,0)的某一邻域内能唯一确定一个单值可导的隐函数()y f x =．d 0d y x x =0x y F x F =-=e 10,0cos x yx y y x -=-=-==-，22d 0d y x x = d e ()0,0,1d cos x yx y y x y x -=-'===-- 0201(e )(cos )(e )(sin 1)(cos )x x x y y y y x y y y y x =='=-''-----⋅-=--3=-．隐函数存在定理还可以推广到多元函数．一般地一个二元方程(,)0F x y =可以确定一个一元隐函数，而一个三元方程(,,)0F x y z =可以确定一个二元隐函数． 隐函数存在定理2 设函数(,,)F x y z 在点000(,,)P x y z 的某一邻域内具有连续的偏导数，且000(,,)0F x y z =，000(,,)0z F x y z ≠，则方程(,,)0F x y z =在点00(,)x y 的某一邻域内恒能唯一确定一个连续且具有连续偏导数的函数(,)z f x y =， 它满足条件000(,)z f x y =，并有x z F z x F ∂=-∂，y zF zy F ∂=-∂． 说明：定理证明略，现仅给出求导公式的推导：将(,)z f x y =代入(,,)0F x y z =， 得(,,(,))0F x y f x y ≡，将上式两端分别对x 和y 求导，得0=∂∂⋅+xz F F z x ， 0=∂∂⋅+y z F F z y ．因为z F 连续且000(,,)0z F x y z ≠，于是得x z F z x F ∂=-∂， y zF zy F ∂=-∂． 例2 设22240x y z z ++-=，求22zx∂∂．解 设222(,,)4F x y z x y z z =++-，则2x F x =，24z F z =-，2242x z F z x x x F z z∂=-=-=∂--，2222223(2)(2)()(2)2(2)(2)(2)z xx xx x zx x x z xz z z ∂-+-+∂-+∂-===∂---． 二、方程组的情形在一定条件下， 由方程组(,,,)0(,,,)0F x y u vG x y u v =⎧⎨=⎩ 可以确定一对二元函数(,)(,)u u x y v v x y =⎧⎨=⎩， 例如方程0xu yv -=和1yu xv +=可以确定两个二元函数22y x yu +=，22y x x v +=． 事实上，0xu yv -=u y x v =1=⋅+u yx x yu 22y x yu +=， 2222yx x y x yy x v +=+⋅=． 下面讨论如何由组求u ，v 的导数．隐函数存在定理3 设(,,,)F x y u v ，(,,,)G x y u v 点0000(,,,)P x y u v 的某一邻域内具有对各个变量的连续偏导数，又0000(,,,)0F x y u v =，0000(,,,)0G x y u v =，且偏导数所组成的函数行列式（或称雅可比（Jacobi ）行列式）(,)(,)FF FG u v J G G u v uv∂∂∂∂∂==∂∂∂∂∂ 在点0000(,,,)P x y u v 不等于零，则方程组(,,,)0F x y u v =，(,,,)0G x y u v =，在点0000(,,,)P x y u v 的某一邻域内恒能唯一确定一组连续且具有连续偏导数的函数(,)(,)u u x y v v x y =⎧⎨=⎩，． 它们满足条件000(,)u u x y =，000(,)v v x y =，且有1(,)(,)xvxv u v u v F F G G u F G F F x J x v G G ∂∂=-=-∂∂，1(,)(,)ux u xu v uvF FG G v F G F F x J u x G G ∂∂=-=-∂∂， 1(,)(,)yv y vu v uv F F G G u F G F F y J y v G G ∂∂=-=-∂∂，1(,)(,)u yu y u v u vF FG G v F G F F y J u y G G ∂∂=-=-∂∂． 说明：方程组所确定的隐函数的偏导数可分别对方程组中各方程两边求偏导数，然后解关于各偏导数的方程组，其中偏导数xu ∂∂，x v ∂∂由方程组0,0x u v x uv u v F F F x xu v G G G x x ∂∂⎧++=⎪⎪∂∂⎨∂∂⎪++=⎪∂∂⎩确定；偏导数yu ∂∂，y v ∂∂由方程组⎪⎩⎪⎨⎧=∂∂+∂∂+=∂∂+∂∂+.0,0y vG y u G G yv F y u F F v u y v u y 确定．例3 设0xu yv -=，1yu xv +=，求u x ∂∂，v x∂∂，uy ∂∂和v y ∂∂．解 两个方程两边分别对x 求偏导，得关于u x ∂∂和vx∂∂的方程组 00u v u x y x xu v y v x x x ∂∂⎧+-=⎪⎪∂∂⎨∂∂⎪++=⎪∂∂⎩，． 当220x y +≠时，解之得22u xu yv x x y ∂+=-∂+，22v yu xvx x y ∂-=∂+． 两个方程两边分别对y 求偏导，得关于u y ∂∂和vy∂∂的方程组 00uv x v y y y u v u y x y y ∂∂⎧--=⎪∂∂⎪⎨∂∂⎪++=⎪∂∂⎩，． 当220x y +≠时，解之得22u xv yu y x y ∂-=∂+，22v xu yvy x y ∂+=-∂+． 另解 将两个方程的两边微分得d d d d 0d d d d 0u x x u v y y v u y y u v x x v +--=⎧⎨+++=⎩，，即d d d d d d d d x u y v v y u x y u x v u y v x -=-⎧⎨+=--⎩，． 解之得2222d d d xu yv xv yu u x y x y x y +-=-+++，2222d d d yu xv xu yvv x y x y x y-+=-++． 于是22u xu yv x x y ∂+=-∂+，22u xv yu y x y ∂-=∂+，22v yu xv x x y ∂-=∂+，22v xu yvy x y ∂+=-∂+． 例 设函数(,),(,)x x u v y y u v ==在点(,)u v 的某一领域内连续且有连续偏导数，又(,)0(,)x y u v ∂≠∂． 1） 证明方程组(,)(,)x x u v y y u v =⎧⎨=⎩ 在点(,,,)x y u v (的某一领域内唯一确定一组单值连续且有连续偏导数的反函数(,),(,)u u x y v v x y ==．2）求反函数(,),(,)u u x y v v x y ==对,x y 的偏导数． 解 1）将方程组改写成下面的形式(,,,)(,)0(,,,)(,)0F x y u v x x u v G x y u v y y u v ≡-=⎧⎨≡-=⎩，，则按假设 (,)(,)0(,)(,)F G x y J u v u v ∂∂==≠∂∂，由隐函数存在定理3，即得所要证的结论．2）将方程组所确定的反函数(,),(,)u u x y v v x y ==代入原方程组，即得[(,),(,)][(,),(,)].x x u x y v x y y y u x y v x y ≡⎧⎨≡⎩，将上述恒等式两边分别对x 求偏导数，得10.x u x v u x v xy u y v u x v x ∂∂∂∂⎧=⋅+⋅⎪⎪∂∂∂∂⎨∂∂∂∂⎪=⋅+⋅⎪∂∂∂∂⎩， 由于0J ≠，故可解得1u y x J v ∂∂=∂∂， 1v yx J u∂∂=-∂∂． 同理，可得1u x y J v ∂∂=-∂∂， 1v x y J u∂∂=∂∂． .。

第十八章 隐函数定理及其应用§1 隐函数一 、 隐函数概念（P144）在这之前我们所接触的函数，其表达式大多是自变量的某个算式，如 12+=x y ，).sin sin (sin zx yz xy eu xyz++=这种形式的函数称为显函数。

但在不少场合常会遇到另一种形式的函数，其自变量与因变量之间的对应法则是由一个方程式或方程组所确定。

这种形式的函数我们称为隐函数。

☆ 本节将介绍由一个方程0),,(=z y x F 所确定的隐函数求导法；☆ 下一节将介绍由方程组⎩⎨⎧==0),,,,(0),,,,(v u z y x G v u z y x F 所确定的隐函数求导法。

设R X ⊂，R Y ⊂，函数.:R Y X F →⨯注．：1）定义中的)(x f y = ,,J y I x ∈∈仅表示定义域为I,值域为J 的函数，而y 未必能 用x 的显式表示2）隐函数是表达函数的又一种方法. 是用隐形关系式表示函数关系的一种。

结论．．：若由．．0),(=y x F 确定．．的隐函数为．．．．．)(x f y = .,J y I x ∈∈则成立恒等式．．．．．．.,0))(,(I x x F x F ∈≡例： 方程 01=-+y xy ，当x 定义在),1()1,(+∞---∞ 上时，可得隐函数)(x f y =。

其显函数形式为：.11xy +=例： 圆方程122=+y x 能确定一个定义在[]1,1+-上，函数值不小于0的隐函数21x y -=；又能确定另一个定义在[]1,1+-上，函数值不大于0的隐函数21x y --=。

注．：1）隐函数必须在指出确定它的方程以及y x ,的取值范围后才有意义。

2）当然在不至于产生误解的情况下，其取值范围也可不必一一指明。

3）并不是任一方程都能确定出隐函数，如方程.022=++c y x当0>c 时，就不能确定任何函数()x f ，使得[].0)(22≡++c x f x而只有当0≤c 时，才能确定隐函数。

习题3.41. 验证： (1) 函数x y +11=ln 满足关系式d 1e d yy x x +=；(2) 函数1+++1+2+2=222x x x xx y ln 满足关系式'ln 'y xy y +=2.2. 求由下列方程所确定的隐函数)(x y y =的导数d d yx ：(1) 0=6+2-2xy y ；(2) 0=3-+33axy y x (0a >)；(3) 1e y y x =+；(4) 0=--)cos(sin y x x y .3. 求下列方程所确定的隐函数)(x y y =在点0=x 处的导数：(1) x x y xy =-+)ln()sin(；(2) e ln 01xy yx +=+；(3) 2e cos()e 1x y xy +-=-.4. 设)(x f y =是由方程1=+y xy ln 所确定的隐函数.(1) 求)('x f ；(2) 又设()()(ln )e f x g x f x =, 求)1('g .5. 求曲线3330x y xy +-=在点处的切线方程和法线方程.6. 求证：星形线323232=+a y x (0a >)在两坐标轴间的切线长度为常数.7. 求下列参数方程表示的函数的导数d d y x 和dd xy ：(1) ⎪⎩⎪⎨⎧-=-1=32;,t t y t x (2) 2223;13,1atx t aty t ⎧=⎪⎪+⎨⎪=⎪+⎩ 其中0a >.8. 求下列参数方程表示的函数在指定点处的导数d d yx ：(1) ⎩⎨⎧-1=+1=2,arctan ),ln(t y t x 在1=t 处；(2) ⎩⎨⎧-=+=),cos (sin ),sin (cos t t t a y t t t a x 在4π=t 及4π-=t 处.9. 求下列参数方程表示的曲线在给定点处的切线方程和法线方程：(1) 2e ,e ,t t x y -⎧=⎪⎨=⎪⎩ 在0=t 处; (2) ⎩⎨⎧2==,cos ,sin t y t x 在6π=t 处.10. 验证下列参数方程表示的函数满足对应的关系式：(1) x y ⎧=⎪⎨=⎪⎩满足'0yy x +=；(2) 21ln ,32ln tx t ty t+⎧=⎪⎪⎨+⎪=⎪⎩满足1+2=2''xy yy .11. 求下列极坐标方程表示的曲线在指定点处的切线方程和法线方程：(1) θθsin cos +=r 对应于π4θ=处；(2) sin 2r a θ=(0a >)对应于π4θ=处.。

第十八章 隐函数定理及其应用§1 隐函数一 、 隐函数概念（P144）在这之前我们所接触的函数，其表达式大多是自变量的某个算式，如 12+=x y ，).sin sin (sin zx yz xy eu xyz++=这种形式的函数称为显函数。

但在不少场合常会遇到另一种形式的函数，其自变量与因变量之间的对应法则是由一个方程式或方程组所确定。

这种形式的函数我们称为隐函数。

☆ 本节将介绍由一个方程0),,(=z y x F 所确定的隐函数求导法；☆ 下一节将介绍由方程组⎩⎨⎧==0),,,,(0),,,,(v u z y x G v u z y x F 所确定的隐函数求导法。

设R X ⊂，R Y ⊂，函数.:R Y X F →⨯注．：1）定义中的)(x f y = ,,J y I x ∈∈仅表示定义域为I,值域为J 的函数，而y 未必能 用x 的显式表示2）隐函数是表达函数的又一种方法. 是用隐形关系式表示函数关系的一种。

结论．．：若由．．0),(=y x F 确定．．的隐函数为．．．．．)(x f y =.,J y I x ∈∈则成立恒等式．．．．．．.,0))(,(I x x F x F ∈≡例： 方程 01=-+y xy ，当x 定义在),1()1,(+∞---∞ 上时，可得隐函数)(x f y =。

其显函数形式为：.11xy +=例： 圆方程122=+y x 能确定一个定义在[]1,1+-上，函数值不小于0的隐函数21x y -=；又能确定另一个定义在[]1,1+-上，函数值不大于0的隐函数21x y --=。

注．：1）隐函数必须在指出确定它的方程以及y x ,的取值范围后才有意义。

2）当然在不至于产生误解的情况下，其取值范围也可不必一一指明。

3）并不是任一方程都能确定出隐函数，如方程.022=++c y x当0>c 时，就不能确定任何函数()x f ，使得[].0)(22≡++c x f x而只有当0≤c 时，才能确定隐函数。