等比数列求和公式 Sₙ = a₁(1−qⁿ)/(1−q)

公式起源：从“死记硬背”到“理解即用”

提到等比数列求和公式 Sₙ = a₁(1−qⁿ)/(1−q)（当 q ≠ 1 时），许多学习者第一反应是“又一个要背的公式”。但正如物理学家费曼所言：“如果你不能向六岁孩子解释清楚一个概念，说明你自己还没真正理解它。”本节将彻底打破这一认知壁垒。

什么是等比数列？

等比数列（Geometric Sequence）是指从第二项起，每一项与前一项的比值恒为常数 q（公比）。即：

其中：

• a₁：首项（First Term）
• q：公比（Common Ratio），q ∈ ℝ {0}
• 第 n 项通项公式：aₙ = a₁qⁿ⁻¹

实例验证：从生活场景出发

例1：手机价格指数增长
某品牌新机首发价 1000 元，后续每台售价上涨 20%（即 q = 1.2）：

前 5 台总销售额：S₅ = 1000 + 1200 + 1440 + 1728 + 2073.6 = 7441.6 元

用公式计算：
S₅ = 1000 × (1 − 1.2⁵) / (1 − 1.2) = 1000 × (1 − 2.48832) / (−0.2) = 1000 × (−1.48832) / (−0.2) = 7441.6 元

✅ 结果完全一致！

为什么需要这个公式？

当 n 较大时（如 n = 100），手动累加几乎不可能。而公式将时间复杂度从 O(n) 降为 O(1)，是数学建模的基石之一。

核心逻辑：错位相减法的数学之美

让我们亲手推导公式，理解其内在逻辑。设等比数列前 n 项和为：

两边同乘公比 q：

用（①）−（②）得：

当 q ≠ 1 时，两边同除以 (1 − q)，最终：

? 关键理解：错位相减法通过构造新等式，使中间项全部抵消，仅保留首尾项，是数学中“化繁为简”的典范。

公式变形：更实用的表达形式

根据 aₙ = a₁qⁿ⁻¹，可得 a₁qⁿ = aₙq，因此公式也可写作：

选择哪种形式取决于已知条件：

• 已知 a₁, q, n → 用 a₁(1−qⁿ)/(1−q)
• 已知 a₁, aₙ, q → 用 (a₁ − aₙq)/(1−q)

公比 q 的几何意义

典型案例：从数学题到现实世界

经典数学题型拆解

题1：求等比数列 3, 6, 12, 24, ... 的前 8 项和。

解：首项 a₁ = 3，公比 q = 6/3 = 2，项数 n = 8。
代入公式：
S₈ = 3 × (1 − 2⁸) / (1 − 2) = 3 × (1 − 256) / (−1) = 3 × (−255) / (−1) = 765

验证：3+6+12+24+48+96+192+384 = 765 ✅

题2：已知等比数列前 4 项和为 80，公比 q = 3，求首项 a₁。

解：S₄ = a₁(1−3⁴)/(1−3) = a₁(1−81)/(−2) = a₁(−80)/(−2) = 40a₁ = 80
→ a₁ = 2

真实场景建模

常见误区：90% 的人会踩的坑

编程实现：从 Python 到 C++ 的实战代码

以下是跨语言的健壮实现，已处理边界情况：

Python 实现（高精度版）

# 等比数列求和：支持 q=1、高精度 q≈1 的情况
from decimal import Decimal, getcontext
def geometric_sum(a1, q, n, precision=50):
    # 设置高精度上下文
    getcontext().prec = precision
    a1 = Decimal(a1)
    q = Decimal(q)
    n = Decimal(n)
    # 情况 1：q = 1
    if q == 1:
        return a1  n
    # 情况 2：q ≠ 1
    q_pow_n = q  n
    numerator = a1  (1 - q_pow_n)
    denominator = 1 - q
    # 避免除以极小数
    if abs(denominator) < 1e-15:
        # 使用泰勒展开近似：Sₙ ≈ n·a₁ + a₁·n(n−1)(q−1)/2
        return a1  n + a1  n  (n - 1)  (q - 1) / 2
    return numerator / denominator
# 测试
print(geometric_sum(1000, 1.2, 5))   # 7441.6
print(geometric_sum(5, 1, 10))       # 50
print(geometric_sum(1, 0.999999, 1000000)) # ≈ 1000000.5（高精度）

C++ 实现（优化精度）

