数列与通项：次序、下标和有限观察

约 3194 字大约 11 分钟

数列是按确定次序排列的数，可以有重复项。通项用下标直接确定项，递推用初值逐步确定后项；观察少数项得到的候选，还不能自动成为全体下标的唯一规律。

一、知识点概念与依据

1. 项值与下标，是两个不同对象

按确定次序排列的一列数 $a_1,a_2,\ldots$ 称为数列，记作 $\{a_n\}$ 。 $a_n$ 是第n项，n是它的位置编号。通常从n=1起，下标只取正整数。

对象	下标范围与含义	不能省略的限制
无限数列	所有正整数n	不含0或非整数下标
有限数列	$n=1,2,\ldots,N$	N为确定的正整数，不能任意往后添项
第n项 $a_n$	对应编号n的一个数	不一定等于n，可与别项相等
整个数列 $\{a_n\}$	全部项按顺序排列	不能像普通集合一样去掉重复值或忽略次序

数列可视为定义在全部正整数或其前N个数上的函数：每个允许下标唯一确定一个项值。不同下标可以有相同项值，判断某值是否出现不要求下标唯一。

2. 不同表示方法给出的信息不同

表示方法	怎样确定项	使用时先核什么
通项 $a_n=f(n)$	直接代合法下标	公式定义域、分段条件、有限长度
一阶递推 $a_{n+1}=F(n,a_n)$	从初值逐步计算	初值足够，每一步唯一且有定义
二阶递推	用前两项算后项	一般须给足前两个初值
列举、表格	读已列下标和项值	是完整有限列还是只列一部分
图象	离散点 $(n,a_n)$	只取允许整数下标，不因连线增加非整数项

并非每个数列都能写出简单通项。含分母、根号的递推，还须保证后续一直合法；漏初值可能得到许多不同数列。分段通项的条件若写n为奇数或偶数，分类的是下标，而不是算出的项值。

3. 给定数是否为项，等价于合法下标是否存在

给完整通项时，L是数列中的项，当且仅当存在允许的整数n，使 $f(n)=L$ 。可先解方程，但最后必须筛掉非整数、非正数及超出有限长度的解，并代回原式。

分式先保分母非零；根式平方前核原式定义域与两边符号；分段式分别在各支下标条件内求解。实函数能取到L，不等于只取整数下标的数列也能取到L。

若每相邻两项的差都是固定d，则从首项走到第n项共增加n−1次d，得到 $a_n=a_1+(n-1)d$ 。判断L是否为项时，d≠0才可除d；d=0为常数列，L等于首项则每个允许下标都满足，否则没有解。正整数公差还可能带来整除限制。

4. 观察得到候选，不等于证明唯一通项

先分清题目要“一个可能的通项”，还是要证明由完整定义唯一确定的通项。有限观测可提出候选并核对所有已给项，但不能单独确定全部后项。

一般地，若候选f(n)符合前m项，则

g(n)=f(n)+\lambda(n-1)(n-2)\cdots(n-m)

也符合这m项，因为n=1至m时乘积为0；后面却可能随λ改变。这说明有限项一致与全体唯一性是不同结论。

完整递推下，要核初值，再将候选代入对全部合法n证明等式及定义域，才能由唯一递推或归纳确定全体。一次反例足以否定全称规律，若干正例却不足以证明全称规律。

5. 单项重复还不足以证明周期

一阶、唯一、自主且每一步合法的递推，若完整循环回到原状态，可按同一规则继续归纳重复。“自主”指规则不显含n；高阶递推还要保留决定后项的完整状态。显含下标的规则或高阶规则中，只重复一个项值不足以证明以后循环。

二、考点方法与例题

1. 分段通项按下标选择分支

先写目标下标，再判断下标属于哪个分支，最后代入。若题目求若干项的乘积或和，每项分别选支后再运算，不由项值奇偶反选公式。

例题 01 奇偶下标对应不同通项

题目

