咨询：如何理解e的无理性证明中的一段级数推导

让我一步步帮你理清这段反证法推导的每一步逻辑：

• 反证法的起点：首先我们假设要证的命题不成立——即e是有理数，根据有理数的定义，我们可以把它写成两个互质整数的比值 $e = \frac{p}{q}$（p、q互质是关键，后面导出矛盾会用到这个条件）。同时，我们知道e的无穷级数展开式是 $e = \sum_{k=0}^\infty \frac{1}{k!}$，这是e的核心表达式，也是整个证明的基础。

• 等式替换与不等式推导：既然e同时等于 $\frac{p}{q}$ 和 $\sum_{k=0}^\infty \frac{1}{k!}$，根据等式传递性自然有 $\frac{p}{q} - \sum_{k=0}^\infty \frac{1}{k!} = 0$。但推导里直接跳到了 $\frac{p}{q} - \sum_{k=0}^q \frac{1}{k!} > 0$，这一步的逻辑是：
  无穷级数 $\sum_{k=0}^\infty \frac{1}{k!}$ 可以拆成前q+1项的和 $\sum_{k=0}^q \frac{1}{k!}$，加上从k=q+1到∞的余项 $\sum_{k=q+1}^\infty \frac{1}{k!}$。而余项里的每一项都是正数（k!是正整数，$\frac{1}{k!}$ 必然大于0），所以整个余项的和是正的。也就是说：
  $$e = \sum_{k=0}^q \frac{1}{k!} + \sum_{k=q+1}^\infty \frac{1}{k!} > \sum_{k=0}^q \frac{1}{k!}$$
  因为e就是 $\frac{p}{q}$，代入后自然得到 $\frac{p}{q} - \sum_{k=0}^q \frac{1}{k!} > 0$。

• 余项的等价替换：接下来的 $0 < \frac{p}{q} - \sum_{k=0}^q \frac{1}{k!}$ 只是换了个写法，强调这个差值是介于0和某个数之间的正数。然后推导指出这个差值等于无穷级数的余项：$\sum_{k=0}^\infty \frac{1}{k!} - \sum_{k=0}^q \frac{1}{k!} = \sum_{k=q+1}^\infty \frac{1}{k!}$，这是级数的基本拆分规则——无穷级数的和减去前n项和，剩下的就是从n+1开始的余项和。

补充这段推导的最终目的 #

到这里还没到矛盾点，接下来通常会估计余项的上界：比如把余项放缩成等比数列的和，会发现这个余项的和小于1。但另一方面，把 $\frac{p}{q} - \sum_{k=0}^q \frac{1}{k!}$ 通分后，分子会是一个整数（q乘以每一项 $\frac{1}{k!}$ 当k≤q时都是整数，p也是整数），分母是q!。这就导出了矛盾：一个正整数除以q!（正整数）的结果，既是大于0的，又小于1——但不存在这样的正整数，所以最初“e是有理数”的假设不成立，从而证明e是无理数。

内容的提问来源于stack exchange，提问作者Anne