定义：

设式子y=f（x）表示y是x的函数，定义域为A，值域为C，从式子y=f（x）中解出x，得到式子x=（y），如果对于y在C中的任何一个值，通过式子x=（y），x在A中都有唯一确定的值和它对应，那么式子x=（y）就表示y是x的函数，这样的函数叫做y=f（x）的反函数，记作x=f^-1（y），即x=（y）＝f^-1（y），一般对调x=f^-1（y）中的字母x，y，把它改写成y=f^-1（x）。

反函数的一些性质：

（1）反函数的定义域和值域分别是原函数的值域和定义域，称为互调性；
（2）定义域上的单调函数必有反函数，且单调性相同（即函数与其反函数在各自的定义域上的单调性相同），对连续函数而言，只有单调函数才有反函数，但非连续的非单调函数也可能有反函数；
（3）函数y=f（x）的图象与其反函数y=f^-1（x）的图象关于直线y=x对称，但要注意：函数y=f（x）的图象与其反函数x=（y）＝f^-1（y）的图象相同。（对称性）
（4）设y=f(x)与y=g(x)互为反函数，如果点(a,b)在函数y=f(x)的图像上，那么点(b,a)在它的反函数y=g(x)的图像上。
（5）函数y=f（x）的反函数是y=f^-1（x），函数y=f^-1（x ）的反函数是y=f（x），称为互反性，但要特别注意；
（6）函数y=f（x）的图象与其反函数y=f^-1（x）的图象的交点，当它们是递增时，交点在直线y=x上。当它们递减时，交点可以不在直线y=x上，
如与互为反函数且有一个交点是，它不再直线y=x上。
（7）还原性：。

求反函数的步骤：

（1）将y=f（x）看成方程，解出x=f^-1（y）；
（2）将x，y互换得y =f^-1（x）；
（3）写出反函数的定义域（可根据原函数的定义域或反函数的解析式确定）；
另外：分段函数的反函数可以分别求出各段函数的反函数再合成。

反证法的定义：

有些不等式无法利用题设的已知条件直接证明，我们可以用间接的方法——反证法去证明，即通过否定原结论——导出矛盾——从而达到肯定原结论的目的。

放缩法的定义：

把原不等式放大或缩小成一个恰好可以化简的形式，比较常用的方法是把分母或分子适当放大或缩小（减去或加上一个正数）使不等式简化易证。

反证法证题的步骤：

若A成立，求证B成立。
共分三步：
（1）提出与结论相反的假设；如负数的反面是非负数，正数的反面是非正数即0和负数；
（2）从假设出发，经过推理，得出矛盾；（必须由假设出发进行推理否则不是反证法或证错）；
（3）由矛盾判定假设不正确，从而肯定命题的结论正确.矛盾：与定义、公理、定理、公式、性质等一切已有的结论矛盾甚至自相矛盾。
反证法是一种间接证明命题的基本方法。在证明一个数学命题时，如果运用直接证明法比较困难或难以证明时，可运用反证法进行证明。

放缩法的意义：

放缩法理论依据是不等式的传递性：若,a<b,b<c，则a<c.

放缩法的操作：

若求证P<Q，先证P<P₁<P₂<…<P_n,再证恰有P_n<Q.
需注意：（1）只有同方向才可以放缩，反方向不可。
（2）不能放（缩）得太大（小），否则不会有最后的P_n<Q.