§16.1隐函数存在定理
- 格式:ppt
- 大小:671.00 KB
- 文档页数:30
关于隐函数存在定理证明教学的新探讨1.问题的提出数学分析教学中“隐函数存在定理”的证明,是一个较为复杂,不易被学生很快理解和掌握的定理。
现把该定理复述如下:定理:设F(x,y)在(x,y)的领域内连续,并有连续的偏导数F′(x,y),如果F(x,y)=0?摇?摇?摇F′(x,y)≠0则在(x,y)的某领域内,方程F(x,y)=0有唯一的连续解y=f(x),也就是说,这时存在某η0,使得在[x-η,x+η]上存在着一函数y=y(x),使得:1)y=y(x);2)y(x)在[x-η,x+η]上连续;3)在[x-η,x+η]上恒等式F(x,y(x))=0成立;4)满足条件1)—3)的函数y(x)是唯一的。
在定理所给条件下,找到满足结论条件的隐函数y=f(x),从几何直观来看就是:若在(x,y)附近z=F(x,y)为光滑曲面,则它在点(x,y)附近与z=0的交线为光滑曲线,并能表示为y为x的函数(当F′(x,y)≠0),如图1所示。
对于这个定理,一般的分析教科书上多采用的传统证法是基于它的几何意义,而从下面几方面去进行推断。
(一)定理的结论,实质是找曲面z=F(x,y)和平面z=0的交线y=f(x),使得这曲线过(x,y)且在x附近连续,唯一。
(二)要这曲线过(x,y)必须曲面过(x,y),即F(x,y)=0。
(三)要这曲线在x附近连续,只需曲面z=F(x,y)在(x,y)附近连续。
(四)要曲线唯一,也就需证,对x附近任一x,有唯一确定的y。
在定理题设中有,F′(x,y)≠0,不妨假定它大于0,由于F′(x,y)连续,因此存在(x,y)的某个领域,其中每一点F′都大于0。
在该领域内,固定x=x,令φ(y)=F(x,y),由于φ′(y)0,因此φ(y)是单调上升的,只要证明存在y及y,使得φ(y)0,φ(y)0,则由一元连续函数的中值定理,就存在一点M(x,y)使F(x,y)=0,这是定理证明的核心。
其几何意义是:曲面z=F(x,y)垂直于x轴的平面x=x的交线z=F(x,y),剖面图形如图2所示。
第十八章 隐函数定理及其应用§1 隐函数一、隐函数概念设X R ⊂,Y R ⊂, 函数:F X Y R ⨯→, 对方程(,)0F x y =,若存在集合I X ⊂,J Y ⊂,使得对任何x I ∈,存在唯一的y J ∈满足方程(,)0F x y =,则称(,)0F x y =确定了一个隐函数:f I J →, 记为()y f x =,x I ∈.此时, (,())0F x f x ≡,x I ∈恒成立. 相对地, 形如()y f x =的函数称为显函数.我们说隐函数的产生也是很自然的, 如函数73()y g x x x x ==++严格增, 因而其有反函数, 但不易求出显函数1()x g y -=, 此时只能说方程730y y y x ++-=能确定隐函数1()()dy g x f x -==. 当然, 显函数也可以写成隐函数的形式(,)()0F x y y f x =-=. 显函数的几何意义就是平面上的曲线. 而方程(,)0F x y =确定的隐函数()y f x =在几何意义上就是曲面(,)z F x y =与平面0z =相交得到一条曲线(()y f x =), 此曲线投影到x 轴, 投影为I , 而对每个x I ∈,有唯一的点(,)x y 在该曲线上.注 并不是每一个方程都可以确定一个隐函数,如2210x y ++=.关于隐函数, 我们主要关心两个问题: 1) 隐函数的存在性;2) 隐函数的性质(如连续和可微性等). 二、隐函数存在的直观分析从几何上看, 方程(,)0F x y =确定函数()y f x =.相当于曲线(,)0F x y =与直线0x x =有且仅有一个交点, 这就要求0(,)0F x y =恰好有一个解, 当然至少要有一个解, 即1︒ 00(,)x y ∃, 使得00(,)0F x y =.其次, 若要求曲线(,)0F x y =连续, 则需要假设2︒ 在00(,)x y 的某邻域内, F 连续.最后, 从隐函数的定义, 对一个x , 只能有一个y 满足(,)0F x y =. 这相当于F 作为y 的函数是单射. 因而我们要求F 关于y 严格单调, 或者条件3︒00(,)0y F x y ≠, 且y F 连续 (此时在00(,)x y 的某邻域内,F 关于y 严格单调).如果要求确定的隐函数可微, 则当F 可微时, 由链式法则有0x y F F y '+⋅=, 此时/x y y F F '=-, 即隐函数()y f x =可微. 而要保证F 可微, 一般需假设4︒x F 连续. 三、一元隐函数定理下面我们给出一元隐函数定理. 定理 若下列条件满足1) 函数(,)F x y 在000(,)P x y 为内点的某一区域2D R ⊂上连续; 2) 00(,)0F x y =(初始条件);3) 在D 内存在连续的偏导数(,)y F x y , 且00(,)0y F x y ≠,则在点0P 的某邻域0()U P D ⊂内, 方程(,)0F x y =唯一地确定了一个定义在某区间00(,)x x αα-+上的隐函数()y f x =, 满足1︒ 00()f x y =,00(,)x x x αα∈-+时, 0(,())()x f x U P ∈, 且(,())0F x f x =; 2︒ ()f x 在00(,)x x αα-+上连续.进一步, 若F 在D 上还存在连续的偏导数(,)x F x y , 则方程(,)0F x y =所确定的隐函数3︒ ()y f x =在00(,)x x αα-+内有连续导函数, 且(,)()(,)x y F x y f x F x y '=-.注 a) 为证1︒,2︒, 只需条件: 1) 00(,)0F x y =; 2) 在00(,)x y 的某邻域内F 连续; 3) F 关于y 严格单调.b) 定理中的条件充分而不必要. 如330y x -=在(0,0)不满足(0,0)0y F ≠,但仍确定函数y x =.c) 若条件改为00(,)0x F x y ≠, 则可确定函数()x g y =. 又若00(,)0x F x y ≠与00(,)0y F x y ≠同时成立, 则方程(,)0F x y =将同时确定函数()y f x =和()x g y =,使(,())((),)0F x f x F g y y ==,由于,x y 的对应关系唯一,故它们互为反函数, 且x y F dydx F =-将不变号(如果变号,dy dx 将有零点,在该点dx dy 不存在,与g 可微矛盾), 即隐函数严格单调.例1 反函数存在性定理及其导数.例2 设(,)sin 0F x y y y x ε=--=, 01ε<<. 求dy dx , 22d ydx.例3 讨论Descartes 叶形线3330x y axy +-=所确定的隐函数()y f x =的一阶与二阶导数.例4 设2212z y x =-, 其中()y f x =为方程3330x y xy +-=所确定的隐函数. 求dz dx ,22d z dx.例5 证明: 1) 在(0,0)附近方程2sin()0x y xy ++=可确定函数()y f x =;2) 求f 的导数; 3) (0)f 为极大值.四、n 元隐函数定理下面我们来讨论n 元隐函数定理.定理 设1) 函数12(,,,,)n F x x x y ⋅⋅⋅在以点0000012(,,,,)n P x x x y ⋅⋅⋅为内点的区域1n D R +⊂上连续;2) 000012(,,,,)0n F x x x y ⋅⋅⋅=; 3) 偏导数12,,,,n x x x y F F F F ⋅⋅⋅在D 内存在且连续;4) 000012(,,,,)0y n F x x x y ⋅⋅⋅≠,则在点0P 的某邻域0()U P D ⊂内方程12(,,,,)0n F x x x y ⋅⋅⋅=唯一地确定了一个定义在000012(,,,)n Q x x x ⋅⋅⋅的某邻域0()n U Q R ⊂内的n 元连续函数(隐函数) 12(,,,)n y f x x x =⋅⋅⋅,使得1︒.当120(,,,)()n x x x U Q ⋅⋅⋅∈时, 12120(,,,,(,,,))()n n x x x f x x x U P ⋅⋅⋅⋅⋅⋅∈; 2︒.12(,,,)n y f x x x =⋅⋅⋅在0()U Q 内有连续偏导数12,,,n x x x f f f ⋅⋅⋅, 且11,x x yF f F =-22,,n n x x x x yyF F f f F F =-⋅⋅⋅=-.即若F 关于某个变量偏导数不等于0, 则存在以之为因变量的隐函数.例6 讨论方程323(,,)0F x y z xyz x y z =++-=在原点附近所确定的二元隐函数(,)z f x y =及其偏导数.例7 设方程(,,)0F x x y x y z +++=确定(,)z f x y =.求,x y z z .例8 求由方程(,,)0F x y y z z x ---=所确定的函数(,)z z x y =的微分.例9 设(,)u f x ut y ut =+-,求,,x y t u u u .例10 证明: 由方程()()y x z z ϕψ=+所确定的函数(,)z z x y =满足方程2222222()2()0z z z z z z z y x y x y x x y∂∂∂∂∂∂∂⋅-⋅⋅⋅+⋅=∂∂∂∂⋅∂∂∂∂.§2 隐函数组给出线性方程组111122220a xb yc ud v a x b y c u d v +++=⎧⎨+++=⎩ 何时可从中解出(,)u f x y =, (,)v g x y =? 给定一般形式方程组(,,,)0(1)(,,,)0(2)F x y u vG x y u v =⎧⎨=⎩何时可从中解出(,)u f x y =, (,)v g x y =?一、隐函数组定理定理 1 设2,A B R ⊂, ,:F G A B R ⨯→. 00000(,,,)P x y u v =.若1) 00()()0F P G P ==;2) 在0P 的某邻域内, 1,F G C ∈; 3) Jacobi 行列式(,)(,)F G J u v ∂=∂在0P 处值不为0,则存在00(,)x y 的邻域U 及U 上的唯一一组1C 类函数,f g , 使得(,)u f x y =, (,)v g x y =满足1︒ 000(,)u f x y =,000(,)v g x y =,(,,(,),(,))0F x y f x y g x y ≡, (,,(,),(,))0G x y f x y g x y ≡, (,)x y U ∀∈,2︒ 1(,)(,)x F G u J x v ∂=-⋅∂,1(,)(,)y F G u J y v ∂=-⋅∂,1(,)(,)x F G v J u x ∂=-⋅∂,1(,)(,)y F G v J u y ∂=-⋅∂. [()11(,)()(,)xx v xvx v x v x vvF G G F F G u F G G F J J J x v F ψψ+⋅-∂=-==⋅-=-⋅∂]注 若定理条件3) 改为(,)0(,)P F G y v ∂≠∂, 则方程(1), (2)可确定的隐函数组为(,)(,)y y x u v v x u =⎧⎨=⎩. 更一般地, 可先求出,,,x y u v F F F F ,,,,x y u v G G G G , 如0u v uvF FG G ≠, 则可对(,,,)0(,,,)0F x y u vG x y u v =⎧⎨=⎩, 两边关于,x y 求偏导. 如对x 求偏导, 则x u x v x x u x v x F F u F v G G u G v +⋅+⋅=⎧⎨+⋅+⋅=⎩,从而u x v x xu x v x xF u F v FG u G v G ⋅+⋅=-⎧⎨⋅+⋅=-⎩⇒(,)(,)(,)(,)x u x u x u v u vF F FG G G x v u F G F F u v G G -∂-∂==-∂∂, (,)(,)(,)(,)x F G u x v F G u v ∂∂=-∂∂, 类似可以求出,y y u v .例1 讨论方程组222(,,,)0(,,,)10 F x y u v u v x y G x y u v u v xy ⎧=+--=⎨=-+-+=⎩, 在点0(2,1,1,2)P 附近能确定怎样的隐函数组, 并求其偏导数.例2 1) 已知01xu yv yu xv +=⎧⎨+=⎩, 求x u , y u , x v , y v ;2) 设2(,)(,)u f ux v y v g u x v y =+⎧⎨=-⎩, 求,u ux y ∂∂∂∂.3) 设函数(,)u u x y =由方程(,,,)(,,)0 (,)0 u f x y z t g y z t h z t =⎧⎪=⎨⎪=⎩确定. 求,u u x y∂∂∂∂.二、反函数组定理给定(,)(,)u f x y v g x y =⎧⎨=⎩, 何时有(,)(,)x u v y u v ϕψ=⎧⎨=⎩?设(,,,)(,)0(,,,)(,)0 F x y u v f x y u G x y u v g x y v =-=⎧⎨=-=⎩,00000(,,,)P x y u v =, 由隐函数组定理条件为1) 00()()0F P G P ==, 即000(,)u f x y =, 000(,)v g x y =;2) 在0P 的某邻域内, 1,F G C ∈, 由于1u v F G ==-, 0v u F G ==连续, 故条件2)为在00(,)x y 的某邻域内1,f g C ∈.3)0000(,)(,)(,)(,)0(,)(,)x y x yx y x y f f F G u v g g x y x y ∂∂==≠∂∂.因而我们可得到下面的反函数组定理. 定理2 若1) 000(,)u f x y =, 000(,)v g x y =;2) 在00(,)x y 的某邻域内1,f g C ∈; 3)00(,)(,)0(,)x y u v x y ∂≠∂,则存在00(,)u v 的邻域U 及唯一的一组1C 函数(,)x u v ϕ=,(,)y u v ψ=.((,)u v U ∈), 使得1︒ ((,),(,))u f u v u v ϕψ=, ((,),(,))v g u v u v ϕψ=, 000000(,),(,)x u v y u v ϕψ==; 2︒(,)(,)1(,)(,)u v x y x y u v ∂∂⋅=∂∂. [(,)/(,)x v u v u y x y ∂∂∂=∂∂∂, (,)/(,)x u u v vy x y ∂∂∂=-∂∂∂, (,)/(,)y u u v u x x y ∂∂∂=-∂∂∂, (,)/(,)y u u v v x x y ∂∂∂=∂∂∂.]例3 设sin cos u ux e u vy e u v ⎧=+⎨=-⎩, 求,,,x y x y u u v v .例4 求cos sin x r y r θθ=⎧⎨=⎩的反函数组.例5 求sin cos sin sin cos x r y r z r θϕθϕθ=⎧⎪=⎨⎪=⎩的反函数组.例6 利用sin cos x r θϕ=, sin sin y r θϕ=, cos z r θ=变换2221u u x u y u z ∆=++.例6 已知经过代换2u x yv x ay =-⎧⎨=+⎩后, 方程60zz xy yy z z z +-=化为方程0uv z =,求a 的值.§3 几何应用一、平面曲线的切线与法线平面曲线()y f x =, 在000(,)P x y 处的切线方程000()()y y f x x x '-=-. 若平面曲线由方程(,)0F x y =给出, (,)F x y 在点000(,)P x y 的某邻域内满足隐函数定理条件, 故其在0P 附近可确定连续可微函数()y f x =(或()x g y =). 注意到()y f x =与(,)0F x y =表示的是同一曲线, 故曲线(,)0F x y =在0P 处的切线和法线方程分别为000()()y y f x x x '-=-与0001()()y y x x f x -=--' (或000()()x x g y y y '-=-与0001()()x x y y g y -=--') 又()xy F f x F '=-(或()y xF g y F '=-), 则曲线(,)0F x y =在000(,)P x y 处的切线方程: 000000(,)()(,)()0x y F x y x x F x y y y -+-=, 法线方程: 000000(,)()(,)()0y x F x y x x F x y y y ---=.例1 求Descartes 叶形线 332()90x y xy +-= 在(2,1)处的切线与法线方程.二、空间曲线的切线与法平面 1、 曲线由参数方程给出.设 :(),(),()L x x t y y t z z t ===, ()t αβ≤≤. (1) 下面求L 在其上某点0000(,,)P x y z 处的切线与法线方程, 这里00()x x t =,00()y y t =,00()z z t =,0()t αβ≤≤.假设(1)中三个函数均在0t 处可导且222000(())(())(())0x t y t z t '''++≠,在L 上0P 附近任取一点(,,)P x y z =000(,,)P x x y y z z +∆+∆+∆, 从而连接0P 与P 的割线方程为000x x y y z z x y z---==∆∆∆, 其中00()()x x t t x t ∆=+∆-, 00()()y y t t y t ∆=+∆-, 00()()z z t t z t ∆=+∆-, 又000x x y y z z x y z t t t---==∆∆∆∆∆∆, 令0t ∆→, 则0P P →, 且曲线L 在0P 处的切线方程为000000()()()x x y y z z x t y t z t ---=='''. 进而曲线L 在0P 处的法平面方程为000000()()()()()()0x t x x y t y y z t z z '''-+-+-=.2、曲线由两曲面给出设曲线L 的方程为 (,,)0(,,)0F x y z G x y z =⎧⎨=⎩ (2)设1,F G C ∈, 且0(,)0(,)P F G J x y ∂=≠∂. 则由隐函数组定理, 在0P 附近能确定唯一的连续可微函数()x z ϕ=, ()y z ψ=使得1)00()x z ϕ=, 00()y z ψ=,2)1(,)(,)dx F G dz J z y ∂=-⋅∂, 1(,)(,)dy F G dz J x z ∂=-⋅∂. 故曲线L 在0P 处的切线方程为000001P P x x y y z z dx dy dz dz ---==, 即 000000(,)(,)(,)(,)(,)(,)P P P x x y y z z F G F G F G y z z x x y ---==∂∂∂∂∂∂,而L 在0P 处的法平面方程为000000(,)(,)(,)()()()0(,)(,)(,)P P P F G F G F G x x y y z z y z z x x y ∂∂∂-+-+-=∂∂∂.例 2 求曲线22250x y z ++=与锥面222x y z +=所截得的曲线在点(3,4,5)处的 切线与法平面方程.三、曲线的切平面与法线方程设曲面方程由 (,,)0F x y z = (3)给出, 其在0000(,,)P x y z 的某邻域内满足隐函数定理条件. 设000(,,)z F x y z 0≠, 则方程(3)在0P 附近确定唯一1C 函数(,)z f x y =使得000(,)z f x y =且x z F z x F ∂=-∂, y zF zy F ∂=-∂, 从而该曲面在0P 处有切平面与法线其方程分别为000000000000000(,,)(,,)()()(,,)(,,)y x z z F x y z F x y z z z x x y y F x y z F x y z -=----,即 000000()()()()()()0x y z F P x x F P y y F P z z -+-+-= 与000000()()()x y z x x y y z z F P F P F P ---==. 例3 求椭球面222236x y z ++=在(1,1,1)处的切平面方程与法线方程.例4 =(0)a >的切平面在坐标轴上截距之和为常数.§4 条件极值一、条件极值极值问题↔定义域↔条件的限制例 1 设计一个容量为V 的长方形开口水箱, 试问水箱的长x , 宽y , 高z 分别为多少时其表面积最小.(,,)2()S x y z xz yz xy =++ (0,0,0)x y z >>>满足条件 xyz V = ———— 条件极值问题条件极值问题 求(目标)函数()u f x =, 12(,,,)n n x x x x D R =⋅⋅⋅∈⊂在 (约束)条件()0i g x =, 1,2,,i m =⋅⋅⋅, m n <下的极值.设{,()0,1,2,,}i E x D g x i m =∈==⋅⋅⋅, a E ∈. 若存在开球(,)B a r D ⊂,使(,)x E B a r ∈⋂时,()()f x f a ≥(或()()f x f a ≤), 则称f 在a 达到(满足条件()0i g x =)的条件极小(极大)值.例1的解二、条件极值的必要条件 (3n =,2m ≥来讨论)设3D R ⊂为开域, 12,,:f g g D R →为1C 函数, 123(,,)x x x x D =∈. 若f 在点123(,,)a a a a =处达到条件极值, 且111123222123rank 2ag g g xx x g g g x x x ∂∂∂⎛⎫ ⎪∂∂∂⎪= ⎪∂∂∂ ⎪∂∂∂⎝⎭,(1grad ()g a ,2grad ()g a 线性无关). 则存在12,R λλ∈, 使得1212()()()0j j jg g fa a a x x x λλ∂∂∂++=∂∂∂, 1,2,3j =. 即a 是Lagrange 函数1122L f g g λλ=++的驻点.三、Lagrange 乘法求()u f x =, 1(,,)n n x x x D R =⋅⋅⋅∈⊂在条件()0i g x =, (1,2,,)i m =⋅⋅⋅下的极值.方法为1︒ 作Lagrange 函数1111(,,,,,)()()()n m m m L x x f x g x g x λλλλ⋅⋅⋅⋅⋅⋅=++⋅⋅⋅+, x D ∈.2︒ 令0 (1,,)iLi n x ∂==⋅⋅⋅∂, 0 (1,,)j L j m λ∂==⋅⋅⋅∂, 求驻点. (m n +个方程, m n +个未知量)3︒ 求D 中使1,,,m f g g ⋅⋅⋅不为1C 的点, 及使1rank(grad ,,grad )m g g m ⋅⋅⋅<的点.(这些点与驻点成为可能的极值点).4︒ 用无条件极值方法判断上述可能点是否为极值点. 例2 重解例1.例3 求抛物面22x y z +=被平面1x y z ++=截成一个椭圆, 求该椭圆到原点的最长和最短距离.例4 求(,,)f x y z xy yz =+在条件222x y +=, 2y z +=下的极值.例5 求平面一点00(,)x y 到直线0Ax By C ++=的最短距离.例6 求(,,)f x y z xyz =在条件1111x y z r++= (,,,)x y z r R +∈下的极小值, 并证明11113()a b c-++≤, ,,a b c R +∀∈.例7 求目标函数222000(,,)()()()f x y z x x y y z z =-+-+-在约束条件Ax By ++0Cz D +=下的最小值.例8 求1212(,,,)n n f x x x x x x ⋅⋅⋅=⋅⋅⋅在12n x x x a ++⋅⋅⋅+=约束条件下的最大值.例9 已知12(,,),(,,),(,)G x y z G x y z f x y 都是可微的,(,)(,,(,))i i g x y G x y f x y =, 1,2i =.求证:121112221(,)(,)x y xy z xyzf fg g G G G x y G G G --∂=∂.例11 183P , 5.例10 183P 11二次型, 特征值问题.例12 183P , 12.例13 184P , 14.若函数组(,),(,)u u x y v v x y ==有连续的偏导数, 而(,),(,)x x s t y y s t ==有连续偏导数, 则(,)(,)(,)(,)(,)(,)u v u v x y s t x y s t ∂∂∂=⋅∂∂∂. [设(),()y f x x t ϕ==, 则dy dy dx dt dx dt=⋅.]Jacobi 行列式的几何意义一元 ()y f x =, 0x , 0x x x =+∆, 00()()y f x x f x ∆=+∆-称||||y x ∆∆为f 在0x 到0x x +∆的平均伸缩系数.若0x ∆→, 极限00000()()||limlim |()|||x x f x x f x y f x x x∆→∆→+∆-∆'==∆∆, 则称0|()|f x '为映射f 在0x 处的伸缩系数. (导数的几何意义)若函数组(,),(,)u u x y v v x y ==在开区域G 存在连续的偏导数且(,)x y G ∀∈,(,)(,)0(,)u v J x y x y ∂=≠∂. 函数组将xy 平面的开区域G 变换成uv 平面上的开区域1G ,点00(,)x y G ∈映为点10000((,),(,))u x y v x y G ∈, 则包含点00(,)u v 的面积微元d σ'与对应的包含点00(,)x y 的面积微元d σ之比为00|(,)|J x y . 即0000(,)(,)|(,)|(,)x y d u v J x y d x y σσ'∂==∂.。
1 隐函数1.1隐函数的定义设,X R Y R ⊂⊂,函数:.F X Y R ⨯→对于方程(,)0F x y = ()1若存在集合I X J Y ⊂⊂与对于任何x I ∈,恒有唯一确定的y J ∈,它与x 一起满足方程(1),则称由方程(1)确定一个在I 上,值域含于J 的隐函数.若把它记为(),,,f x y x I y J =∈∈则成立恒等式(,())0F x f x ≡,x I ∈.例如方程10xy y +-=能确定一个定义在(,1)(1,)-∞-⋃-+∞上的隐函数.1.2. 隐函数存在定理定理1 若满足下列条件1)(,)F x y 在以000(,)P x y 为内点的某一区域2R D ⊂上连续; 2)00(,)0F x y =;3)(,)y F x y 在D 内连续;4)0,()0y o F x y ≠.则在0()U P D ⊂内,方程(,)0F x y =惟一地确定了一个定义在00(,)x x αα-+内的隐函数()y f x =,使得00001(),(,)f x y x x x αα=∈-+时0(,())()x f x U P ∈且(,())0F x f x ≡. 02()f x 在00(,)x x αα-+内连续.这里有几点需要注意,i )定理的条件只是充分的,ii ).定理的条件(3),(4)还可减弱.iii )定理的条件(3),(4)换为:x F 连续,0()0x F P ≠,则可确定隐函数()x f y =.1.3. 隐函数的可导条件定理2 若(1)(,)F x y 在以000(,)P x y 为内点的某一区域2R D ⊂上连续; (2)(,)F x y ;(3)(,)(,)y x F x y F x y 在D 内连续;(4)0()0y F P ≠.则(,)0F x y =确定的隐函数()y f x =,在00(,)x x αα-+内有连续的导数,且 ()xyF f x F '=-.若已知(,)0F x y =存在连续可微的隐函数()y f x =,利用复合函数求导法则,也求出'()f x .例 1 讨论笛卡儿叶形线3330x y axy +-=所确定的函数()yf x =的一阶与二阶导数解 由隐函数定理知,在使得23()0y F y ax =-≠的点(,)x y 附近,方程确定隐函数()y f x =.方程两边对x 求导并整理可得,22ay x y y ax -'=- 2()0y ax -≠ .两边再对x 求导,并将上式代入可得:3232()a xyy y ay ''=--.例2 讨论方程323(,,)0F x y z xyz x y z =++-=在原点附近所确定的二元隐数及其偏导数.解 (0,0,0)0,(0,0,0)10z F F ==-≠且,,x y z F F F F 处处连续,因此在原点(0,0,0)附近能惟一地确定连续可微的隐函数(,)z f x y =,且可求得它的偏导数如下:32213x z x y F yz z F xyz ∂+=-=∂- , 322313y z y z F xz y F xyz∂+=-=∂-. 2.隐函数组2.1 隐函数组概念设(,,,),(,,,)F x y u v G x y u v 为定义在4R 上的四元函数.若存在2D R ⊂,对任意(,)x y D ∈,都有惟一确定的,u v ,使(,,,)0(,,,)0F x y u v G x y u v =⎧⎨=⎩成立,则在D 上定义了两个函数:(,),(,)u f x y v g x y ==.称它们是由方程确定的隐函数组.2.2 隐函数组存在条件定理3 若(1) (,,,),(,,,)F x y u v G x y u v 在以00000(,,,)P x y u v =为内点的区域4V R ⊂内连续(2) 00000000(,,,)0,(,,,)0F x y u v G x y u v ==;(3) 在V 内,,F G 有连续的偏导数;(4)(,)(,)F G J U V ∂=∂在点0P 不等于零. 则在点0P 的某一邻域0()U P V ⊂内,方程组惟一地确定了定义点000(,)Q x y 的某一邻域0()U Q 内的两个二元隐函数:(,),(,)u f x y v g x y ==.使得1. 000000(,),(,),u f x y v g x y ==(,,(,),(,))0F x y f x y g x y ≡(,,(,),(,))0.G x y f x y g x y ≡.2 .(,),(,)u f x y v g x y ==在0()U Q 内有连续的偏导数,且:1(,)1(,),,(,)(,)u u x F G F G J x v y J y v ∂∂∂∂=-⋅=-⋅∂∂∂∂1(,)1(,),(,)(,)v v x y F G F G J u x J u y ∂∂∂∂=-⋅=-⋅∂∂∂∂例3 讨论方程组2222(,,,)0(,,,)10F x y u v u v x yG x y u v u v x y ⎧=+--=⎨=-+-+=⎩ 在点0(2,1,1,2)P 的邻域能确定怎样的隐函数组,并求其偏导数.解 00()()0F P G P ==且2,1,2,2.x y u v x F x F F u F v G y =-=-===-,,y G x =- 1,1u v G G =-=.在点0P 处的所有雅可比行列式中仅有(,)0(,)F G x v ∂=∂因此,仅有(,)x v 不能断定能否作为以(,)y u 为自变量的隐函数.除此之外,在点0P 附近,任意两个变量都可作为以其余两个变量为自变量的隐函数.如,要求(,),(,)x f u v y g u v ==的偏导数,对方程组分别关于,u v 求偏导数,得22010u u u u u xx y yx xy --=⎧⎨---=⎩, 22010v v v v v xxy xy yx --=⎧⎨--=⎩分别解之,得221,2u xu x x y +=- 221;2v xvx x y -=- 222,2u x yu y x y +=--222.2v x yvy x y -=-3 隐函数的几何应用本节的重点是掌握用隐函数和隐函数组求导法求平面曲线的切线与法线,空间曲线的切线与法平面以及求曲面的切平面与法线.3.1 平面曲线的切线与法线设平面曲线的方程为 (,)0F x y =,F 在000(,)P x y 的某邻域内满足隐函数定理的条件.隐函数 ()y f x =在0x 的导数 '000()()/()x y f x F P F P =-.曲线在0x 的切线方程为0000()()()()0x y F P x x F P y y -+-=.法线方程为0000()()()()0y x F P x x F P y y ---=.例4 求曲线 332()90x y xy +-=在(2,1)处的切线与法线. 解 设33(,)2()9F x y x y xy =+-,则2269,69x y F x y F y x =-=-处处连续, 且(2,1)15,(2,1)12x y F F ==-.因此曲线在(2,1)处的切线与法线分别为5460,x y --=及45130x y +-=3.2 空间曲线的切线与法平面设有空间曲线 []0:(),(),(),,,L x x t y t z z t t P L αβ===∈∈.且 []000000000(,,)((),(),()),,P x y z P x t y t z t t αβ=∈.再设L 为光滑曲线.在L 上任取一点0000(,,)P x x y y z z +∆+∆+∆,则割线 0P P 的方程为00,x x y yz z x y z ---==∆∆∆因此:00o x x y y z zx y z z t t---==∆∆∆∆∆∆令 0t ∆→,则由L 为光滑曲线知,0p p →.所以L 在0p 的切线方程是000000()()()x x y y z z x t y t z t ---=='''.过0p 与切线垂直的平面称为L 在0p 的法平面,其方程为 000000()()()()()()0x t x x y t y y z t z z '''-+-+-=.(,,)0:(,,)0F x y z LG x y z =⎧⎨=⎩ 且在0000(,,)P x y z 的某一个邻域内满足隐函数组定理的条件(不妨设0(0(,)P x y ∂≠∂F,G)) 方程组在0P 附近确定惟一连续可微的隐函数组:(),()x z y z ϕψ==.则()()x z y z z z ϕψ=⎧⎪=⎨⎪=⎩.且 (,)(,),(,)(,)x z F G d z y F G d x y ∂∂=-∂∂ (,)(,)(,)(,)y z F G d x z F G d x y ∂∂=∂∂ 所以L 在0P 的切线方程是000(,)(,)(,)(,)(,)(,)x x y y z z F G F G F G y z z x x y ---==∂∂∂∂∂∂. 例5:求曲线22222250x y z x y z⎧++=⎪⎨+=⎪⎩在(3,4,5)处的切线与法平面. 解:令22222250,F x y z G x y z =++-=+-.在(3,4,5)处,6,x F = 8,y F = 10,z F = 6,x G = 8,y G = 10z G =- (,)160,(,)F G y z ∂=-∂ (,)120,(,)F G z x ∂=∂ (,)0(,)F G x y ∂=∂ 所求切线为3451601200x y z ---==- . 所求法平面为430x y -= .3.3空间曲面的切平面与法线设曲面S 的方程是:0000(,,)0,(,,)F x y z P x y z S =∈.在0()U p 内满足隐函数定理的条件,不妨设0()0z F p ≠.方程在0p 附近确定隐函数 (,)z f x y =,且0000()(,),()x x z F p f x y F p =- 0000()(,)()y y z F p f x y F p =-由此得S 在0p 处的切平面为000000()()()()()()0y x z F P x x F P y y F P z z -+-+-=.法线为000000()()()x y z x x y y z z F P F P F P ---==.例6.求曲面:222236x y z ++=在点(1,1,1)处的切平面与法线方程. 解:设222(,,)236F x y z x y z =++-,则在(1,1,1)处,2,4,6x y z F F F ===. 因此,切平面方程2(1)4(1)6(1)0x y z -+-+-=即236x y z ++=. 所得法线方程:111123x y z ---==.。