如果要投票評選最優(yōu)美的數(shù)學(xué)公式，歐拉公式一定榜上有名，甚至很可能是位居榜首。它是長這個樣子滴：

在今日頭條里隨便搜索“歐拉公式”，出來的都是下面這個畫風(fēng)

人們對這個公式推崇備至的原因就是所謂的“五元會聚”，即，它把數(shù)學(xué)里面最常用的5個常數(shù)：自然底數(shù)e，虛數(shù)單位i，圓周率π，以及兩個最基礎(chǔ)的數(shù)量單位0和1（有人從哲學(xué)的角度認(rèn)為這代表了“無”和“有”），以巧妙的方式連接在一個公式中。因此很多人從哲學(xué)乃至神學(xué)的角度對它進行詮釋，認(rèn)為它蘊含了宇宙最終極的真理和奧秘，甚至是上帝創(chuàng)造出來的，因而對它頂禮膜拜。

不得不說，筆者當(dāng)年上中學(xué)的時候第一次見到這個公式，也是五體投地，激動地要向黑板下跪。但隨著大學(xué)后學(xué)了越來越多的數(shù)學(xué)知識，漸漸了解了這個公式的來龍去脈，也就沒有當(dāng)初那激動了。其實，對這個公式最淡定的恰恰就是數(shù)學(xué)家們自己，因為他們心里清楚這個公式是被人工構(gòu)造出來的，因此一點兒也不神秘。

今天這篇文章，就是從現(xiàn)代數(shù)學(xué)的觀點來窺探一下這個公式的來龍去脈，揭開它的神秘面紗，來看一看為什么說它一點兒也不神秘。

1.傳統(tǒng)證明

其實，上面那個等式只是歐拉公式的一個特例，真正的歐拉公式是下面這個式子：

其中x是一個實數(shù)。當(dāng)x=π時，帶進式子里就得到：

于是就得到了大名鼎鼎的

因此我們需要先證明最上面的那個歐拉公式。先來說一下大多數(shù)科普文章里出現(xiàn)的證明方法，使用的是泰勒公式。首先寫出e?的泰勒展開式，或更確切地說，麥克勞林展開式：

為了做對比，我們再寫出sinx和cosx的麥克勞林展開式：

我們把e?里面的x替換成ix，再利用i2=-1，i3=-i，i?=1，便有

再把含有i的式子都提出來，并與sinx和cosx的麥克勞林展開式做對比，就變成

這樣就得到了歐拉公式

上面這個證明可以說是非常地簡潔與漂亮。但是很遺憾，從數(shù)學(xué)發(fā)展歷史的角度來看，這個證明并不是很完善，因為在歐拉那個年代，還沒有關(guān)于極限的精確定義，無窮級數(shù)的理論還很不成熟。當(dāng)時的數(shù)學(xué)家也不會考慮收斂域這個問題。e?的泰勒公式里面x是實數(shù)，能不能隨隨便便地就換成復(fù)數(shù)，換成復(fù)數(shù)以后是否還是收斂的，以及e的復(fù)數(shù)次方又是什么含義，這些問題在當(dāng)時都沒有搞清楚。所以歐拉只是天才般的憑借自己的靈感寫下了這個式子，但是它的嚴(yán)格證明則是等后來關(guān)于復(fù)數(shù)和無窮級數(shù)的理論發(fā)展完善之后才有的。

接下來我們從現(xiàn)代數(shù)學(xué)的觀點來看一下這個公式的由來。

2.復(fù)變函數(shù)

要做的第一件事情就是把函數(shù)從實數(shù)推廣到復(fù)數(shù)，即考慮定義域與值域都是復(fù)數(shù)的函數(shù)，這樣的函數(shù)我們稱為復(fù)變函數(shù)。簡單的來寫，就是

這里x，y都是自變量，u，v都是因變量，因此我們寫成更清楚的形式：

這里u(x,y)和v(x,y)都是關(guān)于x和y的二元實值函數(shù)，因此在復(fù)變函數(shù)里面我們普遍的做法就是將其看成兩個實變函數(shù)。從而可以定義復(fù)變函數(shù)的極限，導(dǎo)數(shù)與積分。

