Sequences

数列：从混沌中寻找规律

欢迎来到数列这一章！这一章的核心是学会识别数字中的规律，并最重要的一点——学会写出一个通项公式来描述这种规律。为什么这很重要呢？数学中常利用数列来模拟事物随时间增长或变化的过程，无论是细菌的分裂、资金的利息增长，还是花瓣的排列方式，都离不开数列！

如果一开始觉得找规律很难，别担心。我们将通过简单、可靠的方法来拆解这个过程，尤其是“差分法”，它将成为你学习数列时最好的伙伴。

---

1. 数列基础知识

什么是数列？

数列（Sequence）就是一组按照特定规律或模式排列的有序数字（或对象）。数列中的每一个数字都被称为项（term）。

例如：2, 4, 6, 8, 10, ...

• 第一项是 2。
• 第五项是 10。

我们使用下标来表示项。对于数列 \(T\)：

• \(T_1\) 是第一项。
• \(T_2\) 是第二项。
• \(T_n\) 是第 \(n\) 项（通项/规则）。

项与项之间的递推规则 (C2.7.2)

递推规则（term-to-term rule）告诉你如何从当前项推导出下一项。

示例 1：5, 10, 15, 20, ...
规则：在前一项的基础上加 5。

示例 2：3, 6, 12, 24, ...
规则：将前一项乘以 2。

提示：延伸数列
要延伸数列（C2.7.1），只需将你找到的递推规则应用到数列的最后一项即可。

---

2. 线性数列（等差数列）

如果连续项之间的差值始终相同，该数列就是线性数列（或等差数列）。这个恒定的差值称为公差（common difference），记作 \(d\)。

寻找通项公式 (\(T_n\)) (C2.7.3(a))

线性数列的通项公式通常为：

$$T_n = an + b$$

其中 \(a\) 是公差，\(b\) 与“第零项”（即 \(T_1\) 之前的那一项）有关。

分步法：

示例：寻找 4, 7, 10, 13, ... 的通项公式

1. 寻找公差 (\(a\))：
   • \(7 - 4 = 3\)
   • \(10 - 7 = 3\)

   公差 \(a = 3\)。所以规则以 \(T_n = 3n\) 开头。

2. 与 \(3n\) 数列对比：

   写出 \(3n\) 的数列：3, 6, 9, 12, ...

3. 寻找调整值 (\(b\))：

   将原数列 (4, 7, 10, 13, ...) 与 \(3n\) 数列 (3, 6, 9, 12, ...) 对比。你会发现每一项都需要加 1。

   (例如：\(4 = 3 + 1\)；\(7 = 6 + 1\))

   调整值 \(b = 1\)。

4. 写出公式：

   $$T_n = 3n + 1$$

线性数列的核心要点

线性数列有一阶恒定差值。通过计算差值 (\(a\)) 并找到必要的调整值 (\(b\))，可以轻松得出通项公式 \(T_n = an + b\)。

---

3. 二次数列

当二阶差值（差值的差值）为常数时，该数列是二次数列。二次数列由以下通项公式定义：

$$T_n = an^2 + bn + c$$

寻找二次数列的通项公式 (C2.7.3(b))

这依赖于强大的差分法（C2.7 大纲明确指出要使用此方法）。

分步法（差分法）：

示例：寻找 2, 5, 10, 17, ... 的通项公式

1. 求一阶差值：

   连续项之间的差：3, 5, 7, ...（不是常数，所以不是线性数列。）

2. 求二阶差值：

   一阶差值之间的差：2, 2, ...（这是常数！所以它是二次数列。）

3. 确定 \(a\)（\(n^2\) 的系数）：

   恒定的二阶差值等于 \(2a\)。

   $$2a = 2$$ $$a = 1$$

   所以规则以 \(T_n = 1n^2 + bn + c\) 开头。

4. 确定 \(b\) 和 \(c\)（通过构造新数列）：

   从原数列中减去 \(n^2\) 数列 (1, 4, 9, 16, ...)。

   原数列 (\(T_n\))	2	5	10	17
   \(n^2\) 数列	1	4	9	16
   剩余数列 (\(T_n - n^2\))	1	1	1	1

   剩余数列为 1, 1, 1, 1, ...

5. 求剩余数列的通项：

   这个剩余数列是一个简单的线性数列：\(1n^0 + 1\) 或者干脆就是 1。形式为 \(bn + c\)，因为差值为 0，所以 \(b=0\)，\(c=1\)。

   所以线性部分为 \(0n + 1\)。

