第五节隐函数求导公式(同济少学时第三版简约型)讲解.ppt

隐函数是对显函数而言的一个概念，它的 因变量与自变量的关系通常不能由自变量的初 等函数式给出，而是由方程关系给出。 隐函数也是一类常见的函数形式，隐函数 求导问题就是要在不解出因变量的情形下计算 函数的导数。 简单地讲，隐函数就是由方程所确定的函数，即由 方程解出的函数表达式。由于方程形式的不同，其确定 隐函数的情形及相应隐函数的形式也有所不同。 由于方程未必总有解，因而由给定的方程未必总能 解出相应的隐函数。 在方程有解的条件下，其解 也未必能由解析式表出，隐函 数求导问题就是要考虑在不解 出隐函数表达式的情形下，如 何确定隐函数的导数。 设有二元方程 F( x ,y )= 0，若对于 ? x 0 ?( a ,b )， 总存在 y = y0，使得 F( x 0 ,y0 )= 0 能成立，就称方程 F( x ,y )= 0 在区间( a ,b )内确了一元隐函数 y = f( x ). 类似地，设有三元方程 F( x ,y ,z )= 0，如果对于 ?( x 0 ,y0 )? D，总存在 z = z0，使得 F( x 0 ,y0 ,z 0 )= 0 能成立，就称方程 F( x ,y ,z )= 0 在区域 D 内确了一个 二元隐函数 z = f( x ,y ). 隐函数讨论的首要问题也是最基本的一个问题是隐 函数的存在性问题。因为只有在隐函数存在的条件下对 其各种性质的研究才有意义。 微积分所研究的通常是单值、 可导的函数，因此隐函数讨论首先 要考虑的问题就是由方程能否确定 单值、可导的隐函数，或者说要先考虑 在什么的条件下，由方程可确定单值、可导的隐函数。 对于给定的二元方程 F( x ,y )= 0，考虑在什么条件 下，由方程可确定一个单值可导的一元隐函数 y = f( x ). 从代数角度考虑，此隐函数存在性问题就是对 ? x ?( a ,b )，方程 F( x ,y )= 0 总有相应解的 y = f( x )， 且解得的 y = f( x )是( a ,b )内的单值、可导的函数。 由方程理论知，对于一般的方程 F( x ,y )= 0，其解 的存在性判别及求解都存在根本性困难，故从代数角度 讨论此问题是难以进行的。 从几何直观考虑，二元方程 F( x ,y )= 0 对应于一 个二元函数 z = F( x ,y )，而二元函数 z = F( x ,y )通常 对应于空间的一张曲面 ? . 于是二元方程 F( x ,y )= 0 能否确定单值、可导的隐 函数 y = f( x )问题可归结为： 曲面 ? :z = F( x ,y )与 xOy 平面是否 相交，且其交线是否是一条光滑的曲 线 y = f( x )的问题。 (1) 隐函数存在性问题的直观分析 (2) 考察曲面与 xOy 平面相交的条件 由直观容易看出，曲面 z = F( x ,y )若与 xOy 平面相 交且交线为一条连续曲线，则其必需满足以下条件： 曲面 z = F( x ,y )与 xOy 平面至少有一个交点，即存 在点( x 0 ,y0 )，使得 F( x 0 ,y0 )= 0 . 为使曲面 z = F( x ,y )与 xOy 平面能交出一条曲线， 曲面需在点( x 0 ,y0 )的某邻域内穿过 xOy 平面，故曲面 在该邻域内沿 x 轴或 y 轴方向需是“倾斜的”。 由偏导数的几何意义知，曲面在一点倾斜的代数条 件可写作 Fy?( x 0 ,y0 )? 0 或 Fx?( x 0 ,y0 )? 0，故曲面方程 z = F( x ,y )需满足两条件之一。 为使曲面 z = F( x ,y )与 xOy 平面的交线 y = f( x )是一 条光滑曲线，曲面自身在点( x 0 ,y0 )的某邻域内必须是 光滑的，曲面光滑的代数条件是其在点( x 0 ,y0 )的某邻 域内具有连续的偏导数 Fy?( x ,y )或 Fx?( x ,y ). 曲面 z = F( x ,y )与 xOy 平面的交线 y = f( x )是光滑曲 线的分析条件是函数 y = f( x )具有连续导数，且其满足 通过点( x 0 ,y0 )，即 y 0 = f( x 0 ). 由于 y = f( x )满足方程 F( x ,y )= 0 ，即有 F[ x ,y( x )]= 0 . 由多元复合函数求导法则，方程两边对 x 求导有 Fx + Fy ? y ?( x )= 0 ，解得 (3)