首页 > 代码库 > 关于欧拉公式证明的一个延拓

关于欧拉公式证明的一个延拓

现在,我们通过几种不同的方法来阐述下欧拉公式的证明思想,即证明,e^πi + 1=0.

首先指数函数是定义在实数域上的,现在要延拓到复数域上,首先要定义e^i, e^ix是什么,严格地说,这是一种定义,而且,这个定义是合理的.

e^ix=cosx+isinx,e是自然对数的底,i是虚数单位,他将三角函数的定义域扩大到复数,建立了三角函数和指数函数的关系,它在复变函数论里占有非常重要的地位.

证法1:

泰勒中值定理:

若函数f(x)在开区间(a,b)有直到n+1阶的导数,则当函数在此区间内时,可以展开为一个关于(x-x0)多项式和一个余项的和:
 
f(x)=f(x0)+f‘(x0)(x-x0)+f‘‘(x0)/2!.(x-x0)^2,+f‘‘‘(x0)/3!.(x-x0)^3+...+f(n)(x0)/n!.(x-x0)^n+Rn

其中,Rn=f(n+1)(ξ)/(n+1)!.(x-x0)^(n+1),这里ξ在x和x0之间,该余项称为拉格朗日型的余项.

注:f(n)(x0)是f(x0)的n阶导数,不是f(n)与x0的相乘.

用此定理可以将任何有n阶导数的函数展开成多项式的形式

所以,e^x,cosx,sinx:

e^x=1+x/1!+x^2/2!+x^3/3!+x^4/4!+...

cos x=1-x^2/2!+x^4/4!-x^6/6!...

sin x=x-x^3/3!+x^5/5!-...

在e^x的展开式中把x换成±ix,则:

e^±ix

=1±x/1!-x^2/2!+x^3/3!?x^4/4!...

=(1-x^2/2!+...)±i(x-x^3/3!...)

所以,e^±ix=cosx±isinx

将x换成-x,可得:

e^-ix=cosx-isinx

然后采用两式相加减的方法得到:

sinx=(e^ix-e^-ix)/(2i)

cosx=(e^ix+e^-ix)/2

这两个也叫做欧拉公式

将e^ix=cosx+isinx中的x取作π

就得到:e^iπ+1=0

注:(±i)^2=-1,(±i)^3=?i,(±i)^4=1...

证法2:

证明之前需要定义exp,sin,cos函数和π

1.定义exp

先来定义exp函数,我们定义复指数函数,对于z,定义exp(z)为:

技术分享

采用复级数的比例判别法可知,对于每个z,exp(z)都收敛,还有,exp(z)在C是复解析的.

exp(z)的性质有:

exp(z+w)=exp(z)exp(w)

~exp(z)=exp(~z)

定义欧拉数e为:

技术分享

根据exp函数的性质第一点可以证明,对于每个实数x,有exp(x)=e^x

根据这个命题,我们将交互的使用记号,exp(x)和e^x

但是,如果,z是复数,那么,e^z则没有指数的含义,只有exp(z)的另一种写法.

2.定义三角函数

再来定义三角函数,如果,z是复数,那么,定义:

技术分享

技术分享

分别把cos和sin叫做余弦函数、正弦函数.

由定义可知,对于复数z,有:

技术分享

从exp的幂级数定义,可得:

技术分享

技术分享

一般我们只用到实三角函数,同样三角函数在C上是复解析的,三角函数的性质有,设:x,y是实数,那么,有如下各式:

技术分享

且对于一切x∈R,有:

技术分享

技术分享

技术分享

设,E是集合,E:={x∈(0,∞):sin(x)=0},根据三角函数的性质,可知,存在c>0,使得E包含于[c,∞),且,还有E是R中的闭集,于是,E含有他的一切附着点,从而,含有inf(E).

3.定义π

定义π,为:

π:=inf{x∈(0,∞):sin(x)=0}

于是,π∈E包含于[c,∞),那么,π>0,而且,sin(π)=0,同样,根据三角函数的性质,可以断定:cos(π)<1,由于sin^2(π)+cos^2(π)=1,所以,cos(π)=-1.

于是,得到了欧拉定理公式

技术分享

即,技术分享

此公式,将数学里最重要的几个数字联系到了一起.

两个超越数:自然对数的底e,圆周率π,两个单位:虚数单位i和自然数的单位1,以及数学里常见的0,数学家们评价它是上帝创造的公式,我们只能看他而不能理解它.

注意:

R + V - E=2,这是欧拉定理,欧拉定理实际上是费马小定理的推广.

技术分享,这是欧拉公式(之一).

关于欧拉公式证明的一个延拓