《合情推理与演绎证明ppt课件.ppt》由会员分享，可在线阅读，更多相关《合情推理与演绎证明ppt课件.ppt（20页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、合情推理与演绎证明ppt课件2.1合情推理与演绎证明-合情推理这就是著的哥德巴赫猜想。欧拉在这就是著的哥德巴赫猜想。欧拉在6 6月月3030日给他的回信中说，他日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。从提出这个猜想至今，许多数学家都不断许多数学家的注意。从提出这个猜想至今，许多数学家都不断努力想攻克它，但都没有成功。当然曾经有人作了些具体的验努力想攻克它，但都没有成功。当然曾经有
2、人作了些具体的验证工作，例如证工作，例如:6=3+3,8=3+5,10=5+5=3+7,:6=3+3,8=3+5,10=5+5=3+7,12=5+7,14=7+7=3+11,16=5+11,18=5+12=5+7,14=7+7=3+11,16=5+11,18=5+13,.13,.等等。有人对等等。有人对3310833108以内且大过以内且大过6 6之偶数一一进之偶数一一进行验算，哥德巴赫猜想行验算，哥德巴赫猜想(a)(a)都成立。但验格的数学证明尚待数学都成立。但验格的数学证明尚待数学家的努力。从此，这道著名的数学难题引起了世界上成千上万家的努力。从此，这道著名的数学难题引起了世界上成千上万数
3、学家的注意。数学家的注意。200200年过去了，没有人证明它。哥德巴赫猜想由年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的此成为数学皇冠上一颗可望不可及的“明珠明珠”。到了。到了2020世纪世纪2020年代，才有人开始向它靠近。年代，才有人开始向它靠近。哥德巴赫猜想哥德巴赫猜想(Goldbach Conjecture)目前最佳的结果是中国数学家陈景润於目前最佳的结果是中国数学家陈景润於19661966年年证明的，称为陈氏定理证明的，称为陈氏定理(Chen(Chens Theorem)?s Theorem)?“任何充份大的偶数都是一个质数与一个自然任何充份大的偶数都是一个
4、质数与一个自然数之和，而後者仅仅是两个质数的乘积。数之和，而後者仅仅是两个质数的乘积。”通常都简称这个结果为大偶数可表示为通常都简称这个结果为大偶数可表示为 “1+1+2 2”的形式。的形式。哥德巴赫猜想哥德巴赫猜想(Goldbach Conjecture)在陈景润之前，关於偶数可表示为在陈景润之前，关於偶数可表示为 s s个质数的乘积个质数的乘积 与与t t个质数的乘积之和个质数的乘积之和(简称简称“s+t s+t”问题问题)之进展情况如下之进展情况如下:19201920年，挪威的布朗年，挪威的布朗(Brun)(Brun)证明了证明了 “9+9 9+9”。19241924年，德国的拉特马赫年
5、，德国的拉特马赫(Rademacher)(Rademacher)证明了证明了“7+7 7+7”。19321932年，英国的埃斯特曼年，英国的埃斯特曼(Estermann)(Estermann)证明了证明了 “6+6 6+6”。19371937年，意大利的蕾西年，意大利的蕾西(Ricei)(Ricei)先後证明了先後证明了“5+7 5+7”,“4+9 4+9”,“3+15 3+15”和和“2+366 2+366”。19381938年，苏联的布赫年，苏联的布赫 夕太勃夕太勃(Byxwrao)(Byxwrao)证明了证明了“5+5 5+5”。19401940年，苏联的布赫年，苏联的布赫 夕太勃夕太勃
6、(Byxwrao)(Byxwrao)证明了证明了 “4+4 4+4”。19481948年，匈牙利的瑞尼年，匈牙利的瑞尼(Renyi)(Renyi)证明了证明了“1+c 1+c”，其中，其中c c是一很大的自然是一很大的自然 数。数。19561956年，中国的王元证明了年，中国的王元证明了 “3+4 3+4”。19571957年，中国的王元先後证明了年，中国的王元先後证明了 “3+3 3+3”和和 “2+3 2+3”。19621962年，中国的潘承洞和苏联的巴尔巴恩年，中国的潘承洞和苏联的巴尔巴恩(BapoaH)(BapoaH)证明了证明了 “1+5 1+5”，中中国的王元证明了国的王元证明了“
7、1+4 1+4”。19651965年，苏联的布赫年，苏联的布赫 夕太勃夕太勃(Byxwrao)(Byxwrao)和小维诺格拉多夫和小维诺格拉多夫(BHHopappB)(BHHopappB)，及，及 意大利的朋比利意大利的朋比利(Bombieri)(Bombieri)证明了证明了“1+3 1+3”。19661966年，中国的陈景润证明了年，中国的陈景润证明了 “1+2 1+2”。最终会由谁攻克最终会由谁攻克 “1+1 1+1”这个难题呢？现在还没法预测。这个难题呢？现在还没法预测。歌德巴赫猜想的提出过程：歌德巴赫猜想的提出过程：3710，31720，131730，歌德巴赫猜想歌德巴赫猜想:“任何
8、一个不小于任何一个不小于6 6的偶数都等于两个奇的偶数都等于两个奇奇数之和奇数之和”即即:偶数奇质数奇质数偶数奇质数奇质数改写为改写为:1037，20317，30131763+3，1000100029+97129+971，83+5，1002=139+863,105+5,125+7，147+7，165+11,18=7+11,，这种由某类事物的部分对象具有某些特征,推出该类事物的全部对象都具有这些特征的推理,或者由个别事实概栝出一般结论的推理,称为归纳推理.(简称;归纳)归纳推理的几个特点;1.归纳是依据特殊现象推断一般现象,因而,由归纳所得的结论超越了前提所包容的范围.2.归纳是依据若干已知的、
9、没有穷尽的现象推断尚属未知的现象,因而结论具有猜测性.3.归纳的前提是特殊的情况,因而归纳是立足于观察、经验和实验的基础之上.归纳是立足于观察、经验、实验和对有限资料分析的基础上.提出带有规律性的结论.需证明例例1:1:已知数列已知数列aan n 的第的第1 1项项a a1 1=1=1且(n=1,2,3(n=1,2,3),),试归纳出这个数列的通项公式试归纳出这个数列的通项公式.对有限的资料进行观察、分析、归纳对有限的资料进行观察、分析、归纳 整理；整理；提出带有规律性的结论，即猜想；提出带有规律性的结论，即猜想；检验猜想。检验猜想。归纳推理的一般步骤：归纳推理的一般步骤：例2:数一数图中的凸
10、多面体的面数F、顶点数V和棱数E,然后用归纳法推理得出它们之间的关系.多面体多面体面数面数(F)(F)顶点数顶点数(V)(V)棱数棱数(E)(E)三棱锥三棱锥四棱锥四棱锥三棱柱三棱柱五棱锥五棱锥立方体立方体正八面体正八面体五棱柱五棱柱截角正方体截角正方体尖顶塔尖顶塔4 46 64 45 55 56 65 59 98 8多面体多面体面数面数(F)(F)顶点数顶点数(V)(V)棱数棱数(E)(E)三棱锥三棱锥四棱锥四棱锥三棱柱三棱柱五棱锥五棱锥立方体立方体正八面体正八面体五棱柱五棱柱截角正方体截角正方体尖顶塔尖顶塔4 46 64 45 55 56 65 59 98 86 66 68 86 6121
11、28 812126 61010多面体多面体面数面数(F)(F)顶点数顶点数(V)(V)棱数棱数(E)(E)三棱锥三棱锥四棱锥四棱锥三棱柱三棱柱五棱锥五棱锥立方体立方体正八面体正八面体五棱柱五棱柱截角正方体截角正方体尖顶塔尖顶塔4 46 64 45 55 56 65 59 98 86 66 68 86 612128 812126 610107 77 79 916169 91010151510101515F+V-E=2F+V-E=2猜想欧拉公式例例:如图有三根针和套在一根针上的若干金属片如图有三根针和套在一根针上的若干金属片.按按下列规则下列规则,把金属片从一根针上全部移到另一根针上把金属片从一根
12、针上全部移到另一根针上.1.1.每次只能移动每次只能移动1 1个金属片个金属片;2.2.较大的金属片不能放在较小的金属片上面较大的金属片不能放在较小的金属片上面.试推测试推测;把把n n个金属片从个金属片从1 1号针移到号针移到3 3号针号针,最少需要移动多少次最少需要移动多少次?解解;设设a an n表示移动表示移动n n块金属片时的移动次数块金属片时的移动次数.当当n=1n=1时时,a,a1 1=1=1当当n=2n=2时时,a,a2 2=3 3123当当n=1n=1时时,a,a1 1=1=1当当n=2n=2时时,a,a2 2=3 3解解;设设a an n表示移动表示移动n n块金属片时的移动次数块金属片时的移动次数.当当n n=3=3时时,a,a3 3=7 7当当n=4n=4时时,a,a4 4=1515猜想猜想 a an n=2 2n n-1-1123作业作业:P:P64 64 1.3.41.3.4此此课件下件下载可自行可自行编辑修改，修改，仅供参考！供参考！感感谢您的支持，我您的支持，我们努力做得更好！努力做得更好！谢谢!