1 + 2 + 3 + … + n = ? 这个问题是等差数列求和的经典问题，结果是 n(n+1) / 2。 下面我们用多种方法来解释这个公式的由来，力求将这个问题讲透彻。

一、高斯解法 (巧妙的配对)

这可能是最广为人知的解法，传说高斯小时候用这种方法快速算出了1加到100的结果。 核心思想是“配对求和”。

• 把数列倒过来写： n + (n-1) + (n-2) + … + 1

• 将正序和倒序的数列对应项相加：

  (1 + n) + (2 + n-1) + (3 + n-2) + … + (n + 1)
  * 你会发现每一对的和都是 (n+1)。
  * 总共有 n 对这样的和，所以总和是 n * (n+1)。
  * 但因为我们把原数列加了两遍，所以最终结果要除以2。

因此，1 + 2 + 3 + … + n = n(n+1) / 2

举例：1 + 2 + 3 + 4 + 5

• 正序： 1 2 3 4 5
• 倒序： 5 4 3 2 1
• 相加： 6 6 6 6 6 (5个6)
• 总和： 5 * 6 = 30
• 除以2： 30 / 2 = 15

二、面积法 (几何直观)

我们可以用几何图形来表示这个数列的和。 想象一个阶梯，每一阶的高度分别是 1, 2, 3, …, n。

• 这个阶梯的总面积就代表了 1 + 2 + 3 + … + n 的和。
• 将这个阶梯复制一份，然后旋转180度，与原阶梯拼在一起。
• 你会得到一个长方形，它的长是 (n+1)，宽是 n。
• 长方形的总面积是 n * (n+1)。
• 由于我们复制了一份阶梯，所以原阶梯的面积（即数列的和）是长方形面积的一半。

因此，1 + 2 + 3 + … + n = n(n+1) / 2

三、数学归纳法 (严谨的证明)

数学归纳法是一种严谨的证明方法，用于证明某个命题对所有自然数都成立。

1. 基础情况 (Base Case): 当 n = 1 时，公式成立吗？
   • 左边：1
   • 右边：1 * (1+1) / 2 = 1
   • 公式成立。
2. 归纳假设 (Inductive Hypothesis): 假设当 n = k 时，公式成立，即 1 + 2 + 3 + … + k = k(k+1) / 2

3. 归纳步骤 (Inductive Step): 我们要证明当 n = k+1 时，公式也成立，即 1 + 2 + 3 + … + (k+1) = (k+1)(k+2) / 2

   • 从左边开始：
     1 + 2 + 3 + … + (k+1) = (1 + 2 + 3 + … + k) + (k+1) (将最后一项拆出来)
   • 根据归纳假设，我们可以将括号里的部分替换为 k(k+1) / 2：
     k(k+1) / 2 + (k+1)
   • 通分，得到：
     [k(k+1) + 2(k+1)] / 2
   • 提取公因式 (k+1)：
     (k+1)(k+2) / 2
   • 这正是我们要证明的右边的形式！

因为我们证明了基础情况成立，并且假设 n = k 时成立，可以推出 n = k+1 时也成立，所以根据数学归纳法，公式对所有自然数 n 都成立。

四、差分法 (探究规律)

这种方法更适用于理解等差数列的本质，但稍微复杂一些。

设 S(n) = 1 + 2 + 3 + … + n

我们可以构造一个多项式函数来表示 S(n)，因为我们知道这是一个二次函数（从 n(n+1)/2 可以看出来）。 设 S(n) = an² + bn + c

• S(1) = 1 = a + b + c
• S(2) = 3 = 4a + 2b + c
• S(3) = 6 = 9a + 3b + c

解这个三元一次方程组，可以得到：

• a = 1/2
• b = 1/2
• c = 0

所以 S(n) = (1/2)n² + (1/2)n = n(n+1) / 2

总结

我们通过高斯解法（配对）、面积法（几何直观）、数学归纳法（严谨证明）以及差分法（探究规律）等多种方法，深入理解了1 + 2 + 3 + … + n = n(n+1) / 2 这个公式的由来。 希望这些方法能帮助你更深刻地理解这个数学问题的本质。