求和方法选择与分组并项：目标结构、组数和余项

约 3077 字大约 10 分钟

方法依据所求通项，而不是原数列的名称。拆每项的组成，与把相邻若干项并组，是两种操作；前者保留每部分项数，后者必须重新数组并保留余项。

一、知识点概念与依据

1. 看目标结构，再选能简化的变换

先由递推、前和或变换求出真实目标项，检查分母、下标与参数，再观察结构。原a列是等差或等比，不代表由它生成的目标列也保持该性质。

目标结构	先尝试	必核边界
已为等差或等比	直接和公式	项数、q=1分支
可求和部分的和差	按组成分组	每部分仍沿原区间
等差因子乘固定比的幂	错位相减	同幂对齐、首尾与q=1
可恒等拆成相邻或隔步差	裂项相消	系数、下标步长、端点
全部对称项和固定	倒序相加	区间封闭、每对同常数、最后除2
奇偶分段或交替号	按下标分组或并项	组数、奇数余项与合法范围

这不是强制顺序，优先选能化成已知有限和的路线。精确和不易得到而只要求不等式时，可考虑有依据的放缩，但须核方向与等号，不能随意换项。

2. 按组成拆分，各部分仍有原项数

若aⱼ=uⱼ+vⱼ，有限加法的分配律给

\sum_{j=1}^n a_j=\sum_{j=1}^n u_j+\sum_{j=1}^n v_j.

两部分都沿j=1,…,n，不因拆开而变成n/2项。分别使用各自合法公式后再加回；若是乘积，不能用这条和的拆分规则。

3. 相邻并组，组数与奇余项分开

定义bⱼ=a₂ⱼ₋₁+a₂ⱼ。由完整下标列表可得

S_{2m}=\sum_{j=1}^m b_j,\qquad S_{2m+1}=\sum_{j=1}^m b_j+a_{2m+1}.

前2m项只有m组，前2m+1项还有最后一项，不是m+1个完整组。n=1时m=0，组和为空和0，只剩a₁。余项须由原递推或通项求出，不能用半个组的平均值替代。

4. 奇偶分组的对象是下标

若递推按n的奇偶给规则，应代n=2j−1与n=2j，分别推到a₂ⱼ和a₂ⱼ₊₁；不是按aₙ数值的奇偶选公式。

对aⱼ=(−1)ʲf(j)，并相邻两项得a₂ⱼ₋₁+a₂ⱼ=f(2j)−f(2j−1)，是否简化由f决定，不是每组自动为0。按奇偶下标分别求和时，奇下标有⌈n/2⌉项、偶下标有⌊n/2⌋项，也可直接分n=2m或2m+1，写清各自首末。

5. 倒序的中心，与并组的余项不是一回事

若全部对称项满足aⱼ+aₙ₊₁₋ⱼ=C，倒序两遍相加得2Sₙ=nC。n=2m+1时中心项自配对给2aₘ₊₁=C；两遍和都含它，计算没有多算，不能再删中心。

相邻并组只把原和写一遍，所以奇余项要另加；倒序相加把原和写两遍，所以最终除2。这两个计数逻辑不能混用。

6. 回验能发现错误，不能替代全下标证明

用n=1核首项、用原递推核通项，可检出常数、指数和分母错误。最终任意n的公式仍需由恒等变形或递推论证；只算前几项不构成全体证明。

二、考点方法与例题

1. 先构造通项，再看目标是和还是积

递推式整体除相应指数，观察归一化列的相邻差。代入目标后，若是两种简单通项相加，应沿原区间分别求和，不必强做错位。

例题 01 由递推关系求目标前和

题目

已知数列 $\{{a}_{n}\}$ 满足 ${a}_{n+1}=2{a}_{n}+3\times {2}^{n},{a}_{1}=2$ .

(1)证明：数列 $\left\{ \frac{{a}_{n}}{{2}^{n}}\right\}$ 是等差数列，并求数列 $\{{a}_{n}\}$ 的通项公式.

(2)设 ${b}_{n}=\frac{{a}_{n}+3}{{2}^{n}}$ ，求数列 $\{{b}_{n}\}$ 的前n项和 ${S}_{n}$ .