// 等比数列求和：使用 log1p/expm1 处理 q≈1 的情况
#include <iostream>
#include <cmath>
#include <limits>
double geometric_sum(double a1, double q, int n) {
    // q = 1 的特例
    if (std::abs(q - 1.0) < 1e-10) {
        return a1  n;
    }
    // 计算 q^n：使用 exp(n  log(q)) 避免溢出
    double log_q = std::log(q);
    double q_pow_n = std::exp(n  log_q);
    // 计算 1 - q^n 和 1 - q：使用 log1p/expm1 提升精度
    double numerator = a1  (1.0 - q_pow_n);
    double denominator = 1.0 - q;
    // 当 |q-1| 很小时，用泰勒展开替代
    if (std::abs(denominator) < 1e-6) {
        // Sₙ ≈ n·a₁ + a₁·n(n−1)(q−1)/2 + a₁·n(n−1)(n−2)(q−1)²/6
        double h = q - 1.0;
        return a1  (n + n(n-1)h/2 + n(n-1)(n-2)hh/6);
    }
    return numerator / denominator;
}
int main() {
    std::cout << std::fixed << std::setprecision(6);
    std::cout << geometric_sum(1000, 1.2, 5) << std::endl;    // 7441.600000
    std::cout << geometric_sum(5, 1.0, 10) << std::endl;        // 50.000000
    std::cout << geometric_sum(1, 0.999999, 1000000) << std::endl; // ≈ 1000000.5
    return 0;
}

JavaScript 实现（Web 前端适配）

function geometricSum(a1, q, n) {
    if (n <= 0 || !Number.isInteger(n)) {
        throw new Error('n 必须为正整数');
    }
    // q = 1 的特例
    if (q === 1) {
        return a1  n;
    }
    // 计算 q^n
    let qPowN = Math.pow(q, n);
    // 处理 q 接近 1 的情况
    if (Math.abs(q - 1) < 1e-8) {
        return a1  n  (1 + (n - 1)  (q - 1) / 2);
    }
    return a1  (1 - qPowN) / (1 - q);
}
// 使用示例
console.log(geometricSum(1000, 1.2, 5));   // 7441.6
console.log(geometricSum(5, 1, 10));       // 50

金融建模：从复利到永续年金

在金融工程中，等比数列求和公式是现金流分析的基石。以下为三大经典模型：

实战：房贷月供计算

贷款 P 元，月利率 r，分 n 期等额本息还款，月供 A 为多少？

模型：每期还款 A 的现值之和等于贷款额：
P = A/(1+r) + A/(1+r)² + ... + A/(1+r)ⁿ

即：P = A × q × (1 − qⁿ)/(1 − q)，其中 q = 1/(1+r)

整理得：A = P × r × (1+r)ⁿ / [(1+r)ⁿ − 1]

案例：贷款 100 万，年利率 4.8%（月利率 0.4%），30 年（360 期）：

✅ 与银行计算器结果一致！

高阶技巧：从复数到生成函数

复数公比的等比数列

当 q 为复数（如 q = e^{iθ}），数列变为：
a₁, a₁e^{iθ}, a₁e^{i2θ}, ..., a₁e^{i(n−1)θ}

求和：Sₙ = a₁ (1 − e^{inθ}) / (1 − e^{iθ})

利用欧拉公式 e^{iφ} = cosφ + i sinφ，可得实部为：
Re(Sₙ) = a₁ · sin(nθ/2) / sin(θ/2) · cos((n−1)θ/2)

应用：信号处理中的 Dirichlet 内核、傅里叶级数截断误差分析。

生成函数法

等比数列的生成函数为：
G(x) = a₁ + a₁qx + a₁q²x² + ... = a₁ / (1 − qx)

前 n 项和对应生成函数：
S(x) = G(x) · (1 − xⁿ)/(1 − x) = a₁(1 − qⁿxⁿ) / [(1 − qx)(1 − x)]

通过部分分式分解，可反演得：
[xⁿ]S(x) = Sₙ = a₁(1 − qⁿ)/(1 − q)

意义：将离散求和转化为复分析中的留数计算，是组合数学的高级工具。

高阶差分与等比数列

定义一阶差分：ΔSₙ = Sₙ − Sₙ₋₁ = aₙ

阶差分：Δ²Sₙ = ΔSₙ − ΔSₙ₋₁ = aₙ − aₙ₋₁ = a₁qⁿ⁻¹ − a₁qⁿ⁻² = a₁qⁿ⁻²(q − 1)

→ Δ²Sₙ = (q − 1)aₙ₋₁

应用：数值微分中，若原函数为等比数列，差分可放大公比信息。

网友关注：高频问题深度解答

我们收集了 200+ 个数学论坛与知乎讨论，提炼出以下高频问题：