反函数的性质定理-反函数性质定理

原函数单调递增时，其反函数也单调递增； 原函数单调递减时，其反函数也单调递减； 若原函数在该区间上非严格单调（即存在单调区间），则对应的反函数在该区间上必然是非严格单调的。

举例说明：

设函数 f(x) = x²。虽然在 (-∞, 0] 区间内它是严格单调递减的，因此其反函数 g(x) = -√x 在 [0, +∞) 区间内也是严格单调递减的。然而，若我们考虑区间 (-∞, 0]，原函数在此区间内并非单调递增，故其反函数在相应区间内也只能呈现非严格趋势，无法保证严格单调性。这说明反函数的单调性完全依赖于原函数在特定区间内的单调性，二者保持一致，不会发生突变。当原函数具有折线特征时，反函数的图像也必然呈现类似的折线结构，其凹凸性和斜率变化方向均与原函数完全一致。

原函数为偶函数，若其定义域关于原点对称且值域非空，则其反函数也可以是偶函数。此时原函数图像关于 y 轴 对称，反函数图像关于 y 轴 对称。

原函数为奇函数，若其定义域关于原点对称且值域非空，则其反函数也可以是奇函数。此时原函数图像关于原点对称，反函数图像关于原点对称。

举例说明：

对于函数 f(x) = x²，它是一个典型的偶函数。其反函数为 g(x) = ±√x（即 y = -√x 和 y = √x）。如果我们取其中一个分支 g(x) = √x，它的定义域为 [0, +∞)，值域为 [0, +∞)，既不关于原点对称也不关于 y 轴 对称，因此它本身既不是奇函数也不是偶函数。但若取 g(x) = -√x，其定义域为 [0, +∞)，值域为 (-∞, 0]，关于 y 轴 对称，故为偶函数。这说明了反奇偶性并非总是直接成立，必须严格考虑定义域和值域是否关于原点或 y 轴 对称。

原函数有零点，对应的反函数在该点的值也必然为 0。即若 f(a) = 0，则 g(0) = a。

举例说明：

设函数 f(x) = x(x-1)。显然当 x = 0 或 x = 1 时，f(x) = 0。那么其反函数 g(x) = (x±1)/x = 1 ± 1/x。计算 g(0) 时，会出现 1/x 的分母为零，这在原函数中对应的情况是 f(x) = 0，而在反函数关系中，若原函数在某点值为 0，反函数在该点无定义。因此，若原函数有零点，反函数在这些点处无定义，不存在“对应”的零点。反之，若反函数有零点，原函数在该点值为 0，两者在逻辑上是互为因果的。

举例说明（更深入的）：

设函数 f(x) = (x² - 1)/x。令 f(x) = 0，解得 x = 1 或 x = -1。那么其反函数 g(x) = (x±1)/x = 1 ± 1/x。当 x = 0 时，分母为零，无定义。这说明原函数在 x = ±1 处的零点，对应反函数在 x = 0 处无定义。这进一步验证了原函数的零点是反函数定义域中的“缺失点”而非“值点”。

原函数有极值点，其反函数在对应倒数位置也一定存在极值点。若原函数在某点取极值，反函数在该点取极值，极值类型保持一致。

举例说明：

设函数 f(x) = x² 在 x = 0 处取得最小值 0。那么其反函数 g(x) = ±√x（取 g(x) = √x 分支）在 x = 0 处取得最小值 0。这里原点是对称中心。再看函数 f(x) = e^x，它在 x = 0 处取最小值 1，其反函数 g(x) = ln x 在 x = 0 处无定义（因为 x = 0 不在对数定义域内），因此该极值点不存在于反函数上。这说明极值的存在与否取决于自变量的取值范围。若原函数的极值点落在定义域之外，反函数可能没有极值点。

原函数参数，其反函数参数通常是原函数参数的倒数或相反数，具体取决于参数是否出现在分母或作为指数。

举例说明：

若原函数为 f(x) = ax，则其反函数为 g(x) = x/a。这里 a 变成了 1/a。若原函数为 f(x) = a/x，则其反函数为 g(x) = a/x，参数未变。若原函数为 f(x) = ax²，则其反函数为 g(x) = x/√a 或 -x/√a，参数 a 变成了 1/√a。这说明参数在反函数中的位置是发生了倒置或开方运算，体现了输入输出关系的互逆性。

举例说明（更深入的）：

设原函数为 f(x) = k·x²，反函数为 g(x) = ±√(x/k)。若 k = 4，则 g(x) = ±2√x。若 k = 1/4，则 g(x) = ±2√x。可见参数 k 在反函数中变成了 1/k 或 1/√k 的倒数形式。这清晰地展示了参数变换的对称规律。