非欧几里得几何
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
22
8.2.4一般讨论
代数研究的对象是数,数偶(a,b),一次方程式,二次 方程式等；几何研究的对象是点，直线，圆， 曲线等。我们要做的工作是将几何对象化为代 数对象。
问题：用直尺圆规作出来的数是不是都在这个 范围内？会不会超出这个范围？
23
8.2.4一般讨论
假定我们可用直尺圆规作出某个数域F中的所有 数。
3
3
§8.1欧几里得几何
8.1.1欧氏几何的诞生
公元前7世纪左右，希腊著名数学家泰勒斯
（公元前625—公元前574年）把埃及的数学 知识传到希腊，他极力主张对几何学上的陈 述不能凭直觉上的貌似合理就予以接受,相 反必须经过严格的逻辑证明。
4
8.1.1欧氏几何的诞生
泰勒斯对几何学作出巨大的贡献,第一个证明
了下列几何性质: 1)对顶角相等 2)三角形内角和等于两直角之和. 3)等腰三角形的两个底角相等 4)半圆上的圆周角是直角
5
8.1.1欧氏几何的诞生
毕达哥拉斯研究了五种正多面体、黄金分割、
比例中项定理等，其中影响最大的有毕达哥拉 斯定理和无理数的发现。
雅典学派的希波克拉底、柏拉图、欧多克索斯
提出几何三大问题：三等分任意角的问题、立 方倍积问题、化圆为方问题，对几何学的发展 有很大的贡献。
19
8.2.2用尺规可作什么图
下面的图是用尺规可作的： 1) 二等分已知线段 2) 二等分已知角 3) 已知直线L和L外一点P，过P作直线垂直L 4) 任意给定自然数n，作已知线段的n倍，以及n 等分已知线段 5) 已知线段a,b,可作a+b,a-b,ab,a/b 6) 已知线段a,做 a
20
8.2.3有理数域的扩张
30
8.4.1非欧几何的孕育时期
从四边形出发来研究欧氏几何问题是非欧几何的开端, 先固定两条底边,可以证明上面两个角一定相等,但是无 法证明它们是直角.萨谢利分别假定上面两个角是钝角, 锐角或直角,推出了一系列的结果.当假定上面两个角是 直角时,平行公设定理被证明了。 C D
A
B
31
8.4.1非欧几何的孕育时期
8.4.2非欧几里德几何的诞生：
J.波尔约是预见非欧几何的第二人，他称他的非欧 几何为绝对几何。 然而，真正发表此课题的有系统的著作的第一人 是俄国数学家罗巴切夫斯基。
他发展的非欧几何现今 被称为罗巴切夫斯基几 何。他赢得了“几何学 上的哥白尼”的称号。
34
8.4.3罗巴切夫斯基的解答：
罗马切夫斯基在他的《新几何原本》中描述了他所 给出的第五公设的解答要点： “大家知道，直至今天为止，几何学中的平行线理 论还是不完全的。从欧几里德时代以来，两千年来 的徒劳无益的努力，促使我怀疑在概念本身之中并 未包括那样的真实情况，它是大家想要证明的，也 是可以象别的物理规律一样单用实验（譬如天文观 测）来检验的。最后，我肯定了我的推测的真实性， 而且认为困难的问题完全解决了，我在1826年写出 了关于这个问题的论证。”
著名的几何作图三大问题是（限制用直尺和圆 规）：
1）三等分任意角 2）化圆为方：求作一正方形，使其面积等于一
已知圆的面积 3）立方倍积：求作一立方体，使其体积是已知 立方体体积的两倍
17
8.2.1几何三大难题
三大难题是几何作图不能解决的问题：
笛卡尔创立了解析几何，为解决尺规作图三
大问题奠定了基础。
3.可做图的量是而且仅仅是这一系列扩域
中的数.
4.可做图的数都是代数数.
25
8.2.5三大难题的解
1）立方倍积问题
等同于求解 x3 2 0 2）三等分任意角 从60度角出发，假定三等分角是可能的。
200 则cos3 =4cos3 -3cos
即4cos3 -3cos
1 2
令x=cos 并代入
得： 8 x 3 6 x 1 0
而以上方程没有二次不尽根的解。
26
8.2.5三大难题的解
3）化圆为方问题 考虑半径为1的单位圆，它的面积等于派。 现在要求一个正方形，它的面积为派。由于 派是一个超越数，因此化圆为方问题无解。
27
§8.3正多边形作图
高斯定理 对奇数n,当且仅当n是一个费马素数, 或者若干个费马素数的乘积时,正n边形才能用直 尺和圆规作图. 可作:4,8,16……正n边形 3,6,12,……正n边形 5,10,20,……正n边形 17,34 ,……正n边形 15,30,……正n边形
命题2 命题3
只用直尺做不出数域F以外的数。 用圆规只能做出形如 a b k 的数。
p q k , p, q, 个或两个新点
的x坐标或是y坐标其量的形式都是以上的形式.
24
8.2.4一般讨论
小结: 1.如果开始给定一些量,那么从这些量出发, 只用直尺可生成域F的所有量,但不能超出数域. 2.用圆规能把可做图的量扩充到域F的扩域 F1,构造扩域的过程可不断进行,从而可得 F2,F3,F4,F5….
111
1
开篇：
欧几里德的第五公设“也许是科学史 上最重要的一句话” C.J.Keyser
十九世纪最富有启发性和最值得注意 的成就就是非欧几里德几何的发现。
2
D.希尔伯特
2
开篇：
欧氏几何是我们中学时期数学学习的 一部分，我们已经非常熟悉它的内容，例 如：两点决定一条直线，三点决定一个平 面，勾股定理等；我们已经很习惯的认为 我们所生活的空间是欧氏几何空间。今天 我们要讨论欧氏几何的地位和作用，以及 它的主要成果是什么？它的主要缺陷是什 么？非欧几里德几何是如何产生的和发现 的。
1766年，瑞士的H.兰伯特写了《平行线理论》作
了类似研究。 勒让德也对平行公设做出卓越贡献，他对一特 定的三角形的内角和做出三个不同的假定：等于、 大于、或小于两直角。 施韦卡特1816年写了备忘录，区分了两种几何： 欧几里德与假设三角内角之和不是两直角的几何。 他将后者称为星空几何。 陶里努斯得出结论：只有欧几里德几何对物质 空间是正确的，而星空几何只是逻辑上相容。
4) 直线上的点是同样放置的 5) 面只有长度和宽度 6) 面的界是线
10
8.1.3欧氏几何的内容
公设
1) 给定两点，可连接一线段
2) 线段可无限延长 3) 给定一点为中心和通过任意另一点可以作
一圆 4) 所有直角彼此相等 5) 如一条直线与两条直线相交，并且在同侧 所交出的两内角之和小于两个直角，则这 两条直线无限延长后必在该侧相交。
13
8.1.4欧氏几何的优缺点
《几何原本》是最早一本内容丰富的数学书，为所
有的后代人所使用，它对数学发展的影响超过任何一 本别的书。读了这本书之后，在对数学本身的看法， 对证明的思索方法，对定理按逻辑顺序的排法等方面， 都会学到一些东西。它的内容也决定了其后数学思想 的发展。 《几何原本》的缺陷 不够严格、在有限和无限的问题上含糊 希尔伯特1889年发表了《几何基础》，书中成功地 建立了欧几里德完整的公理体系。他把公理分为五类， 分别处理关联、顺序、全等、平行和连续性。
尺规作图步骤不外是下列做法之一：
1) 用一条直线连接两点 2) 求两条直线的交点 3) 以一点为心，定长为半径做一圆 4) 求一个圆与一条直线的交点或切点 5) 求两个圆的交点或切点
21
8.2.3有理数域的扩张
在假定平面上，直线方程
ax by c 0 圆的方程具有形式
x2 y 2 2 x 2 y 0 系数 a, b, c, , , 都是有理数 假定最初只给了一个元素1，从1出发能做出整个 有理数域.我们能做出新的无理数,如 2 ,从 2 ab 2 出发,通过“有理”作图,可以做出所有形如 的数. 命题1 形如 a b 2 的数形成一个域.
柏拉图把逻辑思想引入几何学，使几何系统逐
渐严格化。
6
8.1.1欧氏几何的诞生
约在公元前300年，欧几里得按照逻辑系统 对几何学进行了整理，完成了数学史上最光辉 的著作《几何原本》。
《几何原本》不仅仅是数学定理及其证明； 欧几里得对命题作了辉煌的公理化演译，他成功 的将零散的数学理论编为一个从基本假定到复杂 结论的连续网络，所有这些都使之成为其后所有 数学著作的范本。
1637年，法国数学家旺策尔证明了三等分任
意角和立方倍积的问题都是不能用几何作图完 成的问题。
1882年法国数学有林德曼证明了∏是超越数，
从而证明了化圆为方的不可能性。
18
8.2.1几何三大难题
三大几何难题的贡献：
两千多年来，三大几何难题引起了许多数学家 的兴趣，对它们的深入研究不但给予希腊几何 学以巨大影响，而且引出了大量新的发现。 如：二次曲线、三次曲线以及几种超越曲 线的发现；关于有理数域，代数数与超越数、 群论等的发展；化圆为方的问题促进了穷竭法 的发展，而穷竭法正是微积分的先导。
8
8.1.3欧氏几何的内容
第3卷：圆的定理； 第4卷：圆的内接与外切多边形定理； 第6卷：相似形的定理； 最后3卷是立体几何。 《几何原本》是由定义、公设、公理组成的 演绎推理体系。第1卷开始首先提出23个定义。
9
8.1.3欧氏几何的内容
前6个定义是：
1) 点没有大小
2) 线有长度而没有宽度
3) 线的界是点
14
8.1.5欧氏几何的历史地位
《几何原本》被称为数学家的圣经，在数学史乃 至人类科学史上都具有无以伦比的崇高地位。 1) 成功地将零散的数学理论编为一个从基本假定 到最复杂结论的整体结构。 2) 对命题作了公理化演绎。从定义、公理、公设 出发建立了几何学的逻辑体系，成为其后所有 数学的范本。 3) 几个世纪以来，已成为训练逻辑推理的最有力 的教育手段。
35
8.4.4罗巴切夫斯基的想象几何学
欧几里德几何第五公设成立的充分必要条件： 命题1 第五公设成立的充分必要条件是过直线外一 点存在唯一的与该直线平行的直线. 命题2 第五公设成立的充分必要条件是三角形内角 和等于派. 命题3 第五公设成立的充分必要条件是同一直线的 垂线与斜线相交. 命题4 第五公设成立的充分必要条件是存在两个相 似但不全等的三角形.
欧氏几何的诞生是人类文明史上一个具有 划时代意义的伟大事件。
7
8.1.2《几何原本》的历史背景
整理、充实、连续
8.1.3欧氏几何的内容
《几何原本》共13卷，除其中第5，7，8，9， 10卷讲授比例和算术理论外，其余各卷都是 讲授几何内容的。
第1卷：平行线、三角形、平形四边形的定理；
第2卷：毕达哥拉斯定理及其应用；
32
8.4.2非欧几里德几何的诞生：
高 斯 从 1799 年 开 始 意 识到平行公设不能从其 他的欧几里得公理推出 来，并从 1813 年起发展 了这种平行公设在其中 不成立的新几何。他起 先称之为“反欧几里得 几何”，最后改称为 “非欧几里得几何”， 所以“非欧几何”这个 名称正是来自高斯。
33
15
8.1.6几何学在数学教育中的地位
随着代数的出现，笛卡尔将其应用于几何，以及 随后微积分的发展，改变了数学的整个特征，数 学变得更加符号化，更抽象了。几何学在课程中 的核心地位开始衰落。
几何学不只是一个数学分支，而且是一种思维方 式，它渗透到数学的所有分支。
16
§8.2尺规作图问题
8.2.1几何三大难题
与第五公设等价的命题(1-8)。 多少个世纪以来，人们都在试图从欧几里德的 其它假定推出第五公设。直到1733年意大利人 萨谢利（G.Saccheri 1667-1733）才做了关于第 五公设值得注意的研究成果。 萨谢利是第一个试图应用归缪法来证明第五公 设的人，他将研究结果写在《排除任何谬误的 欧几里德》一书中。
11
8.1.3欧氏几何的内容
公理
1) 与同一个东西相等的东西彼此也相等
2) 等量加等量，其和相等 3) 等量减等量，其差相等 4) 彼此重合的东西相等 5) 整体大于部分
欧几里德工具：圆规和无刻度的直尺
12
8.1.3欧氏几何的内容 第五公设与“在平面内过已知直线外 一点，只有一条直线与已知直线平行” 相等价。 现在把后一命题叫做欧几里德平行公 理。 19世纪，它导致了数学发展史上一些 非常重要的结果，这就是非欧几何的 诞生。
28
§8.4非欧几何
对第五公设的研究导致了非欧几何的诞生，这 段历史大致经历了四个时期： 1）寻求第五公设的证明时期 2）非欧几何的孕育期 3）非欧几何的诞生期 4）非欧几何的确认时期 多少个世纪以来，从欧几里德的其它假定推出 第五公设的尝试差不多够一个军团，可惜均以 失败告终。
29
8.4.1非欧几何的孕育时期
8.2.4一般讨论
代数研究的对象是数,数偶(a,b),一次方程式,二次 方程式等；几何研究的对象是点，直线，圆， 曲线等。我们要做的工作是将几何对象化为代 数对象。
问题：用直尺圆规作出来的数是不是都在这个 范围内？会不会超出这个范围？
23
8.2.4一般讨论
假定我们可用直尺圆规作出某个数域F中的所有 数。
3
3
§8.1欧几里得几何
8.1.1欧氏几何的诞生
公元前7世纪左右，希腊著名数学家泰勒斯
（公元前625—公元前574年）把埃及的数学 知识传到希腊，他极力主张对几何学上的陈 述不能凭直觉上的貌似合理就予以接受,相 反必须经过严格的逻辑证明。
4
8.1.1欧氏几何的诞生
泰勒斯对几何学作出巨大的贡献,第一个证明
了下列几何性质: 1)对顶角相等 2)三角形内角和等于两直角之和. 3)等腰三角形的两个底角相等 4)半圆上的圆周角是直角
5
8.1.1欧氏几何的诞生
毕达哥拉斯研究了五种正多面体、黄金分割、
比例中项定理等，其中影响最大的有毕达哥拉 斯定理和无理数的发现。
雅典学派的希波克拉底、柏拉图、欧多克索斯
提出几何三大问题：三等分任意角的问题、立 方倍积问题、化圆为方问题，对几何学的发展 有很大的贡献。
19
8.2.2用尺规可作什么图
下面的图是用尺规可作的： 1) 二等分已知线段 2) 二等分已知角 3) 已知直线L和L外一点P，过P作直线垂直L 4) 任意给定自然数n，作已知线段的n倍，以及n 等分已知线段 5) 已知线段a,b,可作a+b,a-b,ab,a/b 6) 已知线段a,做 a
20
8.2.3有理数域的扩张
30
8.4.1非欧几何的孕育时期
从四边形出发来研究欧氏几何问题是非欧几何的开端, 先固定两条底边,可以证明上面两个角一定相等,但是无 法证明它们是直角.萨谢利分别假定上面两个角是钝角, 锐角或直角,推出了一系列的结果.当假定上面两个角是 直角时,平行公设定理被证明了。 C D
A
B
31
8.4.1非欧几何的孕育时期
8.4.2非欧几里德几何的诞生：
J.波尔约是预见非欧几何的第二人，他称他的非欧 几何为绝对几何。 然而，真正发表此课题的有系统的著作的第一人 是俄国数学家罗巴切夫斯基。
他发展的非欧几何现今 被称为罗巴切夫斯基几 何。他赢得了“几何学 上的哥白尼”的称号。
34
8.4.3罗巴切夫斯基的解答：
罗马切夫斯基在他的《新几何原本》中描述了他所 给出的第五公设的解答要点： “大家知道，直至今天为止，几何学中的平行线理 论还是不完全的。从欧几里德时代以来，两千年来 的徒劳无益的努力，促使我怀疑在概念本身之中并 未包括那样的真实情况，它是大家想要证明的，也 是可以象别的物理规律一样单用实验（譬如天文观 测）来检验的。最后，我肯定了我的推测的真实性， 而且认为困难的问题完全解决了，我在1826年写出 了关于这个问题的论证。”
著名的几何作图三大问题是（限制用直尺和圆 规）：
1）三等分任意角 2）化圆为方：求作一正方形，使其面积等于一
已知圆的面积 3）立方倍积：求作一立方体，使其体积是已知 立方体体积的两倍
17
8.2.1几何三大难题
三大难题是几何作图不能解决的问题：
笛卡尔创立了解析几何，为解决尺规作图三
大问题奠定了基础。
3.可做图的量是而且仅仅是这一系列扩域
中的数.
4.可做图的数都是代数数.
25
8.2.5三大难题的解
1）立方倍积问题
等同于求解 x3 2 0 2）三等分任意角 从60度角出发，假定三等分角是可能的。
200 则cos3 =4cos3 -3cos
即4cos3 -3cos
1 2
令x=cos 并代入
得： 8 x 3 6 x 1 0
而以上方程没有二次不尽根的解。
26
8.2.5三大难题的解
3）化圆为方问题 考虑半径为1的单位圆，它的面积等于派。 现在要求一个正方形，它的面积为派。由于 派是一个超越数，因此化圆为方问题无解。
27
§8.3正多边形作图
高斯定理 对奇数n,当且仅当n是一个费马素数, 或者若干个费马素数的乘积时,正n边形才能用直 尺和圆规作图. 可作:4,8,16……正n边形 3,6,12,……正n边形 5,10,20,……正n边形 17,34 ,……正n边形 15,30,……正n边形
命题2 命题3
只用直尺做不出数域F以外的数。 用圆规只能做出形如 a b k 的数。
p q k , p, q, 个或两个新点
的x坐标或是y坐标其量的形式都是以上的形式.
24
8.2.4一般讨论
小结: 1.如果开始给定一些量,那么从这些量出发, 只用直尺可生成域F的所有量,但不能超出数域. 2.用圆规能把可做图的量扩充到域F的扩域 F1,构造扩域的过程可不断进行,从而可得 F2,F3,F4,F5….
111
1
开篇：
欧几里德的第五公设“也许是科学史 上最重要的一句话” C.J.Keyser
十九世纪最富有启发性和最值得注意 的成就就是非欧几里德几何的发现。
2
D.希尔伯特
2
开篇：
欧氏几何是我们中学时期数学学习的 一部分，我们已经非常熟悉它的内容，例 如：两点决定一条直线，三点决定一个平 面，勾股定理等；我们已经很习惯的认为 我们所生活的空间是欧氏几何空间。今天 我们要讨论欧氏几何的地位和作用，以及 它的主要成果是什么？它的主要缺陷是什 么？非欧几里德几何是如何产生的和发现 的。
1766年，瑞士的H.兰伯特写了《平行线理论》作
了类似研究。 勒让德也对平行公设做出卓越贡献，他对一特 定的三角形的内角和做出三个不同的假定：等于、 大于、或小于两直角。 施韦卡特1816年写了备忘录，区分了两种几何： 欧几里德与假设三角内角之和不是两直角的几何。 他将后者称为星空几何。 陶里努斯得出结论：只有欧几里德几何对物质 空间是正确的，而星空几何只是逻辑上相容。
4) 直线上的点是同样放置的 5) 面只有长度和宽度 6) 面的界是线
10
8.1.3欧氏几何的内容
公设
1) 给定两点，可连接一线段
2) 线段可无限延长 3) 给定一点为中心和通过任意另一点可以作
一圆 4) 所有直角彼此相等 5) 如一条直线与两条直线相交，并且在同侧 所交出的两内角之和小于两个直角，则这 两条直线无限延长后必在该侧相交。
13
8.1.4欧氏几何的优缺点
《几何原本》是最早一本内容丰富的数学书，为所
有的后代人所使用，它对数学发展的影响超过任何一 本别的书。读了这本书之后，在对数学本身的看法， 对证明的思索方法，对定理按逻辑顺序的排法等方面， 都会学到一些东西。它的内容也决定了其后数学思想 的发展。 《几何原本》的缺陷 不够严格、在有限和无限的问题上含糊 希尔伯特1889年发表了《几何基础》，书中成功地 建立了欧几里德完整的公理体系。他把公理分为五类， 分别处理关联、顺序、全等、平行和连续性。
尺规作图步骤不外是下列做法之一：
1) 用一条直线连接两点 2) 求两条直线的交点 3) 以一点为心，定长为半径做一圆 4) 求一个圆与一条直线的交点或切点 5) 求两个圆的交点或切点
21
8.2.3有理数域的扩张
在假定平面上，直线方程
ax by c 0 圆的方程具有形式
x2 y 2 2 x 2 y 0 系数 a, b, c, , , 都是有理数 假定最初只给了一个元素1，从1出发能做出整个 有理数域.我们能做出新的无理数,如 2 ,从 2 ab 2 出发,通过“有理”作图,可以做出所有形如 的数. 命题1 形如 a b 2 的数形成一个域.
柏拉图把逻辑思想引入几何学，使几何系统逐
渐严格化。
6
8.1.1欧氏几何的诞生
约在公元前300年，欧几里得按照逻辑系统 对几何学进行了整理，完成了数学史上最光辉 的著作《几何原本》。
《几何原本》不仅仅是数学定理及其证明； 欧几里得对命题作了辉煌的公理化演译，他成功 的将零散的数学理论编为一个从基本假定到复杂 结论的连续网络，所有这些都使之成为其后所有 数学著作的范本。
1637年，法国数学家旺策尔证明了三等分任
意角和立方倍积的问题都是不能用几何作图完 成的问题。
1882年法国数学有林德曼证明了∏是超越数，
从而证明了化圆为方的不可能性。
18
8.2.1几何三大难题
三大几何难题的贡献：
两千多年来，三大几何难题引起了许多数学家 的兴趣，对它们的深入研究不但给予希腊几何 学以巨大影响，而且引出了大量新的发现。 如：二次曲线、三次曲线以及几种超越曲 线的发现；关于有理数域，代数数与超越数、 群论等的发展；化圆为方的问题促进了穷竭法 的发展，而穷竭法正是微积分的先导。
8
8.1.3欧氏几何的内容
第3卷：圆的定理； 第4卷：圆的内接与外切多边形定理； 第6卷：相似形的定理； 最后3卷是立体几何。 《几何原本》是由定义、公设、公理组成的 演绎推理体系。第1卷开始首先提出23个定义。
9
8.1.3欧氏几何的内容
前6个定义是：
1) 点没有大小
2) 线有长度而没有宽度
3) 线的界是点
14
8.1.5欧氏几何的历史地位
《几何原本》被称为数学家的圣经，在数学史乃 至人类科学史上都具有无以伦比的崇高地位。 1) 成功地将零散的数学理论编为一个从基本假定 到最复杂结论的整体结构。 2) 对命题作了公理化演绎。从定义、公理、公设 出发建立了几何学的逻辑体系，成为其后所有 数学的范本。 3) 几个世纪以来，已成为训练逻辑推理的最有力 的教育手段。
35
8.4.4罗巴切夫斯基的想象几何学
欧几里德几何第五公设成立的充分必要条件： 命题1 第五公设成立的充分必要条件是过直线外一 点存在唯一的与该直线平行的直线. 命题2 第五公设成立的充分必要条件是三角形内角 和等于派. 命题3 第五公设成立的充分必要条件是同一直线的 垂线与斜线相交. 命题4 第五公设成立的充分必要条件是存在两个相 似但不全等的三角形.
欧氏几何的诞生是人类文明史上一个具有 划时代意义的伟大事件。
7
8.1.2《几何原本》的历史背景
整理、充实、连续
8.1.3欧氏几何的内容
《几何原本》共13卷，除其中第5，7，8，9， 10卷讲授比例和算术理论外，其余各卷都是 讲授几何内容的。
第1卷：平行线、三角形、平形四边形的定理；
第2卷：毕达哥拉斯定理及其应用；
32
8.4.2非欧几里德几何的诞生：
高 斯 从 1799 年 开 始 意 识到平行公设不能从其 他的欧几里得公理推出 来，并从 1813 年起发展 了这种平行公设在其中 不成立的新几何。他起 先称之为“反欧几里得 几何”，最后改称为 “非欧几里得几何”， 所以“非欧几何”这个 名称正是来自高斯。
33
15
8.1.6几何学在数学教育中的地位
随着代数的出现，笛卡尔将其应用于几何，以及 随后微积分的发展，改变了数学的整个特征，数 学变得更加符号化，更抽象了。几何学在课程中 的核心地位开始衰落。
几何学不只是一个数学分支，而且是一种思维方 式，它渗透到数学的所有分支。
16
§8.2尺规作图问题
8.2.1几何三大难题
与第五公设等价的命题(1-8)。 多少个世纪以来，人们都在试图从欧几里德的 其它假定推出第五公设。直到1733年意大利人 萨谢利（G.Saccheri 1667-1733）才做了关于第 五公设值得注意的研究成果。 萨谢利是第一个试图应用归缪法来证明第五公 设的人，他将研究结果写在《排除任何谬误的 欧几里德》一书中。
11
8.1.3欧氏几何的内容
公理
1) 与同一个东西相等的东西彼此也相等
2) 等量加等量，其和相等 3) 等量减等量，其差相等 4) 彼此重合的东西相等 5) 整体大于部分
欧几里德工具：圆规和无刻度的直尺
12
8.1.3欧氏几何的内容 第五公设与“在平面内过已知直线外 一点，只有一条直线与已知直线平行” 相等价。 现在把后一命题叫做欧几里德平行公 理。 19世纪，它导致了数学发展史上一些 非常重要的结果，这就是非欧几何的 诞生。
28
§8.4非欧几何
对第五公设的研究导致了非欧几何的诞生，这 段历史大致经历了四个时期： 1）寻求第五公设的证明时期 2）非欧几何的孕育期 3）非欧几何的诞生期 4）非欧几何的确认时期 多少个世纪以来，从欧几里德的其它假定推出 第五公设的尝试差不多够一个军团，可惜均以 失败告终。
29
8.4.1非欧几何的孕育时期