数学的几大奇观.pptVIP

数 学 史 的 发 展 和 其 它 学 科 有 着 许 多 相 同 的 地 方 , 即 存 在 许 多 奇 异 的 想 法 或 追 求 完 美 的 理 想 , 其 原 因 在 于 或 者 理 论 知 识 发 展 的 局 限 性 , 或 者 社 会 制 度 、 宗 教 等 的 因 素 。 但 是 这 些 思 想 的 出 现 对 于 推 动 数 学 的 进 步 是 积 极 的 。在中学我们就知道,几何作图 严格局限于圆规和无尺度直尺。 这种限制从古希腊一直延续至 今。 为什么?古希腊认为,所有图形都是由 直线和圆弧构成的,圆是最完 美的图形。他们确信仅靠圆规 和直尺就可以绘出图形来。他 们还认为,依据少量假设,通 过逻辑把握的东西最可靠。C B A 如求线段AB的中点步骤为: 1 、 以 A 为 圆 心 , 以 一 适 当 的 长 度 为 半 径 画 弧 ; 2 、 以 B 为 圆 心 , 以 同 样 长 度 的 半 径 画 弧 ; 3 、 两 弧 交 于 两 点 , 作 两 点 连 线 , 其 与 A B 的 交 点 即 为 A B 的 中 点 。人们很快找到了正三、四、五、 六边形的尺规作图的方法,然而 在正七边形的尺规作图时,一直 研究了2000多年!17世纪,法国业余数学家费马提 出了猜想:形如 i 2 F 2 +1 i 是素数!i0,1,2,3,4时F 是的 i 确如此。而i5时F 是不是素数 5则在差不多100年后才由伟大的 欧拉证明它不是素数! F 641×6700417. 5 看来,验证一个大数是否为素数 是一个多么困难的事啊!迄今为止,人们只知道F ,F ,F , 1 2 3 F , F 是素数。人们又猜想费马 4 5 素数只有有限个,但仍是一个未 解问题。在欧拉之后60年,德国数学家 高斯20岁时发现了正多边形的 边数是费马素数时是可以用尺 规作图的,并且得到一般性结 论:正n边形可尺规作图的充分 必要条件是:k k n2 或 n2pp p 1 2 s 其中 p, p, ?, p 是费马素数。 1 2 s 由此我们知道正7边形是不可以 尺规作图的!因为7不是费马素 数。而正17边形(属于高斯,80多 页),正257边形(200多页) 是可以用尺规作图的。高斯的 墓碑上刻着一个正17边形。 大家可以验证3,5,17, 257是否为费马素数。古希腊流传下来的还有三大几 何作图难题: 1、化圆为方: 2、倍立方问题 : 3、三等分角问题。它们的解决实际上都促进了几 何与代数,也就是现在的解析 几何的产生与发展。上述三个 问题都是不可能的! 1、化圆为方,因为π是超越无 理数。是不可作几何量。3 2 2、倍立方问题。因为是不 可作几何量。 3、三等分角问题。 1 3 4 y ?3 y? 0, 以60度角为例, 2 y是不可作几何量。 可得到代数方程前面已经提到,古希腊的几大几何 难题都是借助于代数方法得到解决 的。实际上,从公元前到公元16世 纪,几何与代数各自并行发展着。 表面上看,几何似乎是关于形的科 学而与数无关,代数似乎是关于数 的科学而与形无关。代数与几何难以联系的原因是:人 们心目中的数是相互孤立的,难以 从数想到由无穷多个点构成的线等 图形。而对于形来说,例如线段或 封闭图形,它们与数的联系也只限 于长度与面积,难以从图形想到数 的能力。人们从“ 运 动”的角度来联系数与 形的:决定性的工具是建立了 坐 标 系,点 数。点的运动形成了线, 线的运动形成了体。 数与形的充分结合才产生了 解 析 几 何。解析几何的主要创始人是 笛 卡 儿! 在笛卡儿之前,就已经出现了代数 与几何的结合,即解析几何的萌芽. 我们来看一个例子。求比例中项问题。求给定长度AB与 AC的比例中项。 若ABAC,那么他们本身就是比例 中项,否则,可设ABAC.G 将AB置于AC上, E 以AC为直径画圆, C B 过B点作AC的垂 1 线交圆于D,连接 a x A D F H AD,AD即为所求 比例中项 A B DA C D ∽A B A D A B A D A C 即: A D A C A D A C A F A F A E接着,我们依次作出E、F、G、 A E A H H、使得2 3 1 x x x 即:? 2 3 4 x x x x 3 因为ADx时,AFx ,AFAD+DF,故 当DFa时,我们得到 3 X x+a结 论 :从几何得到了一个代数方程. 另一方面,若a是已知数,那么ADx作 为方程的根可以在几何上表示出来 尺规作图.反过来,笛卡儿对几何问题应用了代 数方法:研究几何轨迹问题. 解析几何的精华在于把几何曲线用 代数方程来表示,同时又用代数的研 究方法来研究几何.这种方法显示了 其强大的生命力:代数是纯演算的和