在複分析的應用 编辑
這公式可以說明當 x {\displaystyle x} 為實數 時,函數 e i x {\displaystyle e^{ix}} 可在複數 平面描述一單位圓 。且 x {\displaystyle x} 為此平面上一條連至原點的線與正實數軸的交角。先前一個在複數平面的複點只能用笛卡尔坐标系 描述,歐拉公式在此提供複點至極坐標 的變換
任何複數 z = x + y i {\displaystyle z=x+yi} 皆可記為
z = x + i y = | z | ( cos ϕ + i sin ϕ ) = | z | e i ϕ {\displaystyle z=x+iy=|z|(\cos \phi +i\sin \phi )=|z|e^{i\phi }\,} z ¯ = x − i y = | z | ( cos ϕ − i sin ϕ ) = | z | e − i ϕ {\displaystyle {\bar {z}}=x-iy=|z|(\cos \phi -i\sin \phi )=|z|e^{-i\phi }\,} 在此
x = R e { z } {\displaystyle x=\mathrm {Re} \{z\}\,} 為實部 y = I m { z } {\displaystyle y=\mathrm {Im} \{z\}\,} 為虛部 | z | = x 2 + y 2 {\displaystyle |z|={\sqrt {x^{2}+y^{2}}}} 為 z {\displaystyle z} 的模 ϕ = a t a n 2 ( y , x ) {\displaystyle \phi =\mathrm {atan2} {(y,x)}} ,其中 a t a n 2 ( y , x ) = { arctan ( y x ) x > 0 π + arctan ( y x ) y ≥ 0 , x < 0 − π + arctan ( y x ) y < 0 , x < 0 π 2 y > 0 , x = 0 − π 2 y < 0 , x = 0 undefined y = 0 , x = 0 {\displaystyle \mathrm {atan2} {(y,x)}={\begin{cases}\arctan \left({\frac {y}{x}}\right)&\qquad x>0\\\pi +\arctan \left({\frac {y}{x}}\right)&\qquad y\geq 0,x<0\\-\pi +\arctan \left({\frac {y}{x}}\right)&\qquad y<0,x<0\\{\frac {\pi }{2}}&\qquad y>0,x=0\\-{\frac {\pi }{2}}&\qquad y<0,x=0\\{\text{undefined}}&\qquad y=0,x=0\end{cases}}} 历史 编辑
約翰·伯努利 注意到有[4]
1 1 + x 2 = 1 2 ( 1 1 − i x + 1 1 + i x ) . {\displaystyle {\frac {1}{1+x^{2}}}={\frac {1}{2}}\left({\frac {1}{1-ix}}+{\frac {1}{1+ix}}\right).} 并且由于
∫ d x 1 + a x = 1 a ln ( 1 + a x ) + C , {\displaystyle \int {\frac {dx}{1+ax}}={\frac {1}{a}}\ln(1+ax)+C,} 上述公式通过把自然对数和复数(虚数)联系起来,告诉我们关于複對數 的一些信息。然而伯努利并没有计算出这个积分。
欧拉也知道上述方程,伯努利对欧拉的回应表明他还没有完全理解复对数。欧拉指出复对数可以有无穷多个值。
与此同时,罗杰·柯特斯 于 1714 年发现[5]
i x = ln ( cos x + i sin x ) . {\displaystyle ix=\ln(\cos x+i\sin x).} 由于三角函数的周期性,一个复数可以加上 2i π 的不同倍数,而它的复对数可以保持不变。
1740年左右,欧拉把注意力从对数转向指数函数,得到了以他命名的欧拉公式。欧拉公式通过比较指数的级数展开和三角函数得到(其实此证法存在问题,原因见验证方法 ,但结论正确。),于1748年发表[6] [5] 。
大约50年之后,卡斯帕尔·韦塞尔 提出可以把复数視做复平面 中的点。
形式 编辑 证明 编辑 验证方法 编辑
方法一:泰勒级数 把函数 e x {\displaystyle e^{x}\,} 、 cos x {\displaystyle \cos x\,} 和 sin x {\displaystyle \sin x\,} 写成泰勒级数形式: e x = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ {\displaystyle e^{x}=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots } cos x = 1 − x 2 2 ! + x 4 4 ! − x 6 6 ! + ⋯ {\displaystyle \cos x=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots } sin x = x − x 3 3 ! + x 5 5 ! − x 7 7 ! + ⋯ {\displaystyle \sin x=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots } 将 x = i z {\displaystyle x=iz\,} 代入 e x {\displaystyle e^{x}\,} 可得: e i z = 1 + i z + ( i z ) 2 2 ! + ( i z ) 3 3 ! + ( i z ) 4 4 ! + ( i z ) 5 5 ! + ( i z ) 6 6 ! + ( i z ) 7 7 ! + ( i z ) 8 8 ! + ⋯ = 1 + i z − z 2 2 ! − i z 3 3 ! + z 4 4 ! + i z 5 5 ! − z 6 6 ! − i z 7 7 ! + z 8 8 ! + ⋯ = ( 1 − z 2 2 ! + z 4 4 ! − z 6 6 ! + z 8 8 ! − ⋯ ) + i ( z − z 3 3 ! + z 5 5 ! − z 7 7 ! + ⋯ ) = cos z + i sin z {\displaystyle {\begin{aligned}e^{iz}&=1+iz+{\frac {(iz)^{2}}{2!}}+{\frac {(iz)^{3}}{3!}}+{\frac {(iz)^{4}}{4!}}+{\frac {(iz)^{5}}{5!}}+{\frac {(iz)^{6}}{6!}}+{\frac {(iz)^{7}}{7!}}+{\frac {(iz)^{8}}{8!}}+\cdots \\&=1+iz-{\frac {z^{2}}{2!}}-{\frac {iz^{3}}{3!}}+{\frac {z^{4}}{4!}}+{\frac {iz^{5}}{5!}}-{\frac {z^{6}}{6!}}-{\frac {iz^{7}}{7!}}+{\frac {z^{8}}{8!}}+\cdots \\&=\left(1-{\frac {z^{2}}{2!}}+{\frac {z^{4}}{4!}}-{\frac {z^{6}}{6!}}+{\frac {z^{8}}{8!}}-\cdots \right)+i\left(z-{\frac {z^{3}}{3!}}+{\frac {z^{5}}{5!}}-{\frac {z^{7}}{7!}}+\cdots \right)\\&=\cos z+i\sin z\end{aligned}}} 方法二:求導法 对于所有 x ∈ I {\displaystyle x\in I} ,定義函數 f ( x ) = cos x + i sin x e i x {\displaystyle f(x)={\frac {\cos x+i\sin x}{e^{ix}}}} 由於 e i x ⋅ e − i x = e 0 = 1 {\displaystyle e^{ix}\cdot e^{-ix}=e^{0}=1} 可知 e i x {\displaystyle e^{ix}\,} 不可能為0,因此以上定義成立。 f ( x ) {\displaystyle f(x)\,} 之导数為: f ′ ( x ) = ( − sin x + i cos x ) ⋅ e i x − ( cos x + i sin x ) ⋅ i ⋅ e i x ( e i x ) 2 = − sin x ⋅ e i x − i 2 sin x ⋅ e i x ( e i x ) 2 = − sin x ⋅ e i x + sin x ⋅ e i x ( e i x ) 2 = 0 {\displaystyle {\begin{aligned}f'(x)&={\frac {(-\sin x+i\cos x)\cdot e^{ix}-(\cos x+i\sin x)\cdot i\cdot e^{ix}}{(e^{ix})^{2}}}\\&={\frac {-\sin x\cdot e^{ix}-i^{2}\sin x\cdot e^{ix}}{(e^{ix})^{2}}}\\&={\frac {-\sin x\cdot e^{ix}+\sin x\cdot e^{ix}}{(e^{ix})^{2}}}\\&=0\end{aligned}}} 设 [ a , b ] ∈ I {\displaystyle [a,b]\in I} 和 c ∈ ( a , b ) {\displaystyle c\in (a,b)} f ′ ( c ) = f ( b ) − f ( a ) b − a . {\displaystyle f'(c)={\frac {f(b)-f(a)}{b-a}}.} (拉格朗日中值定理 ) ∵ f ′ ( x ) = 0 {\displaystyle \because f'(x)=0} ∴ f ′ ( c ) = 0 {\displaystyle \therefore f'(c)=0} f ( a ) = f ( b ) {\displaystyle f(a)=f(b)} 因此 f ( x ) {\displaystyle f(x)\,} 必是常數函數 。 f ( x ) = f ( 0 ) {\displaystyle f(x)=f(0)} {\displaystyle } cos x + i sin x e i x = cos 0 + i sin 0 e 0 = 1 {\displaystyle {\frac {\cos x+i\sin x}{e^{ix}}}={\frac {\cos 0+i\sin 0}{e^{0}}}=1} 重新整理,即可得到: e i x = cos x + i sin x {\displaystyle e^{ix}=\cos x+i\sin x} 方法三:微積分 找出一个原函數 y ( x ) {\displaystyle y(x)} ,使得 d y d x = i y {\displaystyle {\frac {dy}{dx}}=iy} 及 y ( 0 ) = 1 {\displaystyle y(0)=1} 。 假设 y ( x ) = e i x {\displaystyle y(x)=e^{ix}} ,有: d d x e i x = i e i x = i y {\displaystyle {\frac {d}{dx}}e^{ix}=ie^{ix}=iy} 假设 y ( x ) = i sin x + cos x {\displaystyle y(x)=i\sin x+\cos x} ,有: d d x ( cos x + i sin x ) = − sin x + i cos x = i ( i sin x + cos x ) = i y {\displaystyle {\begin{aligned}{\frac {d}{dx}}(\cos x+i\sin x)&=-\sin x+i\cos x\\&=i(i\sin x+\cos x)\\&=iy\end{aligned}}} 使用積分法,可得 i y {\displaystyle iy} 的原函數是以上兩個函數分别与任意实数的和,分别记为: y 1 ( x ) = e i x + C 1 {\displaystyle y_{1}(x)=e^{ix}+C_{1}} y 2 ( x ) = cos x + i sin x + C 2 {\displaystyle y_{2}(x)=\cos x+i\sin x+C_{2}} 其中, C 1 {\displaystyle \mathbb {C} _{1}} 和: C 2 {\displaystyle \mathbb {C} _{2}} 是任意实数。 又 x = 0 {\displaystyle x=0} 時, y ( 0 ) = 1 {\displaystyle y(0)=1} ,观察到: y 1 ( 0 ) = e i 0 + C 1 = e 0 + C 1 = 1 + C 1 {\displaystyle y_{1}(0)=e^{i0}+C_{1}=e^{0}+C_{1}=1+C_{1}} y 2 ( 0 ) = cos 0 + i sin 0 + C 2 = 1 + i ( 0 ) + C 2 = 1 + C 2 {\displaystyle y_{2}(0)=\cos 0+i\sin 0+C_{2}=1+i(0)+C_{2}=1+C_{2}} 所以 C 1 = C 2 = 0 {\displaystyle C_{1}=C_{2}=0} ,可以得出: y ( x ) = e i x = cos x + i sin x {\displaystyle {\begin{aligned}y(x)&=e^{ix}=\cos x+i\sin x\end{aligned}}} cis函數 编辑 檢定和角公式 编辑 參見 编辑 参考资料 编辑 ^ Eulers Formula . 密蘇里科技大學 . [2021-06-13 ] . (原始内容存档 于2020-02-21). ^ 2.0 2.1 Moskowitz, Martin A. A Course in Complex Analysis in One Variable. World Scientific Publishing Co. 2002: 7. ISBN 981-02-4780-X . ^ Feynman, Richard P. The Feynman Lectures on Physics, vol. I. Addison-Wesley. 1977: 22-10. ISBN 0-201-02010-6 . ^ Bernoulli, Johann. Solution d'un problème concernant le calcul intégral, avec quelques abrégés par rapport à ce calcul [Solution of a problem in integral calculus with some notes relating to this calculation]. Mémoires de l'Académie Royale des Sciences de Paris. 1702, 1702 : 197–289. ^ 5.0 5.1 John Stillwell. Mathematics and Its History . Springer. 2002 [2018-07-17 ] . (原始内容存档 于2019-06-04). ^ Leonard Euler (1748) Chapter 8: On transcending quantities arising from the circle (页面存档备份 ,存于互联网档案馆 ) of Introduction to the Analysis of the Infinite, page 214, section 138 (translation by Ian Bruce, pdf link from 17 century maths). ^ 张, 筑生. 数学分析新讲(第一册). 北京大学出版社. 1990.