1 几何级数的定义
1.1 以 \(r^n\) 表示的典型形式
几何级数指满足“公比为常数”的数项级数。最常见的写法是 \[ \sum_{n=0}^{\infty} r^n = 1+r+r^2+r^3+\cdots, \] 其中 \(r\) 为公比。一般情形下，首项也可写为 \(a_0\)，此时 \[ \sum_{n=0}^{\infty} a_0 r^n = a_0 + a_0 r + a_0 r^2 + \cdots \] 仍属于几何级数，只是整体缩放不同。
1.2 不同起始索引（从 \(n=0\) 或 \(n=1\) 开始）
几何级数的索引起点常在教材中互相变形。例如从 \(n=1\) 开始的形式 \[ \sum_{n=1}^{\infty} r^n = r+r^2+r^3+\cdots \] 与从 \(n=0\) 开始的形式相差一个首项： \[ \sum_{n=1}^{\infty} r^n=\sum_{n=0}^{\infty} r^n - 1. \] 因此它们的收敛性条件相同，级数和也只差一个常数项。
更一般地，若写成从 \(n=k\) 开始的形式 \[ \sum_{n=k}^{\infty} r^n, \] 则可通过把前面 \(k\) 项视为“截去不相关部分”来与 \(n=0\) 起始的形式联系起来；在收敛条件下，这类变形只会影响和的闭式表达中的幂次因子。
1.3 部分和记号与基本变形
为研究级数是否收敛，通常引入部分和 \[ S_N=\sum_{n=0}^{N} r^n=1+r+r^2+\cdots+r^N. \] 对几何级数，\(S_N\) 可以用显式公式表示，并进一步通过极限 \(N\to\infty\) 来判断 \( \sum_{n=0}^{\infty} r^n \) 的和是否存在。对包含首项系数的几何级数，同样可写 \[ S_N=\sum_{n=0}^{N} a_0 r^n. \] 在后续章节中，上述“部分和—求极限”的路线是推导闭式求和公式的核心手段。
2 收敛性判别结论
2.1 收敛条件：\(|r|<1\)
几何级数 \[ \sum_{n=0}^{\infty} r^n \] 在且仅在公比满足 \[
| r | <1 |
|---|
\] 时收敛。此时级数和可写为闭式 \[ \sum_{n=0}^{\infty} r^n=\frac{1}{1-r}. \]
| 直观上，若 \( | r | <1\)，各项 \(r^n\) 的幅度随 \(n\) 增大而衰减到 0，从而部分和趋向稳定极限。 |
|---|
| 对更一般的形式 \(\sum_{n=0}^{\infty} a_0 r^n\)，收敛条件同为 \( | r | <1\)，其和为 |
|---|
\[ \sum_{n=0}^{\infty} a_0 r^n=\frac{a_0}{1-r}. \]
2.2 发散情形：\(|r|>1\)
| 当 \( | r | >1\) 时，项 \(r^n\) 的绝对值随 \(n\) 增大而放大，不会趋于 0。由于必要条件为“级数收敛则其通项趋于 0”，因此几何级数必然发散。换言之，部分和不会收敛到有限极限。 |
|---|
| 在 \( | r | >1\) 的情况下，部分和通常会呈现数值增长并在某些 \(r\) 取值下出现振荡，但无论如何都不可能收敛到有限值。 |
|---|
2.3 边界情形：\(|r|=1\)
| 当 \( | r | =1\) 时属于边界情形，此时无法像 \( | r | <1\) 那样让各项幅度衰减到 0。结果是：只要公比的模为 1，级数往往不收敛；具体需分别考察 \(r=1\) 与 \(r=-1\)。 |
|---|
2.3.1 \(r=1\) 的行为
若 \(r=1\)，则 \[ \sum_{n=0}^{\infty} 1^n=\sum_{n=0}^{\infty} 1 \] 每一项都等于 1，部分和为 \(S_N=N+1\)，随 \(N\) 增大而无界增长，因此发散。
2.3.2 \(r=-1\) 的行为
若 \(r=-1\)，则级数为 \[ \sum_{n=0}^{\infty} (-1)^n=1-1+1-1+\cdots. \] 部分和在 \(1\) 与 \(0\) 之间来回切换，不能收敛到单一极限值，所以该级数发散。需要注意的是，虽然它不“平稳”，但并非简单单调发散，表现为交替振荡。
3 闭式求和公式与推导
3.1 部分和的显式表达
对 \[ S_N=\sum_{n=0}^{N} r^n \] 当 \(r\neq 1\) 时，可利用代数恒等式得到 \[ (1-r)S_N = 1-r^{N+1}, \] 从而 \[ S_N=\frac{1-r^{N+1}}{1-r}. \] 当 \(r=1\) 时，上式分母为 0，另行处理：此时 \(S_N=N+1\)。
该表达式同时给出了部分和的结构信息：它由一个常数项 \(\frac{1}{1-r}\) 与一个随 \(N\) 变化的修正项 \(-\frac{r^{N+1}}{1-r}\) 组成。
3.2 极限过程得到级数和
| 若 \( | r | <1\)，则 |
|---|
\[ \lim_{N\to\infty} r^{N+1}=0. \] 代入部分和公式可得 \[ \sum_{n=0}^{\infty} r^n=\lim_{N\to\infty} S_N =\lim_{N\to\infty}\frac{1-r^{N+1}}{1-r} =\frac{1}{1-r}. \] 因此闭式和的存在性与收敛性直接由 \(r^{N+1}\) 的极限行为决定。
3.3 与等比数列求和公式的对应
几何级数的部分和本质上对应等比数列的求和。因为 \[ S_N = 1+r+r^2+\cdots+r^N \] 恰好是公比为 \(r\) 的等比数列前 \(N+1\) 项和，其公式与中学或基础数学中等比数列求和公式一致。几何级数的“无限求和”则是在该有限和基础上取极限，从而把等比数列求和自然推广到无穷情形。
4 收敛性在复数公比下的扩展
4.1 复数公比的绝对值条件
若公比 \(r\) 为复数，几何级数 \[ \sum_{n=0}^{\infty} r^n \]
| 的收敛性仍由 \( | r | \) 决定：当 |
|---|
\[
| r | <1 |
|---|
\]
| 时收敛；当 \( | r | >1\) 时发散；当 \( | r | =1\) 时通常不收敛（例如 \(r=1\) 与 \(r=-1\) 对应实数特例，复数单位圆上一般也无法让 \(r^n\) 趋于 0）。 |
|---|
| 在 \( | r | <1\) 的条件下，同样有闭式 |
|---|
\[ \sum_{n=0}^{\infty} r^n=\frac{1}{1-r}, \] 该公式可通过与实数情形同样的部分和表达式，再使用复数幂的极限来完成推导。
4.2 与实数情形的一致性讨论
| 复数情形下，几何级数的核心判据仍是“项是否趋于 0”，而通项 \(r^n\) 的绝对值为 \( | r | ^n\)。当 \( | r | <1\) 时，\( | r | ^n\to 0\)；当 \( | r | >1\) 时趋向无穷大；当 \( | r | =1\) 时绝对值恒为 1，无法提供衰减机制。因而复数扩展并不会改变收敛性结论的结构，只是把公比范围从实数扩展到了复数。 |
|---|
5 与收敛判别的关系
5.1 用比值思想理解几何级数
几何级数本身可视作“比值判别思想”的基准样例。其通项为 \(a_n=r^n\)，满足 \[
| \left | \frac{a_{n+1}}{a_n}\right | =\left | \frac{r^{n+1}}{r^n}\right | = | r | . |
|---|
\]
| 当 \( | r | <1\) 时，下一项相对上一项的幅度缩小，部分和趋于稳定；反之当 \( | r | >1\) 时幅度放大，难以收敛。这与一般判别定理中“相邻项比值的极限是否小于 1”所表达的直觉一致。 |
|---|
5.2 与幂级数/常见幂展开的类比
| 幂级数展开（例如把某些函数写成 \(\sum c_n x^n\)）的收敛半径与点态行为，常通过与几何级数的比较来分析：在某些区域内，幂级数的项增长/衰减速度与某个几何项 \(r^n\) 的行为相当，从而可得出收敛条件。由于几何级数对 \( | r | \) 的依赖形式非常简单，它经常被用来作为比较对象建立“上界—收敛”的论证。 |
|---|
5.3 与比较判别的简要对照
| 在比较判别中，通常将给定级数的项与一个“已知收敛或已知发散”的级数项做大小关系。几何级数由于通项具有简单的指数结构，常用作上界或下界。例如当能证明 \( | a_n | \le C | r | ^n\)（某常数 \(C\) 与某个满足 \( | r | <1\) 的参数）时，就可借助 |
|---|---|---|---|---|---|---|
| \(\sum C | r | ^n\) 的收敛性来推出原级数收敛。 |
这种“几何级数作为参照物”的角色，体现了它在分析中的基础地位。
6 相关性质与常见变换
6.1 缩放：\(\sum a r^n\) 的收敛性
若把几何级数整体乘以常数 \(a\)，考虑 \[ \sum_{n=0}^{\infty} a r^n=a\sum_{n=0}^{\infty} r^n. \]
| 此时收敛性不因缩放而改变：当 \( | r | <1\) 时收敛，且 |
|---|
\[ \sum_{n=0}^{\infty} a r^n=\frac{a}{1-r}. \]
| 当 \( | r | \ge 1\) 时则继承原级数的发散结论。 |
|---|
6.2 平移：\(\sum r^{n+k}\) 与收敛性不变性
对某个整数 \(k\ge 0\)，考虑 \[ \sum_{n=0}^{\infty} r^{n+k}. \] 把指数改写为 \(r^k\cdot r^n\)，得到 \[ \sum_{n=0}^{\infty} r^{n+k}=r^k\sum_{n=0}^{\infty} r^n. \]
| 因此收敛性仍由 \( | r | <1\) 决定；在收敛条件下其和为 |
|---|
\[ \sum_{n=0}^{\infty} r^{n+k}=\frac{r^k}{1-r}. \] 这种性质体现了“截取有限前缀不影响收敛性，指数平移相当于乘上常数因子”的一般规律在几何级数中的具体体现。
6.3 逐项加法与线性性（在收敛条件下的使用）
| 在收敛条件满足时，几何级数与其变形可以利用线性性质进行组合。例如若 \( | r | <1\) 且 \( | s | <1\)，则 |
|---|
\[ \sum_{n=0}^{\infty} \left(a r^n + b s^n\right) = a\sum_{n=0}^{\infty} r^n + b\sum_{n=0}^{\infty} s^n \] 成立，因两边都表示同一个收敛级数的逐项重组。
更一般地，只要各相关级数在需要的意义下都收敛（通常指按常规实/复分析中的绝对收敛或逐项求和可合法化），就能通过线性组合把复杂表达拆解为若干个几何级数的和，进而得到闭式结果。