反函数的性质有（1）函数存在反函数的充要条件是，函数的定义域与值域是一一映射；（2）一个函数与它的反函数在相应区间上单调性一致，等性质。

定义

设函数y=f(x)的定义域是D，值域是f(D)。如果对于值域f(D)中的每一个y，在D中有且只有一个x使得g(y)=x，则按此对应法则得到了一个定义在f(D)上的函数，并把该函数称为函数y=f(x)的反函数，记为

由该定义可以很快得出函数f的定义域D和值域f(D)恰好就是反函数f-1的值域和定义域，并且f-1的反函数就是f，也就是说，函数f和f-1互为反函数，即：

函数及其反函数的图形关于直线y=x对称

函数及其反函数的图形关于直线y=x对称

反函数与原函数的复合函数等于x，即：

习惯上我们用x来表示自变量，用y来表示因变量，于是函数y=f(x)的反函数通常写成

性质

（1）函数存在反函数的充要条件是，函数的定义域与值域是一一映射；

（2）一个函数与它的反函数在相应区间上单调性一致；

（3）大部分偶函数不存在反函数（当函数y=f(x)，定义域是{0}且f(x)=C（其中C是常数），则函数f(x)是偶函数且有反函数，其反函数的定义域是{C}，值域为{0}）。奇函数不一定存在反函数，被与y轴垂直的直线截时能过2个及以上点即没有反函数。若一个奇函数存在反函数，则它的反函数也是奇函数。

（4）一段连续的函数的单调性在对应区间内具有一致性；

（5）严增（减）的函数一定有严格增（减）的反函数；

（6）反函数是相互的且具有唯一性；

（7）定义域、值域相反对应法则互逆（三反）；

（8）反函数的导数关系：如果x=f(y)在开区间I上严格单调，可导，且f'(y)≠0，那么它的反函数y=f-1(x)在区间S={x|x=f(y),y∈I}内也可导，且：

（9）y=x的反函数是它本身。