算术级数

算术级数 (Arithmetic Progression)

算术级数，又称等差数列 (Arithmetic Progression, AP)，是数学中最基本的数列类型之一。一个数列 $\{a_n\}$ 被称为算术级数，当且仅当从第二项起，每一项与其前一项的差恒为常数。这个常数称为公差 (common difference)，通常记作 $d$。

定义与通项公式

设首项为 $a_1 = a$，公差为 $d$，则算术级数的递归定义为：

其通项公式为：

当 $d > 0$ 时，数列单调递增（如 $2, 5, 8, 11, \ldots$）；当 $d < 0$ 时，数列单调递减（如 $10, 7, 4, 1, -2, \ldots$）；当 $d = 0$ 时，所有项相等，为常数列。

求和公式

前 $n$ 项的算术级数和记作 $S_n$，其公式为：

该公式的一个经典推导传说与卡尔·弗里德里希·高斯有关：少年高斯在计算 $1 + 2 + \cdots + 100$ 时，将首尾配对 $(1+100), (2+99), \ldots, (50+51)$，每对的和均为 $101$，共 $50$ 对，故总和为 $101 \times 50 = 5050$。这本质上正是求和公式 $S_n = \frac{n}{2}(a_1 + a_n)$ 的直观应用。

算术中项

若 $a, b, c$ 三数构成算术级数，则中间项 $b$ 称为 $a$ 与 $c$ 的算术平均 (arithmetic mean)：

更一般地，在 $a_1$ 与 $a_n$ 之间插入 $k$ 个算术中项，相当于将区间 $[a_1, a_n]$ 等分为 $k+1$ 段，公差为 $d = \frac{a_n - a_1}{k+1}$。

基本性质

• 线性性：算术级数的图像在 $(n, a_n)$ 平面上为一条直线，斜率为 $d$。这使其成为线性函数在正整数域上的离散对应物。
• 平移不变性：算术级数对每一项同时加上同一常数后，公差不变，仍为算术级数。
• 等距项性质：若 $m+n = p+q$，则 $a_m + a_n = a_p + a_q$。特别地，首尾等距的项之和恒为常数 $a_1 + a_n$。
• 与算术平均的关系：前 $n$ 项的和等于项数乘以首末项的算术平均，即 $S_n = n \cdot \frac{a_1 + a_n}{2}$。

在经济学与金融学中的应用

• 均匀分期偿付：在贷款或债券的等额本金还款计划中，每期偿还的本金为常数 $P$，未偿还余额呈算术递减级数，利息支付也逐渐减少。
• 线性折旧：固定资产的直线折旧法假设资产价值每年减少固定金额，账面价值序列构成公差为负的算术级数。
• 均匀现金流估值：当预期未来现金流呈算术递增（如每年固定加薪 $g$ 元），其现值可通过算术-几何混合级数求和计算。
• 时间序列趋势：线性趋势模型 $y_t = \alpha + \beta t + \varepsilon_t$ 中的系统性部分 $\alpha + \beta t$ 即为算术级数形式，$\beta$ 扮演公差角色，用于刻画变量的确定性长期走向。
• 均匀分布离散化：将连续区间离散为等距节点时，节点序列构成算术级数。这在数值积分（如梯形法则）和格子模型（lattice models）中有广泛应用。
• 机会成本与线性效用：若效用函数关于某商品数量是线性的，则等量递增的消费产生算术递增的总效用。

与几何级数的对比

算术级数与几何级数是最基本的两类级数，二者的核心区别在于增长模式：

• 算术级数刻画绝对增长：每期增加固定数量。长期来看，呈线性增长。
• 几何级数刻画相对增长：每期乘以固定比例，呈指数增长。

这一区分在经济学中至关重要。托马斯·罗伯特·马尔萨斯曾以"人口以几何级数增长，食物以算术级数增长"来论证人口陷阱理论。在金融学中，单利 (simple interest) 的本利和按算术级数增长（每期利息固定），而复利 (compound interest) 按几何级数增长，长期差异巨大。理解算术级数的线性本质，是进一步学习级数理论、差分方程和连续时间金融模型的基础。