早期的文章僅用e的無窮級數形式,證明了e是無理數,既簡單又直觀,但對於證明e是超越數是非常的複雜和困難的,首次證明e的超越性是由法國大數學家埃爾米特,這位數學家卻因大學數學考試從不及格,卻又在大學時期就提出滲透數學各個領域的定理,矩陣,公式而聞名於世。
既然是證明它的超越性,超越數顯著的特點就是它不是任意整係數代數方程的根,我們看帶入一元二次方程(早期的文章有更詳細的闡述和證明)
化簡,最終得到整數+小數=整數的結論,這是不可能的,所以e不是任意任意整係數一元二次方程的根(INTEGER--整數。SAMLL--很小的數)
因為可證明左邊灰色括號內的很小的數:大於0小於1
我們帶入整係數的三次方程看看
同理將e的一次,二次,三次方化成分數的形式的,帶入一元三次方程
化簡最終得到
化簡後的結論:黑色方框是整數,灰色方框是很小的數,但難以證明這個很小的數大於0小於1,如果黑的框內的整數部分等於0,灰色框內也等於0.如下等式就是成立的,這樣e就不是超越數了
為了證明這個難點:必須運用歐拉發明的伽瑪函數積分,來構造一個整係數的多項式P(X),這在前期文章《數學高難度系列:證明伽瑪函數積分的一些重要推論》《伽瑪函數積分與自然常數e的無窮級數之間的重要關係》一文中詳細的說明了這一點
最終構造的這個多項式,既可以得到式子中很小那部分的數,也可以得到e所表示的分數中的整數部分A,B,C,D,只要能構造出這個多項式,也就得出了整數+小數=0的推論相矛盾的一面。如下圖是e^3下的P(X)多項式
要理解請詳細參閱證明超越性的基礎性文章《數學高難度系列:證明伽瑪函數積分的一些重要推論》《伽瑪函數積分與自然常數e的無窮級數之間的重要關係》。這才是證明e的超越性的第一步。