不动点

方法定义

一般地，设函数 $f(x)$ 的定义域为 $I$，如果存在 $x_0 \in I$，使得 $f(x_0)=x_0$，则称 $x_0$ 为函数 $f(x)$ 的不动点。 从代数角度看，函数 $f(x)$ 的不动点就是方程 $f(x)=x$ 的实数根； 从几何角度看，函数 $f(x)$ 的不动点就是函数 $y=f(x)$ 的图象与直线 $y=x$ 的交点的横坐标。

核心思想

不动点法的核心在于**“以静制动，构型化归”**。无论是处理多重复合函数的稳定状态（如稳定点 $f(f(x))=x$），还是解决递推数列（尤其是分式线性递推数列 $a_{n+1}=f(a_n)$）的通项与极限问题，不动点都起到了“基准”和“桥梁”的作用。通过解特征方程寻找不动点，可以将复杂的非线性递推关系巧妙地转化为我们熟知的等差或等比数列模型；在探究数列单调性与收敛性时，结合函数图象与直线 $y=x$ 的交点进行迭代，能直观锁定数列的变化趋势。

适用题型

该方法主要涉及函数、导数、数列三大模块。特别适用于：

1. 探究复合函数的方程解问题（如探究不动点集合与稳定点集合的关系及含参求解）。
2. 求解形如 $a_{n+1}=\frac{pa_n+q}{ta_n+s}$ 的一阶分式递推数列的通项公式。
3. 判断或证明由 $a_{n+1}=f(a_n)$ 定义的递推数列的敛散性、单调性及有界性问题。

识别信号

1. 直接定义特征：题干直接定义集合 $M=\{x|f(x)=x\}$ 和 $N=\{x|f(f(x))=x\}$，探讨根的个数或参数范围。
2. 分式线性递推：数列的递推关系呈现 $a_{n+1}=\frac{pa_n+q}{ta_n+s}$ 的典型分式形态，要求写出通项公式。
3. 抽象迭代趋向：选择题中给出非线性递推式 $a_{n+1}=f(a_n)$，选项涉及判断大项数值的大小趋向（如 $a_{10}>10$ 或 $a_n \to c$）。

标准解题步骤

以用不动点法求形如 $a_{n+1}=\frac{pa_n+q}{ta_n+s}$ 的数列通项问题为例，其标准步骤如下：

1. 构造特征方程：将递推式中的 $a_{n+1}$ 和 $a_n$ 均换成 $x$，得到关于 $x$ 的方程 $x=\frac{px+q}{tx+s}$。
2. 求解不动点：解上述一元二次方程，得到函数 $f(x)=\frac{px+q}{tx+s}$ 的不动点 $x_1, x_2$。
3. 构造新数列：
   • 若有两个相异的不动点（$x_1 \neq x_2$），则直接构造等比型数列，即证明 $\frac{a_n-x_1}{a_n-x_2}$ 是等比数列。
   • 若有两个相同的不动点（$x_1 = x_2$），则直接构造等差型数列，即证明 $\frac{1}{a_n-x_1}$ 是等差数列。
4. 代入求解通项：根据首项求出新数列的通项，进而反解出原数列 $a_n$ 的通项公式。

一个简短示例

题目：数列 $\{a_n\}$ 中，$a_1=2$，$a_{n+1}=\frac{5a_n+4}{2a_n+7}$，求 $a_n$。

解答：令 $x=\frac{5x+4}{2x+7}$，整理得 $2x^2+2x-4=0$，解得不动点 $x_1=-2, x_2=1$。 由于有两个相异不动点，构造等比数列，计算 $\frac{a_{n+1}-1}{a_{n+1}+2}$： $\frac{a_{n+1}-1}{a_{n+1}+2} = \frac{\frac{5a_n+4}{2a_n+7}-1}{\frac{5a_n+4}{2a_n+7}+2} = \frac{3a_n-3}{9a_n+18} = \frac{1}{3} \cdot \frac{a_n-1}{a_n+2}$ 因此，数列 $\{\frac{a_n-1}{a_n+2}\}$ 是以 $\frac{a_1-1}{a_1+2} = \frac{1}{4}$ 为首项，$\frac{1}{3}$ 为公比的等比数列。 $\frac{a_n-1}{a_n+2} = \frac{1}{4} \cdot \left(\frac{1}{3}\right)^{n-1}$ 反解得出通项公式： $a_n = \frac{4 \cdot 3^{n-1} + 2}{4 \cdot 3^{n-1} - 1}$

常见误区

1. 混淆不动点与稳定点：对于函数 $f(x)$，不动点是 $f(x)=x$ 的解，稳定点是 $f(f(x))=x$ 的解。若 $x_0$ 是不动点，则必为稳定点（即不动点集合包含于稳定点集合），但稳定点未必是不动点，两者不能随意等价互推。
2. 忽视特征方程无实根的情形：在处理递推数列寻找不动点时，若特征方程无实数根（产生复数根），说明无法在实数域内构造上述简单的等差/等比模型，此时数列可能具有周期性，需要转为列举观察或利用三角代换处理。
3. 忽略初始值对迭代趋向的决定性影响：在利用函数迭代图象（阶梯图或螺旋图）探究数列收敛性时，若函数具有多个不动点，数列最终收敛于哪个不动点（或是否发散），完全取决于首项 $a_1$ 所在的区间范围，主观臆断极易出错。