《2017_2018版高中数学第二章推理与证明2.1.2演绎推理学案新人教A版选修1_22017071.doc》由会员分享，可在线阅读，更多相关《2017_2018版高中数学第二章推理与证明2.1.2演绎推理学案新人教A版选修1_22017071.doc（12页珍藏版）》请在三一文库上搜索。
1、2.1.2演绎推理1理解演绎推理的意义(重点) 2掌握演绎推理的基本模式，并能运用它们进行一些简单推理(难点) 3了解合情推理和演绎推理之间的区别和联系(易混点)基础初探教材整理演绎推理阅读教材P30P32的内容，完成下列问题1演绎推理(1)含义：从一般性的原理出发，推出某个特殊情况下的结论的推理(2)特点：由一般到特殊的推理2三段论一般模式常用格式大前提已知的一般原理M是P小前提所研究的特殊情况S是M结论根据一般原理，对特殊情况做出的判断S是P判断(正确的打“”，错误的打“”)(1)演绎推理一般模式是“三段论”形式()(2)演绎推理的结论是一定正确的()(3)演绎推理是由特殊到一般再到特殊的
2、推理()【解析】(1)正确演绎推理一般模式是“三段论”形式，即大前提、小前提和结论(2)错误在演绎推理中，只有“大前提”“小前提”及推理形式都正确的情况下，其结论才是正确的(3)错误演绎推理是由一般到特殊的推理【答案】(1)(2)(3)小组合作型把演绎推理写成三段论的形式将下列演绎推理写成三段论的形式(1)一切奇数都不能被2整除，75不能被2整除，所以75是奇数；(2)三角形的内角和为180，RtABC的内角和为180；(3)菱形的对角线互相平分；(4)通项公式为an3n2(n2)的数列an为等差数列【精彩点拨】首先分析出每个题的大前提、小前提及结论，再写成三段论的形式【自主解答】(1)一切奇
3、数都不能被2整除(大前提)75不能被2整除(小前提)75是奇数(结论)(2)三角形的内角和为180.(大前提)RtABC是三角形(小前提)RtABC的内角和为180.(结论)(3)平行四边形的对角线互相平分(大前提)菱形是平行四边形(小前提)菱形的对角线互相平分(结论)(4)数列an中，如果当n2时，anan1为常数，则an为等差数列(大前提)通项公式an3n2，n2时，anan13n23(n1)23(常数)(小前提)通项公式为an3n2(n2)的数列an为等差数列(结论)1三段论推理的根据，从集合的观点来讲，若集合M的所有元素都具有性质P，S是M的子集，那么S中所有元素都具有性质P.2演绎推
4、理最常用的模式是三段论，在大前提和小前提正确，推理形式也正确时，其结论一定是正确的再练一题1把下列推断写成三段论的形式(1)三段论：“只有船准时起航，才能准时到达目的港，这艘船是准时到达目的港的，这艘船是准时起航的”中的“小前提”是()ABCD(2)若两个角是对顶角，则这两个角相等，所以若1和2是对顶角，则1和2相等【解析】(1) 大前提为，小前提为，结论为.【答案】D(2)两个角是对顶角，则这两个角相等，(大前提)1和2是对顶角，(小前提)1和2相等(结论)演绎推理的应用如图219所示，D、E、F分别是BC、CA、AB边上的点，BFDA，DEBA，求证：DEAF.写出“三段论”形式的演绎推理
5、图219【精彩点拨】用三段论的模式依次证明：(1)DFAE；(2)四边形AEDF为平行四边形；(3)DEAF.【自主解答】(1)同位角相等，两直线平行，(大前提)BFD和A是同位角，且BFDA，(小前提)所以DFAE.(结论)(2)两组对边分别平行的四边形是平行四边形，(大前提)DEBA且DFEA，(小前提)所以四边形AFDE为平行四边形(结论)(3)平行四边形的对边相等，(大前提)DE和AF为平行四边形的对边，(小前提)所以EDAF.(结论)1应用三段论解决问题时，应当首先明确什么是大前提和小前提，但为了叙述的简洁，如果前提是显然的，则可以省略2数学问题的解决与证明都蕴含着演绎推理，即一连串
6、的三段论，关键是找到每一步推理的依据大前提、小前提，注意前一个推理的结论会作为下一个三段论的前提再练一题2已知：在如图2110所示的梯形ABCD中，ADBC，ADDCAB，AC和BD是它的对角线图2110求证：AC平分BCD，BD平分CBA.【证明】大前提：等腰三角形的两底角相等；小前提：ADC是等腰三角形，DA，DC是两腰；结论：12.大前提：两条平行线被第三条直线所截，内错角相等；小前提：1和3是平行线AD，BC被AC截得的内错角；结论：13.大前提：等于同一个量的两个量相等；小前提：2和3都等于1；结论：23，即AC平分BCD.同理可证BD平分ABC.探究共研型合情推理与演绎推理的综合应
7、用探究1我们已经学过了等比数列，你有没有想到是否也有等积数列呢？类比“等比数列”，请你给出“等积数列”的定义【提示】如果一个数列从第2项起，每一项与它前一项的乘积是同一个常数，那么这个数列叫做等积数列，其中，这个常数叫做公积探究2若an是等积数列，且首项a12，公积为6，试写出an的通项公式及前n项和公式【提示】由于an是等积数列，且首项a12，公积为6，所以a23，a32，a43，a52，a63，即an的所有奇数项都等于2，所有偶数项都等于3，因此an的通项公式为an其前n项和公式Sn探究3设f(x)，先分别求f(0)f(1)，f(1)f(2)，f(2)f(3)，然后归纳出一个一般结论，并给
8、出证明【提示】f(0)f(1).同理f(1)f(2)，f(2)f(3).由此猜想：当x1x21时，f(x1)f(x2).证明：设x1x21，则f(x1)f(x2).故猜想成立如图2111所示，三棱锥ABCD的三条侧棱AB，AC，AD两两互相垂直，O为点A在底面BCD上的射影(1)求证：O为BCD的垂心；(2)类比平面几何的勾股定理，猜想此三棱锥侧面与底面间的一个关系，并给出证明图2111【精彩点拨】(1)利用线面垂直与线线垂直的转化证明O为BCD的重心(2)先利用类比推理猜想出一个结论，再用演绎推理给出证明【自主解答】(1)证明：ABAD，ACAD，AD平面ABC，ADBC，又AO平面BCD，
9、AOBC，ADAOA，BC平面AOD，BCDO，同理可证CDBO，O为BCD的垂心(2)猜想：SSSS.证明：连接DO并延长交BC于E，连接AE，BO，CO，由(1)知AD平面ABC，AE平面ABC，ADAE，又AOED，AE2EOED，2，即SSBOCSBCD.同理可证：SSCODSBCD，SSBODSBCD.SSSABDSBCD(SBOCSCODSBOD)SBCDSBCDS.合情推理仅是“合乎情理”的推理，它得到的结论不一定真.但合情推理常常帮助我们猜测和发现新的规律，为我们提供证明的思路和方法，而演绎推理得到的结论一定正确(前提和推理形式都正确的前提下).再练一题3已知命题：“若数列an
10、是等比数列，且an0，则数列bn(nN*)也是等比数列”类比这一性质，你能得到关于等差数列的一个什么性质？并证明你的结论. 【导学号：81092016】【解】类比等比数列的性质，可以得到等差数列的一个性质是：若数列an是等差数列，则数列bn也是等差数列证明如下：设等差数列an的公差为d，则bna1(n1)，所以数列bn是以a1为首项，为公差的等差数列1演绎推理中的“一般性原理”包括()已有的事实；定义、定理、公理等；个人积累的经验ABCD【解析】演绎推理中的“一般性原理”包括“已有的事实”“定义、定理、公理等”【答案】A2下面几种推理过程是演绎推理的是()A两条直线平行，同旁内角互补，如果A与
11、B是两条平行直线的同旁内角，则AB180B某校高三(1)班有55人，(2)班有54人，(3)班有52人，由此得出高三所有班级中的人数都超过50人C由平面三角形的性质，推测空间四面体的性质D在数列an中，a11，an(n2)，通过计算a2，a3，a4猜想出an的通项公式【解析】A是演绎推理，B，D是归纳推理，C是类比推理【答案】A3用三段论证明命题：“任何实数的平方大于0，因为a是实数，所以a20”，你认为这个推理()A大前提错误B小前提错误C推理形式错误D是正确的【解析】这个三段论推理的大前提是“任何实数的平方大于0”，小前提是“a是实数”，结论是“a20”显然结论错误，原因是大前提错误【答案
12、】A4函数y2x5的图象是一条直线，用三段论表示为：大前提：_；小前提：_；结论：_.【答案】一次函数的图象是一条直线函数y2x5是一次函数函数y2x5的图象是一条直线5用三段论的形式写出下列演绎推理(1)矩形的对角线相等，正方形是矩形，所以正方形的对角线相等；(2)ycos x(xR)是周期函数【解】(1)因为矩形的对角线相等，(大前提)而正方形是矩形，(小前提)所以正方形的对角线相等(结论)(3)因为三角函数是周期函数，(大前提)而ycos x(xR)是三角函数，(小前提)所以ycos x(xR)是周期函数(结论)学业分层测评(建议用时：45分钟)学业达标一、选择题1下面几种推理中是演绎推
13、理的为()A由金、银、铜、铁可导电，猜想：金属都可导电B猜想数列，的通项公式为an(nN)C半径为r的圆的面积Sr2，则单位圆的面积SD由平面直角坐标系中圆的方程为(xa)2(yb)2r2，推测空间直角坐标系中球的方程为(xa)2(yb)2(zc)2r2【解析】A，B为归纳推理，D为类比推理，C为演绎推理【答案】C2已知ABC中，A30，B60，求证：ab.证明：A30，B60，AB，ab，画线部分是演绎推理的()A大前提B小前提C结论D三段论【解析】结合三段论的特征可知，该证明过程省略了大前提“在同一个三角形中大角对大边”，因此画线部分是演绎推理的小前提【答案】B3“因为对数函数ylogax
14、是增函数(大前提)，而yx是对数函数(小前提)，所以yx是增函数(结论)”上面推理错误的是()A大前提错导致结论错B小前提错导致结论错C推理形式错导致结论错D大前提和小前提都错导致结论错【解析】大前提ylogax是增函数错误，当0aBC，CD是AB边上的高，求证：ACDBCD”图2112证明：在ABC中，因为CDAB，ACBC，所以ADBD，于是ACDBCD则在上面证明的过程中错误的是_(填序号)【解析】由ADBD，得到ACDBCD的推理的大前提应是“在同一三角形中，大边对大角”，小前提是“ADBD”，而AD与BD不在同一三角形中，故错误【答案】三、解答题9用三段论证明通项公式为ancqn(c
15、，q为常数，且cq0)的数列an是等比数列【证明】设an1，an是数列中任意相邻两项，则从第二项起，后项与前项的比是同一个常数的数列叫等比数列(大前提)，因为q(常数)(小前提)，所以an是等比数列(结论)10已知a0且函数f(x)是R上的偶函数，求a的值【解】由于f(x)是偶函数，所以f(x)f(x)对xR恒成立，即，所以a2x，整理得(2x2x)0，必有a0.又因为a0，所以a1.能力提升1下面是一段“三段论”推理过程：若函数f(x)在(a，b)内可导且单调递增，则在(a，b)内，f(x)0恒成立因为f(x)x3在(1,1)内可导且单调递增，所以在(1,1)内，f(x)3x20恒成立以上推
16、理中()A大前提错误B小前提错误C结论正确D推理形式错误【解析】f(x)在(a，b)内可导且单调递增，则在(a，b)内，f(x)0恒成立，故大前提错误，选A.【答案】A2设是R内的一个运算，A是R的非空子集若对于任意a，bA，有abA，则称A对运算封闭下列数集对加法、减法、乘法和除法(除数不等于零)四则运算都封闭的是()A自然数集B整数集C有理数集D无理数集【解析】A错，因为自然数集对减法不封闭；B错，因为整数集对除法不封闭；C对，因为任意两个有理数的和、差、积、商都是有理数，故有理数集对加、减、乘、除法(除数不等于零)四则运算都封闭；D错，因为无理数集对加、减、乘、除法都不封闭【答案】C3若
17、f(ab)f(a)f(b)(a，bN*)，且f(1)2，则_.【解析】f(ab)f(a)f(b)(a，bN*)(大前提)令b1，则f(1)2(小前提)2(结论)，原式2 018. 【答案】2 0184在同一平面内，若P，A，B三点共线，则对于平面上任意一点O，有，且1.对这个命题证明如下：【证明】因为P，A，B三点共线，所以m，即m()，整理得(1m)m，因为(1m)m1，所以1.请把上述结论和证明过程类比到空间向量【解】类比到空间向量，所得结论为：在空间中，若P，A，B，C四点共面，则对于空间中任意一点O，有xyz，且xyz1.对这个命题证明如下：证明：因为P，A，B，C四点共面，所以，即()()，整理得(1)，因为(1)1，所以xyz1.12