选修33第三章欧拉公式与非欧几何3欧氏几何与球面几何的比较

选修33第三章欧拉公式与非欧几何3欧氏几何与球面几何的比较
选修33第三章欧拉公式与非欧几何3欧氏几何与球面几何的比较

选修33第三章欧拉公式与非欧几何3欧氏几何与球面几

何的比较 测试题 2019.9

1,已知a 、b 、c 是直线,β是平面,给出下列命题:①若c a c b b a //,,则⊥⊥;②若c a c b b a ⊥⊥则,,//;③若则‖;④若a 与b 异面,且ββ与则b a ,//相交;其中真命题的序号是 .(要求写出所有真命题的序号)

2,设P 是椭圆上的一点,F 是椭圆的左焦点,且,

,则点P 到该椭圆左准线的距离为

A .

B .3

C .4

D .6

3,某市提供4个企业供育才中学高二年级3个班进行社会实践活动,其中企业甲是市明星企业,必须有班级去进行实践活动,每个班级去哪个企业由班级自主在4个企业中任意选择一个,则所有不同的安排方案种数是

A .48

B .37

C . 18

D .16

4,一个质点从出发依次沿图中线段到达B 、C 、D 、E 、F 、G 、H 、

I 、J 各点,最后又回到(如图所示),其中:

IJ HG EF CD AB BC AB ////////,⊥,.欲知此质点所走路

程,至少需要测量n 条线段的长度,则=n

//,,a a b βααβ??=a b 221259x y +=()

1

2OM OP OF

=+4

OM =5

2A A ////////BC DE FG HI JA

A .2

B .3

C .4

D .5

5,已知函数)

0(21

cos )cos sin 3()(>-+=ωωωωx x x x f 的最小正周期为π4,

(1)求)(x f 的单调递增区间

(2)在A

B C ?中,角A,B,C 的对边分别是c b a ,,,且满足C b B c a cos cos )2(=-, 求角B 的值,并求函数)(A f 的取值范围

6,某电视台举行电视奥运知识大奖赛,比赛分初赛和决赛两部分.为了增加节目的趣味性,初赛采用选手选一题答一题的方式进行,每位选手最多有5次选题答题的机会,选手累计答对3题或答错3题即终止其初赛的比赛,答对3题者直接进入决赛,答错3题者则被淘汰.已知选手甲答

题的正确率为32

.(Ⅰ)求选手甲可进入决赛的概率;(Ⅱ)设选手甲在初赛中答题的个数为,试写出的分布列,并求的数学期望.

7,如图,四棱锥中,底面是直角梯形,,

,,侧面底面,且为等腰

直角三角形,,为的中点. (Ⅰ)求证:; (Ⅱ)求证:平面; (Ⅲ)求二面角的正切值.

ξξξP ABCD -ABCD //AB CD 60DAB ∠=?2AB AD CD ==PAD ⊥ABCD PAD ?90APD ∠=?M AP AD PB ⊥//DM PCB A BC P --

8,某化妆品生产企业为了占有更多的市场份额,拟在2009年度进行一系列促销活动,经过市场调查和测算,化妆品的年销量x 万件与年促销费t万元之间满足3-x 与t+1成反比例,如果不搞促销活动,化妆品的年销量只能是1万件,已知2009年生产化妆品的设备折旧,维修等固定费用为3万元,每生产1万件化妆品需再投入32万元的生产费用,若将每件化妆品的售价定为:其生产成本的150%与平均每件促销费的一半之和,则当年生产的化妆品正好能销完。

(1)将2009年的利润y(万元)表示为促销费t(万元)的函数; (2)该企业2009年的促销费投入多少万元时,企业的年利润最大? (注:利润=销售收入-生产成本-促销费,生产成本=固定费用+生产费用)

9,在数列,是各项均为正数的等比数列,设.

(Ⅰ)数列是否为等比数列?证明你的结论;

(Ⅱ)设数列,的前项和分别为,.若,,

求数列的前项和.

{}n a {}n b ()n

n n

b c n a =

∈*N {}n c {}ln n a {}ln n b n n S n T 12a =21n n S n T n =

+{}n c n

10,设函数

为奇函数,则

测试题答案

1, ② ③ 2, A 3, B 4, B

5, 解: (1)

)

62sin()0(21cos )cos sin 3()(π

ωωωωω+=>-+=x x x x x f π4=T ,41=∴ω )

