第五章几何学的发展
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
•12
5.3.2 《原本》中的几何方法
《原本》在证明相关结论中使用了多种 几何方法，如,叠合法,归谬法,代数式 的几何证法,等等。这些方法是人类早 期研究图形性质的数学方法，在现代基 础教育中仍发挥着积极的作用。
举例如下： 毕德哥拉斯定理，《原本》使用几何的证
法如下：
如图5.19，先证明△ABD△FBC，推得矩形 BL与正方形GB等积。同理推得矩形CL与 正方形AK等积。
克莱因以射影几何为基础、对几何学做了如下的分类：
•26
利用不变性研究图形的性质，为初等几何 的研究提供了新的方法。
例如，由于在仿射交换下椭圆可以变成 圆，相应地椭圆中心变为圆心，椭圆的切 线变为圆的切线。我们不妨将原命题应用 仿射变换转化为相应的圆的命题：设
△ABC为圆内接三角形，以其顶点作切线 构成了切线三角形A1B1C1。如果 A1B1∥AB. B1C1∥BC。那么A1C1∥AC。一
•31
5.9 学校中欧氏几何的教育
一种情况，CP＜CQ。根据戴德金的公设
，在AB上存在一个点R，使得：所有位
于它之前的点属于第一类，并且所有位
于它之后的点属于第二类。于是OR不小于r，否则我们能 在R和B之间选AB上的点S，使得RS＜r－OR，但是，因为 OS＜OR+RS，这意味着谬论：OS＜r。类似地，能证明： OR不大于r。因此，我们必定有OR = r，于是定理得证
轨迹是一曲线，它上面的任意三点都不在一条直线上。 在任一角内，至少存在这样一点，通过它不能做出一条同时与两
边相交的直线。 圆内接正六边形的边大于此圆半径
•23
5.7 几何学的统一性与现实性 5.7.1黎曼几何
德国数学家年提出另一种非欧几何学——黎
曼几何（黎曼。1854年）直接起源于微分几何
的研究黎曼几何的平行公理，是假设过 直线外一点不存在与已知直线平行的直线
•29
• 例如，用公理IV给出下述命题的证明：
• 命题：联接圆内的一点A与圆外一点B的直线段与该圆周
有一个公共点。 图5.33 圆内外两点连线必与圆相交 的证明
事实上，令O为给定圆的圆心，r为半径，
C为从O到AB线段的垂线。线段AB上的点
可被分为两类：对于一些点P，OP＜r，
和对于一些点Q，OQ≥r。可证明：对每
相容性，即由公理导出的定理，没有哪两个是相 互矛盾的；
完备性，即理论系统中的定理都可以从公理导出
独立性，即由公理导出的定理中中没有一个是另
一个的逻辑
结果。在任何一个公理系中，
不加定义的概念
例如几何学中的“点”和“线”，它们在物理领域中 的“意义”或关系，在数学上是非本质的。它们 被当作纯粹抽象的东西，它们在演绎系统中的性
•20
一。个等价命题的证明：如果任意三角形内角和
都等于π，那么过线a外一点A只能引进 一条直线与a不交。
[证明] 过A引a的垂线AB，并过A引AB的垂线b ，则a与b必定不交。
假如另有一条直线AC
与a不交，记锐角∠BAC为
－ ，在直线a上取点B1，使
B1、C在AB同侧，且使
∠AB1B=α＜
。
按假设，直角△ABB1内角和等于π，所以
[插入图5.27] 曲线与方程的思想明确指出：几何曲线可以用唯一的
含x和y有限次代数方程来表示的曲线
•17
费马的工作
费马关于曲线与方程的思想，源于 对阿波罗尼兹圆锥曲线的研究。 他 使用了倾斜坐标系，建立了圆锥曲 线的代数表述式。
•18
5.6 罗巴切夫斯基几何学
在欧几里得几何学中第五公设（即平 行公理）的研究过程中，人们不自 觉地将得到了许多第五公设的等价 命题。发现了罗巴切夫斯基几何学
罗巴切夫斯基非欧几何命题
三角形内角和都是小于π的，而且其和量因三角形而异，并非
一个常量。 同一直线的垂线及斜线，并不总是相交的。 不存在相似而不全等的两个三角形。 如果两个三角形的各内角对应相等，则它们必定是全等的。 存在着没有外接圆的三角形。 三角形三边的中垂线并非必定交于一点。
在平面上一条已知直线a的同一侧，与已知线a有给定距离的点的
找到它存在的“合理性”黎曼几何在相对论中的现 实应用。 爱因斯坦说：“我特别强调刚才所讲的这种几何学的 观点，因为要是没有它，我就不能建立相对论。 ”
•25
5.7.3 爱尔兰根纲领
19世纪初，运用欧几里得综合方法，创造出与解析几何 相媲美的射影几何学
爱尔兰根纲领（克莱因，1872年）：所谓几何学，就是 研究几何图形对于某类变换群保持不变的性质 的学问，或者说任何一种几何只是研究与特定 的变换群有关的不变量。
•13
5.4 三大作图问题与《圆锥曲线》
三个作图问题： 倍立方，即求作一立方体的边，使 该立方体的体积为给定立方体的两 倍； 三等分角，即分一个给定的任意角为 三个相等的部分； 化圆为方，即作一正方形，使其与一 给定的圆面积相等。
•14
直到19世纪，才证实了只用圆规和直尺来 求解这三个作图题的不可能性，然而 对这三个问题的深入探索引出大量的 发现。
•19
5.6.1 第五公设及其等价命题
等价命题 普莱菲尔的平行公理：过直线外一点只能作 一条直线平行于该直线三角形三个内角之 和等于两个直角；
每个三角形的内角和都相同； 通过一角内任一点可ห้องสมุดไป่ตู้作与此角两边相交的截
线； 存在两个相似而不全等的三角形； 毕达哥拉斯定理； 过不在一直线上的三点可作一圆； 圆内接正六边形的一边等于此圆的半径； 四边形的内角和等于四个直角；
•3
5.2.1 经验公式
古埃及人有计算矩形、三角形和梯形面积 的方法 三角形面积用一数乘以另一数的一半来表示
圆面积的计算公式是A = (8d/9)2，其中d是
直径。这就等于取π为3.1605。
四边形的面积公式：（a + c）（b + d）/4 （其中a、b、c、d依次表示边长）。 高为h、底边长为 a和 b的方棱锥的平头截
•28
5.8.2 欧氏几何公理体系的严密化
希尔伯特几何公理体系被划分为五组，用五组 公理联结三种对象及其间的三种关系（ 六个原始概念）。如果在这个公理体系 中去掉第三种几何基本对象（“平面”） 以及与它有关的各条公理，余下来的公 理和五个原始概念就可以构成一个“平 面几何的公理系统”。
希尔伯特公理集可以排除欧氏几何证明中的直 观成分。
离开了求证第五公设的目标，朝向创造非欧几何的目标 靠拢但是，他们没有认识到欧几里得几何并不是 在经验可证实的范围内描述物质空间性质的唯一 几何
•22
5.6.3 奇异的罗巴切夫斯基几何学
罗巴切夫斯基非欧几何的平行公理：设a是任一直线，A是a外任一定点
。在a与A所决定的平面上，过点A而与a不相交的直线，至少有两 条
•9
5.3.1 《原本》的公理化体系
《原本》的公理化体系：全书 先给出若干条定义和公理，再按由 简到繁的顺序编排出一系列的定理 (465个命题)。使整个几何知识形成 了一个演绎体系
•10
公设：（1） 从任一点到任一点 作直线是可能的。（2） 把有限直 线不断循直线延长是可能的。（注 意，这里所谓的直线，相当于今天 我们所说的线段。）（3） 以任一 点为中心和任一距离为半径作一圆 是可能的。（4） 所有直角彼此相 等。（5） 若一直线与两直线相交 ，且若同侧所交两内角之和小于两 直角，则两直线无限延长后必相交 于该侧的一点（现今称为平行公理 ）。
旦我们证明了这个有关圆的命题，再利用 仿射变换下“平行”为不变性，便可知原 命题成立。
•27
5.8 几何基础与公理化方法
5.8.1 公理化方法
非欧几何、非交换代数（如四元数）的出现，使数学 家注意到古希腊把公理当作自明的真理的局限 性。分析的算术化研究不断深入，逐渐形成了 科学的公理化方法。
公理集合的性质
∠B1AB= －a＞∠CAB= － ，（因为α＜
）。
于是，作得一个△ABB1,而直线AC经过其内部 ，所以AC必与底边BB1相交。这与AC与a不
相交的假设矛盾
•21
5.6.2 非欧几何学的先兆
从反面证明第五公设，意大利耶稣会教士、数学家萨凯 里（1667~1733）于1733年第一次发表了其极具 特色的成果。
体的体积公式：
V = (1/3) h (a2 + ab +b2)
•4
5.2.2 求积方法
勾股术与图证 “析理以辞，解体
用图”—— “弦图”
•图5.5 伏羲手持规，女娲手持矩
大方 = 弦方 + 2矩形，
（1）
大方 = 勾方 + 股方 + 2矩形，
（2）
比较（1）与（2），得
弦方 = 勾方 + 股方。
。
•30
5.8.3 公理集合的相容性
形式公理体系的相容性证明的模型方法 例如，平面几何公理系统的解析模型
罗巴切夫斯基几何学的模型相对相容性的解决方 法选用一个，大家都相信它具有逻辑相容性 的领域（比如上面这个代数领域），用这里 的材料来保证陌生公理体系的相容性。
厐加莱不无挪揄的指出：为了防止狼，牧羊 人修起了栅栏，但却不知道羊圈里是否还有 狼
其中包括 圆锥曲线理论 梅内克缪斯（约公元前4世纪）最先发现 了圆锥曲线：
[插入图5.24] 阿波罗尼斯的《圆锥曲线论》将圆锥曲 线的性质全部囊括 其中圆锥曲线的定义方法如下：
[插入图5.25]
•15
5.5 坐标几何与曲线方程思想
17世纪法国数学家笛卡尔和费马创 立的。这两位数学家敏锐地看到欧 氏几何方法的局限性，认识到利用 代数方法来研究几何问题，是改变 传统方法的有效途径。 并为此开始 了各自的研究工作，把代数方程和 曲线、曲面的研究联系在一起
。在黎曼几何中，三角形的内角和大于两直角 ，圆周率小于π
•24
5.7.2非欧几何学的“现实性”
直到19世纪初，所有的数学家都认为欧氏几何是物 质空间和此空间内图形性质的正确描述。并且“空间
”也专指当时人们所唯一了解的欧几里得空间 罗巴切夫几何自诞生之日起，其命题的合理性就不断
引起人们的怀疑。非欧几何早期的发现者们为了验证它 的合理性，曾作过一些实际的测定。历史的事实却残酷 的告诉我们，罗氏几何迟至今日也没能在物理空间找到 应用，只有在逻辑的范畴内，利用公理化的思想与方法
•11
公理： （1） 跟一件东西相等的一些东西，它们彼此也是相 等的。 （2） 等量加等量，总量仍相等。 （3） 等量减等量，余量仍相等。 （4） 彼此重合的东西是相等的。 （5） 整体大于部分。 从现代公理化方法的角度来分析，《原本》的公理化体系 存在着以下一些缺陷。 没有认识到公理化的体系一定建立在一些原始概念上 《原本》的公理集合是不完备的，这就使得欧几里得 在推导命题过程中，不自觉地使用了物理的直观概念 . 但是建立在图形直观上的几何推理肯定是不可靠的 例如, 每一个三角形都是等腰的“证明” [插入图5.18]
•16
笛卡尔的工作
几何学》是笛卡尔哲学思想方法实践的重要结果
首先运用代数方法解决作图的问题，指出，几何作图
实质是对线段作加减乘除或平方根的运算，所以它们都可 以用代数的术语表示。假定某几何问题归结为寻求一
个未知长度x，经过代数运算知道x满足
x=
，
他画出x的方法如下：如图5.27作直角三角形NLM，其 中LM=b , NL=a/2, 延长MN到O，使NO=NL=a/2。于是x 就是OM 的长度。
•5
• 阿基米德的双重方法——用力学原理发现公式， 再用穷竭法加以证明
• 如图5.11抛物线有内接
• 三角形PQq，其中P与Qp
• 中点V的连线平行于抛
• 物线的轴。阿基米德从
•图5. 11 阿基米德的双 •重方法求面积
• 物理的方法发现：抛物线被Qp截得的抛物线弓形 的面积，与三角形QPq的面积之比是4：3。阿基米
第五章几何学的发展
2020年7月26日星期日
图5.1由鱼形演化出的不规则的几何图形
从立体图形到平面图形 图腾崇拜和宗教礼仪
•2
5.2 测量与几何
在几何发展最早的古代埃及，几何 一词具有“土地测量”的含义。在古 希腊几何学传入中国之后，汉字用 几何一词来称谓这门学科，而汉语 中“几何”具有“多少”的意思。
德进而使用穷竭法证明
•6
5.2.3 多边形数
•7
•8
最早的演绎几何学
《几何原本》（约公元前300年，古 希腊数学家欧几里得）建立了第一个数学 理论体系——几何学。标志着人类科学研 究的公理化方法的初步形成，
《几何原本》共十三卷，其中第一 、三、四、六、十一和十二卷，是我们今 天熟知的平面几何和立体几何的知识，其 余各卷则是数论和（用几何方法论证的） 初等代数知识。全书证明了465个命题。
5.3.2 《原本》中的几何方法
《原本》在证明相关结论中使用了多种 几何方法，如,叠合法,归谬法,代数式 的几何证法,等等。这些方法是人类早 期研究图形性质的数学方法，在现代基 础教育中仍发挥着积极的作用。
举例如下： 毕德哥拉斯定理，《原本》使用几何的证
法如下：
如图5.19，先证明△ABD△FBC，推得矩形 BL与正方形GB等积。同理推得矩形CL与 正方形AK等积。
克莱因以射影几何为基础、对几何学做了如下的分类：
•26
利用不变性研究图形的性质，为初等几何 的研究提供了新的方法。
例如，由于在仿射交换下椭圆可以变成 圆，相应地椭圆中心变为圆心，椭圆的切 线变为圆的切线。我们不妨将原命题应用 仿射变换转化为相应的圆的命题：设
△ABC为圆内接三角形，以其顶点作切线 构成了切线三角形A1B1C1。如果 A1B1∥AB. B1C1∥BC。那么A1C1∥AC。一
•31
5.9 学校中欧氏几何的教育
一种情况，CP＜CQ。根据戴德金的公设
，在AB上存在一个点R，使得：所有位
于它之前的点属于第一类，并且所有位
于它之后的点属于第二类。于是OR不小于r，否则我们能 在R和B之间选AB上的点S，使得RS＜r－OR，但是，因为 OS＜OR+RS，这意味着谬论：OS＜r。类似地，能证明： OR不大于r。因此，我们必定有OR = r，于是定理得证
轨迹是一曲线，它上面的任意三点都不在一条直线上。 在任一角内，至少存在这样一点，通过它不能做出一条同时与两
边相交的直线。 圆内接正六边形的边大于此圆半径
•23
5.7 几何学的统一性与现实性 5.7.1黎曼几何
德国数学家年提出另一种非欧几何学——黎
曼几何（黎曼。1854年）直接起源于微分几何
的研究黎曼几何的平行公理，是假设过 直线外一点不存在与已知直线平行的直线
•29
• 例如，用公理IV给出下述命题的证明：
• 命题：联接圆内的一点A与圆外一点B的直线段与该圆周
有一个公共点。 图5.33 圆内外两点连线必与圆相交 的证明
事实上，令O为给定圆的圆心，r为半径，
C为从O到AB线段的垂线。线段AB上的点
可被分为两类：对于一些点P，OP＜r，
和对于一些点Q，OQ≥r。可证明：对每
相容性，即由公理导出的定理，没有哪两个是相 互矛盾的；
完备性，即理论系统中的定理都可以从公理导出
独立性，即由公理导出的定理中中没有一个是另
一个的逻辑
结果。在任何一个公理系中，
不加定义的概念
例如几何学中的“点”和“线”，它们在物理领域中 的“意义”或关系，在数学上是非本质的。它们 被当作纯粹抽象的东西，它们在演绎系统中的性
•20
一。个等价命题的证明：如果任意三角形内角和
都等于π，那么过线a外一点A只能引进 一条直线与a不交。
[证明] 过A引a的垂线AB，并过A引AB的垂线b ，则a与b必定不交。
假如另有一条直线AC
与a不交，记锐角∠BAC为
－ ，在直线a上取点B1，使
B1、C在AB同侧，且使
∠AB1B=α＜
。
按假设，直角△ABB1内角和等于π，所以
[插入图5.27] 曲线与方程的思想明确指出：几何曲线可以用唯一的
含x和y有限次代数方程来表示的曲线
•17
费马的工作
费马关于曲线与方程的思想，源于 对阿波罗尼兹圆锥曲线的研究。 他 使用了倾斜坐标系，建立了圆锥曲 线的代数表述式。
•18
5.6 罗巴切夫斯基几何学
在欧几里得几何学中第五公设（即平 行公理）的研究过程中，人们不自 觉地将得到了许多第五公设的等价 命题。发现了罗巴切夫斯基几何学
罗巴切夫斯基非欧几何命题
三角形内角和都是小于π的，而且其和量因三角形而异，并非
一个常量。 同一直线的垂线及斜线，并不总是相交的。 不存在相似而不全等的两个三角形。 如果两个三角形的各内角对应相等，则它们必定是全等的。 存在着没有外接圆的三角形。 三角形三边的中垂线并非必定交于一点。
在平面上一条已知直线a的同一侧，与已知线a有给定距离的点的
找到它存在的“合理性”黎曼几何在相对论中的现 实应用。 爱因斯坦说：“我特别强调刚才所讲的这种几何学的 观点，因为要是没有它，我就不能建立相对论。 ”
•25
5.7.3 爱尔兰根纲领
19世纪初，运用欧几里得综合方法，创造出与解析几何 相媲美的射影几何学
爱尔兰根纲领（克莱因，1872年）：所谓几何学，就是 研究几何图形对于某类变换群保持不变的性质 的学问，或者说任何一种几何只是研究与特定 的变换群有关的不变量。
•13
5.4 三大作图问题与《圆锥曲线》
三个作图问题： 倍立方，即求作一立方体的边，使 该立方体的体积为给定立方体的两 倍； 三等分角，即分一个给定的任意角为 三个相等的部分； 化圆为方，即作一正方形，使其与一 给定的圆面积相等。
•14
直到19世纪，才证实了只用圆规和直尺来 求解这三个作图题的不可能性，然而 对这三个问题的深入探索引出大量的 发现。
•19
5.6.1 第五公设及其等价命题
等价命题 普莱菲尔的平行公理：过直线外一点只能作 一条直线平行于该直线三角形三个内角之 和等于两个直角；
每个三角形的内角和都相同； 通过一角内任一点可ห้องสมุดไป่ตู้作与此角两边相交的截
线； 存在两个相似而不全等的三角形； 毕达哥拉斯定理； 过不在一直线上的三点可作一圆； 圆内接正六边形的一边等于此圆的半径； 四边形的内角和等于四个直角；
•3
5.2.1 经验公式
古埃及人有计算矩形、三角形和梯形面积 的方法 三角形面积用一数乘以另一数的一半来表示
圆面积的计算公式是A = (8d/9)2，其中d是
直径。这就等于取π为3.1605。
四边形的面积公式：（a + c）（b + d）/4 （其中a、b、c、d依次表示边长）。 高为h、底边长为 a和 b的方棱锥的平头截
•28
5.8.2 欧氏几何公理体系的严密化
希尔伯特几何公理体系被划分为五组，用五组 公理联结三种对象及其间的三种关系（ 六个原始概念）。如果在这个公理体系 中去掉第三种几何基本对象（“平面”） 以及与它有关的各条公理，余下来的公 理和五个原始概念就可以构成一个“平 面几何的公理系统”。
希尔伯特公理集可以排除欧氏几何证明中的直 观成分。
离开了求证第五公设的目标，朝向创造非欧几何的目标 靠拢但是，他们没有认识到欧几里得几何并不是 在经验可证实的范围内描述物质空间性质的唯一 几何
•22
5.6.3 奇异的罗巴切夫斯基几何学
罗巴切夫斯基非欧几何的平行公理：设a是任一直线，A是a外任一定点
。在a与A所决定的平面上，过点A而与a不相交的直线，至少有两 条
•9
5.3.1 《原本》的公理化体系
《原本》的公理化体系：全书 先给出若干条定义和公理，再按由 简到繁的顺序编排出一系列的定理 (465个命题)。使整个几何知识形成 了一个演绎体系
•10
公设：（1） 从任一点到任一点 作直线是可能的。（2） 把有限直 线不断循直线延长是可能的。（注 意，这里所谓的直线，相当于今天 我们所说的线段。）（3） 以任一 点为中心和任一距离为半径作一圆 是可能的。（4） 所有直角彼此相 等。（5） 若一直线与两直线相交 ，且若同侧所交两内角之和小于两 直角，则两直线无限延长后必相交 于该侧的一点（现今称为平行公理 ）。
旦我们证明了这个有关圆的命题，再利用 仿射变换下“平行”为不变性，便可知原 命题成立。
•27
5.8 几何基础与公理化方法
5.8.1 公理化方法
非欧几何、非交换代数（如四元数）的出现，使数学 家注意到古希腊把公理当作自明的真理的局限 性。分析的算术化研究不断深入，逐渐形成了 科学的公理化方法。
公理集合的性质
∠B1AB= －a＞∠CAB= － ，（因为α＜
）。
于是，作得一个△ABB1,而直线AC经过其内部 ，所以AC必与底边BB1相交。这与AC与a不
相交的假设矛盾
•21
5.6.2 非欧几何学的先兆
从反面证明第五公设，意大利耶稣会教士、数学家萨凯 里（1667~1733）于1733年第一次发表了其极具 特色的成果。
体的体积公式：
V = (1/3) h (a2 + ab +b2)
•4
5.2.2 求积方法
勾股术与图证 “析理以辞，解体
用图”—— “弦图”
•图5.5 伏羲手持规，女娲手持矩
大方 = 弦方 + 2矩形，
（1）
大方 = 勾方 + 股方 + 2矩形，
（2）
比较（1）与（2），得
弦方 = 勾方 + 股方。
。
•30
5.8.3 公理集合的相容性
形式公理体系的相容性证明的模型方法 例如，平面几何公理系统的解析模型
罗巴切夫斯基几何学的模型相对相容性的解决方 法选用一个，大家都相信它具有逻辑相容性 的领域（比如上面这个代数领域），用这里 的材料来保证陌生公理体系的相容性。
厐加莱不无挪揄的指出：为了防止狼，牧羊 人修起了栅栏，但却不知道羊圈里是否还有 狼
其中包括 圆锥曲线理论 梅内克缪斯（约公元前4世纪）最先发现 了圆锥曲线：
[插入图5.24] 阿波罗尼斯的《圆锥曲线论》将圆锥曲 线的性质全部囊括 其中圆锥曲线的定义方法如下：
[插入图5.25]
•15
5.5 坐标几何与曲线方程思想
17世纪法国数学家笛卡尔和费马创 立的。这两位数学家敏锐地看到欧 氏几何方法的局限性，认识到利用 代数方法来研究几何问题，是改变 传统方法的有效途径。 并为此开始 了各自的研究工作，把代数方程和 曲线、曲面的研究联系在一起
。在黎曼几何中，三角形的内角和大于两直角 ，圆周率小于π
•24
5.7.2非欧几何学的“现实性”
直到19世纪初，所有的数学家都认为欧氏几何是物 质空间和此空间内图形性质的正确描述。并且“空间
”也专指当时人们所唯一了解的欧几里得空间 罗巴切夫几何自诞生之日起，其命题的合理性就不断
引起人们的怀疑。非欧几何早期的发现者们为了验证它 的合理性，曾作过一些实际的测定。历史的事实却残酷 的告诉我们，罗氏几何迟至今日也没能在物理空间找到 应用，只有在逻辑的范畴内，利用公理化的思想与方法
•11
公理： （1） 跟一件东西相等的一些东西，它们彼此也是相 等的。 （2） 等量加等量，总量仍相等。 （3） 等量减等量，余量仍相等。 （4） 彼此重合的东西是相等的。 （5） 整体大于部分。 从现代公理化方法的角度来分析，《原本》的公理化体系 存在着以下一些缺陷。 没有认识到公理化的体系一定建立在一些原始概念上 《原本》的公理集合是不完备的，这就使得欧几里得 在推导命题过程中，不自觉地使用了物理的直观概念 . 但是建立在图形直观上的几何推理肯定是不可靠的 例如, 每一个三角形都是等腰的“证明” [插入图5.18]
•16
笛卡尔的工作
几何学》是笛卡尔哲学思想方法实践的重要结果
首先运用代数方法解决作图的问题，指出，几何作图
实质是对线段作加减乘除或平方根的运算，所以它们都可 以用代数的术语表示。假定某几何问题归结为寻求一
个未知长度x，经过代数运算知道x满足
x=
，
他画出x的方法如下：如图5.27作直角三角形NLM，其 中LM=b , NL=a/2, 延长MN到O，使NO=NL=a/2。于是x 就是OM 的长度。
•5
• 阿基米德的双重方法——用力学原理发现公式， 再用穷竭法加以证明
• 如图5.11抛物线有内接
• 三角形PQq，其中P与Qp
• 中点V的连线平行于抛
• 物线的轴。阿基米德从
•图5. 11 阿基米德的双 •重方法求面积
• 物理的方法发现：抛物线被Qp截得的抛物线弓形 的面积，与三角形QPq的面积之比是4：3。阿基米
第五章几何学的发展
2020年7月26日星期日
图5.1由鱼形演化出的不规则的几何图形
从立体图形到平面图形 图腾崇拜和宗教礼仪
•2
5.2 测量与几何
在几何发展最早的古代埃及，几何 一词具有“土地测量”的含义。在古 希腊几何学传入中国之后，汉字用 几何一词来称谓这门学科，而汉语 中“几何”具有“多少”的意思。
德进而使用穷竭法证明
•6
5.2.3 多边形数
•7
•8
最早的演绎几何学
《几何原本》（约公元前300年，古 希腊数学家欧几里得）建立了第一个数学 理论体系——几何学。标志着人类科学研 究的公理化方法的初步形成，
《几何原本》共十三卷，其中第一 、三、四、六、十一和十二卷，是我们今 天熟知的平面几何和立体几何的知识，其 余各卷则是数论和（用几何方法论证的） 初等代数知识。全书证明了465个命题。