数列求和与数学归纳法:把无限变有限

上一课我们有了等差等比的通项与基本求和公式。但考场上真正的大题,数列往往既不是等差也不是等比——它们是两者的「杂交品种」。这一课的全部任务就是一件事:用变形把陌生数列化归为等差等比。再补上一件数学独有的武器:数学归纳法。

求和方法总览:先辨形,再选法

拿到数列求和,第一步永远是写出通项、看清结构:

| 通项结构 | 首选方法 | |———-|———-| | 等差 × 等比(如 ) | 错位相减 | | 分式且可拆(如 ) | 裂项相消 | | 正负交错或分段规律 | 分组并项 | | 直接是等差/等比 | 公式直算 |

分组并项:发现周期性的「套路」

数列 ,直接求 看不清,就两两分组:

公式 (1)

每组和都是 ,项数减半——「化无限项为有限组」正是所有求和法的共同思想。

裂项相消:把每一项拆成「差」

分式数列的王牌。核心恒等式:

公式 (2)

于是求和变成「多米诺链条」,中间全部相消:

公式 (3)

常用裂项素材(建议记牢):

错位相减:等差 × 等比的标配

求 。

三步标准流程:

  1. 两边乘以公比 :;
  2. 两式相减(错开一位对齐),中间项同幂次成对消去:
公式 (4)
  1. 中间是等比和,代公式解出 。

记忆点:错位相减只对「等差 × 等比」这种结构使用——通项里一个因子按等差走(),另一个按等比走()。最后一步务必代回 验算,这一步最容易在减号方向上出错。

例:求 ,并证明 。

由 式 :。

因为 ,所以 对一切正整数成立。

注:这类「和有上界」的结论配合放缩法,是数列与不等式交汇处的常客。

数学归纳法:多米诺骨牌式的证明

要证明一个对所有正整数都成立的命题 ,无法逐个验证——数学归纳法用两步完成「无穷次验证」:

  1. 奠基:验证 (通常 )时命题成立;
  2. 递推:假设 时命题成立(归纳假设),推出 时命题也成立。

结论:命题对所有 成立。

两步缺一不可:

经典误例(只用奠基的反面教材)::「数列各项都小于 」, 成立;但若 ,则 立刻越界——没有「递推保持」的证明,奠基毫无约束力。

例:用数学归纳法证明 。

奠基: 时左边 ,右边 ,成立。

递推:假设 时 。则 时:

公式 (5)

命题对一切正整数成立。∎

解题方法论

一句话收束:求和法千变万化,思想只有一个——把变化的项组织成会消去的结构;而数学归纳法告诉我们,只需两次观察(一次开始、一次传递),就能覆盖整个无穷。