千文网小编为你整理了多篇相关的《欧拉定理 证明(范文2篇)》,但愿对你工作学习有帮助,当然你在千文网还可以找到更多《欧拉定理 证明(范文2篇)》。
欧拉公式
eicosisin的证明方法和应用
i摘要:在复数域内用几种不同的方法证明欧拉公式ecosisin,举例说明欧拉公式在数学中的几类应用,通过总结多种方法看问题的思想来解决问题,通过几种不同种类的问题的解决方案让读者更加明白欧拉公式在学习中的多方面思想和数学中的重要性。关键词:欧拉公式、微分中值定理、证明、应用、三角函数
1.欧拉公式意义简说
在我们所学过的指数函数和三角函数在实数域中几乎没有什么联系,在复数域中却可以相互转换,被ecosisin这简单的关系联系在一起,这个一直盘踞在许多研究家心里的欧拉公式,有着很多很多的疑问,特别是当时,有e1,即e10,这个等式将数学中的最富有特色的五个数0、1、i、e、联系在一起,0,1是实数中特殊的数字,i 是一个很重要的虚数单位,e是无理数它取自瑞士数学家欧拉(Euler,1707-1783)的英文开头[5]。它们在数学中各自都有发展的方面。因是圆周率在公园前就被定义为“周长与直径的比”
此e+1=0公式充分揭示了数学的统一性、简洁性和奇异性。了解这些内容对于学习高等数学,对于我们在研究较深的数学问题上有很大帮助。
iiii
2.欧拉公式的证明简述
在这里,我把几种证明欧拉公式的方法总结在一起,对学者学习欧拉公式提供多方面的题材,并作出知识的一种综合理解。
2.1幂级数展开式的证明法
引用三角函数和指数函数“幂级数展开式”证明欧拉公式ecosisin,2.2复指数定义法
用复指数定义ee
2.3类比法求导法
通过实函数的性质来对复函数进行求导运算(附件①),通过构造f(x)
ixzxiyie(cosyisiny),证明欧拉公ecosisin xiixcosxisinx,f(x)0用lagrange微分中值定理推论[3],从而证明f(x)1,使得ecosxisinx
2.4分离变量积分法
假设zcosxisinx,求导得dzdziz,通过分离变量得idx,,然后两边取积分得dxz
Lnzix,所以得ecosxisinx.3.欧拉公式的证明方法
3.1幂级数展开式的证明方法:
3.1.1三角函数的“麦克劳林级数”[1] : ix
sin(z)z3!355!
4(1)n12n2n1(zn1)!n, cos(z)122!24!(1)(2n)!, 3.1.2指数函数的“麦克劳林级数”:[1]
e
ez1z2!nn!, 当用iz代替 z时,那么 iz(iz)1iz2!2(iz)n!n
(12
2!4
4!)i(z3!355!)
coszisinz
当z时,得到ecosisin。
3.2复指数定义法:
对于任何复数zxiy(x,yR),有
ii(证完)ezexiye(cosyisiny)[2],当x=0时,另xy,有ecosisin(证完)
3.3类比求导法:
3.3.1构造函数f(x)
3.3.2计算导数
f(x)
i(cosxisinx)(sinxicosx)(cosxisinx)2ixixixcosxisinx xR,i为虚数 ix(icosxsinxsinxicosx)
cos2xisin2x
3.3.3lagrange微分中值定理的推论 0
若函数f(x)在区间I上可导,且f(x)的导数恒等于0,x属于I,则f(x)为I上的一个常量函数[3]。根据这推论,所以有f(x)c,c为常量,又因为f(0)1, 所以f(x)1,有
eixcosxisinx.(附件②)(证完)
3.4分离变量积分法
dzicosxsinxi(cosxisinx)iz,分离变量得: dx
dz1idx, 所以两边同时积分得idx,即Lnzixc,当取x=0时,zz假设zcosxisinx, 难么
zco0sisin01,Lzl1i0c0nn,所以c0,所以Lzixn,Lnzzcosxisinxix,所以ixcosxisinx。(证完)eee
4.欧拉公式在数学中的应用
在对一些较难以证明和计算的题上,直接使用欧拉公式很容易就证明了,在高等数学中很广泛的应用,比如棣莫弗公式的证明,复变函数的求解等。
4.1公式证明和应用
4.1.1 证明棣莫弗(de Moivre)公式[4]cosnxisinnx(cosxisin
证明:由欧拉公式ecosxisinx可知:ixx)n; ix(cosxisinenx)即n
einxcosnxisinnx,所以有cosnxisinnx(cosxisinx)n
4.2.2用欧拉公式和棣弗公式证明[4]:e
e
zxcosacos(xsina)cosna;n0n!nxcosasin(xsina)sinnanon!n; 证明:令zcosaisina,由欧拉公式可知 ee
xz(cosaisina)ecosaeisinaecosa(cos(sina)isin(sina))xcosa即ee
ex(cosaisina)excosaeixsinae(cos(xsina)isin(xsina))xcosacos(xsina)e
nnxcosaisin(xsina))又由于:
exzn0(xz)n!(cosnaisinna)
n0
n!cosnansinnanin!xn!xn0n0
比较实部和虚部的到
e
excosacos(xsina)cosna;n0n!nn
sin(xsina)sinna
non!
4.2定义证明和应用
4.2.1证明复数z 的正弦函数和余弦函数 xcosa
sinziz2iiz,coszixiz2iiz.[2] 证明:由欧拉公式eixecosxisinxcosxisinx可得,,ixecosxisinx
ixixcosx2从而得到.对于任意的实数x成立,这两个公式中的x代以任意复数z后,ixixsinx2i
由eezxiye(cosyisiny),右端有意义,而左端尚无意义,因而有:
izx
sinziz2i,cosziz2iiz.4.2.2求sin(12i)的值[2]:
解:
sin(12i)
i(12i)2ii(12i)2(cos1isin1)(cos1isin1)2i
22 222
cosh2sin1isinh2cos1
此式为复数解正弦函数(附件③)sin1i22cos1
5.综合总结
ix对于欧拉公式ecosxisinx,在这里用了四种不同的方法证明其的成立,也举了几个
列子说明了欧拉公式在高等数学中的重要性,在这里,主要是提供给学生一种多方面学习和看问题的思想,比如在证明欧拉公式的方法中,都还有许多不同的证明方法,我所列举的这几种方法中,类比求导法是一种很好的证明方法,其的构造思想很巧妙,对于幂级数的展开证明方法,较容易弄懂,并且在实际的题目中,幂级数的展开用得比较多。我在下面所举的两类应用中,都是用到欧拉公式,且欧拉定理在这当中就像桥梁一样,如果不用到欧拉公式,这类问题也能求,但不是那么容易了。通过对欧拉公式的证明和应用的了解,我们对于e1i
也就不那么陌生了。
6.考文献
[1] 数学分析 下册 第三版 华东师范大学数学系 编 第十四章 幂级数 2001
[2] 复变函数论 第三版 钟玉泉 编 第二章 解析函数 2004
[3] 数学分析 上册 第三版 华东师范大学数学系 编 第六章微分中值定理及应用 2001
[4] 数学分析 下册 华东师大第三版 同步辅导及习题全解 2006
[5] 生活与科学文库 e的奥秘 1991
7.附件
7.1附件① 因为对于实函数ae,dxaxaxd(cosxasinx)sinxacosxdxa为常数,所以对于复函数有ie,dxixixd(cosxisinx)i(cosxisinx)dx
7.2附件②对于构造的函数f(x)ix
cosxisinx是有意义的,因为
|cosxisinx|
有意义的。因为f(x)
ixcos2xsinx1所以cosxisinx0。因此,函数f(x)2ixcosxisinx是ixcosxisinx所以 ix
f(x)
i(cosxisinx)(sinxicosx)(cosxisinx)2ix(icosxsinxsinxicosx)
cos2xisin2x0
又根据lagrange中值定理可得 f(x)cc 为实常数,又因为f(0)i0
cos0isin0=1则有
f(x)1,所以有f(x)ix
cosxisinx1,所以ecosxisinx
7.3附件③复函中规定:sinhz
zix2z,coshzz2z
调和级数S=1+1/2+1/3+……是发散的,证明如下:
由于ln(1+1/n)
于是调和级数的前n项部分和满足
Sn=1+1/2+1/3+…+1/n>ln(1+1)+ln(1+1/2)+ln(1+1/3)+…+ln(1+1/n)
=ln2+ln(3/2)+ln(4/3)+…+ln[(n+1)/n]
=ln[2*3/2*4/3*…*(n+1)/n]=ln(n+1)
由于
lim Sn(n→∞)≥lim ln(n+1)(n→∞)=+∞
所以Sn的极限不存在,调和级数发散。
但极限S=lim[1+1/2+1/3+…+1/n-ln(n)](n→∞)却存在,因为Sn=1+1/2+1/3+…+1/n-ln(n)>ln(1+1)+ln(1+1/2)+ln(1+1/3)+…+ln(1+1/n)-ln(n)
=ln(n+1)-ln(n)=ln(1+1/n)
由于
lim Sn(n→∞)≥lim ln(1+1/n)(n→∞)=0
因此Sn有下界
而
Sn-S(n+1)=1+1/2+1/3+…+1/n-ln(n)-[1+1/2+1/3+…+1/(n+1)-ln(n+1)]
=ln(n+1)-ln(n)-1/(n+1)=ln(1+1/n)-1/(n+1)
将ln(1+1/n)展开,取其前两项,由于舍弃的项之和大于0,故
ln(1+1/n)-1/(n+1)>1/n-1/(2n^2)-1/(n+1)=1/(n^2+n)-1/(2n^2)>0
即ln(1+1/n)-1/(n+1)>0,所以Sn单调递减。由单调有界数列极限定理,可知Sn必有极限,因此
S=lim[1+1/2+1/3+…+1/n-ln(n)](n→∞)存在。
于是设这个数为γ,这个数就叫作欧拉常数,他的近似值约为0.5772***86060651209,目前还不知道它是有理数还是无理数。在微积分学中,欧拉常数γ有许多应用,如求某些数列的极限,某些收敛数项级数的和等。例如求
lim[1/(n+1)+1/(n+2)+…+1/(n+n)](n→∞),可以这样做:lim[1/(n+1)+1/(n+2)+…+1/(n+n)](n→∞)
=lim[1+1/2+1/3+…+1/(n+n)-ln(n+n)](n→∞)
-lim[1+1/2+1/3+…+1/n-ln(n)](n→∞)+lim[ln(n+n)-ln(n)](n→∞)=γ-γ+ln2=ln2
欧拉常数发现的历史
著名数学家莱昂哈德·欧拉(1707-1783)该常数最先由瑞士数学家莱昂哈德·欧拉(Leonhard Euler)在1735年发表的文章 De
Progreionibus harmonicus observationes 中定义。欧拉曾经使用C作为它的符号,并计算出了它的前6位小数。