答案与解析

解析

（1）2ⁿ⁺¹始终非零，原递推两边除以它：

\frac{a_{n+1}}{2^{n+1}}=\frac{a_n}{2^n}+\frac32.

故cₙ=aₙ/2ⁿ为首项1、公差3/2的等差列，cₙ=1+3(n−1)/2=(3n−1)/2。因此

a_n=(3n-1)2^{n-1}.

它的首项2，且aₙ₊₁−2aₙ=3×2ⁿ，回核原递推成立。

（2）代入目标，得到

b_n=\frac{a_n+3}{2^n}=\frac{3n-1}{2}+\frac3{2^n}.

这是两部分的和，不是两因子的积。两部分各有n项：

\begin{aligned}S_n&=\frac12\left(3\sum_{j=1}^n j-n\right)+3\sum_{j=1}^n2^{-j}\\&=\frac{3n^2+n}{4}+3(1-2^{-n}).\end{aligned}

n=1时给1+3/2=5/2，等于b₁=(2+3)/2；n≥2时前和差恢复(3n−1)/2+3/2ⁿ，原目标全部项一致。

本题结论

（1）归一化列首项1、公差 $3/2$ ； $a_n=(3n-1)2^{n-1}$ 。（2） $S_n=(3n^2+n)/4+3(1-2^{-n})$ 。

2. 从奇偶递推得到组和，再换组数

把相邻两项的关系写清，建立组和的递推。若平移组和成为等比，先核平移后首项非零；最后把原项数换成实际组数。

例题 02 按下标规则计算组和

题目