6. 组合各部分：

   完整的通项公式是 \(n^2\) 部分加上线性部分：

   $$T_n = n^2 + 1$$

二次数列的核心要点

二次数列有恒定的二阶差值。利用关系式 \(2a = \text{二阶差值}\) 求出 \(n^2\) 项，然后减去该模式，求出剩余的线性部分 \(bn + c\)。

---

4. 三次数列

当三阶差值为常数时，该数列是三次数列（简单三次序列属于 E2.7.3/C2.7.3(c)）。三次数列由以下通项公式定义：

$$T_n = an^3 + bn^2 + cn + d$$

寻找三次数列的通项公式 (E2.7.3)

差分法可以推广到这里，涉及三层差值：

• 一阶差值：\(T_2 - T_1\)
• 二阶差值：一阶差值的差
• 三阶差值：二阶差值的差（这是常数！）

核心关系：

如果三阶差值是常数，我们利用以下关系确定系数：

• 三阶差值 \(= 6a\)
• 二阶差值行的首项 \(= 12a + 2b\) (IGCSE 中通常使用下方的减法法，此步常被跳过)
• 一阶差值行的首项 \(= 7a + 3b + c\)
• 首项 \(T_1\) \(= a + b + c + d\)

更简单的方法（减法法）：
对于 IGCSE，特别是“简单三次序列”(C2.7) 或一般三次序列 (E2.7)，最简单的方法与二次序列类似：

1. 找出恒定的三阶差值，利用 \(6a = \text{三阶差值}\) 计算 \(a\)。
2. 生成 \(an^3\) 数列。
3. 从原数列中减去 \(an^3\) 数列。
4. 剩下的数列将是二次的 (\(bn^2 + cn + d\))。
5. 对剩余数列使用二次差分法（第 3 部分）来求 \(b, c,\) 和 \(d\)。

你知道吗？
这种差分法之所以有效，是因为从三次数列中减去三次模式 (\(an^3\)) 后，剩下的就是一个更简单的二次数列。

三次数列的核心要点

三次数列有恒定的三阶差值。使用 \(6a = \text{三阶差值}\)，然后减去 \(an^3\) 模式，将剩余部分简化为一个二次数列。

---

5. 指数数列（仅限拓展内容 E2.7）

指数数列与乘法有关，而非加法。它们在连续项之间有一个恒定的比值，称为公比（common ratio），记作 \(r\)。

这类数列也被称为等比数列（Geometric Progression）。

例如：3, 6, 12, 24, ...
这里，\(r = 2\)（每次乘以 2）。

寻找指数数列的通项公式 (E2.7)

指数数列的通项公式为：

$$T_n = ar^{n-1}$$

其中 \(a\) 是第一项，\(r\) 是公比。

分步法：

示例：寻找 5, 10, 20, 40, ... 的通项公式

1. 确定首项 (\(a\))：

   $$a = 5$$

2. 寻找公比 (\(r\))：

   用任意项除以前一项：\(10/5 = 2\)，\(20/10 = 2\)。

   $$r = 2$$

3. 写出规则：

   将 \(a=5\) 和 \(r=2\) 代入公式 \(T_n = ar^{n-1}\)：

   $$T_n = 5(2)^{n-1}$$

类比： 指数增长就像病毒传播或复利。每次增加的数量都在变大，因为你在乘以一个比值，而不是仅仅加上一个固定的值。

指数数列的核心要点（拓展）

指数数列有恒定的比值 (\(r\))。通项公式为 \(T_n = ar^{n-1}\)，其中 \(a\) 是第一项。

---

6. 总结与考试策略

检查数列类型

当你遇到一个新数列时，按以下层级来寻找规律：

1. 检查比值： 是否有恒定比值？（如果有，就是指数/等比数列 - E2.7）
2. 检查一阶差值： 一阶差值是否恒定？（如果有，就是线性/等差数列：\(T_n = an + b\)）
3. 检查二阶差值： 二阶差值是否恒定？（如果有，就是二次数列：\(T_n = an^2 + bn + c\)）
4. 检查三阶差值： 三阶差值是否恒定？（如果有，就是三次数列：\(T_n = an^3 + ...\)）

使用通项公式

一旦你有了通项公式，你就可以直接求出数列中的任意项，而不需要列出所有前面的数字。

示例：若 \(T_n = n^2 + 1\)，求第 20 项。
代入 \(n=20\)：\(T_{20} = (20)^2 + 1 = 400 + 1 = 401\)。