高等数学--隐函数求导法则.doc

第五节 隐函数的求导法则 一、一个方程的情形 隐函数存在定理1 设函数在点的某一邻域内具有连续偏导数，，，则方程在点的某一邻域内恒能唯一确定一个连续且具有连续导数的函数， 它满足条件，并有 ． 说明：1） 定理证明略，现仅给出求导公式的推导：将代入，得恒等式 ， 等式两边对求导得 ， 由于 于是得 ． 2） 若的二阶偏导数也都连续, 则按上述方法还可求隐函数的二阶导数: ． 例1 验证方程在点的某一邻域内能唯一确定一个单值可导的隐函数，并求． 解 设， 则 1） ，连续； 2） ； 3） ． 因此由定理1可知，方程在点的某一邻域内能唯一确定一个单值可导的隐函数． ，  ． 隐函数存在定理还可以推广到多元函数．一般地一个二元方程可以确定一个一元隐函数，而一个三元方程可以确定一个二元隐函数． 隐函数存在定理2 设函数在点的某一邻域内具有连续的偏导数，且，，则方程在点的某一邻域内恒能唯一确定一个连续且具有连续偏导数的函数， 它满足条件，并有 ，． 说明：定理证明略，现仅给出求导公式的推导：将代入， 得， 将上式两端分别对和求导，得 ， ． 因为连续且，于是得 ， ． 例2 设，求． 解 设，则，， ， ． 二、方程组的情形 在一定条件下， 由方程组 可以确定一对二元函数 ， 例如方程和可以确定两个二元函数，． 事实上， ???， ． 下面讨论如何由组求，的导数． 隐函数存在定理3 设，点的某一邻域内具有对各个变量的连续偏导数，又，，且偏导数所组成的函数行列式（或称雅可比（Jacobi）行列式） 在点不等于零，则方程组，，在点的某一邻域内恒能唯一确定一组连续且具有连续偏导数的函数 它们满足条件，，且有 ，， ，． 说明：方程组所确定的隐函数的偏导数可分别对方程组中各方程两边求偏导数，然后解关于各偏导数的方程组，其中偏导数，由方程组 确定；偏导数，由方程组 确定． 例3 设，，求，，和． 解 两个方程两边分别对求偏导，得关于和的方程组 当时，解之得，． 两个方程两边分别对求偏导，得关于和的方程组 当时，解之得，． 另解 将两个方程的两边微分得 即 解之得 ，． 于是 ，，，． 例? 设函数在点的某一领域内连续且有连续偏导数，又 ． 1） 证明方程组 在点(的某一领域内唯一确定一组单值连续且有连续偏导数的反函数 ． 2）求反函数对的偏导数． 解 1）将方程组改写成下面的形式 则按假设 ， 由隐函数存在定理3，即得所要证的结论． 2）将方程组所确定的反函数代入原方程组，即得 将上述恒等式两边分别对求偏导数，得 由于，故可解得 ， ． 同理，可得 ， ．