在数学中，我们把极限
$$\lim_{x->\infty}(1+1/x)^x$$

记为e，并且可以计算出e=2.7182818284590452353602...，这是一个与π同等重要的数（甚至有些书认为它比π更重要）。和π一样，这个数也是一个“无理数”。现在我们来证明一下

假设$e=p/q$是有理数，其中p,q是正整数。根据e的麦克劳林展开式，我们有：
$$p/q=e=1+1/2+1/{3!}+...+1/{q!}+\varphi^{q+1}/{(q+1)!}\tag{1}$$$$p/q-(1+1/2+1/{3!}+...+1/{q!})=\varphi^{q+1}/{(q+1)!}\tag{2}$$
其中$\varphi \in(0,1)$

于是，我们将(2)两边同时乘上q!，在左边得到了一个整数，而右边=$\varphi^{q+1}/{(q+1)}$为非整数，于是两者并不相等。这与两者相等矛盾！于是假设并不成立，e是无理数。

这个通过麦克劳林展开式是一个相对简单的证明，当然前提是要懂得e的麦克劳林展开式。相对于维基百科上提供的证明来说，我觉得这个证明相对简洁、直观！

转载到请包括本文地址：https://kexue.fm/archives/196

更详细的转载事宜请参考：《科学空间FAQ》

如果您还有什么疑惑或建议，欢迎在下方评论区继续讨论。

如果您觉得本文还不错，欢迎分享/打赏本文。打赏并非要从中获得收益，而是希望知道科学空间获得了多少读者的真心关注。当然，如果你无视它，也不会影响你的阅读。再次表示欢迎和感谢！

如果您需要引用本文，请参考：

苏剑林. (Oct. 17, 2009). 《关于e是无理数的证明 》[Blog post]. Retrieved from https://kexue.fm/archives/196

@online{kexuefm-196,
        title={关于e是无理数的证明},
        author={苏剑林},
        year={2009},
        month={Oct},
        url={\url{https://kexue.fm/archives/196}},
}