视频字幕
反函数是数学中的重要概念。如果一个函数f将输入x映射到输出y，那么它的反函数f的负一次方就是将输出y映射回输入x。简单来说，反函数撤销了原函数的操作。图中蓝色曲线是原函数f(x)等于2x加1，红色曲线是它的反函数。注意两个函数关于绿色直线y等于x对称。
反函数存在的必要条件是原函数必须是一对一的，也就是单射函数。这意味着对于函数定义域中任意两个不同的x值，它们对应的y值也必须不同。我们可以用水平线测试来判断：如果任何水平线与函数图像最多相交一次，那么这个函数就是一对一的。图中蓝色部分是一对一函数，而红色的完整抛物线不是一对一的，因为水平线与它有两个交点。
反函数有几个重要性质。首先，f与f的负一次方互为逆运算，即f(f^{-1}(x))等于x，f^{-1}(f(x))也等于x。其次，原函数的定义域等于反函数的值域，原函数的值域等于反函数的定义域。从图形上看，如果原函数上有点(1,3)，那么反函数上就有对应的点(3,1)。这两个点关于直线y等于x对称，体现了反函数的几何特征。