621sin()(π+=∴x x f

(2) C b B c a cos cos )2(=- , C B B C B A cos sin cos sin cos sin 2=-

A C

B B A sin )sin(cos sin 2=+= 321cos π=

∴=

∴B B

)621sin()(π+=A A f 320π<

1,21

()(∈∴A f

6, (Ⅰ) 选手甲答3道题可进入决赛的概率为278)3

2(3=

; 选手甲答4道题可进入决赛的概率为

278

3231)32(223=

??C ; 选手甲答5道题可进入决赛的概率为

811632)31()32(22

24=

??C ; ∴选手甲可进入决赛的概率

278=

p +278+81168164=

(Ⅱ)依题意,的可能取值为.则有, 2710

3132)31(3231)32()4(223223=

??+??==C C p ξ, 27831)31()32(32)31()32()5(22

242224=

??+??==C C p ξ,

2

()(1)()f x x x a =++a =单调增区间为42[4,4]()

33k k k Z ππ

ππ-

+∈ξ3,4,522211

(3)()()333p ξ==+=

27

26

3

27

107

27

8

5

27

10

4

3

1

3=

=

?

+

?

+

?

=

∴ξE

7, 【解】解法一:(Ⅰ)取的中点,连结.

,.

,且,

是正三角形,AD

BG⊥.

平面.

(Ⅱ)取的中点,联结,

分别为的中点,

,且.

∵四边形是直角梯形,且,

且.

∴四边形是平行四边形..

平面,平面.

(Ⅲ)取的中点,联结.

∵四边形是直角梯形且,

,BC

GE⊥.平面,,

是二面角的平面角.

设a

DC=,则a

AD

AB2

=

=.

G

、E分别为AD、BC中点,

a

a

a

CD

AB

GE

2

3

2

2

2

=

+

=

+

=

AD G PG GB BD

、、

PA PD

=PG AD

∴⊥

AB AD

=60

DAB

∠=?

ABD

∴?

AD

∴⊥PGB

AD PB

∴⊥

PB F MF CF

M F

、PA PB

//

MF AB

1

2

MF AB

=

ABCD//

AB CD2

AB CD

=

//

MF CD

∴MF CD

=

CDFM//

DM CF

CF?PCB//

DM

∴PCB

BC E PE GE

ABCD//

AB CD

//

GE AB

∴BC

∴⊥PEG BC PE

∴⊥

PEG

∴∠A BC P

--

是等腰直角三角形斜边的中点,

a AD PG ==

∴21

,∴二面角的正切值为.

8, 解:(1)由题意:

13+=-t k x 将12

3,21,0+-

=∴===t x k x t 代入 当年生产x(万件)时,年生产成本=年生产费用+固定费用=32x +3=

32(3-12

+t )+3;

当销售x (万件)时,年销售收入=150%[32(3-12+t +3]+t

21

由题意,生产x 万件化妆品正好销完

∴年利润=年销售收入-年生产成本-促销费

即)1(235982+++-=

t t t y (t ≥0)

(2)∵)

132

21(50+++-=t t y ≤50-162=42万件

当且仅当

132

21+=+t t 即t =7时,y max =42 ∴当促销费定在7万元时,利润增大.

9, 解:(Ⅰ)是等比数列.

证明:设的公比为,的公比为,则

,故为等比数列.

(Ⅱ)数列和分别是公差为和的等差数列.

由条件得,即

. 故对,,…,

.于是

G PAD 2tan 3PG PEG EG ∴∠==

A BC P --2

3{}n c {}n a 11(0)q q >{}n b 22(0)q q >1112111

0n n n n n n n n n n c b a b a q

c a b b a q +++++===≠{}n c {}ln n a {}ln n b 1ln q 2ln q 11

12(1)

ln ln 22(1)

21

ln ln 2n n n a q n n n n b q -+

=

-++11122ln (1)ln 2ln (1)ln 21a n q n

b n q n +-=

+-+1n =2212111211(2ln ln )(4ln ln 2ln ln )(2ln ln )0

q q n a q b q n a q -+--++-=

代入得,,.

从而有.所以数列的前项和为.

10, 0

121112112ln ln 04ln ln 2ln ln 02ln ln 0.q q a q b q a q -=??

--+=??-=?

,,12a =14q =216q =18b =11816424n n n n c --=={}n c n 24444(41)3n

n +++=-…

对非欧几何的认识

非欧几何的诞生及其给我们的启示 摘要: 非欧几何的创立是数学史上最光辉的篇章,也是人类历史上一次伟大的思想解放的典范,它不仅带来了数学思想的深刻变革,也使人们的思想发生了极大的变化,使人们对真理、时空等一系列重大的哲学问题有了新的认识,对人类文化的发展产生了非同寻常的影响。数学史上,非欧几何占有特殊的地位.以非欧几何的发明过程为基本线索,探讨了其对数学学科本身、人类文化、哲学思想的影响;对数学科研者、数学教育工作者及高校学生的启示. 关键词: 非欧几何;罗巴切夫斯基几何;黎曼几何;几何原本; 1 非欧几何的发展史 1.1 问题的提出 非欧几何的发展源于2 000 多年前的古希腊数学家的欧几里得的《几何原本》.其中公设五是欧几里得自己提出的,它的内容是“若一条直线与两直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点”.这一公设引起了广泛的讨论,因为它不如其他公理、公设那样简明,欧几里得本人也不满意这条公设,他在证完了所有不需要平行公设的定理后才使用它,怀疑它可能不是一个独立的公设,或许能用其它公设或公理代替.从古希腊时代开始到19 世纪的2000 多年来数学家们始终对这条公设耿耿于怀,孜孜不倦的试图解决这个问题.数学家们主要沿2 条研究途径前进:一条途径是寻找一条更为自明的命题代替平行公设;另一条途径是试图从其他9 条公理、公设推导出平行公设来.沿第一条途径找到的第五公设最简单的表述是1795 年苏格兰数学家普雷菲尔(J.Playfair 1748-1819)给出的:“过

直线外一点,有且只有一条直线与原直线平行”也就是我们今天中学课本里使用的平行公理.但实际上古希腊数学家普罗克鲁斯在公元5 世纪就陈述过它.然而问题是,所有这些替代公设并不比原来的第五公设更好接受,更“自然”.历史上第一个证明第五公设的重大尝试是古希腊天文学家托勒玫(Ptolemy,约公元150 年)做出的,后来普罗克鲁斯指出托勒玫的“证明”无意中假定了过直线外一点只能作一条直线与已知直线平行,这就是上面提到的普雷菲尔公设. 1.2 问题的解决 1.2.1 非欧几何的萌芽 沿第二条途径论证第五公设的工作在18 世纪取得突破性进展.首先是意大利人萨凯里(Saccharin 1667-1733)提出用归谬法证明第五公设,萨凯里从四边形ABCD 开始,如果角A 和角B 是直角,且AC=BD,容易证明角C等于角D.这样第五公设便等价于角C 和角D 是直角这个论断.萨凯里提出另2 个假设:(1)钝角假设:角C 和角D 都是钝角;(2)锐角假设:角C 和角D 都是锐角.最后在锐角假设下,萨凯里导出了一系列结果,因为与经验认识违背,使他放弃了最后结论.但是从客观上为非欧几何的创立提供了极有价值的思想方法,开辟了一条不同于前人的新途径.其后瑞士数学家兰伯特(Lambert1728-1777)所做的工作与萨凯里相似.他也考察了一类四边形,其中3 个角为直角,而第5 个角有3 种可能性:直角、钝角和锐角.他同样在锐角假设下得到“三角形的面积取决于其内角和;三角形的面积正比于平角与内角和的差.他认为只要一组假设相互没有矛盾,就提供了一种几何的可能.著名的法国数学家勒让德(A.M.Legendar1752-1833)对平行公设问题也十分关注,他得到的一个重要定理:“三角形内角之和不能大于两直角”.这预示着可能存在着一种新几何.19 世纪初,德国人萨外卡特(schweikart 1780-1859)使这种思想更加明朗化.他通过对“星形几何”的研究,指出:“存在两类几何:狭义的几何(欧氏几何)星形几何.在后一个里面,三角形有一个特点,就是三角形内角之和不等于两直角”.

欧几里得与欧几里得几何

欧几里得与欧几里得几何 亚历山大里亚的欧几里得(约公元前330年—前275年),古希腊数学家,被称为“几何之父”。他活跃于托勒密一世(公元前323年-前283年)时期的亚历山大里亚,他最著名的著作《几何原本》是欧洲数学的基础,提出五大公设,发展欧几里得几何,被广泛的认为是历史上最成功的教科书。欧几里得也写了一些关于透视、圆锥曲线、球面几何学及数论的作品。 欧几里得是古希腊著名数学家、欧氏几何学的开创者。欧几里得生于雅典,当时雅典就是古希腊文明的中心。浓郁的文化气氛深深地感染了欧几里得,当他还是个十几岁的少年时,就迫不及待地想进入“柏拉图学园”学习。他在有攀滋入学园之后,便全身心地沉潜在数学王国里。他潜心求索,以继器粕拉图的学术为奋斗目标,除此之外,他哪儿也不去,什么也不干。熬翻阅和研究了柏拉图的所有著作和手稿,可以说,连柏拉图的亲传攀擎也没有谁能像他那样熟悉柏拉图的学术思想、数学理论。经过对柏拉图思想的深入探究,他得出结论:图形是神绘制的,所有一切籀象的逻辑规律都体现在图形之中。因此,对智慧的训练,就应该从戡图形为主要研究对象的几何学开始。他确实领悟到了柏拉图思想的要旨,并开始沿着柏拉图当年走过的道路,把几何学的研究作为自醺羽主要任务,并最终取得了世人敬仰的成就。 最早的几何学兴起于公元前7年的古埃及,后经古希腊等人传到古希腊的都城,又借毕达哥拉斯学派纂糯典。在欧几里得以前,人们已经积累了许多几何学的知识,然黔这些知识当中,存在一个很大的缺点和不足,就是缺乏系统性。大多数是片断、零碎的知识,公理与公理之问、证明与证明之间并没有什么很强的联系性,更不要说对公式和定理进行严格的逻辑论证和说明。因此,随着社会经济的繁荣和发展,特别是随着农林畜牧业的发展、土地开发和利用的增多,把这些几何学知识加以条理化和系统化,成为一整套可以自圆其说、前后贯通的知识体系,已经是刻不容缓,成为科学进步的大势所趋。欧几里得通过早期对柏拉图数学思想,尤其是几何学理论系统而周详的研究,已敏锐地察觉到了几何学理论的发展趋势。他下定决心,要在有生之年完成这一工作。为了完成这一重任,欧几里得不辞辛苦,长途跋涉,从爱琴海边的雅典古城,来到尼罗河流域的埃及新埠—亚历山大城,为的就是在这座新兴的,但文化蕴藏丰富的异域城市实现自己的初衷。在此地的无数个日日夜夜里,他一边收集以往的数学专著和手稿,向有关学者请教,一边试着著书立说,阐明自己对几何学的理解,哪怕是尚肤浅的理解。经过欧几里得忘我的劳动,终于在公元前300年结出丰硕的果实,这就是几经易稿而最终定形的《几何原本》一书。这是一部传世之作,几何学正是有了它,不仅第一次实现了系统化、条理化,而且又孕育出一个全新的研究领域——欧几里得几何学,简称欧氏几何。 不朽的平面几何学著作 《几何原本》是一部集前人思想和欧几里得个人创造性于一体的不朽之作。传到今天的欧几里得著作并不多,然而我们却可以从这部书详细的写作笔调中,看出他真实的思想底蕴。 全书共分13卷。书中包含了5条“公理”、5条“公设”、23个定义和467个命题。在每一卷内容当中,欧几里得都采用了与前人完全不同的叙述方式,即先提出公理、公设和定义,然后再由简到繁地证明它们。这使得全书的论述更加紧凑和明快。而在整部书的内容安排上,也同样贯彻了他的这种独具匠心的安排。它由浅到深,从简至繁,先后论述了直边形、圆、比例论、相似形、数、立体几何以及穷竭 法等内容。其中有关穷竭法的讨论,成为近代微积分思想的来源。仅仅从这些卷帙的内容安排上,我们就不难发现,这部书已经基本囊括了几何学从公元前7世纪的古埃及,一直到公元前4世纪——欧几里得生活时期——前后总共400多年的数学发展历史。这其中,颇有代表性的便是在第1卷到第4卷中,欧几里得对直边形和圆的论述。正是在这几卷中,他总结和发挥了前人的思维成果,巧妙地论证了毕达哥拉斯定理,也称“勾股定理”。即在一直角三角形中,斜边上的正方形的面积等于两条直角边上的两个正方形的面积之和。他的这一证明,从此确定了勾股定理的正确性并延续了2000多年。《几何原本》是一部在科学史上千古流芳的巨著。它不仅保存了许多古希腊

非欧几何简介

非欧几何简介 欧氏几何与球面几何的区别与联系 比较球面上的几何图形与平面上的几何图形的性质,我们可以总结出以下显著的差别,见表6-1: 表6-1 球面上的几何图形与平面上的几何图形的性质差异 ,其中A、B、C 为单位球面上三角形的三个内角(弧度 制) 通过上面的比较,我们看到,球面上的几何是与平面几何不同的一种几何理论。平面几何最早由希腊数学家欧几里德(Euclid,公元前300年左右)整理成

系统的理论。他的不朽之作《几何原本》不仅包含了平面几何,也包含了立体几何。为了纪念他对人类做出的伟大贡献,后来就把这种几何称为欧氏几何。球面上的几何是与欧氏几何不同的几何,所以叫做非欧几何。 球面上的几何与欧氏几何有不相同之处,但他们之间也有一些共同特征,见表6-2。 表6-2 球面上的几何与欧氏几何的共同特征 两种几何的这些相同之处,说明它们之间应该有某种内在的联系。 首先分析一下球面三角形的面积公式 把这个公式改写成 这个等式的左端称为球面三角形的角超,它反映出球面上的几何与平面几何的差距。在平面几何中三角形三内角之和等于,角超等于零。在球面上的几何中角超大于零。 不难看出当球面半径R无限增大时,球面逐渐趋向于平面,越来越小, 即三角形的角超越来越小,球面三角形逐渐趋向于平面三角形,球面几何的性质逐渐接近于平面几何的性质。所以我们可以说: 当球面半径趋向于无穷大时,球面上的几何以平面几何为极限。 因为地球的半径非常大,当我们研究的范围相对于地球半径很小时,三角形的角超就一定很小。因此,可以用平面几何的知识来代替球面几何知识,所产生的误差很小。 另一种非欧几何 通过前一小节的分析,我们发现三角形的三个内角之和的大小,在很大程度上反映了平面欧氏几何与球面几何的差别。当三角形的三个内角之和等于时,就是欧氏几何,当三角形的三个内角之和大于时,就反映出球面几何的主要特征。 有没有三角形三个内角之和小于的几何呢? 我们简单回顾一段几何发展史。在十七世纪以前,人们认为只有一种几何,就是欧氏几何,它是一切科学的基础。但是到了十七、十八世纪,数学家在对几何理论的基础进行深入研究时,首先把注意力集中在“平行公理”上。

欧拉函数公式及其证明

欧拉函数公式及其证明 Document serial number【KKGB-LBS98YT-BS8CB-BSUT-BST108】

欧拉函数: 欧拉函数是数论中很重要的一个函数,欧拉函数是指:对于一个正整数n,小于n且和n互质的正整数(包括1)的个数,记作φ(n)。 完全余数集合:定义小于n且和n互质的数构成的集合为Zn,称呼这个集合为n的完全余数集合。显然|Zn|=φ(n)。 有关性质:对于素数p,φ(p)=p-1。对于两个不同素数p,q,它们的乘积n=p*q满足φ(n)=(p-1)*(q-1)。 这是因为Zn={1,2,3,...,n-1}-{p,2p,...,(q-1)*p}-{q,2q,...,(p-1)*q},则φ(n)=(n-1)-(q-1)-(p-1)=(p-1)*(q-1)=φ(p)*φ(q)。 欧拉定理:对于互质的正整数a和n,有aφ(n)≡1m o d n。 证明:(1)令Zn={x1,x2,...,xφ(n)},S={a*x1mo d n,a*x2m o dn,...,a*xφ(n)m od n},则Z n=S。 ①因为a与n互质,x i(1≤i≤φ(n))与n互质,所以a*x i与n互质,所以a*x i modn∈Zn。 ②若i≠j,那么x i≠x j,且由a,n互质可得a*x i m o d n≠a*x j m o d n(消去律)。

(2)aφ(n)*x1*x2*...*xφ(n)m o d n ≡(a*x1)*(a*x2)*...*(a*xφ(n))m o d n ≡(a*x1m o d n)*(a*x2m o d n)*...*(a*xφ(n)m o d n)m o d n ≡x1*x2*...*xφ(n)m o d n 对比等式的左右两端,因为x i(1≤i≤φ(n))与n互质,所以aφ(n)≡1modn(消去律)。 注:消去律:如果g c d(c,p)=1,则a c≡b c m o d p?a≡b m o d p。 费马定理:若正整数a与素数p互质,则有a p-1≡1m o d p。证明这个定理非常简单,由于φ(p)=p-1,代入欧拉定理即可证明。 ******************************************************************** ********* 补充:欧拉函数公式 (1)p k的欧拉函数 对于给定的一个素数p,φ(p)=p-1。则对于正整数n=p k, φ(n)=p k-p k-1 证明: 小于p k的正整数个数为p k-1个,其中 和p k不互质的正整数有{p*1,p*2,...,p*(p k-1-1)}共计p k-1-1个

欧拉函数公式及其证明

欧拉函数: 欧拉函数是数论中很重要的一个函数,欧拉函数是指:对于一个正整数n,小于n且和n互质的正整数(包括1)的个数,记作φ(n)。 完全余数集合: 定义小于n且和n互质的数构成的集合为Zn,称呼这个集合为n的完全余数集合。显然|Zn|=φ(n)。 有关性质: 对于素数p,φ(p)=p-1。 对于两个不同素数p,q,它们的乘积n=p*q满足φ(n)=(p-1)*(q-1)。 这是因为Zn={1,2,3,...,n-1}-{p,2p,...,(q-1)*p}-{q,2q,...,(p-1)*q},则φ(n)=(n-1)-(q-1)-(p-1)=(p-1)*(q-1)=φ(p)*φ(q)。 欧拉定理: 对于互质的正整数a和n,有aφ(n)≡1modn。 证明: (1)令Zn={x1,x2,...,xφ(n)},S={a*x1modn,a*x2modn,...,a*xφ(n)modn}, 则Zn=S。 ①因为a与n互质,x i(1≤i≤φ(n))与n互质,所以a*x i与n互质,所以a*x i modn∈Zn。 ②若i≠j,那么x i≠x j,且由a,n互质可得a*x i modn≠a*x j modn(消去律)。 (2)aφ(n)*x1*x2*...*xφ(n)modn

≡(a*x1)*(a*x2)*...*(a*xφ(n))modn ≡(a*x1modn)*(a*x2modn)*...*(a*xφ(n)modn)modn ≡x1*x2*...*xφ(n)modn 对比等式的左右两端,因为x i(1≤i≤φ(n))与n互质,所以aφ(n)≡1modn(消去律)。 注: 消去律:如果gcd(c,p)=1,则ac≡bcmodp?a≡bmodp。 费马定理: 若正整数a与素数p互质,则有a p-1≡1modp。 证明这个定理非常简单,由于φ(p)=p-1,代入欧拉定理即可证明。 ****************************************************** *********************** 补充:欧拉函数公式 (1)p k的欧拉函数 对于给定的一个素数p,φ(p)=p-1。则对于正整数n=p k, φ(n)=p k-p k-1 证明: 小于p k的正整数个数为p k-1个,其中 和p k不互质的正整数有{p*1,p*2,...,p*(p k-1-1)}共计p k-1-1个 所以φ(n)=p k-1-(p k-1-1)=p k-p k-1。 (2)p*q的欧拉函数 假设p,q是两个互质的正整数,则p*q的欧拉函数为 φ(p*q)=φ(p)*φ(q),gcd(p,q)=1。 证明: 令n=p*q,gcd(p,q)=1

欧式几何

欧式几何VS非欧几何 1什么是欧式几何? 2.欧式几何的来源?欧几里得 3欧式几何公理有哪些? 4欧式几何的缺陷——出现非欧几何 5什么是非欧几何? 包括?罗巴切夫斯基(俄)———罗式几何黎曼(德)————黎曼几何 6三种几何的关系

导出命题 第五条公理称为平行公理,可以导出下述命题: 通过一个不在直线上的点,有且仅有一条不与该直线相交的直线。平行公理并不像其他公理那么显然。许多几何学家尝试用其他公理来证明这条公理,但都没有成功。19世纪,通过构造非欧几里德几何,说明平行公理是不能被证明的。(若从上述公理体系中去掉平行公理,则可以得到更一般的几何,即绝对几何。) 从另一方面讲,欧式几何的五条公理并不完备。例如,该几何中的有定理:任意线段都是三角形的一部分。他用通常的方法进行构造:以线段为半径,分别以线段的两个端点为圆心作圆,将两个圆的交点作为三角形的第三个顶点。然而,他的公理并不保证这两个圆必定相交。因此,许多公理系统的修订版本被提出,其中有希尔伯特公理系统。 非欧氏几何 非欧氏几何产生于非欧式空间,而非欧式空间可以理解成扭曲了的欧式空间,可能它的坐标轴不再是直线,或者坐标轴之间并不 正交(即不成90度) 例子:欧式空间中的球面,对于在球面上爬行的蚂蚁来说就是非欧式空间的平面,它们在爬行的过程中不会感觉到球面的弯曲。当然在这样的一个球面上,欧式几何也不再成立,譬如:三角形的内角和不再是180度,而球面上两点之间的最短距离也不再是两点之间的连线(因为这时两点之间的的线段根本经 过球面)欧氏几何是平面,非欧几何是在一个不规则曲面上的 非欧几何学是一门大的数学分支,一般来讲,他有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里的几何学不同的几何学,狭义的非欧几何只是指罗式几何来说的,至于通常意义的非欧几何,就是指罗式几何和黎曼几何这两种几何。 欧几里得的《几何原本》提出了五条公设,长期以来,数学家们发现第五公设和前四个公设比较起来,显得文字叙述冗长,而且也不那么显而易见。 有些数学家还注意到欧几里得在《几何原本》一书中直到第二十九个命题中才用到,而且以后再也没有使用。也就是说,在《几何原本》中可以不依靠第五公设而推出前二十八个命题。 因此,一些数学家提出,第五公设能不能不作为公设,而作为定理?能不能依靠前四个公设来证明第五公设?这就是几何发展史上最著名的,争论了长达两千多年的关于“平行线理论”的讨论。 由于证明第五公设的问题始终得不到解决,人们逐渐怀疑证明的路子走的对不对?第五公设到底能不能证明? 到了十九世纪二十年代,俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中,他走了另一条路子。他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设,然后与欧式几何的前四个公设结合成一个公理系统,展开

欧拉公式推导

欧拉公式推导: 图4.3所示的两端铰支杆件,受轴向压力N 作用而处于中性平衡微弯状态,杆件弯曲后截面中产生了弯矩M 和剪力V ,在轴线任意点上由弯矩产生的横向变形为1y ,由剪力产生的横向变形为2y ,总变形21y y y +=。 y 图4.3 两端铰支的轴心压杆临界状态 设杆件发生弯曲屈曲时截面的临界应力小于材料比例极限p f ,即p f ≤σ(对理想材料取y p f f =)。由材料力学可得: EI M dz y d -=2 12 由剪力V 产生的轴线转角为: dz dM GA V GA dz dy ?=?==ββγ2 式中 A 、I ——杆件截面面积、惯性矩; E 、G ——材料的弹性模量、剪切模量; β—— 与截面形状有关的系数。 因为 222 22dz M d GA dz y d ?=β 所以 2222122222d y d y d y M d M dz dz dz EI GA dz β=+=-+? 由 y N M ?=得: 2222dz y d GA N y EI N dz y d ?+?-=β

01=?+??? ??-''y EI N GA N y β 令 ??? ??-=GA N EI N k β12 得常系数线性二阶齐次方程 20y k y ''+= 其通解为:sin cos y A kz B kz =+ 由边界条件:;0,0==y z 0=B ,kz A y sin =。再由0,==y l z 得: 0sin =kl A 上式成立的条件是0=A 或0sin =kl ,其中0=A 表示杆件不出现任何变形,与杆件微弯的假设不符。由0sin =kl ,得πn kl =(=n 1,2,3…),取最小值=n 1,得π=kl ,即 2 221N k N l EI GA πβ==??- ??? 由此式解出N ,即为中性平衡的临界力cr N 12222222211Ι11γππβππ?+?=?+?=l ΕΙl ΕGA l ΕΙl ΕΙ N cr (4.6) 临界状态时杆件截面的平均应力称为临界应力cr σ 12 22211γλπλπσ?+?==ΕΑΕA N cr cr (4.7) 式中 1γ——单位剪力时杆件的轴线转角,)/(1GA βγ=; l ——两端铰支杆得长度; λ——杆件的长细比,i l /=λ; i ——杆件截面对应于屈曲轴的回转半径,A I i /=。 如果忽略杆件剪切变形的影响(此影响很小)则式(4.6)、(4.7)变为: 22cr E πσλ = (4.8)

欧几里得几何与非欧几何

欧几里得几何与非欧几何 摘要:欧几里得的《几何原本》奠定了几何学发展的基础, 随着逻辑推理的理论发展, 非欧几何在艰难中产生发展起来;其中少不了欧几里得、罗巴切夫斯基与黎曼在几何学上的巨大贡献,且两者几何学之间存在着严密的辩证关系。 关键词:欧几里得几何、几何原本、非欧几何、辩证关系 欧氏几何是人类创立的第一个完整的严密的(相对而言) 科学体系。它于公元前三世纪由古希腊数学家欧几里得完成,后来经历了两千多年的发展,对科学和哲学的影响是极其深远的。十九世纪二十年代,几何学发展史上出现了新的转折点,德国数学家高斯、匈牙利数学家亚·鲍耶和俄国数学家罗巴切夫斯基分别在1824年、1825年1826年各自独立地创立了非欧几何,其中以罗巴切夫斯基所发表的内容最完善,因此取名为罗氏几何学。1854年,德国数学家黎曼创立了黎曼几何。十九世纪末,德国数学家阂可夫斯基发展了黎曼几何,创立了四维空时几何学。1915年,爱因斯坦利用非欧几何——四维空间几何学作为工具创立了广义相对论, 不久广义相对论连同非欧几何为天文观察等科学实践所证实。从此,人们确认非欧几何是人类发现的伟大的自然科学真理。 一、欧几里得几何的发展 (一)古希腊前期几何学的发展为欧几里得几何的产生奠定了基础 在欧几里得时代以前,数学家与学者们就已经获得许多几何方面的成果,但大多数是零星的,有的对部分内容也作过一些整理加工,但不系统。面对前人留下的材料以及一些证明方法,欧几里得认真进行了总结、提练、筛选,以及分析、综合、归纳、演绎,集前人工作之大成,系统整理加工成巨著《几何原本》,所以说古希腊前期的几何学的发展为欧几里得几何的产生奠定了基础。 最早研究几何的一批人是爱奥尼亚学派,它的创始人是泰勒斯,据传他曾用一根已知长度的杆子,通过同时测量竿影和金字塔影之长,求出了金字塔的高度。人也把数学之成为抽象理论和有些定理演绎证明归功于他,如圆被直径二等分,等腰三角形两底角相等,两直线相交对顶角相等,两角及夹边对应相等的两个三角形全等,内接于半圆的角是直角等的论证。 对几何从经验上升到理论作出重要贡献的有毕达哥拉斯学派。他们注意研究抽象的数学概念,尤其对整数的性质有出色的研究。雅典的巧辩学派以著名的三等分任意角、化圆为方和倍立方三大难题为其研究中心。 柏拉图是那个时代影响最大的哲学家。柏拉图及其后继者把数学概念看作抽象图。柏拉图说数学概念不依赖于经验而自有其实在性。它们只能为人所发现,并非为人所发明或塑造。他是第一个把严密推理法则加以系统化的人,希腊人最早坚持数学里必须用演绎推理作求证的唯一方法,并使数学有别于所有其他知识领域或研究领域。柏拉图学派的最重要发现是圆锥曲线。还对不可公度量作过一些研究。这些都为欧几里得的研究开辟了道路。 欧多克斯是古希腊时代最大的数学家,他在数学上的第一个大贡献是关于比

欧拉函数

欧拉函数 百科名片 在数论,对正整数n,欧拉函数是少于或等于n的数中与n互质的数的数目。此函数以其首名研究者欧拉命名,它又称为Euler's totient function、φ函数、欧拉商数等。例如φ(8)= 4,因为1,3,5,7均和8互质。从欧拉函数引伸出来在环论方面的事实和拉格朗日定理构成了欧拉定理的证明。 简介 φ函数的值 φ(1)=1(唯一和1互质的数就是1本身)。 若n是质数p的k次幂,φ(n)=p^k-p^(k-1)=(p-1)p^(k-1),因为除了p的倍数外,其他数都跟n互质。 欧拉函数是积性函数——若m,n互质,φ(mn)=φ(m)φ(n)。 特殊性质:当n为奇数时,φ(2n)=φ(n), 证明于上述类似。 证明 设A, B, C是跟m, n, mn互质的数的集,据中国剩余定理,A*B和C可建立一一对应的关系。因此φ(n)的值使用算术基本定理便知, 若 n= ∏p^(α(下标p)) p|n 则φ(n)=∏(p-1)p^(α(下标p)-1)=n∏(1-1/p) p|n p|n 例如φ(72)=φ(2^3×3^2)=(2-1)2^(3-1)×(3-1)3^(2-1)=24 与欧拉定理、费马小定理的关系 对任何两个互质的正整数a, m, m>=2有 a^φ(m)≡1(mod m) 即欧拉定理 当m是质数p时,此式则为: a^(p-1)≡1(mod m) 即费马小定理。 欧拉函数的编程实现 利用欧拉函数和它本身不同质因数的关系,用筛法计算出某个范围内所有数的欧拉函数值。 欧拉函数和它本身不同质因数的关系:欧拉函数ψ(N)=N{∏p|N}(1-1/p)。(P是数N的质因数) 如:

欧几里德几何

欧几里德几何 简称“欧氏几何”。几何学的一门分科。公元前3世纪,古希腊数学家欧几里德把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系,写出《几何原本》,形成了欧氏几何。在其公理体系中,最重要的是平行公理,由于对这一公理的不同认识,导致非欧几何的产生。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何”。 欧几里德几何指按照欧几里德的《几何原本》构造的几何学。 欧几里德几何有时就指平面上的几何,即平面几何。三维空间的欧几里德几何通常叫做立体几何。高维的情形请参看欧几里德空间。 数学上,欧几里德几何是平面和三维空间中常见的几何,基于点线面假设。数学家也用这一术语表示具有相似性质的高维几何。 公理描述 [编辑本段] 欧几里德几何的传统描述是一个公理系统,通过有限的公理来证明所有的“真命题”。 欧几里德几何的五条公理是: 任意两个点可以通过一条直线连接。 任意线段能无限延伸成一条直线。 给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。 所有直角都全等。 若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角,则这两条直线在这一边必定相交。 第五条公理称为平行公理,可以导出下述命题: 通过一个不在直线上的点,有且仅有一条不与该直线相交的直线。 平行公理并不像其他公理那么显然。许多几何学家尝试用其他公理来证明这条公理,但都没有成功。19世纪,通过构造非欧几里德几何,说明平行公理是不能被证明的。(若从上述公理体系中去掉平行公理,则可以得到更一般的几何,即绝对几何。) 从另一方面讲,欧几里德几何的五条公理并不完备。例如,该几何中的有定理:任意线段都是三角形的一部分。他用通常的方法进行构造:以线段为半径,分别以线段的两个端点为圆心作圆,将两个圆的交点作为三角形的第三个顶点。然而,他的公理并不保证这两个圆必定相交。因此,许多公理系统的修订版本被提出,其中有希尔伯特公理系统。 欧几里德还提出了五个“一般概念”,也可以作为公理。当然,之后他还使用量的其他性质。

欧拉公式的证明(整理)Word版

欧拉公式的证明 著名的欧拉公式e^(iθ)=cosθ+isinθ是人们公认的优美公式。原因是指数函数和三角函数在实数域中几乎没有什么联系,而在复数域中却发现了他们可以相互转化,并被一个非常简单的关系式联系在一起。特别是当θ=π时,欧拉公式便写成了e^(iπ)+1=0,就这个等式将数中最富有特色的五个数0,1,i , e , π ,绝妙地联系在一起 方法一:用幂级数展开形式证明,但这只是形式证明(严格的说,在实函数域带着i只是形式上的) 再抄一遍:设z = x+iy 这样 e^z = e^(x+iy)=e^x*e^(iy),就是e^z/e^x = e^(iy) 用牛顿幂级数展开式 e^x = 1+x+x^2/2!+x^3/3!+.....+x^n/n!+...... 把 e^(iy) 展开,就得到 e^z/e^x = e^(iy) =1+iy-y^2/2!-iy^3/3!+y^4/4!+iy^5/5!-y^6/6!-..... =(1-y^2/2!+y^4/4!-y^6/6!+.....) +i(y-y^3/3!+y^5/5!-....) 由于 cosy = 1-y^2/2!+y^4/4!-y^6/6!+....., siny = y-y^3/3!+y^5/5!-.... 所以 e^(x+iy)=e^x*e^(iy)=e^x*(cosy+isiny) 即 e^(iy) = (cosy+isiny) 方法二:见复变函数第2章,在整个负数域内重新定义了sinz cosz而后根据关系推导出了欧拉公式。着个才是根基。由来缘于此。 方法一是不严格的。 再请看这2个积分 ∫sqrt(x^2-1)dx=x*sqrt(x^2-1)/2-ln(2*sqrt(x^2-1)+2x)/2 ∫sqrt(1-x^2)dx=arcsin(x)/2+x*sqrt(1-x^2)/2; 上式左边相当于下式左边乘以i 于是上式右边相当于下式右边乘以i 然后化简就得到欧拉公式 这个证明方法不太严密 但很有启发性 历史上先是有人用上述方法得到了对数函数和反三角函数的关系 然后被欧拉看到了,才得到了欧拉公式 设a t θ ?R,ρ?R+,a^(it)?z有: a^(it)=ρ(cosθ+isinθ) 1 因共轭解适合方程,用-i替换i有: a^(-it)=ρ(cosθ-isinθ) 2

欧拉函数公式及其证明

欧拉函数公式及其证明 Prepared on 22 November 2020

欧拉函数: 欧拉函数是数论中很重要的一个函数,欧拉函数是指:对于一个正整数n,小于n且和n互质的正整数(包括1)的个数,记作φ(n)。 完全余数集合: 定义小于n且和n互质的数构成的集合为Zn,称呼这个集合为n的完全余数集合。显然|Zn|=φ(n)。 有关性质: 对于素数p,φ(p)=p-1。 对于两个不同素数p,q,它们的乘积n=p*q满足φ(n)=(p-1)*(q-1)。 这是因为Zn={1,2,3,...,n-1}-{p,2p,...,(q-1)*p}-{q,2q,...,(p-1)*q},则φ(n)=(n-1)-(q-1)-(p-1)=(p-1)*(q-1)=φ(p)*φ(q)。 欧拉定理: 对于互质的正整数a和n,有aφ(n)≡1modn。 证明: (1)令Zn={x1,x2,...,xφ(n)},S={a*x1modn,a*x2modn,...,a*xφ(n)modn}, 则Zn=S。 ①因为a与n互质,x i(1≤i≤φ(n))与n互质,所以a*x i与n互质,所以a*x i modn∈Zn。 ②若i≠j,那么x i≠x j,且由a,n互质可得a*x i modn≠a*x j modn(消去律)。 (2)aφ(n)*x1*x2*...*xφ(n)modn

≡(a*x1)*(a*x2)*...*(a*xφ(n))modn ≡(a*x1modn)*(a*x2modn)*...*(a*xφ(n)modn)modn ≡x1*x2*...*xφ(n)modn 对比等式的左右两端,因为x i(1≤i≤φ(n))与n互质,所以aφ(n)≡1modn(消去律)。 注: 消去律:如果gcd(c,p)=1,则ac≡bcmodpa≡bmodp。 费马定理: 若正整数a与素数p互质,则有a p-1≡1modp。 证明这个定理非常简单,由于φ(p)=p-1,代入欧拉定理即可证明。 ****************************************************** *********************** 补充:欧拉函数公式 (1)p k的欧拉函数 对于给定的一个素数p,φ(p)=p-1。则对于正整数n=p k, φ(n)=p k-p k-1 证明: 小于p k的正整数个数为p k-1个,其中 和p k不互质的正整数有{p*1,p*2,...,p*(p k-1-1)}共计p k-1-1个

08 三角形三内角和——欧氏几何、罗氏几何、黎曼几何的比较

三角形三内角和 ——欧氏几何、罗氏几何、黎曼几何的比较 1840年,俄国数学家罗巴切夫斯基发表了一种新几何学.尽管高斯、波尔约和罗巴切夫斯基几乎同时各自独立地发现了这种新几何学,但由于罗巴切夫斯基第一个无所畏惧地公开发表了他的结果,所以,今天人们把这种新几何称为“罗氏几何”. 罗巴切夫斯基从1815年开始试图证明平行公理,几年的努力都失败了,失败使他逐渐认识到证明平行公理或第五公设是不可能的.1826年,身为大学教授的年轻的罗巴切夫斯基勇敢地抛弃了第五公设,提出了与欧几里得几何(简称欧氏几何)完全相反的公设:“过一点至少可以引两条直线与已知直线平行.”后来人们把这个公设叫做“罗氏公理”.由罗氏公理很容易推出以下结论:“过已知直线外一点可以引无数条直线与已知直线平行.” 罗巴切夫斯基保留了除平行公理以外的欧几里得的全部公理.如果不涉及与平行有关的内容,罗巴切夫斯基的新几何与欧几里得几何学没有任何不同.但是只要与平行有关,那么结果就相差甚远.下表对罗巴切夫斯基几何(简称罗氏几何)、欧氏几何不同的定理作了说明. 图7-11

欧氏几何说:“三角形的三内角和等于180 o.”现实生活中有没有这种几何模型呢?有!平面上的三角形的内角和就等于180 o,如图7-12左图.罗氏几何说“三角形的三内角和小于180o”.难道现实生活中也会有这样的几何模型吗?有!1868年意大利数学家贝特拉米找到了一种曲面,人们给它起名叫“伪球面”.在“伪球面”上可以证明:“三角形内角和小于180 o”,如图7-12中间的图. 图7-12 现实生活中有没有“三角形的内角和大于180 o”的几何学?有!这是德国著名数学家黎曼于1854年提出来的,如图7-12右图. 黎曼生于德国汉诺威,父亲是牧师,他遵照父亲的愿望进入哥廷根大学学习哲学和神学.可是进哥廷根大学后,他很快被数学所吸引.于是就放弃神学专攻数学,并成为大数学家高斯的学生.1851年他获得数学博士学位,博士论文受到高斯极高的评价.1859年他成为哥廷根大学的教授,1866年因患肺结核死于意大利,年仅40岁. 黎曼提出了一种与前两种几何完全不同的新几何,叫做“黎曼几何”.黎曼几何的模型是球面,在黎曼几何中“三角形内角之和大于180 o.” 后来,人们把罗氏几何和黎曼几何合在一起统称“非欧几何”.非欧几何在现代物理中,特别是相对论提出之后找到了具体用处,使得非欧几何并不像有些人说的是“想象中的几何”,而成了有着重要现实意义的几何学.

欧拉公式的证明和应用

数学文化课程报告 欧拉公式的证明与应用 一.序言------------------------------------------------------------------------2 二.欧拉公式的证明--------------------------------------3 极限法 --------------------------------------3 指数函数定义法-------------------------------4 分离变量积分法-------------------------------4 复数幂级数展开法-----------------------------4 变上限积分法---------------------------------5 类比求导法-----------------------------------7 三.欧拉公式的应用 求高阶导数-----------------------------------7 积分计算------------------------------------8 高阶线性齐次微分方程的通解------------------9 求函数级数展开式----------------------------9 三角级数求和函数----------------------------10 傅里叶级数的复数形式-------------------------10 四.结语------------------------------------------------11 参考文献-----------------------------------------------11 一.序言

非欧几何的诞生及其给我们的启示论文

非欧几何的诞生及其给我们的启示 摘要:数学史上,非欧几何占有特殊的地位.以非欧几何的发明过程为基本线索,探讨了其对数学学 科本身、人类文化、哲学思想的影响;对数学科研者、数学教育工作者及高校学生的启示. 关键词:非欧几何;罗巴切夫斯基几何;黎曼几何 1 非欧几何的发展史 1.1 问题的提出 非欧几何的发展源于2 000 多年前的古希腊数学家的欧几里得的《几何原本》.其中公设五是欧几里得自己提出的,它的内容是“若一条直线与两直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点”.这一公设引起了广泛的讨论,因为它不如其他公理、公设那样简明,欧几里得本人也不满意这条公设,他在证完了所有不需要平行公设的定理后才使用它,怀疑它可能不是一个独立的公设,或许能用其它公设或公理代替.从古希腊时代开始到19 世纪的2000 多年来数学家们始终对这条公设耿耿于怀,孜孜不倦的试图解决这个问题.数学家们主要沿2 条研究途径前进:一条途径是寻找一条更为自明的命题代替平行公设;另一条途径是试图从其他9 条公理、公设推导出平行公设来.沿第一条途径找到的第五公设最简单的表述是1795 年苏格兰数学家普雷菲尔(J.Playfair 1748-1819)给出的:“过直线外一点,有且只有一条直线与原直线平行”也就是我们今天中学课本里使用的平行公理.但实际上古希腊数学家普罗克鲁斯在公元5 世纪就陈述过它.然而问题是,所有这些替代公设并不比原来的第五公设更好接受,更“自然”.历史上第一个证明第五公设的重大尝试是古希腊天文学家托勒玫(Ptolemy,约公元150 年)做出的,后来普罗克鲁斯指出托勒玫的“证明”无意中假定了过直线外一点只能作一条直线与已知直线平行,这就是上面提到的普雷菲 尔公设. 1.2 问题的解决 1.2.1 非欧几何的萌芽 沿第二条途径论证第五公设的工作在18 世纪取得突破性进展.首先是意大利人萨凯里(Saccharin 1667-1733)提出用归谬法证明第五公设,萨凯里从四边形ABCD

欧氏几何介绍

数学分支之欧氏几何 欧氏几何的建立 欧氏几何是欧几里德几何学的简称,其创始人是公元前三世纪的古希腊伟大数学家欧几里德。在他以前,古希腊人已经积累了大量的几何知识,并开始用逻辑推理的方法去证明一些几何命题的结论。欧几里德这位伟大的几何建筑师在前人准备的“木石砖瓦”材料的基础上,天才般地按照逻辑系统把几何命题整理起来,建成了一座巍峨的几何大厦,完成了数学史上的光辉著作《几何原本》。这本书的问世,标志着欧氏几何学的建立。这部科学著作是发行最广而且使用时间最长的书。后又被译成多种文字,共有二千多种版本。它的问世是整个数学发展史上意义极其深远的大事,也是整个人类文明史上的里程碑。两千多年来,这部著作在几何教学中一直占据着统治地位,至今其地位也没有被动摇,包括我国在内的许多国家仍以它为基础作为几何教材。 一座不朽的丰碑 欧几里德将早期许多没有联系和未予严谨证明的定理加以整理,写下《几何原本》一书,使几何学变成为一座建立在逻辑推理基础上的不朽丰碑。这部划时代的著作共分13卷,465个命题。其中有八卷讲述几何学,包含了现在中学所学的平面几何和立体几何的内容。但《几何原本》的意义却绝不限于其内容的重要,或者其对定理出色的证明。真正重要的是欧几里德在书中创造的一种被称为公理化的方法。 在证明几何命题时,每一个命题总是从再前一个命题推导出来的,而前一个命题又是从再前一个命题推导出来的。我们不能这样无限地推导下去,应有一些命题作为起点。这些作为论证起点,具有自明性并被公认下来的命题称为公理,如同学们所学的“两点确定一条直线”等即是。同样对于概念来讲也有些不加定义的原始概念,如点、线等。在一个数学理论系统中,我们尽可能少地先取原始概念和不加证明的若干公理,以此为出发点,利用纯逻辑推理的方法,把该系统建立成一个演绎系统,这样的方法就是公理化方法。欧几里德采用的正是这种方法。他先摆出公理、公设、定义,然后有条不紊地由简单到复杂地证明一系列命题。他以公理、公设、定义为要素,作为已知,先证明了第一个命题。然后又以此为基础,来证明第二个命题,如此下去,证明了大量的命题。其论证之精彩,逻辑之周密,结构之严谨,令人叹为观止。零散的数学理论被他成功地编织为一个从基本假定到最复杂结论的系统。因而在数学发展史上,欧几里德被认为是成功而系统地应用公理化方法的第一人,他的工作被公认为是最早用公理法建立起演绎的数学体系的典范。正是从这层意义上,欧几里德的《几何原本》对数学的发展起到了巨大而深远的影响,在数学发展史上树立了一座不朽的丰碑。 欧氏几何的完善 公理化方法已经几乎渗透于数学的每一个领域,对数学的发展产生了不可估量的

欧拉公式的证明

欧拉公式的证明 文稿归稿存档编号:[KKUY-KKIO69-OTM243-OLUI129-G00I-FDQS58-

欧拉公式的证明 着名的欧拉公式e^(iθ)=cosθ+isinθ是人们公认的优美公式。原因是指数函数和三角函数在实数域中几乎没有什么联系,而在复数域中却发现了他们可以相互转化,并被一个非常简单的关系式联系在一起。特别是当θ=π时,欧拉公式便写成了e^(iπ)+1=0,就这个等式将数中最富有特色的五个数0,1,i , e , π ,绝妙地联系在一起 方法一:用幂级数展开形式证明,但这只是形式证明(严格的说,在实函数域带着i只是形式上的) 再抄一遍:??? 设z = x+iy 这样 e^z = e^(x+iy)=e^x*e^(iy),就是 e^z/e^x = e^(iy) 用牛顿幂级数展开式 e^x = 1+x+x^2/2!+x^3/3!+.....+x^n/n!+...... 把 e^(iy) 展开,就得到 e^z/e^x = e^(iy) =1+iy-y^2/2!-iy^3/3!+y^4/4!+iy^5/5!-y^6/6!-..... =(1-y^2/2!+y^4/4!-y^6/6!+.....) +i(y-y^3/3!+y^5/5!-....) 由于 cosy = 1-y^2/2!+y^4/4!-y^6/6!+.....,

siny = y-y^3/3!+y^5/5!-.... 所以 e^(x+iy)=e^x*e^(iy)=e^x*(cosy+isiny) 即 e^(iy) = (cosy+isiny) 方法二:见复变函数第2章,在整个负数域内重新定义了sinz cosz而后根据关系推导出了欧拉公式。着个才是根基。由来缘于此。 方法一是不严格的。 再请看这2个积分 ∫sqrt(x^2-1)dx=x*sqrt(x^2-1)/2-ln(2*sqrt(x^2-1)+2x)/2 ∫sqrt(1-x^2)dx=arcsin(x)/2+x*sqrt(1-x^2)/2; 上式左边相当于下式左边乘以i 于是上式右边相当于下式右边乘以i 然后化简就得到欧拉公式 这个证明方法不太严密 但很有启发性 历史上先是有人用上述方法得到了对数函数和反三角函数的关系 然后被欧拉看到了,才得到了欧拉公式 设a t θ ?R,ρ?R+,a^(it)?z有:

相关文档
最新文档