2.4 数列与级数：排队的 x 与无穷求和
2.4 数列与级数：排队的 x 与无穷求和
数列是按正整数顺序排列的一列数，级数是把它们逐项加起来的和。本节完成"x 的一生"最后一段：等差数列的求和公式、等比数列的翻倍威力，以及无穷级数——芝诺追龟悖论在这里得到精确解答。数列是函数的离散版，也是第六章极限思想的第一块跳板。
芝诺的追龟难题
古希腊哲学家芝诺提出：阿基里斯跑得飞快，乌龟慢得出奇，但只要乌龟先出发一小段，阿基里斯永远追不上——因为他跑到乌龟的出发点时，乌龟又前进了一小截；等他追到新的位置，乌龟又挪了一点点……"追的过程"被切成了无穷多段，芝诺断言无穷多段任务永远做不完。这个悖论统治直觉两千年，直到级数给出答案：无穷多段可以加出一个有限的数。这一节末尾我们回来结案。
等差数列：匀速排队的数
等差数列相邻两项差同一个常数 d（公差）。首项 a1，第 n 项 = a1 + (n-1)d。数列 3, 7, 11, 15……首项 3、公差 4，第 20 项 = 3 + 19×4 = 79。
求和公式的推导就是高斯配对法的一般化：Sn = a1 + a2 + …… + an，倒过来再写一遍，两两配对，每对和都是 a1 + an，共 n 对，所以 Sn = n(a1 + an)/2。也常写成 Sn = na1 + n(n-1)d/2。
手算 3 + 7 + 11 + …… + 79（前 20 项）：Sn = 20 × (3 + 79)/2 = 20 × 41 = 820。
>>> seq = [3 + 4*k for k in range(20)] # 前 20 项 >>> sum(seq) 820 >>> 20*(3 + 79)/2 # 公式复算 820.0
两种算法一个结果，公式的推导可信。
等比数列：按倍数排队的数
等比数列相邻两项比值同一个常数 q（公比）。首项 a1，第 n 项 = a1 乘 q 的 (n-1) 次方。求和公式的推导用"错位自减"：Sn = a1 + a1q + …… + a1 倍 q 的 (n-1) 次方；两边乘 q：qSn = a1q + …… + a1 倍 q 的 n 次方；两式相减，中间项全部对消，得 Sn(1-q) = a1(1 - q 的 n 次方)，即 Sn = a1(1 - q 的 n 次方)/(1 - q)。
经典案例——纸对折：一张 0.1 毫米的纸对折 30 次，厚度 = 0.1 × 2 的 30 次方 毫米 = 0.1 × 107374182.4 毫米 ≈ 107374 米，比珠峰高十几倍。
>>> 0.1 * 2**30 / 1000 # 毫米 → 米 107374.1824 >>> a1, q, n = 2, Rational(1,2), 10 >>> S = a1*(1 - q**n)/(1 - q) >>> S 4 - 1/256 >>> float(S) 3.99609375
第二段算的是 2 + 1 + 1/2 + …… + 2 的 -8 次方（前 10 项），和已经贴近 4——引出下一段的正题。
无穷级数：加不完但有和
当公比绝对值小于 1，q 的 n 次方随 n 增大趋向 0，求和公式里的"1 减 q 的 n 次方"趋向 1，于是无穷项之和收敛到 S = a1/(1 - q)。前例 a1 = 2、q = 1/2：S = 2/(1/2) = 4。前 10 项已到 3.996，前 20 项小数点后五位都对上 4。
若公比绝对值不小于 1，各项不趋零，和必然发散——加到天荒地老也停不下来，级数没有和。
>>> from sympy import Rational, oo, summation, symbols >>> n = symbols('n', integer=True, positive=True) >>> summation(2*Rational(1,2)**(n-1), (n, 1, oo)) 4 >>> summation(Rational(1, n), (n, 1, oo)) # 调和级数：项趋零仍发散 oo
第二条是著名反例：1 + 1/2 + 1/3 + …… 的每一项都趋近零，和却是无穷大。"项趋零"只是收敛的必要条件，不是充分条件——判断级数收敛远比看项的大小微妙。
回到芝诺
设阿基里斯速度是乌龟的 2 倍，乌龟先跑 1 米。第一段追赶阿基里斯跑 1 米，同时乌龟挪 1/2 米；第二段他跑 1/2 米，乌龟挪 1/4 米……总路程 = 1 + 1/2 + 1/4 + …… = 1/(1 - 1/2) = 2 米。无穷多段路程之和是一个有限数，跑完它们只需要有限时间——悖论消解。芝诺的错误不在分段，而在断言"无穷多段必然耗尽无穷时间"。
⚠️ 常见坑：别把"无穷项"与"无穷大"划等号。公比绝对值小于 1 的等比级数有无穷多项，和却是有限数；反过来调和级数项越加越小，和却奔向无穷。
递推数列：兔子与黄金比
数列还能用"递推"定义：斐波那契数列 1, 1, 2, 3, 5, 8, 13……每项等于前两项之和。手算前十二项到 144。相邻两项之比 144/89 ≈ 1.6179、89/55 ≈ 1.6181——迅速贴向黄金比 (1+根号5)/2 ≈ 1.6180。兔子繁殖模型的月度对数正是这个数列，它把"离散的递推"与"无理的极限"连在一起，是数列世界最著名的桥段。
>>> a, b = 1, 1 >>> for _ in range(10): ... a, b = b, a + b >>> a, b, b/a (89, 144, 1.6179775280898876)
迭代十轮后比值 1.6180，与黄金比前四位小数一致——递推 + 极限 = 无理数现身，第六章极限思想在离散世界的预演。
常见问题
问：等差数列前 n 项和公式与梯形面积公式为什么长得一样？
答：把每项当一根竖条排开，等差数列的"阶梯图"恰是梯形：高是 n、两底是 a1 与 an。跨章节公式撞脸，背后常是同一几何结构。
数列单调有界即收敛
无穷递缩等比数列收敛的深层原因是两条：单调（一直变大或一直变小）加上有界（不越过某道栅栏）。这条"单调有界定理"是实数完备性的又一化身——有理数世界里 1、1.4、1.41、1.414……单调有界，极限却是根号 2，有理数接不住它；实数把栅栏内的每个"潜在终点"都补齐了。第二章在这里与第一章握手，也为第六章的极限正式定义预缴了定金。
本节要点回顾
- 等差数列第 n 项 a1 + (n-1)d，前 n 项和用首尾配对推导得 n(a1+an)/2；
- 等比数列求和公式用错位相减推导，无穷版本 S = a1/(1-q) 要求公比绝对值小于 1；
- 项趋零不保证收敛，调和级数是标准反例；
- 芝诺悖论的解：无穷多段正数可以加出有限和；
- 数列是定义域取正整数的函数，
summation到oo是 SymPy 处理无穷和的姿势。
第二章结束。下一章 x 配上搭档 y，从数轴搬进平面——几何给符号一个可以看见的家。