题目
数列 {an} 满足 a1=2,且
an+1=an+43an+2.
求数列的通项公式。
分析
这是分式线性递推 an+1=Can+DAan+B,没有明显的等差、等比结构。处理这类递推的利器是不动点法:
设 f(x)=Cx+DAx+B,方程 x=f(x) 的根称为 f 的不动点。若有两个不动点 α,β,则数列 {an−βan−α} 是等比数列。
先解不动点方程 x=x+43x+2:
x(x+4)=3x+2⟹x2+x−2=0⟹x=1 或 x=−2.
两个不动点 α=1、β=−2 都存在,于是考虑构造 bn=an+2an−1,期望它是等比数列。
解答
第一步:求不动点。 由上,不动点为 1 和 −2。
第二步:构造等比数列。 计算
an+1−1=an+43an+2−1=an+42an−2=an+42(an−1),
an+1+2=an+43an+2+2=an+45an+10=an+45(an+2).
两式相除,分母 an+4 恰好消去:
an+1+2an+1−1=52⋅an+2an−1.
设 bn=an+2an−1,则 {bn} 是以 b1=2+22−1=41 为首项、52 为公比的等比数列:
bn=41(52)n−1.
第三步:反解 an。 由 bn=an+2an−1,解得 an(1−bn)=1+2bn,即
an=1−bn1+2bn=1−41(52)n−11+21(52)n−1.
上下同乘 4⋅5n−1,可化简为
an=4⋅5n−1−2n−14⋅5n−1+2n
验证: n=1 时 a1=4−14+2=2 ✓;代入递推式 a2=2+43×2+2=34,而公式给出 a2=20−220+4=1824=34 ✓。
小结
不动点法的核心逻辑是”减去不动点,递推结构就会简化”:
- 求不动点:解 x=Cx+DAx+B,即二次方程 Cx2+(D−A)x−B=0;
- 两个不动点 α=β:令 bn=an−βan−α,则 {bn} 为等比数列(本题公比为 52,恰为 A−CβA−Cα);
- 重根情形:若只有一个不动点 α,则 {an−α1} 为等差数列;
- 记得验证:求出通项后,代回 n=1,2 检验,防止代数变形出错。
本质上,不动点是分式线性变换 f 的”不变中心”,换元后以不动点为原点,f 就退化为简单的伸缩(等比)或平移(等差)。