标签：ges   存在   三角形   关于   一致性   log   ext   col   学习   

什么是反函数

　　一般地，设函数y=f(x)(x∈A)的值域是C，若找得到一个函数g(y)在每一处g(y)都等于x，这样的函数x= g(y)(y∈C)叫做函数y=f(x)(x∈A)的反函数，记作y=f^-1(x) 。反函数y=f^-1(x)的定义域、值域分别是函数y=f(x)的值域、定义域。最具有代表性的反函数就是对数函数与指数函数。

　　例1：y=2x-1的反函数是y=0.5x+0.5
　　y=2^x的反函数是y=log₂x

　　例2：求函数3x-2的反函数

　　y=3x-2的定义域为R,值域为R.
　　由y=3x-2解得 
　　x=1/3(y+2) 
　　将x,y互换,则所求y=3x-2的反函数是y=1/3(x+2)

反函数的性质

　　这个厉害了，反函数一般具有以下几种性质：
　　1、互为反函数的两个函数的图象关于直线y=x对称；  
　　2、函数存在反函数的充要条件是，函数在它的定义域上是单调的；  
　　3、一个函数与它的反函数在相应区间上单调性一致；  
　　4、偶函数一定不存在反函数，奇函数不一定存在反函数。若一个奇函数存在反函数，则它的反函数也是奇函数。    
　　5、一段连续的函数的单调性在对应区间内具有一致性； 
　　6、严格增（减）的函数一定有严格增（减）的反函数【反函数存在定理】。

　　7、反函数是相互的 
　　8、定义域、值域相反对应法则互逆 
　　9、不是所有函数都有反函数如y=x的偶次方（不满足第2条如y=x2在x<=0时是递减的，在x>=0时是递增的）
　　10、反函数的导数关系：如果X=F(Y）在区间I上单调，可导，且F‘（Y）不等于0，那么他的反函数Y=F’（X）在区间S={X|X=F(Y),Y属于I}内也可导，且[F‘（X)]‘=1\[F’（Y）]‘。

反函数求导

　　用隐函数微分法可以求导任意反函数，只要我们知道原函数的导数。

示例1：(tan^-1x)’

　　y = tan^-1x = arctanx，定义域是(-π/2, π/2)，值域是(-∞,+∞)，原函数是tany = x

　　先来看图形，中间的红色曲线是定义域是(-π/2, π/2)时tanx的曲线，蓝色曲线是其对应的反函数y = arctanx

　　以下是y = tan^-1x求导过程：

　　上式等价于tany=x，求导等价于对tany=x求导。对隐函数tany=x两侧同时求导：

　　在上图直角三角形中，tany=a/b，siny=a/c，cosy=b/c，由此，tany=siny/cosy。代入（1）：

　　在上图直角三角形中，，代入（2）：

　　y是x的函数，我们需要将y替换成x，如果直接替换，将得到cos²(tan^-1x)，可以对其化简，但这很繁琐，所以还是回到直角三角形中考虑使用更简单化简的方法。

　　由于tany=x，所以将直角三角形中的两个直角边分别设为x和1，这样就可以求得斜边，由此可以计算cosy：

示例2：(sin^-1x)’ 

　　作者：我是8位的

　　出处：http://www.cnblogs.com/bigmonkey

　　本文以学习、研究和分享为主，如需转载，请联系本人，标明作者和出处，非商业用途！ 

数学笔记——导数4（反函数的导数）

标签：ges   存在   三角形   关于   一致性   log   ext   col   学习   

原文地址：http://www.cnblogs.com/bigmonkey/p/7427775.html