归纳推理探析.pptVIP

* * 2.1合情推理与演绎推理 归纳推理 四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西 斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有 趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共 同边界的国家着上不同的颜色。”这个结论能不能从数学上加以 严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二 人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作 没有进展。 　　美国数学家富兰克林于1939年证明了22国以下的地图都可以 用四色着色。1950年,有人从22国推进到35国。1960年，有人又 证明了39国以下的地图可以只用四种颜色着色；随后又推进到了 50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于 演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜 想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺 斯大学的两台不同的电子计算机上，用了1200个小时,作了100亿 判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动 了世界。它不仅解决了一个历时100多年的难题,而且有可能成为 数学史上一系列新思维的起点。不过也有不少数学家并不满足于 计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。 (1)任何一个≥6的偶数,都可以表示成两个奇质数之和。 (2)任何一个≥9的奇数,都可以表示成三个奇质数之和。 哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。 其中的规律是：偶数＝奇质数＋奇质数 公元1742年6月7日哥德巴赫写信给当时的大数学家欧拉，提出了以下的猜想: 　10=3+7, 20=3+17, 30=13+17． 这就是著名的哥德巴赫猜想 哥德巴赫猜想(Goldbach Conjecture) 1742年，哥德巴赫无意中观察到： 欧拉在6月30日给哥德巴赫回信说，他相信这个猜想是正确的，但他不能证明。 叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。从提出这个猜想至今，许多数学家都想攻克它，但至今还没有成功。 有人对 33×108 以内且大于6的偶数作过一一验算，结论都是成立的，但却无法给出严格的证明。从此哥德巴赫猜想成了数学皇冠上一颗可望不可及的“明珠” 后来有人想到通过证明以下结论来证明“哥德巴赫”猜想： 偶数可表示为s个质数的乘积与t个质数的乘积之和(简称“s+t”)． 1920年挪威数学家布爵证明了（9+9）． 这种缩小包围圈的办法很管用，数学家们于是从(9十9)开始，逐步减少每个数里所含质数因子的个数，直到最后使每个数里都是一个质数为止. 1920年，挪威的布朗(Brun)证明了 “9+9 ”。 1924年，德国的拉特马赫(Rademacher)证明了“7+7 ”。 1932年，英国的埃斯特曼(Estermann)证明了 “6+6 ”。 1937年，意大利的蕾西(Ricei)先後证明了“5+7 ”, “4+9 ”, “3+15 ”和“2+366 ”。 1938年，苏联的布赫 夕太勃(Byxwrao)证明了“5+5 ”。 1940年，苏联的布赫 夕太勃(Byxwrao)证明了 “4+4 ”。 1948年，匈牙利的瑞尼(Renyi)证明了“1+c”,其中c是一很大的自然数 1956年，中国的王元证明了 “3+4 ”。 1957年，中国的王元先后证明了 “3+3 ”和 “2+3 ”。 1962年，中国的潘承洞和苏联的巴尔巴恩(BapoaH)证明了“1+5”， 中国的王元证明了“1+4 ”。 1965年，苏联的布赫夕太勃(Byxwrao)和小维诺格拉多夫(BHHopappB)，及意大利的朋比利(Bombieri)证明了“1+3 ”。 1966年，中国的陈景润证明了 “1+2 ”。 关于证明 “s+t”的进展情况如下: 目前最佳的结果是中国数学家陈景润於1966年证明的，称为陈氏定理(Chen‘s Theorem): “任何充分大的偶数都是一个质数与一个自然数之和，而後者仅仅是两个质数的乘积。” 通常都简称这个结果为大偶数可表示为 “1+2 ”的形式。 再次回忆歌德巴赫猜想的提出过程： 　　　3＋7＝10， 3＋17＝20， 13＋17＝30， 歌德巴赫猜想 “任何一个不小于6的偶数都等于两个奇数之和” 即:偶数＝奇质数＋奇质数 改写为:10＝3＋7， 20＝3＋17， 30＝13＋17． 再如： 6＝3+3， 8＝3+5， 10＝5+5, 　　　　 12＝5+7， 14＝7+7， 16＝5+11, …， 1000＝29+971， 1002=139+863, …