已知数列 $\left\{ {a}_{n}\right\}$ 的通项公式为 ${a}_{n}=\left\{ \begin{matrix}3n+1,&n\text{为奇数}\\{2}^{n}-1,&n\text{为偶数}\end{matrix}\right.$ ，则 ${a}_{2}{a}_{3}=$ （）

A．13 B．14 C．30 D．49

答案与解析

解析

2为偶数，用偶数支 $a_2=2^2-1=3$ ；3为奇数，用奇数支 $a_3=3\times3+1=10$ 。所以 $a_2a_3=3\times10=30$ ，选C。

A的13是这两个项之和，不是积；B、D也不等于所求积。分类依据始终是下标2、3，不是项值3、10的奇偶。

本题结论

选C， $a_2a_3=30$ 。

2. 符号与绝对值分开观察，再检验所有已给项

核首项正负，决定交替符号用 $(-1)^n$ 还是 $(-1)^{n-1}$ 。
分子、分母分别与n匹配；已约分的项可恢复为同一结构，但不额外给后项添条件。
将候选代回每个已给下标，并检查候选对允许下标有定义。
题问可能通项就给候选；题要求证明全体，则继续用完整定义或递推验证，不越过量词边界。

例题 02 交替符号与线性分子分母

题目

数列 $-2,\frac{4}{3},-\frac{6}{5},\frac{8}{7},\cdot \cdot \cdot$ 的通项公式可以为（）

A． ${\left( -1\right)}^{n}\frac{n}{2n+1}$ B． ${\left( -1\right)}^{n}\frac{2n}{2n-1}$

C． ${\left( -1\right)}^{n-1}\frac{2n}{2n+1}$ D． ${\left( -1\right)}^{n+1}\frac{2n}{2n-1}$

答案与解析

解析

符号为奇数项负、偶数项正，可用 $(-1)^n$ ；分子绝对值2、4、6、8对应2n，分母1、3、5、7对应2n−1。候选为

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

将n=1、2、3、4代入，依次得到−2、4/3、−6/5、8/7，且所有正整数n的分母2n−1非零，故B符合题目“可以为”的要求。

A在n=1时为−1/3，C为2/3，D为2，均连首项也不符。四个已给项并不能唯一规定后项：在本候选上加 $\lambda(n-1)(n-2)(n-3)(n-4)$ ，前四项不变，后项可变。因此选中一个符合选项，不等于证明有限观测唯一决定整个数列。

本题结论

选B，一个可能通项是 $a_n=(-1)^n2n/(2n-1)$ 。

例题 03 恢复约分前结构观察通项

题目

已知数列 $\left\{ {a}_{n}\right\}$ 的前 $5$ 项依次为 $-1,\frac{3}{4},-\frac{1}{2},\frac{5}{16},-\frac{3}{16}$ ，则 $\left\{ {a}_{n}\right\}$ 的一个通项公式是（）

A． ${a}_{n}=-\frac{n+1}{{2}^{n}}$ B． ${a}_{n}={(-1)}^{n}\frac{n+1}{{2}^{n}}$

C． ${a}_{n}=-\frac{n+1}{2n}$ D． ${a}_{n}={(-1)}^{n}\frac{n+1}{2n}$

答案与解析

解析

五项可写为 $-2/2,3/4,-4/8,5/16,-6/32$ 。绝对值分子对应n+1，分母对应 $2^n$ ，奇负偶正用 $(-1)^n$ ，得到候选

a_n=(-1)^n\frac{n+1}{2^n}.

代入前五个下标正好对应全部已给项，分母始终为正，选B。A、C在n=2时均为−3/4，与第二项不符；D在n=4时为5/8，与第四项5/16不符。

题目只求“一个通项公式”，这里给出与有限数据一致的可能表达式；恢复未约分形式是识别结构，不是由五项证明后面必按同一规律。

本题结论

选B，一个可能通项是 $a_n=(-1)^n(n+1)/2^n$ 。

3. 反解项值后，检查整数性与范围

列出通项等于目标值的方程，合法变形并保留全部候选下标。再检查正整数、有限长度和分支条件，代回原式；没有合法解就不是项，多个合法下标则可对应重复项。

例题 04 根式通项中的指定项

题目

已知数列2， $\sqrt{6}$ ， $\sqrt{8}$ ， $\sqrt{10}$ ， $\cdots$ ， $\sqrt{2n+2}$ ， $\cdots$ ，则 $\sqrt{42}$ 是这个数列的（）

A．第20项 B．第21项 C．第22项 D．第19项

答案与解析

解析

题目给完整通项 $a_n=\sqrt{2n+2}$ ，n从1起时首项为2。令

\sqrt{2n+2}=\sqrt{42}.

两边非负，平方等价，得2n+2=42，所以n=20。20是合法正整数，且题目没有有限长度上限，代回确为√42，因此选A。

其他三个下标21、22、19分别对应根号内44、46、40，均不符。不能把求出的下标与项值√42混为一谈。

本题结论

选A，是第20项。

例题 05 整数公差与下标整除条件

题目

已知等差数列 $\left\{ {a}_{n}\right\}$ 中， ${a}_{1}=3$ ，公差为 $d\left( d\in {N}_{+}\right)$ ，若2023是该数列的一项，则公差d不可能是（）

A．2 B．3 C．4 D．5

答案与解析

解析

等差通项为 $a_n=3+(n-1)d$ 。2023为其中一项，要求

(n-1)d=2020,\qquad n=\frac{2020}{d}+1.

d为正整数，因此d必须整除2020。因 $2020=2^2\times5\times101$ ，3不能整除；2、4、5分别给n=1011、506、405，均为合法正整数。因此只有B的公差3不可能。

本题d明确为正整数，可安全除d；若另题允许d=0，则需单独检查常数列，不能机械沿用这个分式。

本题结论

选B，公差不可能为3。