當(dāng)然，理論上u(x,y)和v(x,y)可是任意兩個實函數(shù)，它們之間彼此可以沒有任何關(guān)系。是這樣的話研究起來沒有太大的意義，我們希望它還是有某種關(guān)系的。最主要的是我們希望讓函數(shù)是可微的，這樣研究起來才有意義，于是我們就有以下一個非常重要的結(jié)論。

3.柯西-黎曼條件

我們知道，一個實值函數(shù)在某一點可微，是需要滿足一定條件的。同樣道理，一個復(fù)變函數(shù)要想在某一點可微，也需要滿足的一些條件，而且更加嚴(yán)格。它不僅要求在這一點u(x,y)和v(x,y)都是可微的，還需要滿足一個附加條件，即在這一點需要滿足

這個條件是如此之重要，被稱為柯西-黎曼條件。一個公式里面同時出現(xiàn)兩位數(shù)學(xué)大神的名字，也是不多見。

這個條件是個充要條件，意思是說如果函數(shù)可微則一定滿足這個條件；反過來，如果滿足這個條件，則函數(shù)一定可微。證明起來也比較容易，只需要利用可微性的定義：自變量的差值減去因變量差值的常數(shù)倍是一個因變量差值的高階無窮小。同學(xué)們可以很輕松地利用這個定義，把柯西-黎曼條件自己推導(dǎo)出來。

這里想順便多說一句，一方面柯西-黎曼條件的出現(xiàn)使我們可以研究的函數(shù)的范圍大大縮小了，因為只有很少一部分函數(shù)滿足柯西-黎曼條件。另一方面，福兮禍之所倚，禍兮福之所伏。正因為有了柯西-黎曼條件，我們才可以以之為基礎(chǔ)推導(dǎo)出更多的性質(zhì)來。從這個角度講，柯西-黎曼條件是大大的有用。

3.復(fù)指數(shù)冪函數(shù)

有了上述準(zhǔn)備知識，我們就可以來研究復(fù)指數(shù)冪函數(shù)了，即指數(shù)為復(fù)數(shù)的指數(shù)函數(shù)。更通俗的講，e?里當(dāng)x是復(fù)數(shù)的時候，應(yīng)該怎么計算。

我們先回顧一下實值函數(shù)值的情景，對于普通的實值函數(shù)f(x)=e?，它滿足下面兩個條件

數(shù)學(xué)上有這樣一個規(guī)律，當(dāng)你把一個簡單的概念往更高的范圍推廣時，一定要保持在原有范圍內(nèi)的性質(zhì)不能發(fā)生變化。于是我希望來定義一種e的復(fù)數(shù)次冪的計算方法，使得定義出來的這個方法仍然滿足下面兩條性質(zhì)：

其中z，z?，z?都是復(fù)數(shù)。

首先假設(shè)

這里利用的是第二條性質(zhì)，其中A(y)和B(y)就是我們一樣尋找的函數(shù)，用我們前面的符號表示就是：

接下來我們需要讓它滿足第一條，即在任意一點可微，于是需要滿足柯西-黎曼條件，我們分別來求一下四個偏導(dǎo)數(shù)：

在求偏導(dǎo)的過程中千萬要注意，我們是使用了(e?)'=e?這個結(jié)論，這個結(jié)論是極端重要的，我們下面還會談到。

比較一下柯西-黎曼條件，就有

也就是說，我們需要自己找兩個函數(shù)A(y)和B(y)，使他們滿足上面兩個式子，小伙伴們不妨先自己想一想，什么樣的函數(shù)可以呢。

相信聰明的小伙伴們一定很快就能想出來了，在我們學(xué)過的函數(shù)里面確實有兩個可以滿足它：(sinx)'=cosx，(cosx)'=-sinx。因此我們就可以直接讓

當(dāng)然肯定有小伙伴要問，有沒有其它的函數(shù)也滿足這兩個條件。答案是在可微的條件下，沒有其它函數(shù)了。這就是所謂的解析函數(shù)唯一性定理，它告訴我們，在保持函數(shù)解析的情況下，只有這一種可能的結(jié)果，因此我們只能這樣定義。于是我們就來定義復(fù)指數(shù)冪的運算法則

