高中数学人教B版2第二章推理与证明合情推理与演绎推理

2.1.2【学习目标】1.理解演绎推理的意义.2.掌握演绎推理的基本模式，并能运用它们进行一些简单推理.3.了解合情推理和演绎推理之间的区别和联系．【知识导学】1．演绎推理定义从一般性的原理出发，推出某个特殊情况下的结论的推理特点由一般到特殊的推理2.三段论一般模式常用格式大前提已知的一般原理M是P小前提所研究的特殊情况S是M结论根据一般原理，对特殊情况做出的判断S是P3.演绎推理与合情推理的区别与联系合理推理演绎推理区别含义根据已有的事实和正确的结论(包括实验和实践的结果)，以及个人的经验和直觉等推测某些结果的推理过程根据已有的事实和正确的结论(包括定义、公理、定理等)，按照严格的逻辑法则得到新结论的推理过程思维方法归纳、类比三段论推理形式由部分到整体、由个别到一般的推理或由特殊到特殊的推理由一般到特殊的推理结论结论不一定正确，有待于进一步证明在大提前、小前提和推理形式都正确的前提下，得到的结论一定正确作用具有猜测和发现结论，探索和提供思路的作用，利于创新意识的培养按照严格的逻辑法则推理，利于培养和提高逻辑证明的能力联系合情推理与演绎推理是相辅相成的，数学结论、证明思路等的发现主要靠合情推理；数学结论、猜想的正确性必须通过演绎推理来证明【预习检测】1．下面几种推理过程是演绎推理的是()A．两条直线平行，同旁内角互补，如果∠A与∠B是两条平行直线的同旁内角，则∠A＋∠B＝180°B．某校高三1班有55人，2班有54人，3班有52人，由此得高三所有班人数超过50人C．由平面三角形的性质，推测空间四边形的性质D．在数列{an}中a1＝1，an＝eq\f(1,2)eq\b\lc\(\rc\)(\a\vs4\al\co1(an－1＋\f(1,an－1)))(n≥2)，由此归纳出{an}的通项公式2．“因为对数函数y＝logax是增函数(大前提)，又y＝logeq\f(1,3)x是对数函数(小前提)，所以y＝logeq\f(1,3)x是增函数(结论)．”下列说法正确的是()A．大前提错误导致结论错误B．小前提错误导致结论错误C．推理形式错误导致结论错误D．大前提和小前提都错误导致结论错误3．把“函数y＝x2＋x＋1的图象是一条抛物线”恢复成三段论，则大前提：________小前提：__________________________；结论：_____________________.4.若函数f(x)，g(x)满足ʃeq\o\al(1,－1)f(x)g(x)dx＝0，则称f(x)，g(x)为区间[－1,1]上的一组正交函数．给出三组函数：①f(x)＝sineq\f(1,2)x，g(x)＝coseq\f(1,2)x；②f(x)＝x＋1，g(x)＝x－1；③f(x)＝x，g(x)＝x2.其中为区间[－1,1]上的正交函数的组数是()A．0B．1C．2探究点一演绎推理与三段论例1将下列演绎推理写成三段论的形式．(1)平行四边形的对角线互相平分，菱形是平行四边形，所以菱形的对角线互相平分；(2)等腰三角形的两底角相等，∠A，∠B是等腰三角形的底角，则∠A＝∠B；(3)通项公式为an＝2n＋3的数列{an}为等差数列．探究点二三段论推理中的易错点例2指出下列推理中的错误，并分析产生错误的原因：(1)整数是自然数，大前提－3是整数，小前提－3是自然数．结论(2)常数函数的导函数为0，大前提函数f(x)的导函数为0，小前提f(x)为常数函数．结论(3)无限不循环小数是无理数，大前提eq\f(1,3)33…)是无限不循环小数，小前提eq\f(1,3)是无理数．结论探究点三三段论的应用例3如图，在锐角三角形ABC中，AD⊥BC，BE⊥AC，D，E是垂足，求证：AB的中点M到点D，E的距离相等．【当堂检测】1把下列推断写成三段论的形式：(1)因为△ABC三边的长依次为3,4,5，所以△ABC是直角三角形；(2)函数y＝2x＋5的图象是一条直线；(3)y＝sinx(x∈R)是周期函数．2指出下列推理中的错误，并分析产生错误的原因：(1)因为中国的大学分布在中国