已知数列 $\left\{ {a}_{n}\right\}$ 满足 ${a}_{1}=3$ ，且 ${a}_{n+1}=\left\{ \begin{aligned}2{a}_{n},n\text{是偶数}\\{a}_{n}-1,n\text{是奇数}\end{aligned}\right.$ .

(1)设 ${b}_{n}={a}_{2n}+{a}_{2n-1}$ ，求数列 $\left\{ {b}_{n}\right\}$ 的通项公式；

(2)求数列 $\left\{ {a}_{n}\right\}$ 的前30项的和.

答案与解析

解析

（1）当前下标2j−1是奇数，所以a₂ⱼ=a₂ⱼ₋₁−1；当前下标2j是偶数，所以a₂ⱼ₊₁=2a₂ⱼ。

bⱼ=a₂ⱼ₋₁+a₂ⱼ=2a₂ⱼ+1，而bⱼ₊₁=2a₂ⱼ₊₁−1=4a₂ⱼ−1，故bⱼ₊₁=2bⱼ−3，即

b_{j+1}-3=2(b_j-3).

a₁=3、a₂=2，所以b₁=5、b₁−3=2≠0。逐次得bⱼ−3=2ʲ≠0，平移列确为等比，故bⱼ=2ʲ+3。

（2）前30项正好15组，不是30组：

S_{30}=\sum_{j=1}^{15}b_j=\sum_{j=1}^{15}2^j+45=2^{16}-2+45=65579.

前两组原项3、2、4、3，组和5、7，与b₁、b₂一致；全体结论来自上述递推，不只靠这四项猜测。

同一数列的奇余项可从组和与a₂ⱼ=a₂ⱼ₋₁−1求得a₂ⱼ₋₁=2ʲ⁻¹+2。因此S₂ₘ₊₁=S₂ₘ+2ᵐ+2，不能补成整个下一组。m=0时按空和S₀=0给S₁=3，也与初值一致。

本题结论

（1） $b_n=2^n+3$ ；（2） $S_{30}=65579$ 。

3. 奇数长度的倒序配对，中心另作检查

先确认对称下标仍在原区间，再证明每对和恒定。倒序两遍相加后中心已经正确计入，可用“一遍的成对项加中心”再核一遍。

已知数列 $\left\{ {a}_{n}\right\}$ 满足： $\frac{{a}_{1}}{2}+\frac{{a}_{2}}{{2}^{2}}+\frac{{a}_{3}}{{2}^{3}}+\cdot \cdot \cdot +\frac{{a}_{n}}{{2}^{n}}=n\left( n\in {N}^{\ast }\right)$ ，数列 $\left\{ {b}_{n}\right\}$ 满足 ${b}_{n}=\frac{1}{{a}_{n}+{2}^{50}}$ .

(1)求数列 $\left\{ {a}_{n}\right\}$ 的通项公式；

(2)求 ${b}_{n}+{b}_{100-n}$ 的值；

(3)求 ${b}_{1}+{b}_{2}+{b}_{3}+\cdot \cdot \cdot +{b}_{99}$ 的值.

答案与解析

解析

（1）n=1时a₁/2=1，a₁=2。n≥2时，将第n个前和等式减去第n−1个，得到aₙ/2ⁿ=1，即aₙ=2ⁿ；与首项一致。原每个加权项为1，前n项和确为n。

（2）bₙ=1/(2ⁿ+2⁵⁰)，分母正。b₁₀₀₋ₙ有定义还要求1≤n≤99。令u=2ⁿ>0、c=2⁵⁰，则2¹⁰⁰⁻ⁿ=c²/u，所以

b_n+b_{100-n}=\frac1{u+c}+\frac1{c^2/u+c}=\frac1{u+c}+\frac{u}{c(u+c)}=\frac1c=\frac1{2^{50}}.

（3）映射j↦100−j将1到99一一映到自身，故

2T_{99}=\sum_{j=1}^{99}(b_j+b_{100-j})=\frac{99}{2^{50}},\qquad T_{99}=\frac{99}{2^{51}}.

第50项b₅₀=1/2⁵¹，自配对为2b₅₀=1/2⁵⁰，在两遍和中恰好出现两次。只写一遍时也有49对加中心项，和为49/2⁵⁰+1/2⁵¹=99/2⁵¹，不能再减掉中心。

本题结论

（1） $a_n=2^n$ ；（2） $b_n+b_{100-n}=2^{-50}$ ， $1\le n\le99$ ；（3）所求和为 $99/2^{51}$ 。

4. 同一递推生成的目标列，重新选方法

先求目标通项而不是只看原列名称；若目标为等差因子乘固定公比的幂，就按实际首尾错位相减。

例题 04 由分式递推求指定目标和

题目

已知数列 $\left\{ {a}_{n}\right\}$ 满足 ${a}_{1}=1$ ， ${a}_{n+1}=\frac{{a}_{n}}{3{a}_{n}+1}$ ，则数列 $\left\{ \frac{{2}^{n}}{{a}_{n}}\right\}$ 的前10项和为（）

A． $25\times {2}^{10}+12$ B． $25\times {2}^{1}$ C． $25\times {2}^{11}+12$ D． $25\times {2}^{11}+10$

答案与解析

解析

a₁=1>0。若aₙ>0，则3aₙ+1>0、aₙ₊₁>0，逐次知所有倒数都合法。取倒数得

\frac1{a_{n+1}}=3+\frac1{a_n},\qquad\frac1{a_n}=1+3(n-1)=3n-2.

故目标项为(3n−2)2ⁿ，首项2，第10项系数28。设其前10项和为T₁₀，乘2后按同幂相减：

\begin{aligned}T_{10}&=1\cdot2+4\cdot2^2+\cdots+28\cdot2^{10},\\2T_{10}&=1\cdot2^2+4\cdot2^3+\cdots+28\cdot2^{11},\\-T_{10}&=2+3\sum_{j=2}^{10}2^j-28\cdot2^{11}.\end{aligned}

中间共有9项，等比和为2¹¹−4，所以

-T_{10}=2+3(2^{11}-4)-28\cdot2^{11}=-25\cdot2^{11}-10.

于是T₁₀=25×2¹¹+10，选D。C的常数12不是10；A还少一个指数，B按原题字面是25×2¹=50，均不是所求和。

也可得一般Tₙ=(3n−5)2ⁿ⁺¹+10：n=1为2，后差为(3n−2)2ⁿ，独立回验同样成立。原aₙ=1/(3n−2)代回分式递推也成立。

本题结论

选D，所求前10项和为 $25\times2^{11}+10$ 。