《三大几何问题》PPT课件

雅典时期的希腊数学 一 三大几何问题 数学与软件科学学院周思波 古希腊的变迁 雅典时期 公元前6 前3世纪 公元前11世纪 前9世纪 希腊各部落进入爱琴地区公元前9 前6世纪 希腊各城邦先后形成 亚历山大后期 公元前30年 公元640年 西罗马帝国 公元395年 公元476年东罗马帝国 公元395年 公元1453年 610年改称拜占廷帝国 爱奥尼亚时期 公元前11世纪 前6世纪 亚历山大时期 公元前323年 前30年 罗马帝国 公元前27年 公元395年 希腊时期 希腊化时期 波希战争 前499 前449 诡辩学派与三大几何问题 诡辩 sophism 学派 巧辩学派创立 活动于雅典 这个学派中聚集了各方面的学者大师 如文法 修辞 辨证法 人文 以及几何 天文和哲学方面的学者 他们研究的主要目标之一是用数学来探讨宇宙的运转 化圆为方 求作一正方形 使其面积等于一已知圆 三等分角 分任意角为三等分 倍立方体 求作一正方体 使其体积等于已知正方体体积的2倍 尺规作图的来历 几何作图 规定只能用无刻度的直尺和圆规 希腊人为什么这样规定呢 希腊几何的基本精神 奥林匹克精神 圆和直线是几何学最基本的研究对象 希腊人的兴趣并不在于图形的实际作出 而是在尺规的限制下从理论上去解决这些问题 这是几何学从实际应用向系统理论过渡所迈出的重要的一步 三大问题的研究 一 化圆为方 最早研究化圆为方问题的是 安纳萨戈拉斯 Anaxagros 约公元前500 前428 安提丰 Antiphon 约公元前480 前411 提出用圆内接正多边形逼近圆面积的方法来化圆为方 希波克拉底 Hippocrates 约公元前460 前377 解决了化月牙形为方 三大问题的研究 二 三等分角 这一问题研究最有成效的是 希比阿斯 Hippias 约生于公元前460 阿基米德 Archimedes 公元前287 前212 三大问题的研究 三 倍立方体 对倍立方体研究最有成效的是 希波克拉底指出倍立方体问题可以化为求一线段与它的二倍长线段之间的双重比例中项问题 a x x y y 2a 比他稍晚的一些希腊数学家则借助某些特殊曲线作出了可作为倍立方体问题解的比例中项线段 其中最重大的成就是柏拉图学派的梅内赫莫斯 Menaechmus 公元前4世纪中 为解决倍立方体问题而发现了圆锥曲线 古希腊三大几何问题为什么不能解决呢 需要其它学科的知识 笛卡尔的解析几何的创立 1837年 法国数学家旺策尔证明了三等分任意角与倍立方都是死题 1882年 德国数学家林德曼证明了化圆为方也是死题 2000多年来 古希腊三大尺规作图问题 1 三等分任意角 2 倍立方 3 化圆为方 1 三等分任意角 设已知某角的角度为 得则令即问题转化为解方程 三大问题的解决 规尺数 直尺与圆规 直线和圆 一次和二次方程式 所以要求它们的交点 我们至多只要解一个二次方程式就可以把交点的坐标用有理运算和平方根表示出来 凡是能用直尺与圆规作出的数量都可以通过有限次的有理运算和平方根表示出来 三大问题的解决 规尺数 启示和意义 2000多年来 一代接一代地攻克三大难题 有人不禁要问这值得吗 假如实际中真遇到要三等分角 立方倍积 化圆为方 只要行之有效 何苦一定用尺规作图法解决 其实 数学研究并非一定要实用 数学家对每一个未知之谜都要弄个清楚 道个明白 这种执著追求的拗劲正是科学的精神 更为重要的是 对三大难题的研究 反过来促进了数学的发展 出现了新的数学思想和方法 例如阿基米德 帕普斯发现的三等分角的方法 勃洛特用两块三角板解决立方倍积问题 等分圆周 作正多边形 高斯关于尺规作图标准的重大发现等等 每一次突破不仅是人类智慧的胜利 使数学园地争奇竞艳 而且有利于科学技术的发展 启示和意义 特别值得提到的是 在三大几何难题获得解决的同时 法国数学家伽罗瓦从一般角度对不可能性问题进行研究 在1830年 19岁的伽罗瓦提出了解决这一类问题的系统理论和方法 从而创立了群论 群论是近世抽象代数的基础 它是许多实际问题的数学模型 应用极其广泛 而三大几何作图难题只不过是这种理论的推论 例题或习题 所以 一般认为三大难题的解决归功于伽罗瓦理论 可伽罗瓦理论是在他死后14年才发表的 直到1870年 伽罗瓦理论才得到第一