分式线性函数的不动点、对称性与定义域值域的几何分析及证明验证

阿华AIGC实验室

2026-4-22

咱们来仔细梳理这个分式线性函数的问题，同时验证给出的几何法证明是否严谨合理：

问题设定

设 (f(x) = \frac{ax + b}{cx + d})，其中 (a,b,c,d \in \mathbb{R}) 且均不为0。假设 (f) 有两个不同的不动点 (u, v)，且满足对所有有定义的 (x)，都有 (f(f(x)) = x)。需要证明存在点 (r = \frac{u + v}{2})，使得 (f) 的定义域和值域均为 (\mathbb{R} - {r})。

引理：分式线性函数的曲线形态

引理：当 (c \neq 0) 时，函数 (f(x) = \frac{ax + b}{cx + d}) 要么是常数函数，要么是渐近线平行于坐标轴的矩形双曲线。

引理证明

我们可以将 (f(x)) 变形为反比例函数的标准形式，以此揭示其曲线特征：
[
f(x) = S \cdot \frac{1}{x - V_a} + H_a
]
其中 (H_a = \frac{a}{c})（水平渐近线的纵坐标），(V_a = \frac{-d}{c})（垂直渐近线的横坐标），(S) 是用于调整曲线缩放与方向的常数。具体推导步骤如下：
[
\begin{align*}
f(x) &= \frac{ax + b}{cx + d} \
&= \frac{a\left(x + \frac{d}{c}\right) - \frac{ad}{c} + b}{c\left(x + \frac{d}{c}\right)} \
&= \frac{a}{c} + \frac{-\frac{ad}{c} + b}{c} \cdot \frac{1}{x + \frac{d}{c}} \
&= S \cdot \frac{1}{x - V_a} + H_a
\end{align*}
]
如果 (f) 是非常数函数，那么 (S \neq 0)，此时函数图像就是一条矩形双曲线，其水平渐近线为 (y = H_a)，垂直渐近线为 (x = V_a)。

主证明：利用双曲线对称性推导定义域与值域

由于 (u \neq v)，显然 (f) 不可能是常数函数（常数函数要么没有不动点，要么所有点都是不动点）。根据引理，它是一条渐近线平行于坐标轴的矩形双曲线。

这类双曲线的定义域是除去垂直渐近线的全体实数，值域是除去水平渐近线的全体实数。而双曲线的中心是两条渐近线的交点，因此我们只需要证明这个中心坐标是 (\left(\frac{u+v}{2}, \frac{u+v}{2}\right))。

已知 (f(f(x)) = x)，这说明 (f) 是一个对合函数（即自身的逆函数），因此直线 (y = x) 必然是这条双曲线的对称轴。

我们知道，矩形双曲线有且仅有两条对称轴：实轴（双曲线与该轴有两个交点）和虚轴（双曲线与该轴无交点）。而 (f) 有不动点 ((u,u)) 和 ((v,v))，这些点都在直线 (y = x) 上，说明 (y = x) 不可能是虚轴（双曲线不会与虚轴相交），因此它只能是双曲线的实轴。

双曲线与其实轴的交点恰好是它的两个顶点，这里就是对应不动点的 ((u,u)) 和 ((v,v))。而双曲线的中心正是这两个顶点的中点，计算可得中点坐标为 (\left(\frac{u+v}{2}, \frac{u+v}{2}\right))。

由此可知，垂直渐近线为 (x = \frac{u+v}{2})，水平渐近线为 (y = \frac{u+v}{2})，因此 (f) 的定义域是 (\mathbb{R} - \left{\frac{u+v}{2}\right})，值域也是 (\mathbb{R} - \left{\frac{u+v}{2}\right})。令 (r = \frac{u+v}{2})，就完成了证明。