第三讲古代希腊数学(下).pptVIP

〈一〉《几何原本》的产生 公元前约300年 欧几里德（Euclid） 　　　 集前人工作之大成，把欧多克斯、泰特托斯、希波克拉底等人的著作收入《几何原本》，加以整理和系统化 意义： 欧几里德《几何原本》的出现，是数学史上一个伟大的里程碑，它不仅是几何学建立的标志，同时也是公理体系在具体学科中应用成功的标志。 〈二〉《几何原本》的内容简介 13卷 475个命题 5个公理（一切科学公有的真理） 5个公设（某一门科学所接受的第一性原理） 点、线、面——原始概念 （不加定义或者说给出描述性定义：实质不能算作定义） 第一卷：直边形，全等、平行公理、毕达哥拉斯定理、初等作图法等 第二卷：几何方法解代数问题，求面积、体积 第三、四卷：圆、弦、切线、圆的内接、外切 第五、六卷：比例论与相似形 第七、八、九、十卷：数论 第十一、十二、十三卷：立体几何，包括穷竭法，是微积分思想的来源 五条公理： 1. 等于同量的量彼此相等. 2. 等量加等量, 和相等. 3. 等量减等量, 差相等. 4. 彼此重合的图形是全等的. 5. 整体大于部分. 五条公设： Ⅰ 从任意一点到任意一点可作直线（线段）（也就是：两点决定一条直线）； Ⅱ 有限直线可以继续延长； Ⅲ 以任意一点为中心及任意的距离（为半径）可以画圆； Ⅳ 所有直角都相等； Ⅴ 同一平面内一条直线和另外两条直线相交，若在某一侧的两个内角和小于两直角，则这两直线经无限延长后在这一侧相交。 《几何原本》的不足： 1）定义并不严格 2）公理并不总是自明的：关于第五公设 第五公设的等价公设：过已知直线外一点能且只能作一条直线与已知直线平行 高斯 、罗巴切夫斯基 、波约 ——创立非欧几何 （球面几何、双曲几何、椭圆几何） 这场几何学的革命冲破了欧氏几何传统的束缚，从此几何学呈现出更加精彩纷呈的局面 〈三〉《几何原本》思想方法的特点 1 封闭的演绎体系 2 抽象化的内容 3 公理化的方法 〈四〉《几何原本》思想方法的深远意义 近代西方数学的主要源泉之一 对数学认识的一个质的飞跃 古希腊数学的最高成就之一 对世界数学的发展和数学人才的培养（教育与传播）产生了巨大影响 《原本》具体内容例说—— 第Ⅰ、Ⅱ、Ⅲ及Ⅵ（6）卷包含了平面几何的一些基本内容，如全等三角形、平行线、多边形、圆、毕达哥拉斯定理、初等作图及相似形等。毕达哥拉斯定理（卷Ⅰ命题47）的证明是用面积来做的。 勾股定理之欧几里得证法： 首先证明⊿ABD≌⊿FBC，推得矩形BL的面积与正方形ABFG的面积相等（为什么？ ）； 同理推得矩形CL的面积与正方形ACKH的面积相等。 第Ⅱ、Ⅵ卷中涉及所谓“几何代数”的内容，即以几何形式处理的代数问题。例如Ⅱ卷命题4：若把一线在任意一点割开，则在整个线上的正方形等于两段上的正方形加上以两段为边的矩形（如图）。 第Ⅴ卷讲比例论，是以欧多克斯的工作为基础的。有人认为这一卷代表了《原本》的最大成就，因为它在当时的认识水平上消除了由不可公度量引起的数学危机。 第Ⅴ卷是将比例理论由可公度量推广到不可公度量，使它能适用于更广泛的几何命题证明，从而巧妙地回避了无理量引起的麻烦。同《原本》的其它部分相比，第5卷的内容颇引人争议。问题的根本解决，要到19世纪，当人们借助极限过程对无理数作出严格定义之后。 第Ⅶ、Ⅷ、Ⅸ卷是关于数论的内容，其中陈述了求两数最大公因子的辗转相除法，即著名的欧几里得算法。这几卷给出了关于整数的一些定理及其证明，特别是素数分解的唯一性、素数个数无穷，等等。这些内容说明，将《原本》看成是一部纯几何的著作是多少有些误解的。 试证：素数有无穷多个. 第Ⅹ卷讨论不可公度量，并试图进行分类。该卷篇幅最大，实际上欧几里得在这里仅涉及了可表为 的无理数。 最后的三卷（Ⅺ、Ⅻ、ⅩⅢ）主要是立体几何的内容，包括棱柱、棱锥、圆柱、圆锥和球等立体的体积定理以及对正多面体的讨论（在卷ⅩⅢ中证明了正多面体只有五种）。卷Ⅻ中详细陈述了穷竭法。穷竭法是古希腊数学家证明面积、体积定理时经常使用的一种得力方法。它由安提丰首创，但完善、成熟的穷竭法主要归功于欧多克斯，也就是《原本》卷Ⅻ中所记载的方法。 穷竭法 古希腊的安提芬(Antiphon 480-403BC)最早表述了穷竭法，他在研究“化圆为方”问题时，提出了使用圆内接正多边形面积“穷竭”圆面积的思想。 后来，古希腊数学家欧多克斯(Eudoxus of Cnidus, 408-355 BC)改进了安提芬的穷竭法。将其定义为：“在一个量中减去比其一半还大的量，不断重复这个过程，可以使剩下的量变得任意小”。 （联想古代庄子的说法！） 圆内接正方形的面积等于外切正方形面积的一半； 圆