数学史概论概要1.pptVIP

（一）论证数学的发端 （1）泰勒斯（约625-547B.C.） 证明四条定理； 泰勒斯定理: 半圆上的圆周角是直角； 预报日蚀 (585B.C.)；测量金字塔的高等。 泰勒斯 毕达哥拉斯学派的形数 第一次数学危机 3、逻辑演绎推理的倡导 柏拉图学院: “不懂几何者莫入” 分析法和归谬法 亚里斯多德学派 三段论推理 反证法: 矛盾律,排中律 （二）亚历山大时期 （1）欧几里得(约300B.C.前后) （2）阿基米德(287-212B.C.) （3）阿波罗尼奥斯(约262-190B.C.) 欧几里得原本 历史上第一个公理体系 13 卷 119 条定义 5 条公理, 5 条公设 465 条定理 卷 I, II, III, IV 及 VI : 平面几何基本内容 卷 V : 比例论 无理量引起的麻烦之回避 卷 VII, VIII, IX : 数论 卷 X : 不可公度量分类 卷 XI, XII, XIII : 立体几何 穷竭法(卷 XII) 穷竭法举例 卷 XII 命题2: 圆与圆之比等于其直径平方之比 (A) 圆的面积可以用内接正多边形面积“穷竭” (正8边形面积–正4边形面积) 1/2(圆面积–正4边形面积) (B) 反证法 矛盾 矛盾 必有 勾股定理的证明 1482 第一个拉丁文印刷本(威尼斯) 1607 中译本几何原本(徐光启,利玛窦) 平衡法求球的体积 平衡法求抛物线弓形的面积 圆锥曲线 （三）亚历山大后期 (1) 几何: 海伦《量度》 (2) 三角学: 托勒玫《大成》 (3) 算术与代数: 丢番图《算术》 (4) 帕普斯《数学汇编》:希腊数学的安魂曲 希帕蒂娅之死(417A.D.):希腊数学的终结 亚历山大图书馆被焚 47 B.C. 凯撒; 392 A.D. 基督教徒; 640 A.D. 回教徒 几何学无王者之道 现存著作：《原本》、《数据》、《论剖分》、 《现象》、《光学》和《镜面反射》等。 失传著作：《圆锥曲线》、《衍论》、《曲面轨迹》、 《辩伪术》等。 “原本”的希腊文原意是指一个学科中最重要的定理 公设： 1. 从任意一点到任意一点可作一直线； 2. 线段可任意延长； 3. 以任意中心和直径可以作圆； 4. 凡直角都彼此相等； 5. 若一条直线与两直线相交，所构成的同旁内角和小于两直角，那么把两直线无限延长，它们将在同旁内角和小于两直角的一侧相交。 公理： 1. 等于同量的量彼此相等； 2. 等量加等量，和相等； 3. 等量减等量，差相等； 4. 彼此重合的图形是全等的； 5. 整体大于部分。 比例的定义：设 A, B, C, D是任意四个量, 其中A和B同类(即均为线段、角或面积等), C和D同类.如果对于任何两个正整数 m 和n ,关系m A ? n B是否成立, 相应地取决于关系m C ? n D是否成立,则称A与B 之比等于C与D 之比,即四量 A, B, C, D成比例. 比例论举例 定理: 如果两个三角形的高相等, 则它们的面积之比等于两底长之比 比例定义：A，B；C，D 对任何正整数m和n，关系 m A ? n B ? m C ? n D BmC=m(BC)，△ABmC=m(△ABC)； DEn=n(DE) ，△ADEn=n(△ADE)。 由已证明的结果,可知 △ABmC ? △AEnD ?BmC ?EnD 也就是说 m(△ABC) ? n(△