2.1.2 演绎推理48049.ppt
2.1.2合情推理与演绎推理-演绎推理教学目标教学目标 结合已学过的数学实例和生活中的实例，体会演绎推理的重要性，掌握演绎推理的基本模式，并能运用它们进行一些简单推理。教学重点：教学重点：掌握演绎推理的基本模式，并能运用它们进行一些简单推理。复习:合情推理归纳推理归纳推理类比推理类比推理从具体问从具体问题出发题出发观察观察、分析分析比较比较、联想联想提出猜想提出猜想归纳归纳、类比类比类比推理的一般步骤：类比推理的一般步骤：找出两类对象之间可以确切表述的相似找出两类对象之间可以确切表述的相似特征；特征；用一类对象的已知特征去推测另一类对用一类对象的已知特征去推测另一类对象的特征，从而得出一个猜想；象的特征，从而得出一个猜想；检验猜想。检验猜想。复习:合情推理 对有限的资料进行观察、分析、归纳对有限的资料进行观察、分析、归纳 整理；整理；提出带有规律性的结论，即猜想；提出带有规律性的结论，即猜想；检验猜想。检验猜想。归纳推理的一般步骤：归纳推理的一般步骤：观察与是思考观察与是思考1.1.所有的金属都能导电所有的金属都能导电,2.2.一切奇数都不能被一切奇数都不能被2 2整除整除,3.3.三角函数都是周期函数三角函数都是周期函数,4.4.全等的三角形面积相等全等的三角形面积相等 所以铜能够导电所以铜能够导电.因为铜是金属因为铜是金属,所以所以(2(2100100+1)+1)不能被不能被2 2整除整除.因为因为(2(2100100+1)+1)是奇数是奇数,所以是所以是tan tan 周期函数周期函数因为因为tan tan 三角函数三角函数,那么三角形那么三角形ABCABC与三角形与三角形A A1 1B B1 1C C1 1面积相等面积相等.如果三角形如果三角形ABCABC与三角形与三角形A A1 1B B1 1C C1 1全等全等,大前提大前提小前提小前提结论结论大前提大前提小前提小前提结论结论从一般性的原理出发，推出某个特殊情况从一般性的原理出发，推出某个特殊情况下的结论，这种推理称为下的结论，这种推理称为演绎推理演绎推理注：注：演绎推理是由演绎推理是由一般一般到到特殊特殊的推理；的推理；“三段论三段论”是演绎推理的一般模式；包括是演绎推理的一般模式；包括大前提大前提-已知的一般原理；已知的一般原理；小前提小前提-所研究的特殊情况；所研究的特殊情况；结论结论-据一般原理，对特殊情况做出的判断据一般原理，对特殊情况做出的判断 “三段论三段论”是演绎推理的一般模式；包括是演绎推理的一般模式；包括大前提大前提-已知的一般原理；已知的一般原理；小前提小前提-所研究的特殊情况；所研究的特殊情况；结论结论-据一般原理，对特殊情况做出的判断据一般原理，对特殊情况做出的判断3.3.三段论推理的依据三段论推理的依据,用集合的观点来理解用集合的观点来理解:若集合若集合M M的所有元素都具有性质的所有元素都具有性质P,SP,S是是M M的一个的一个子集子集,那么那么S S中所有元素也都具有性质中所有元素也都具有性质P.P.M MS Sa a练练 分析下列推理是否正确，说明为什么？分析下列推理是否正确，说明为什么？(1)(1)(1)(1)自然数是整数，自然数是整数，自然数是整数，自然数是整数，3 3 3 3是自然数，是自然数，是自然数，是自然数，3 3 3 3是整数是整数是整数是整数.大前提错误大前提错误大前提错误大前提错误推理形式错误推理形式错误推理形式错误推理形式错误(2)(2)(2)(2)整数是自然数，整数是自然数，整数是自然数，整数是自然数，-3-3-3-3是整数，是整数，是整数，是整数，-3-3-3-3是自然数是自然数是自然数是自然数.(4)(4)(4)(4)自然数是整数，自然数是整数，自然数是整数，自然数是整数，3 3 3 3是整数，是整数，是整数，是整数，3 3 3 3是自然数是自然数是自然数是自然数.(3)(3)(3)(3)自然数是整数，自然数是整数，自然数是整数，自然数是整数，-3-3-3-3是自然数，是自然数，是自然数，是自然数，-3-3-3-3是整数是整数是整数是整数.小前提错误小前提错误小前提错误小前提错误例例.如图如图;在锐角三角形在锐角三角形ABCABC中中,AD,ADBC,BEBC,BEAC,AC,D,E D,E是垂足是垂足,求证求证ABAB的中点的中点M M到到D,ED,E的距离相等的距离相等.A AD DE EC CM MB B (1)(1)因为有一个内角是只直角的因为有一个内角是只直角的三角形是直角三角形三角形是直角三角形,在在ABCABC中中,ADBC,ADBC,即即ADB=90ADB=900 0所以所以ABDABD是直角三角形是直角三角形同理同理ABDABD是直角三角形是直角三角形(2)(2)因为直角三角形斜边上的中线等于斜边的一半因为直角三角形斜边上的中线等于斜边的一半,M M是是RtRtABDABD斜边斜边ABAB的中点的中点,DM,DM是斜边上的中线是斜边上的中线所以所以 DM=ABDM=AB同理同理 EM=ABEM=AB所以所以 DM=EMDM=EM大前提大前提小前提小前提结论结论大前提大前提小前提小前提结论结论证明证明:例例:证明函数证明函数f(xf(x)=-x)=-x2 2+2x+2x在在(-(-,1,1上是增函数上是增函数.满足对于任意满足对于任意x x1 1,x,x2 2D,D,若若x x1 1xx2 2,有有f(xf(x1 1)f(x)f(x2 2)成立的函数成立的函数f(xf(x),),是区间是区间D D上的增函数上的增函数.任取任取x x1 1,x,x2 2(-(-,1,1 且且x x1 1xx2,2,f(xf(x1 1)-f(x)-f(x2 2)=(-x)=(-x1 12 2+2x+2x1 1)-(x)-(x2 22 2+2x+2x2 2)=(x =(x2 2-x-x1 1)(x)(x1 1+x+x2 2-2)-2)因为因为x x1 1x0 0 因为因为x x1 1,x,x2 21 1所以所以x x1 1+x+x2 2-20 -20 因此因此f(xf(x1 1)-f(x)-f(x2 2)0,)0,即即f(xf(x1 1)f(x)f(x2 2)所以函数所以函数f(xf(x)=-x)=-x2 2+2x+2x在在(-(-,1,1上是增函数上是增函数.大前提大前提小前提小前提结论结论证明证明:推理推理合情推理合情推理（或然性推理）（或然性推理）演绎推理演绎推理（必然性推理）（必然性推理）归纳归纳(特殊到一般）特殊到一般）类比类比（特殊到特殊）（特殊到特殊）三段论三段论（一般到特殊）（一般到特殊）演绎推理是证明数学结论、建立数学体系的重要思维演绎推理是证明数学结论、建立数学体系的重要思维过程过程.数学结论、证明思路的发现数学结论、证明思路的发现,主要靠合情推理主要靠合情推理.合情推理与演绎推理的区别:区区区区别别别别推理推理推理推理形式形式形式形式推理推理推理推理结论结论结论结论联系联系联系联系合情推理合情推理合情推理合情推理归纳推理归纳推理归纳推理归纳推理类比推理类比推理类比推理类比推理由由由由部分到整体部分到整体部分到整体部分到整体,个个个个别到一般别到一般别到一般别到一般的推理的推理的推理的推理由由由由特殊到特殊特殊到特殊特殊到特殊特殊到特殊的的的的推理推理推理推理结论不一定正确，有待进一结论不一定正确，有待进一结论不一定正确，有待进一结论不一定正确，有待进一步证明步证明步证明步证明演绎推理演绎推理演绎推理演绎推理由由由由一般到特殊一般到特殊一般到特殊一般到特殊的的的的推理推理推理推理在前提和推理形在前提和推理形在前提和推理形在前提和推理形式都正确时式都正确时式都正确时式都正确时,得到得到得到得到的结论一定正确的结论一定正确的结论一定正确的结论一定正确 合情推理的结论需要演绎推理的验证，而演合情推理的结论需要演绎推理的验证，而演合情推理的结论需要演绎推理的验证，而演合情推理的结论需要演绎推理的验证，而演绎推理的方向和思路一般是通过合情推理获得的绎推理的方向和思路一般是通过合情推理获得的绎推理的方向和思路一般是通过合情推理获得的绎推理的方向和思路一般是通过合情推理获得的作业作业;P;P84 84 6 6
