如何将欧拉公式证明过程描述成一句?
摘要:欧拉公式的证明 前言 在数学史上,有一个令人着迷的公式: [ e^{ipi}+1=0 ] 它将数学里最重要的几个数字联系到了一起:两个超越数:自然常数 (e) ,圆周率 (pi) ,虚数单位 (i) 和
欧拉公式的证明
前言
在数学史上,有一个令人着迷的公式:
\[e^{i\pi}+1=0
\]
它将数学里最重要的几个数字联系到了一起:两个超越数:自然常数 \(e\) ,圆周率 \(\pi\) ,虚数单位 \(i\) 和自然数的单位 \(1\) ,以及被称为人类伟大发现之一的 \(0\) 。因为它过于完美,所以数学家们评价它是“上帝创造的公式”。
要证明上帝创造的公式了,好激动
证明:
前置知识🧀 :
复数以及三角函数
微积分以及泰勒展开
正式证明:
在证明欧拉公式之前,我们先来看一下这个公式:
\[e^{i\alpha}=\cos \alpha+i\cdot \sin \alpha
\]
那么很显然,欧拉公式就是当 \(\alpha\) 取到 \(\pi\) 时的特殊情况(\(\alpha\) 为弧度制),因为 \(\cos \pi=-1,\sin \pi=0\) ,移项即可。
接下来证明这个公式即可。其实这个公式用处还是挺大的,因为复数有三种表示形式:坐标式,三角式和指数式,即:
\[a+bi=r(\cos \theta+i\cdot \sin \theta)=r\cdot e^{i\theta}
\]
显然就可以看出公式成立,好吧证明一下。
我们设 \(f(x)=e^{ix},g(x)=\cos x+i\cdot \sin x\) ,那么如何证明这两个函数相等?
很显然,如果我们能够证明两个函数的图像完全一致,那么就可以说明这两个函数相等。
既然说到函数的图像,那么自然而然地就能想到分别将这两个函数泰勒展开,为了方便,这里就将其在 \(0\) 处展开(也称麦克劳林展开)。
我们分别写出这两个函数的一阶导数,二阶导数,三阶导数,四阶导数……
将 \(f(x)\) 求导得:
\[\begin{aligned}
f'(x)&=i\cdot e^{ix}\\
f''(x)&=-e^{ix}\\
f'''(x)&=-i\cdot e^{ix}\\
f''''(x)&=e^{ix}\\
\end{aligned} \\
\vdots
\]
将 \(g(x)\) 求导得:
\[\begin{aligned}
g'(x)&=-\sin x+i\cdot \cos x\\
g''(x)&=-\cos x-i\cdot \sin x\\
g'''(x)&=\sin x-i\cdot \cos x\\
g''''(x)&=\cos x+i\cdot \sin x\\
\end{aligned} \\
\vdots
\]
我们发现,这两个函数的导数都是每四个为一个循环,并将将其麦克劳林展开式都为:
\[h(x)=1+ix-\frac{1}{2!}x-\frac{i}{3!}x+\frac{1}{4!}x+\frac{i}{5!}x-\ldots
\]
至此,我们就证明了 \(f(x)\) 和 \(g(x)\) 是相等的,即 \(e^{i\alpha}=\cos \alpha+i\cdot \sin \alpha\) ,将 \(\alpha=\pi\) 代入即可得到 \(e^{i\pi}+1=0\) 。
后话:
微积分无所不能!!!
有一说一,微积分是真的挺好用的。
其实,学习知识更是学习一种工具,用来满足自己对世界无穷无尽的好奇。发明知识,发明算法,就是发明了一件更为趁手的工具。而借助这件工具,许多之前看起来不可能解决的问题都能迎刃而解。
