从毕氏学派到欧氏几何的创立.docVIP

从毕氏学派到欧氏几何的诞生 前言 欧氏几何的创立，是数学史也是人类文明史上破天荒的大事。古埃及与巴比伦的直观、个案的经验几何知识，传到古希腊，Thales 首先尝试用「逻辑」加以组织。接着是毕氏学派，采用原子论 (atomism) 的观点，将几何建立在算术基础上面。毕氏学派主张：点是几何的「原子」，其长度 d 0，因而任何两线段皆可共度。由此证明了长方形的面积公式、勾股定理与相似三角形基本定理。不幸的是，毕氏的门徒 Hippasus 发现了不可共度线段，震垮了毕氏学派的几何学。后来虽有 Eudoxus 的比例论来补救，但欧氏已不走毕氏的旧路，改采公理化的手法，以几何公理来建立几何。这一段历史非常珍贵，不论是在知识论、科学哲学或教育上，都深具启发性。 当代著名的科学哲学家拉卡托斯（I. Lakatos, 1922～1974），在《论分析与综合方法》一文中说得好（详见参考资料 1）： 我认为对于希腊几何所能做的最精采工作，是分析欧氏之前的几何 (pre-Euclidean geometry) 及其在产生欧氏演绎系统的过程中所扮演的角色。大部分的欧氏几何，在欧氏 (Euclid) 给出公理与定义（公元前300年）之前已经存在，正如数论在 Peano 给自然数作出公理化（1889年）之前、微积分在实数系建构（1870年，Dedekind、Cantor、Meray、Heine、Weie