等差数列
děng chā shù liè
等差数列是一列数,其中相邻两项之间的差始终是同一个常数。
Formula
a_n = a_1 + (n-1)d
Definition
等差数列是一种数字模式，每次都加上相同的量，即公差 $d$，从而得到下一个数，因此对每一对相邻项都有 $a_{n+1} - a_n = d$。通项公式是 $a_n = a_1 + (n - 1)d$，其中 $a_1$ 是首项，$n$ 是项数；这使得等差数列相当于把一次函数限制在正整数上，定义了 $\mathbb{Z}$（或任意环）中的一个等差数列，其部分和构成一个等差级数，求和公式为 $S_n = n/2 \cdot (2a_1 + (n-1)d)$。
Example
$3, 7, 11, 15, 19, \ldots$ 是等差数列，因为每次都加 $4$；而 $20, 15, 10, 5, 0, -5, \ldots$ 也是等差数列，公差为 $-5$。对于数列 $5, 9, 13, 17, \ldots$，$a_1 = 5$，$d = 4$，所以第 $10$ 项是 $a_{10} = 5 + (10-1)(4) = 41$，第 $50$ 项是 $201$。狄利克雷定理指出，任何满足 $\gcd(a,d) = 1$ 的等差数列 $a, a+d, a+2d, \ldots$ 都包含无穷多个素数，展现了等差数列深刻的数论意义。
Key Insight
等差数列就像爬一段每级台阶高度相同的楼梯：每一级（每一项）都比上一级高出相同的距离，这个固定的台阶高度就是公差。通项公式 $a_n = a_1 + (n-1)d$ 正是一条斜率为 $d$、$y$ 截距为 $a_1 - d$ 的直线方程，所以等差数列是关于 $n$ 的一次函数。在抽象代数中，等差数列是 $\mathbb{Z}$ 中子群 $d\mathbb{Z}$ 的陪集，它们在模运算下的结构是中国剩余定理和密码学构造的核心。