《人教版高中数学 合情推理与演绎证明课件八 新人教A选修12.ppt》由会员分享,可在线阅读,更多相关《人教版高中数学 合情推理与演绎证明课件八 新人教A选修12.ppt(31页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、合情推理合情推理(1)2021/8/9 星期一1推理:推理:从一个或几个已知命题得出另一个从一个或几个已知命题得出另一个新命题的思维过程。新命题的思维过程。推理推理前提前提结论结论推理所依据的命题推理所依据的命题.根据前提所得到的命题根据前提所得到的命题.2021/8/9 星期一2推理案例推理案例1:前提:前提:当当n=0时,时,n2-n+11=11;当当n=1时,时,n2-n+11=11;当当n=2时,时,n2-n+11=13;当当n=3时,时,n2-n+11=17;当当n=4时,时,n2-n+11=23;当当n=5时,时,n2-n+11=31;11,11,13,17,23,31都是质数都是
2、质数.结论:结论:对于所有的自然数对于所有的自然数n,n2-n+11的值都是质数的值都是质数.归归纳纳推推理理2021/8/9 星期一3推理案例推理案例2:前提:前提:结论:结论:矩形的对角线的平方等于长与宽的矩形的对角线的平方等于长与宽的平方和平方和.长方体的对角线的平方等于长、宽、长方体的对角线的平方等于长、宽、高的平方和高的平方和.类比推理类比推理归纳推理归纳推理合情推理合情推理2021/8/9 星期一4例例1:蛇是用肺呼吸的,鳄鱼是用肺呼吸的,海蛇是用肺呼吸的,鳄鱼是用肺呼吸的,海龟是用肺呼吸的,蜥蜴是用肺呼吸的。蛇、鳄龟是用肺呼吸的,蜥蜴是用肺呼吸的。蛇、鳄鱼、海龟、蜥蜴都是爬行动物
3、。鱼、海龟、蜥蜴都是爬行动物。由此猜想:由此猜想:例例2:三角形的内角和是三角形的内角和是180180度,凸四边形的内度,凸四边形的内角和是角和是360360度,凸五边形的内角和是度,凸五边形的内角和是540540度,度,由此猜想:由此猜想:所有的爬行动物都是用肺呼吸的。所有的爬行动物都是用肺呼吸的。凸凸n边形的内角和是边形的内角和是(n-2)1800归纳推理归纳推理2021/8/9 星期一5例例3:由此猜想:由此猜想:2021/8/9 星期一6归纳推理的定义归纳推理的定义:归纳推理:归纳推理:概括、推广概括、推广猜测一般性结论猜测一般性结论 简言之简言之,归纳推理是由归纳推理是由部分到整体部
4、分到整体、由、由个别到个别到一般一般的推理。的推理。归纳推理的思维过程如下:归纳推理的思维过程如下:由某类事物的部分对象具有某些特征,推出该类事物的全部对象都具有这些特征的推理,或者由个别事实推演出一般性的结论的推理,称为归纳推理(简称归纳).实验、观察实验、观察构建数学:2021/8/9 星期一7推理案例推理案例3 3:金受热后体积膨胀,金受热后体积膨胀,银受热后体积膨胀,银受热后体积膨胀,铜受热后体积膨胀,铜受热后体积膨胀,铁受热后体积膨胀,铁受热后体积膨胀,金、银、铜、铁是金属的部分小类对象,它们金、银、铜、铁是金属的部分小类对象,它们受热后分子的凝聚力减弱,分子运动加速,分子受热后分子
5、的凝聚力减弱,分子运动加速,分子彼此距离加大,从而导致体积膨胀彼此距离加大,从而导致体积膨胀 所以,所有的金属受热后都体积膨胀。所以,所有的金属受热后都体积膨胀。再观察两个例子,你能得到再观察两个例子,你能得到归纳推理的一般模式归纳推理的一般模式吗?吗?2021/8/9 星期一8推理案例推理案例4 4:磨擦双手(磨擦双手(S1 S1)能产生热()能产生热(P P),),敲击石头(敲击石头(S2 S2)能产生热()能产生热(P P),锤击铁块(锤击铁块(S3 S3)能产生热()能产生热(P P),磨擦双手、敲击石头、锤击铁块都是物质运动;磨擦双手、敲击石头、锤击铁块都是物质运动;所以,物质运动能
6、产生热。所以,物质运动能产生热。归纳推理的一般模式归纳推理的一般模式:S1具有具有P,S2具有具有P,Sn具有具有P,(S1,S2,Sn是是A类事物的对象)类事物的对象)所以所以A类事物具有类事物具有P2021/8/9 星期一91.归纳推理是依据特殊现象推断一般现象,因而,由归纳推理所得的结论超越了前提所包容的范围.2.归纳推理是依据若干已知的、没有穷尽的现象推断尚属未知的现象,因而结论具有猜测性.结论是否真实,还需经过逻辑证明和实践证明,因此它不能作为数学证明工具。3.归纳推理的前提是特殊的情况,因而归纳推理是立足于观察、经验和实验的基础之上.归纳推理是一种具有创造性的推理,通过归纳得到的猜
7、想可作为进一步研究得起点,帮助人们发现问题和提出问题。归纳推理的几个特点归纳推理的几个特点:2021/8/9 星期一10 检验猜想。检验猜想。提出带有规律性的结论,即猜想;提出带有规律性的结论,即猜想;对有限的资料进行观察、分析、对有限的资料进行观察、分析、归纳整理;归纳整理;归纳推理的一般步骤归纳推理的一般步骤:2021/8/9 星期一11例例1:1:观察下图观察下图,可以发现可以发现1+3+(2n1)=n21+3=4=22,1+3+5=9=32,1+3+5+7=16=42,1+3+5+7+9=25=5,数学应用:2021/8/9 星期一12例例2:2:已知数列已知数列aan n 的第的第1
8、 1项项a a1 1=1=1且(n=1,2,3(n=1,2,3),),试归纳出这个数列的通项公式试归纳出这个数列的通项公式.2021/8/9 星期一13例3:数一数图中的凸多面体的面数F、顶点数V和棱数E,然后用归纳法推理得出它们之间的关系.2021/8/9 星期一14多面体多面体面数面数(F)(F)顶点数顶点数(V)(V)棱数棱数(E)(E)三棱锥三棱锥四棱锥四棱锥三棱柱三棱柱五棱锥五棱锥立方体立方体正八面体正八面体五棱柱五棱柱截角正方体截角正方体尖顶塔尖顶塔4 46 64 45 55 56 65 59 98 82021/8/9 星期一15多面体多面体面数面数(F)(F)顶点数顶点数(V)(
9、V)棱数棱数(E)(E)三棱锥三棱锥四棱锥四棱锥三棱柱三棱柱五棱锥五棱锥立方体立方体正八面体正八面体五棱柱五棱柱截角正方体截角正方体尖顶塔尖顶塔4 46 64 45 55 56 65 59 98 86 66 68 86 612128 812126 610102021/8/9 星期一16多面体多面体面数面数(F)(F)顶点数顶点数(V)(V)棱数棱数(E)(E)三棱锥三棱锥四棱锥四棱锥三棱柱三棱柱五棱锥五棱锥立方体立方体正八面体正八面体五棱柱五棱柱截角正方体截角正方体尖顶塔尖顶塔4 46 64 45 55 56 65 59 98 86 66 68 86 612128 812126 610107
10、77 79 916169 91010151510101515F+V-E=2F+V-E=2猜想欧拉公式2021/8/9 星期一17例例4:4:如图有三根针和套在一根针上的若干金属片如图有三根针和套在一根针上的若干金属片.按下列规则按下列规则,把金属片从一根针上全部移到另一根针上把金属片从一根针上全部移到另一根针上.1.1.每次只能移动每次只能移动1 1个金属片个金属片;2.2.较大的金属片不能放在较小的金属片上面较大的金属片不能放在较小的金属片上面.试推测试推测;把把n n个金属片从个金属片从1 1号针移到号针移到3 3号针号针,最少需要移动多少次最少需要移动多少次?解解;设设a an n表示移
11、动表示移动n n块金属片时的移动次数块金属片时的移动次数.当当n=1n=1时时,a,a1 1=1=1当当n=2n=2时时,a,a2 2=3 31232021/8/9 星期一18当当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-11232021/8/9 星期一191.观察下列等式,并从中归纳出一般的结论:观察下列等式,并从中归纳出一般的结论:(1)(
12、2)11,1-4(1+2),),1-4+91+2+3,1-4+9-16(1+2+3+4),),数学巩固:2021/8/9 星期一20凸四边形有凸四边形有2条对角线,条对角线,凸五边形有凸五边形有5条对角线,条对角线,比凸四边形多比凸四边形多3条;条;凸六边形有凸六边形有9条对角线,条对角线,比凸五边形多比凸五边形多4条;条;猜想:猜想:凸凸n边形的对角线条数比凸边形的对角线条数比凸n-1边形多边形多n-2条对角线。由此,凸条对角线。由此,凸n边形边形对角线条数为对角线条数为2+3+4+5+(n-2).凸凸n边形有多少条对角线?边形有多少条对角线?2.凸凸n边形有多少条对角线?边形有多少条对角线
13、?2021/8/9 星期一213.在同一平面内,两条直线相交,有一个交点;在同一平面内,两条直线相交,有一个交点;三条直线相交,最多有几个交点?三条直线相交,最多有几个交点?四条直线相交,最多有几个交点?四条直线相交,最多有几个交点?六条直线相交,最多有几个交点?六条直线相交,最多有几个交点?n条直线相交,最多有几个交点?条直线相交,最多有几个交点?2021/8/9 星期一222021/8/9 星期一23歌德巴赫猜想的提出过程:歌德巴赫猜想的提出过程:3710,31720,131730,歌德巴赫猜想歌德巴赫猜想:“任何一个不小于任何一个不小于6 6的偶数都等于两个奇的偶数都等于两个奇质数之和质
14、数之和”即即:偶数奇质数奇质数偶数奇质数奇质数改写为改写为:1037,20317,30131763+3,1000100029+97129+971,83+5,1002=139+863,105+5,125+7,147+7,165+11,18=7+11,,数学阅读:2021/8/9 星期一24哥德巴赫猜想哥德巴赫猜想(Goldbach Conjecture)(Goldbach Conjecture)世界近代三大数学难题之一。哥德巴赫是德国一位世界近代三大数学难题之一。哥德巴赫是德国一位中学教师,也是一位著名的数学家,生于中学教师,也是一位著名的数学家,生于16901690年,年,17251725年当
15、选为俄国彼得堡科学院院士。年当选为俄国彼得堡科学院院士。17421742年,哥年,哥德巴赫在教学中发现,每个不小于德巴赫在教学中发现,每个不小于6 6的偶数都是两的偶数都是两个素数(只能被和它本身整除的数)之和。如个素数(只能被和它本身整除的数)之和。如6 63 33 3,12125 57 7等等。等等。公元公元17421742年年6 6月月7 7日哥德巴赫日哥德巴赫(Goldbach)(Goldbach)写信给当时写信给当时的大数学家欧拉的大数学家欧拉(Euler)(Euler),提出了以下的猜想,提出了以下的猜想:(a)(a)任何一个任何一个=6=6之偶数,都可以表示成两个奇质之偶数,都可
16、以表示成两个奇质数之和。数之和。(b)(b)任何一个任何一个=9=9之奇数,都可以表示成三个奇质之奇数,都可以表示成三个奇质数之和。数之和。2021/8/9 星期一25这就是着名的哥德巴赫猜想。欧拉在这就是着名的哥德巴赫猜想。欧拉在6 6月月3030日给他的回信中说,他日给他的回信中说,他相信这个猜想是正确的,但他不能证明。叙述如此简单的问题,相信这个猜想是正确的,但他不能证明。叙述如此简单的问题,连欧拉这样首屈一指的数学家都不能证明,这个猜想便引起了许连欧拉这样首屈一指的数学家都不能证明,这个猜想便引起了许多数学家的注意。从提出这个猜想至今,许多数学家都不断努力多数学家的注意。从提出这个猜想
17、至今,许多数学家都不断努力想攻克它,但都没有成功。当然曾经有人作了些具体的验证工作,想攻克它,但都没有成功。当然曾经有人作了些具体的验证工作,例如例如:6=3+3,8=3+5,10=5+5=3+7,12=5+:6=3+3,8=3+5,10=5+5=3+7,12=5+7,14=7+7=3+11,16=5+11,18=5+13,.7,14=7+7=3+11,16=5+11,18=5+13,.等等。有人对等等。有人对3310833108以内且大过以内且大过6 6之偶数一一进行验算,哥德巴之偶数一一进行验算,哥德巴赫猜想赫猜想(a)(a)都成立。但严格的数学证明尚待数学家的努力。都成立。但严格的数学证
18、明尚待数学家的努力。从此,这道著名的数学难题引起了世界上成千上万数学家的注意。从此,这道著名的数学难题引起了世界上成千上万数学家的注意。200200年过去了,没有人证明它。哥德巴赫猜想由此成为数学皇冠上年过去了,没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的一颗可望不可及的“明珠明珠”。到了。到了2020世纪世纪2020年代,才有人开始向年代,才有人开始向它靠近。它靠近。19201920年、挪威数学家布爵用一种古老的筛选法证明,得年、挪威数学家布爵用一种古老的筛选法证明,得出了一个结论:每一个比大的偶数都可以表示为(出了一个结论:每一个比大的偶数都可以表示为(9999)。这种缩)
19、。这种缩小包围圈的办法很管用,科学家们于是从(小包围圈的办法很管用,科学家们于是从(9 9十十9 9)开始,逐步减)开始,逐步减少每个数里所含质数因子的个数,直到最后使每个数里都是一个少每个数里所含质数因子的个数,直到最后使每个数里都是一个质数为止,这样就证明了质数为止,这样就证明了“哥德巴赫哥德巴赫”。2021/8/9 星期一26哥德巴赫猜想哥德巴赫猜想(Goldbach Conjecture)在陈景润之前,关於偶数可表示为在陈景润之前,关於偶数可表示为 s s个质数的乘积个质数的乘积 与与t t个质数的乘积之和个质数的乘积之和(简称简称“s+t”“s+t”问题问题)之进展情况如下之进展情况
20、如下:19201920年,挪威的布朗年,挪威的布朗(Brun)(Brun)证明了证明了“9+9”“9+9”。19241924年,德国的拉特马赫年,德国的拉特马赫(Rademacher)(Rademacher)证明了证明了“7+7”“7+7”。19321932年,英国的埃斯特曼年,英国的埃斯特曼(Estermann)(Estermann)证明了证明了“6+6”“6+6”。19371937年,意大利的蕾西年,意大利的蕾西(Ricei)(Ricei)先後证明了先後证明了“5+7”,“4+9”,“3+“5+7”,“4+9”,“3+15”15”和和“2+366”“2+366”。19381938年,苏联的
21、布赫年,苏联的布赫 夕太勃夕太勃(Byxwrao)(Byxwrao)证明了证明了“5+5”“5+5”。19401940年,苏联的布赫年,苏联的布赫 夕太勃夕太勃(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年,
22、中国的潘承洞和苏联的巴尔巴恩年,中国的潘承洞和苏联的巴尔巴恩(BapoaH)(BapoaH)证明了证明了“1+5”“1+5”,中中国的王元证明了国的王元证明了“1+4”“1+4”。19651965年,苏联的布赫年,苏联的布赫 夕太勃夕太勃(Byxwrao)(Byxwrao)和小维诺格拉多夫和小维诺格拉多夫(BHHopappB)(BHHopappB),及,及 意大利的朋比利意大利的朋比利(Bombieri)(Bombieri)证明了证明了“1+3”“1+3”。19661966年,中国的陈景润证明了年,中国的陈景润证明了“1+2”“1+2”。最终会由谁攻克最终会由谁攻克“1+1”“1+1”这个难题
23、呢?现在还没法预测。这个难题呢?现在还没法预测。2021/8/9 星期一27哥德巴赫猜想哥德巴赫猜想(Goldbach Conjecture)目前最佳的结果是中国数学家陈景润於目前最佳的结果是中国数学家陈景润於19661966年证明的,称为陈氏定理年证明的,称为陈氏定理(Chens Theorem)(Chens Theorem)?“?“任何充份大的偶数都是一个质数与一个任何充份大的偶数都是一个质数与一个自然数之和,而後者仅仅是两个质数的乘积。自然数之和,而後者仅仅是两个质数的乘积。”通常都简称这个结果为大偶数可表示为通常都简称这个结果为大偶数可表示为 “1+2”“1+2”的形式。的形式。202
24、1/8/9 星期一28四色猜想四色猜想的提出来自英国。的提出来自英国。1852年,毕业于伦敦大学的弗南西年,毕业于伦敦大学的弗南西斯斯格思里来到一家科研单位搞地图着色工作时,发现了一种有格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色。同边界的国家着上不同的颜色。”这个结论能不能从数学上加以这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已
25、经堆了一大叠,可是研究工作人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。没有进展。美国数学家富兰克林于美国数学家富兰克林于1939年证明了年证明了22国以下的地图都可以国以下的地图都可以用四色着色。用四色着色。1950年,有人从年,有人从22国推进到国推进到35国。国。1960年,有人又年,有人又证明了证明了39国以下的地图可以只用四种颜色着色;随后又推进到了国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜演
26、算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了斯大学的两台不同的电子计算机上,用了1200个小时,作了个小时,作了100亿亿判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动了世界。它不仅解决了一个历时动了世界。它不仅解决了一个历时100多年的难题,而且有可能成多年的难题,而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于为数学史上一系列新思维的起点。不过也
27、有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。2021/8/9 星期一29哥尼斯堡七桥问题哥尼斯堡七桥问题1818世纪在哥尼斯堡城世纪在哥尼斯堡城(今俄罗斯加里宁格勒今俄罗斯加里宁格勒)的普莱格尔河上的普莱格尔河上有有7 7座桥,将河中的两个岛和河岸连结,如图座桥,将河中的两个岛和河岸连结,如图1 1所示。所示。城中的城中的居民经常沿河过桥散步,于是提出了一个问题:能否一次走居民经常沿河过桥散步,于是提出了一个问题:能否一次走遍遍7 7座桥,而每座桥只许通过一次,最后仍回到起始地点。座桥,而每座桥只许通过一次,最后仍回到起始地点。这就是七桥问题,一个著名的图论问题。这就是七桥问题,一个著名的图论问题。小岛小岛半岛半岛2021/8/9 星期一302021/8/9 星期一31