数学常数
是一个超越数。
换句话说,它不是任何以整数为系数的多项式的根。
证明
[编辑 | 编辑源代码]
假设
是代数的,所以存在一个多项式
![{\displaystyle P(x)=a_{0}+a_{1}x+a_{2}x^{2}+\cdots +a_{n}x^{n}\in \mathbb {Z} [x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d698e8a0d104d6b3c5d3efacd0650d8a492fc27)
使得
.
第一部分
[编辑 | 编辑源代码]
令
为度数为
的多项式。定义
。对其求导得到

定义
。对其求导得到
![{\displaystyle G'\!(x)=e^{-x}F'\!(x)-e^{-x}F(x)=e^{-x}{\bigl [}F'\!(x)-F(x){\bigr ]}=-e^{-x}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1592be499cd7a45c4a8729408dfcb2bc10d5a4c5)
由于
可微,我们将对区间
应用 均值定理,其中
。因此,存在一个
,使得

现在设
![{\displaystyle {\begin{aligned}&F(m)-e^{m}F(0)=-m\,e^{m-x_{m}}f(x_{m})=A_{m}\\[6pt]&a_{m}F(m)-a_{m}e^{m}F(0)=a_{m}A_{m}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a80e3a67fa53260b08ba5269114f4b693b10171b)
将所有项相加,得
![{\displaystyle {\begin{aligned}\sum _{m\,=\,1}^{n}a_{m}F(m)-\sum _{m\,=\,1}^{n}a_{m}e^{m}F(0)=\sum _{m\,=\,1}^{n}a_{m}A_{m}\\[6pt]\sum _{m\,=\,1}^{n}a_{m}F(m)-F(0)\sum _{m\,=\,1}^{n}a_{m}e^{m}=\sum _{m\,=\,1}^{n}a_{m}A_{m}\\[6pt]\sum _{m\,=\,1}^{n}a_{m}F(m)-F(0)(-a_{0})=\sum _{m\,=\,1}^{n}a_{m}A_{m}\\[6pt]\sum _{m\,=\,0}^{n}a_{m}F(m)=\sum _{m\,=\,1}^{n}a_{m}A_{m}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/270f7f6f93c3bc27b32858590ea76b4641c7904b)
第二部分
[编辑 | 编辑源代码]
令
是一个多项式,其根为
,重数为
。我们将证明,对于所有
,我们得到
。
让我们写
,使得
是一个多项式,并且
。
![{\displaystyle {\begin{aligned}f^{(1)}\!(x)&=d(x-x_{0})^{d-1}Q_{0}(x)+(x-x_{0})^{d}Q_{0}'(x)\\[5pt]&=(x-x_{0})^{d-1}{\Big [}d\,Q_{0}(x)+(x-x_{0})Q_{0}'(x){\Big ]}\\[5pt]&=(x-x_{0})^{d-1}Q_{1}(x)\\[5pt]Q_{1}(x_{0})&=d\,Q_{0}(x_{0})\neq 0\\\\[5pt]f^{(2)}\!(x)&=(d-1)(x-x_{0})^{d-2}Q_{1}(x)+(x-x_{0})^{d-1}Q_{1}'(x)\\[5pt]&=(x-x_{0})^{d-2}{\Big [}(d-1)Q_{1}(x)+(x-x_{0})Q_{1}'(x){\Big ]}\\[5pt]&=(x-x_{0})^{d-2}Q_{2}(x)\\[5pt]Q_{2}(x_{0})&=(d-1)Q_{1}(x_{0})\neq 0\\[5pt]&\,\,\,\vdots \\[5pt]f^{(d-1)}\!(x)&=2(x-x_{0})Q_{d-2}(x)+(x-x_{0})^{2}Q_{d-2}'(x)\\[5pt]&=(x-x_{0}){\Big [}2Q_{d-2}(x)+(x-x_{0})Q_{d-2}'(x){\Big ]}\\[5pt]&=(x-x_{0})Q_{d-1}(x)\\[5pt]Q_{d-1}(x_{0})&=2Q_{d-2}(x_{0})\neq 0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e90b41822d07530ca2d1069413f4e69df3280c31)
其中
都是多项式。
第三部分
[编辑 | 编辑源代码]
现在我们定义一个多项式
![{\displaystyle {\begin{aligned}f(x)&={\frac {1}{(p-1)!}}\,x^{p-1}{\bigl [}(1-x)(2-x)\cdots (n-x){\bigr ]}^{p}\\[5pt]&={\frac {(n!)^{p}}{(p-1)!}}x^{p-1}+\!\!\sum _{m\,=\,p}^{(n+1)p-1}\!\!\!{\frac {b_{m}}{(p-1)!}}x^{m}\quad :b_{m}\in \mathbb {Z} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a8a45520f4ec461bffa5cd57370e2eb4f7bc7d3)
对于素数
,满足
且
。我们得到

因此,对于所有
,函数
是一个具有整数系数的多项式,所有系数都可被
整除。
根据第 2 部分,对于所有
,我们得到

因此,
也是一个可被
整除的整数。
另一方面,对于
,我们得到

但
,且
不被
整除。因此
不被
整除。
换句话说,和
是一个不被
整除的整数,特别是它不等于零。
第四部分
[edit | edit source]
根据第一部分,对所有
,我们有
。因此,
![{\displaystyle {\begin{aligned}A_{m}&=-m\,e^{m-x_{m}}f(c_{m})=-{\frac {m\,e^{m-x_{m}}}{(p-1)!}}\,(x_{m})^{p-1}{\bigl [}(1-x_{m})(2-x_{m})\cdots (n-x_{m}){\bigr ]}^{p}\\[5pt]|A_{m}|&={\frac {m\,e^{m-x_{m}}}{(p-1)!}}\,(x_{m})^{p-1}{\Big |}(1-x_{m})(2-x_{m})\cdots (n-x_{m}){\Big |}^{p}\\[5pt]&\leq {\frac {ne^{n}}{(p-1)!}}\,n^{p-1}(1\cdot 2\cdots n)^{p}=e^{n}{\frac {(n\cdot n!)^{p}}{(p-1)!}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d472f08a78d8cb3638534baeccfbeddccb71e43)
根据三角不等式,我们得到

但是
,因此对于足够大的
,我们得到
。矛盾。