YouthNote

外观

前n项和与通项：先保首项，再作相邻差

约 2316 字大约 8 分钟

前n项和是从首项累积到第n项的总和，通项只是其中一项。相邻和作差能恢复尾部，但首项必须先单独计算；能否把两支合成一个公式，要经过实际比较。

一、知识点 概念与依据

1. 从累计和中取出最后一项

设 Sn=a1+a2+⋯+anS_n=a_1+a_2+\cdots+a_n。n为正整数；有限数列还须n不超过总项数。ana_n是一项，SnS_n是前n项累计和，不能互换。

当n≥2时，

Sn=(a1+⋯+an−1)+an,Sn−1=a1+⋯+an−1.S_n=(a_1+\cdots+a_{n-1})+a_n,\qquad S_{n-1}=a_1+\cdots+a_{n-1}.

相减消去共同前缀，得到 an=Sn−Sn−1a_n=S_n-S_{n-1}。n=1时直接 a1=S1a_1=S_1，因此

an={S1,n=1,Sn−Sn−1,n≥2.a_n=\begin{cases}S_1,&n=1,\\S_n-S_{n-1},&n\ge2.\end{cases}

如果数列有限，第二支也只能在允许的下标内使用。每一步都来自和的定义，不依赖等差或等比等额外性质。

2. 空和S₀与表达式f(0)不一定相同

可另定义空和 S0=0S_0=0，使 an=Sn−Sn−1a_n=S_n-S_{n-1} 从n=1起统一成立。但若题给 Sn=f(n)S_n=f(n) 只承诺正整数n，不能把表达式外推的f(0)自动当成真正S₀。

对象能确定什么不能自动做什么
和的定义S1=a1S_1=a_1，空和可定为0不据此扩大题给公式的适用下标
题给 Sn=f(n),n≥1S_n=f(n),n\ge1正整数下标的累计和不直接声称 S0=f(0)S_0=f(0)
n≥2求出的尾公式g(n)第二项及之后的项不未经验证就将n=1并入

真正的统一差分公式没有错，错的是在未经允许的下标套用了题给表达式。

3. 尾公式与首项比较后，才决定是否合并

先算 a1=f(1)a_1=f(1)，再对n≥2求 g(n)=f(n)−f(n−1)g(n)=f(n)-f(n-1)。如果g(1)有定义且等于f(1)，两支可以合并；否则应保留首项的单独支路。

反过来，这样恢复的数列一定满足原累计和，因为

f(1)+[f(2)−f(1)]+⋯+[f(n)−f(n−1)]=f(n).f(1)+[f(2)-f(1)]+\cdots+[f(n)-f(n-1)]=f(n).

这是相邻项抵消的验证，也能发现错误合并首项后丢失的常数。

4. 和式中的常数，可能只留在首项

若对所有允许正整数n有 Sn=An2+Bn+CS_n=An^2+Bn+C，则

a1=A+B+C,a_1=A+B+C,

而n≥2时

an=(An2+Bn+C)−[A(n−1)2+B(n−1)+C]=2An+(B−A).a_n=(An^2+Bn+C)-[A(n-1)^2+B(n-1)+C] =2An+(B-A).

尾公式代n=1得到A+B，与真实首项相差C。对于至少三项的这类数列，首差为 a2−a1=2A−Ca_2-a_1=2A-C，之后相邻差为2A；C≠0时全列不是等差，尽管尾部看起来是一次式。

常数在尾差中消去，并不意味着它从整个数列消失。判断全列性质时，首差与后差要一起检查。

5. 隐式的和项关系，要结合定义求解

若题给Sₙ与aₙ之间的关系，先用 S1=a1S_1=a_1，再用 Sn=Sn−1+anS_n=S_{n-1}+a_n 逐次代入或消元。只求小下标的项时，顺次计算通常足够，不必先猜全体通项。

关系式即使看起来像某类数列的求和公式，也不能只凭外形断言该数列属于那一类。若相邻式作差，标明两式共同适用下标；若后续除以含n的因式，先单列因式为0的情形。

二、考点 方法与例题

1. 首项、尾差、合并、反核四步走

  1. 单独代n=1，写 a1=S1a_1=S_1。
  2. 对n≥2，将整个f(n−1)加括号再相减，特别注意平方和负号。
  3. 把尾公式代1，与真实首项比较，决定统一还是分段。
  4. 必要时累加反核Sₙ；判断等差时另比首差与后差。

例题 01 累计和中的常数影响首项

题目

已知数列{an}\{{a}_{n}\}的前nn项和Sn=n2+1{S}_{n}={n}^{2}+1，则数列{an}\{{a}_{n}\}的通项公式为（    ）

A．an=n+1{a}_{n}=n+1 B．an=2n−1{a}_{n}=2n-1

C．an=2n+1{a}_{n}=2n+1 D．an={2,n=1,2n−1,n≥2{a}_{n}=\left\{ \begin{aligned}2 , n=1 , \\ 2n-1, n\ge 2\end{aligned}\right.

答案与解析

解析

n=1时，a1=S1=12+1=2a_1=S_1=1^2+1=2。n≥2时，

an=(n2+1)−[(n−1)2+1]=2n−1.a_n=(n^2+1)-[(n-1)^2+1]=2n-1.

尾公式代1为1，不等于真实首项2，因此必须分段：

an={2,n=1,2n−1,n≥2.a_n=\begin{cases}2,&n=1,\\2n-1,&n\ge2.\end{cases}

选D。B漏掉首项修正；C的首项为3，错误；A虽然首项为2，但n=3给4，与实际a₃=5不符。

反查n≥2时，利用 2k−1=k2−(k−1)22k-1=k^2-(k-1)^2，首项2加后续奇数的和为 2+(n2−1)=n2+12+(n^2-1)=n^2+1，n=1也成立。若机械采用全体2n−1，累计和仅为n²，少了题给常数1。

首差 a2−a1=3−2=1a_2-a_1=3-2=1，后差如 a3−a2=5−3=2a_3-a_2=5-3=2，全列不是等差。空和S₀=0不意味着可以把正整数公式外推成S₀=1。

本题结论

选D，a1=2a_1=2，an=2n−1 (n≥2)a_n=2n-1\ (n\ge2)。

例题 02 括号展开与尾部公差

题目

若数列{an}\left\{ {a}_{n}\right\}的前nn项和Sn=2n2+n+1{S}_{n}=2{n}^{2}+n+1，则下列结论正确的是（    ）

A．an=4n−1{a}_{n}=4n-1 B．an=3n+1{a}_{n}=3n+1

C．an=7n−3{a}_{n}=7n-3 D．an={4,n=14n−1,n>1{a}_{n}=\left\{ \begin{aligned}4,n=1\\4n-1,n>1\end{aligned}\right.

答案与解析

解析

先算 a1=S1=2+1+1=4a_1=S_1=2+1+1=4。n≥2时，

an=(2n2+n+1)−[2(n−1)2+(n−1)+1].a_n=(2n^2+n+1)-[2(n-1)^2+(n-1)+1].

第二个大括号内为 2n2−3n+22n^2-3n+2，相减得到4n−1。尾公式代1为3，与首项4不符，因此

an={4,n=1,4n−1,n≥2.a_n=\begin{cases}4,&n=1,\\4n-1,&n\ge2.\end{cases}

选D。A首项错；B在n=3时给10，实际为11；C在n=2时给11，实际为7。

再查前几项4、7、11，首差为3，之后相邻差为4，因此全列不是等差。常数1没有出现在尾公式中，却改变了首项与首差。

本题结论

选D，a1=4a_1=4，an=4n−1 (n≥2)a_n=4n-1\ (n\ge2)。

2. 隐式关系先从小下标顺推

同一个Sₙ一方面按和的定义写为Sₙ₋₁+aₙ，另一方面按题给关系表示。两者相等后求目标项；前一步求得的和值与项值不要混写。

例题 03 由和项关系求指定项

题目

已知数列{an}\left\{ {a}_{n}\right\}的前n项和为Sn{S}_{n}，若Sn=n(1+an)2{S}_{n}=\frac{n\left( 1+{a}_{n}\right)}{2}，S2=3{S}_{2}=3，则a3={a}_{3}=（    ）

A．-3 B．3 C．-2 D．2

答案与解析

解析

先用n=1：a1=S1=(1+a1)/2a_1=S_1=(1+a_1)/2，得a₁=1。n=2时由S₂=3和题给关系，有 3=1+a23=1+a_2，得a₂=2。

n=3时，和的定义给 S3=S2+a3=3+a3S_3=S_2+a_3=3+a_3，题给关系又给 S3=3(1+a3)/2S_3=3(1+a_3)/2。因此

2(3+a3)=3(1+a3)  ⟺  6+2a3=3+3a3,2(3+a_3)=3(1+a_3)\iff6+2a_3=3+3a_3,

解得a₃=3，选B。A、C、D均不满足这一等式。

整个过程只使用原关系及累计和定义，并未把关系的外形当作“已知等差”的证明。若想证明全体通项，还需要继续核全部下标，而不是停在前三项。

本题结论

选B，a3=3a_3=3。

三、坑点 边界与纠错

1. 尾差公式不自动覆盖首项

先算首项再作差；尾式代1有定义且与首项相同，才能合并。不能为了式子简洁而删掉首项支路。

2. 空和定义不负责延伸题给公式

S₀=0可以另定义，但f(n)是否允许代0由题目决定。把未经允许的f(0)代入，是错误来源，而不是相邻和作差本身有问题。

3. 全列性质需检查开始的相邻项

尾部一次式并不自动说明全列等差。用首差与后差比较，必要时累加反核原Sₙ；隐式关系也不靠公式外形分类。