Try   HackMD

學海無涯,思境無維;數乃六藝,理之始也。
或有一得足矣 愚千慮

Euler’s Identity 的由來

eiπ+1=0

Euler 恆等式究竟怎麼來的,有的人用泰勒展開式去證明,個人總覺得不太恰當,因為泰勒展開式 (除麥克羅琳外) 比歐拉恆等式要晚,可以這麼證明恆等式是對的,和它究竟是如何來的根本是兩個問題,不該混為一談。

Cotes 在 1714 年發現

log(cosx+isinx)=ix()

但比較可能是 Euler 由來的啟發之一,當然另一個更重要的就是棣美弗定理本身才是。

棣美弗定理

(r (cosθ+isinθ))n=rn(cosnθ+isinnθ)

n  n  n =nθ r=1 ()1n(cosθ+isinθ)n=1n(cosnθ+isinnθ)=cosnθ+isinnθ

此即棣美弗定理,其實就是原本複數相乘改成極座標的型式。

(cosθ+isinθ)n=cosnθ+isinnθ

1 的 n 次方根則有 n 個不同複數解 (含實數)

 xn=1, x=cosθ+isinθ(cosθ+isinθ)n=1cosnθ+isinnθ=1nθ=2πk , kZθ=2πkn

每一個解的 n 次方都會落在

2πk 上,也就是

cos2πk+isin(2πk)=cos0+isin0=1

個人所知最合理的解釋

目前為止找到最合理的解釋是林琦焜教授在民國 92 年寫的這篇棣美弗定理與 Euler 公式,其中證明如下:

(cosφ+isinφ)n=cosnφ+isinnφ θ=nφ(cosθn+isinθn)n=cosθ+isinθ nθn0cosθn1, sinθnθnlimn(1+iθn)n=cosθ+isinθ

既然

exp(x):=limn(1+xn)n

那麼想到令

x=iθ

exp(iθ)=limn(1+iθn)n

也就順其自然了,最後再把三者關係都整理一下,

exp(iθ)=limn(1+iθn)n=cosθ+isinθeiθ=cosθ+isinθ

θ=π

eiπ+1=0

tags: math Euler exp