合情推理-归纳推理

《合情推理-归纳推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、2.1合情推理与演绎推理2.1.1合情推理歌德巴赫猜想的提出过程：3＋7＝10，3＋17＝20，13＋17＝30，歌德巴赫猜想:“任何一个不小于6的偶数都等于两个奇奇数之和”即:偶数＝奇质数＋奇质数改写为:10＝3＋7，20＝3＋17，30＝13＋17．6＝3+3，1000＝29+971，8＝3+5，1002=139+863,10＝5+5,…12＝5+7，14＝7+7，16＝5+11,18=7+11,…，这种由某类事物的部分对象具有某些特征,推出该类事物的全部对象都具有这些特征的推理,或者由个别事实概栝出一般结论的推理,称为归纳推理

2、.(简称;归纳)。简言之，归纳推理就是由部分到整体，由个别到一般归纳推理的几个特点;1.归纳是依据特殊现象推断一般现象,因而,由归纳所得的结论超越了前提所包容的范围.2.归纳是依据若干已知的、没有穷尽的现象推断尚属未知的现象,因而结论具有猜测性.归纳是立足于观察、经验、实验和对有限资料分析的基础上.提出带有规律性的结论.需证明哥德巴赫猜想(GoldbachConjecture)世界近代三大数学难题之一。哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中

3、发现，每个不小于6的偶数都是两个素数（只能被和它本身整除的数）之和。如6＝3＋3，12＝5＋7等等。公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想:(a)任何一个>=6之偶数，都可以表示成两个奇质数之和。(b)任何一个>=9之奇数，都可以表示成三个奇质数之和。这就是着名的哥德巴赫猜想。欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。从提出这个猜想至今，许多数学家

4、都不断努力想攻克它，但都没有成功。当然曾经有人作了些具体的验证工作，例如: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,....等等。有人对33×108以内且大过6之偶数一一进行验算，哥德巴赫猜想(a)都成立。但严格的数学证明尚待数学家的努力。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。哥德巴赫猜想(GoldbachConjecture)目前最佳的结果是中国数学家陈

5、景润於1966年证明的，称为陈氏定理(Chen‘sTheorem)“任何充份大的偶数都是一个质数与一个自然数之和，而後者仅仅是两个质数的乘积。”通常都简称这个结果为大偶数可表示为“1+2”的形式。例1:已知数列{an}的第1项a1=1且(n=1,2,3…),试归纳出这个数列的通项公式.⑴对有限的资料进行观察、分析、归纳整理；⑵提出带有规律性的结论，即猜想；⑶检验猜想。归纳推理的一般步骤：例2:数一数图中的凸多面体的面数F、顶点数V和棱数E,然后用归纳法推理得出它们之间的关系.多面体面数(F)顶点数(V)棱数(E)三棱锥四棱锥三棱柱五

6、棱锥立方体正八面体五棱柱截角正方体尖顶塔464556598多面体面数(F)顶点数(V)棱数(E)三棱锥四棱锥三棱柱五棱锥立方体正八面体五棱柱截角正方体尖顶塔464556598668612812610多面体面数(F)顶点数(V)棱数(E)三棱锥四棱锥三棱柱五棱锥立方体正八面体五棱柱截角正方体尖顶塔46455659866861281261077916910151015F+V-E=2猜想欧拉公式类比推理“快回火星吧，地球是很危险滴”类比推理类比推理从一个传说说起：春秋时代鲁国的公输班（后人称鲁班，被认为是木匠业的祖师）一次去林中砍树时被一

7、株齿形的茅草割破了手，这桩倒霉事却使他发明了锯子.类比推理茅草是齿形的；茅草能割破手.我需要一种能割断木头的工具；它也可以是齿形的.鲁班的思路是这样的：这个推理过程是归纳推理吗？问题：试根据等式的性质猜想不等式的性质。等式的性质：(1)a=ba+c=b+c;(2)a=bac=bc;(3)a=ba2=b2;等等。猜想不等式的性质：(1)a＞ba+c＞b+c;(2)a＞bac＞bc;(3)a＞ba2＞b2;等等。问：这样猜想出的结论是否一定正确？类比推理由两类对象具有某些类似特征，和其中一类对象的某些已知特征，推出另一类对象

8、也具有这些特征的推理称为类比推理（简称类比）．类比推理的定义:简言之，类比推理是由特殊到特殊的推理．类比推理的一般步骤：⑴找出两类对象之间可以确切表述的相似特征；⑵用一类对象的已知特征去推测另一类对象的特征，从而得出一个猜想；⑶检验猜