2020几何学的发展史.pptVIP

5.6.3 奇异的罗巴切夫斯基几何学 罗巴切夫斯基非欧几何的平行公理：设 a 是任一直 线， A 是 a 外任一 定点。在 a 与 A 所决定的平面上，过点 A 而与 a 不相交的直线，至少有两 条 罗巴切夫斯基非欧几何命题 三角形内角和都是小于 π 的，而且其和量因三角形而异，并非 一个常量。 同一直线的垂线及斜线，并不总是相交的。 不存在相似而不全等的两个三角形。 如果两个三角形的各内角对应相等，则它们必定是全等的。 存在着没有外接圆的三角形。 三角形三边的中垂线并非必定交于一点。 在平面上一条已知直线 a 的同一侧，与已知线 a 有给定距离的点的 轨迹是一曲线，它上面的任意三点都不在一条直线上。 在任一角内，至少存在这样一点，通过它不能做出一条同时与两 边相交的直线。 圆内接正六边形的边大于此圆半径 5.7 几何学的统一性与现实性 5.7.1 黎曼几何 — 黎曼几何（黎曼。 1854 年）直接起源于微分几何 的研究 黎曼几何的平行公理，是假设过直线 外一点不存在与 已知直线平行的直线。在黎曼几 何中，三角形的内角和大于两直角，圆周率小于π 德国数学家年提出另一种 非欧几何学 — 5.7.2 非欧几何学的“现实性” 直到 19 世纪初，所有的数学家都认为欧氏几何是物 质空间和此空间内图形性质的正确描述。并且“空间” 也专指当时人们所唯一了解的欧几里得空间 罗巴切夫几何自诞生之日起，其命题的合理性就不 断 引起人们的怀疑。非欧几何早期的发现者们为了验证它的 合理性，曾作过一些实际的测定。历史的事实却残酷的告诉 我们，罗氏几何迟至今日也没能在物理空间找到应用，只有 在逻辑的范畴内，利用公理化的思想与方法找到它存在的 “合理性” 黎曼几何在相对论中的现实应用。 爱因斯坦说：“我特别强调刚才所讲的这种几何学的 观点，因为要是没有它，我就不能建立相对论。” 第五章 几何学的发展 形的认识 形是人类对生存空间形式的直接 认识 从无规则图形逐渐制造出一些规 则的形体，形成抽象意义下的几何图形。 图 5.1 由鱼形演化出的不规则的几何图形 从立体图形到平面图形 图腾崇拜和宗教礼仪 5.2 测量与几何 在几何发展最早的古代埃及，几 何一词具有“土地测量”的含义。在古 希腊几何学传入中国之后，汉字用几何 一词来称谓这门学科，而汉语中“几何” 具有“多少”的意思。 5.2.1 经验公式 古埃及人有计算矩形、三角形和梯形面积 的方法 三角形面积用一数乘以另一数的一半来表示 圆面积的计算公式是 A = (8 d /9)2 ，其中 d 是 直径。这就等于取π为 3.1605 。 四边形的面积公式：（ a + c ）（ b + d ） /4 （其中 a 、 b 、 c 、 d 依次表示边长）。 高为 h 、底边长为 a 和 b 的方棱锥的平头截 体的体积公式： V = (1/3) h ( a 2 + ab + b 2) 5.2.2 求积方法 勾股术与图证 [ 插入图 5.5] “ 析理以辞，解体用图” —— “ 弦图” [ 插入图 5.7] 大方 = 弦方 + 2 矩形， （ 1 ） 大方 = 勾方 + 股方 + 2 矩形， （ 2 ） 比较（ 1 ）与（ 2 ），得 弦方 = 勾方 + 股方。 阿基米德的双重方法 —— 用力学原理发现公式， 再用穷竭法加以证明 [ 插入图 5.11] 如图 5.11 抛物线有内接三角形 PQq ，其中 P 与 Qp 中 点 V 的连线平行于抛物线的轴。阿基米德从物理的方法 发现：抛物线被 Qp 截得的抛物线弓形的面积，与三角 形 QPq 的面积之比是 4 ： 3 。阿基米德进而使用穷竭法证 明 5.2.3 多边形数 [ 插入图 5.12] [ 插入图 5.13] [ 插入图 5.14] 最早的演绎几何学 《几何原本》（约公元前 300 年，古 希腊数学家欧几里得）建立了第一个数学 理论体系 —— 几何学。标志着人类科学研 究的公理化方法的初步形成， 《几何原本》共十三卷，其中第一、 三、四、六、十一和十二卷，是我们今天 熟知的平面几何和立体几何的知识，其余 各卷则是数论和（用几何方法论证的）初 等代数知识。全书证明了 465 个命题。 5.3.1 《原本》的公理化体系 《原本》的公理化体系：全书 先给出若干条定义和公理，再按由简到 繁的顺序编排出一系列的定理 (465 个命 题 ) 。使整个几何知识形成了一个演绎 体系 公设：（ 1 ） 从任一点到任一点 作直线是可能的。（ 2 ） 把有限直线不 断循直线延长是可能的。（注意，这里 所谓的直线，相当于今天我们所说的线 段。）（ 3 ） 以任一点为中心和任一距 离为半径作一圆是可能的。（ 4 ） 所有