第五章几何学的发展
公理: (1) 跟一件东西相等的一些东西,它们彼此也是相 等的。 (2) 等量加等量,总量仍相等。 (3) 等量减等量,余量仍相等。 (4) 彼此重合的东西是相等的。 (5) 整体大于部分。 从现代公理化方法的角度来分析,《原本》的公理化体系 存在着以下一些缺陷。 没有认识到公理化的体系一定建立在一些原始概念上 《原本》的公理集合是不完备的,这就使得欧几里得 在推导命题过程中,不自觉地使用了物理的直观概念. 但 是建立在图形直观上的几何推理肯定是不可靠的 例如, 每一个三角形都是等腰的“证明” [插入图5.18]
圆锥曲线理论 梅内克缪斯(约公元前4世纪)最先发现 了圆锥曲线: [插入图5.24] 阿波罗尼斯的《圆锥曲线论》将圆锥曲 线的性质全部囊括
其中圆锥曲线的定义方法如下: [插入图5.25]
第五章几何学的发展
5.5 坐标几何与曲线方程思想
17世纪法国数学家笛卡尔和费马创 立的。这两位数学家敏锐地看到欧氏几 何方法的局限性,认识到利用代数方法 来研究几何问题,是改变传统方法的有 效途径。 并为此开始了各自的研究工 作,把代数方程和曲线、曲面的研究联 系在一起
• 例如,用公理IV给出下述命题的证明:
• 命题:联接圆内的一点A与圆外一点B的直线段与该圆周
有一个公共点。 图5.33 圆内外两点连线必与圆相交 的证明
事实上,令O为给定圆的圆心,r为半径, C为从O到AB线段的垂线。线段AB上的点 可被分为两类:对于一些点P,OP<r, 和对于一些点Q,OQ≥r。可证明:对每 一种情况,CP<CQ。根据戴德金的公设 ,在AB上存在一个点R,使得:所有位
第五章几何学的发展
5.3.2 《原本》中的几何方法
《原本》在证明相关结论中使用了多种 几何方法,如,叠合法,归谬法,代数式的几 何证法,等等。这些方法是人类早期研究图 形性质的数学方法,在现代基础教育中仍 发挥着积极的作用。