2017-2018学年高中数学 第二章 推理与证明 2.1 合情推理与演绎证明 2.1.2 演绎推理课件 新人教A版选修1-.pptVIP

2.1.2　演绎推理 1.理解演绎推理的意义. 2.掌握演绎推理的基本模式,并能运用它们进行一些简单的推理. 3.了解合情推理和演绎推理之间的区别和联系. 1.演绎推理 【做一做1】 下列说法正确的是(　　) A.类比推理是由特殊到一般的推理 B.演绎推理是由特殊到一般的推理 C.归纳推理是由个别到一般的推理 D.合情推理可以作为证明的步骤 解析:类比推理是由特殊到特殊的推理,故选项A错误;演绎推理是由一般到特殊的推理,故选项B错误;归纳推理是由个别到一般或部分到整体的推理,故选项C正确;合情推理的结论不可靠,不能作为证明的步骤. 答案:C 2.三段论 名师点拨三段论推理的依据. 用集合的观点来讲,若集合M中的所有元素都具有性质P,S是M的子集,那么S中的所有元素也都具有性质P. 三段论推理的论断基础是这样一个公理:“凡肯定(或否定)了某一类对象的全部,也就肯定(或否定)了这一类对象的各部分或个体”.简言之,“全体概括个体”.M,P,S这三个概念之间的包含关系表现为:若概念P包含了概念M,则必包含了M中的任一概念S(如图①);若概念P排斥概念M,则必排斥M中的任一概念S(如图②). 弄清以上道理,才会使我们在今后的演绎推理中不犯(或少犯)错误.在演绎推理中,只要前提和推理形式是正确的,那么其结论必定也是正确的.如果大前提是错误的,那么所得的结论也就是错误的. 解析:大前提是错误的,因为当0a1时,对数函数y=logax在定义域内是减函数.故选A. 答案:A 【做一做2-2】 函数y=2x+5的图象是一条直线,用“三段论”表示为: 大前提:　　　　　　　　　　　　;? 小前提:　　　　　　　　　　　　;? 结论:　　　　　　　　　　　　.? 答案:一次函数的图象是一条直线 函数y=2x+5是一次函数　函数y=2x+5的图象是一条直线 1.怎样认识演绎推理? 剖析:(1)演绎推理的前提是一般性原理,演绎推理所得的结论是蕴涵于前提之中的个别、特殊事实,即结论完全蕴涵于前提之中. (2)在演绎推理中,前提与结论之间存在必然的联系,只要前提是真实的,推理的形式是正确的,那么其结论也必定是正确的.因而演绎推理是数学中严格证明的工具. (3)演绎推理是一种收敛性的思维方式,具有条理清晰、令人信服的论证作用,有助于数学的理论化和系统化. 2.合情推理与演绎推理有怎样的区别与联系? 剖析: 名师点拨就数学而言,演绎推理是证明数学结论、建立数学体系的重要思维过程,但数学结论、证明思路等的发现,主要依靠合情推理,因此我们不仅要学会证明,也要学会猜想. 题型一 题型二 题型三 题型四 把演绎推理写成三段论 【例1】 把下列推断写成三段论的形式: (1)因为△ABC三条边的长依次为3,4,5,所以△ABC是直角三角形; (2)y=sin x(x∈R)是周期函数. 解:(1)因为一条边长的平方等于其他两条边长平方和的三角形是直角 三角形, 大前提△ABC三条边的长依次为3,4,5,且32+42=52,小前提 所以△ABC是直角三角形.结论 (2)因为三角函数是周期函数,大前提 y=sin x(x∈R)是三角函数,小前提 所以y=sin x(x∈R)是周期函数.结论 分析:明确大前提、小前提和结论是解题的关键,并且还需要准确利用三段论的形式. 题型一 题型二 题型三 题型四 反思三段论由大前提、小前提和结论组成,大前提提供一般原理,小前提提供特殊情况,两者结合起来,体现了一般原理与特殊情况的内在联系.在用三段论写推理过程时,关键是明确命题的大前提、小前提,而大前提、小前提在书写过程中是可以省略的. 题型一 题型二 题型三 题型四 【变式训练1】 将下列演绎推理写成三段论的形式: (1)若∠A,∠B是等腰三角形的两底角,则∠A=∠B; (2)通项公式an=2n+3表示的数列{an}为等差数列; (3)因为2100+1是奇数,所以2100+1不能被2整除. 解(1)因为等腰三角形两底角相等,大前提 又因为∠A,∠B是等腰三角形的两底角,小前提 所以∠A=∠B.结论 (2)因为在数列{an}中,如果当n≥2时,an-an-1为同一个常数,则{an}为等差数列,大前提 又因为对通项公式an=2n+3,若n≥2,则an-an-1=2n+3-[2(n-1)+3]=2(常数),小前提 所以通项公式an=2n+3表示的数列{an}为等差数列.结论 题型一 题型二 题型三 题型四 (3)因为奇数都不能被2整除,大前提 又因为2100+1是奇数,小前提 所以2100+1不能被2整除.结论 题型一 题型二 题型三 题型四 三段论在证明几何问题中的应用 ? 【例2】 如图,正三棱柱ABC-A1B1C1的棱长均为a,D,E分别为C1C与AB的中点,A1B交AB1于点G. (1