這樣一來就是我們熟悉的歐拉公式了。因此與其說它是一個公式，倒不如是說它是一個定義。不是說為什么左邊等于右邊，而是說左邊這個東西我們一開始不會算，然后我們就直接讓它等于右面這個東西。這樣一來，這個公式的神秘性就大大降低了。

4.關(guān)于e

當(dāng)然還有很多小伙伴們肯定會不服氣：好吧，我承認(rèn)這個是定義出來的，但是這樣定義是因為它要遵循一定的條件，而這個條件也有點太巧合了吧，這里面是不是包含著某種神秘性的東西呢。

其實也不是，我再來進一步解構(gòu)一下。

本文提供了兩種證明方法，第1種證明方法是利用的泰勒展開式，而我們在學(xué)習(xí)高數(shù)的時候肯定自己親手計算過e?的泰勒展式，他之所以長那個樣子，原因就是因為(e?)'=e?，而且它求任意次導(dǎo)都還保持不變。同樣的，對于第2種柯西-黎曼條件的方法，我在文中也特地強調(diào)過，在求偏導(dǎo)的過程中，它所依賴的條件也是(e?)'=e?，所以說(e?)'=e?這個式子才是整個問題的關(guān)鍵。

那我們就來看一下(e?)'=e?又是怎么來的，它里面是否又包含著某些神秘性的東西呢？答案也是否定的，它一點兒也不神秘。

我們希望尋找一個函數(shù)，使得求完導(dǎo)保持不變。根據(jù)導(dǎo)數(shù)的定義來推導(dǎo)發(fā)現(xiàn)，冪函數(shù)，三角函數(shù)，對數(shù)函數(shù)都不符合，唯一有可能滿足的只有指數(shù)函數(shù)，所以我們來考慮f(x)=a?，根據(jù)導(dǎo)數(shù)的定義有

所以只需要讓后面那個帶h的分式極限值是1就可以了，那么我把a選成幾呢？我們通過函數(shù)圖像來試一試，當(dāng)a分別取成2，2.5和3的時候，來看一下這個函數(shù)

從下到上分別是a=2，2.5和3的圖像，可以看出來它依次增高。而2.5在零處的極限值是小于1的，3在零處的極限值是大于1的，因此在2.5和3之間就存在某個數(shù)，使得a等于這個數(shù)的時候，極限的恰好為1。那這個數(shù)是幾呢？對不起，不知道。我們只好拿一個字母來代表它，那索性就用e好了(傳說中的歐拉是想以自己姓名Euler的首字母來表示它)。所以我們會有(e?)'=e?。至于后來我們知道e=2.71828...，那是后面的故事了。

當(dāng)然還有另外一個來源，就是在計算復(fù)利公式中

不過這個式子與本文并無直接關(guān)系，因此就不再多著筆墨了。

因此在e?求導(dǎo)式子中，人工定義的痕跡更為明顯。不是說為什它求完導(dǎo)之后還保持不變，而是說有一個東西求完導(dǎo)保持不變的東西，那我們把它稱為e。這個道理，就好比說紅玫瑰是紅色的，難道這么巧嘛，當(dāng)然不是，而是因為我們把紅色的玫瑰叫成紅玫瑰。這樣一來，就更沒有什么神秘性可言了。

5.結(jié)語

從上面的分析過程可以看出，雖然是有諸多線索，但歐拉公式仍然是被人工定義出來的。這樣一來，也就沒有絲毫神秘性可言了。換句話說，這個公式你可以說它美妙，說它精巧，但是它并不神秘。其實，這種事情在其他地方我們也經(jīng)常干。比如我們知道在一個大氣壓下，正好是100攝氏度的時候水沸騰，那么巧的嗎？當(dāng)然不是。而是水從液體到氣體中間總有這樣一個臨界溫度，我們就把這個溫度定義為100度。從固體到液體也有這樣一個臨界溫度，我們定義為零度，這之間分成100份，一份就是一度。表面上看起來和諧且美妙，但實際背后是人工操作的結(jié)果。