2019高中数学第2章推理与证明2.1.2演绎推理学案新人教B版选修2_2.doc

《2019高中数学第2章推理与证明2.1.2演绎推理学案新人教B版选修2_2.doc》由会员分享，可在线阅读，更多相关《2019高中数学第2章推理与证明2.1.2演绎推理学案新人教B版选修2_2.doc（5页珍藏版）》请在麦多课文档分享上搜索。

1、121.2 演绎推理1掌握演绎推理的基本模式，特别是三段论模式，并学会运用这些推理模式进行推理2了解合情推理、演绎推理之间的联系和区别1演绎推理根据概念的定义或一些真命题，依照一定的逻辑规则得到正确结论的过程，叫做_它的特征是：当前提为_时，结论_为真演绎推理的特点：(1)演绎的前提是一般性原理，演绎所得的结论是蕴涵于前提之中的个别、特殊事实，结论完全蕴涵于前提之中(2)在演绎推理中，前提与结论之间存在必然的联系，只要前提是真实的，推理的形式是正确的，那么结论也必定是正确的因而演绎推理是数学中严格证明的工具(3)演绎推理是一种收敛性的思维方法，它的创造性较少，但却具有条理清晰、令人信服的论证作

2、用，有助于科学的理论化和系统化【做一做 1】演绎推理是( )A部分到整体，个别到一般的推理B特殊到特殊的推理C一般到特殊的推理D一般到一般的推理2演绎推理的四种推理规则(1)假言推理：用符号表示这种推理规则就是“如果 p q， p 真，则 q 真” 假言推理的本质是，通过验证结论的充分条件为真，判断结论为真(2)三段论推理：用符号表示这种推理规则就是“ M 是 P， S 是 M，所以_” (3)传递性关系推理：用符号表示推理规则是“如果 aRb， bRc，则_” ，其中“R”表示具有传递性的关系。(4)完全归纳推理：把所有情况都考虑在内的演绎推理规则叫做完全归纳推理三段论推理是演绎推理的一般模

3、式，在数学证明中，以上四种演绎推理规则是经常用到的，一道证明题，往往要综合应用这些推理规则如果违背了这些规则，那么证明就是错误的【做一做 21】下面几种推理过程是演绎推理的是( )A两条直线平行，同旁内角互补，如果 A 与 B 是两条平行直线的同旁内角，则 A B180B某校高三 1 班有 55 人，2 班有 54 人，3 班有 52 人，由此得高三所有班人数都超过50 人C由平面三角形的性质，推测空间四面体的性质D在数列 an中 a11， an (n2)，由此归纳出 an的通项公式12【做一做 22】 “因为 a ， b ，所以 a b，又因为 b c，所以 a c.”以上推理的两个步骤分别

4、遵循的推理规则是( )A第一步遵循假言推理，第二步遵循传递性关系推理B第一步遵循三段论推理，第二步遵循假言推理C第一步遵循三段论推理，第二步遵循传递性关系推理D第一步遵循传递性关系推理，第二步遵循三段论推理2合情推理与演绎推理有哪些区别与联系？剖析：区别：从推理形式和推理所得结论的正确性上讲，二者有差异合情推理归纳推理 类比推理 演绎推理推理形式由部分到整体或由个别到一般的推理由特殊到特殊的推理由一般到特殊的推理结论的正确性 结论不一定正确，有待进一步证明在前提和推理形式都正确的前提下，结论正确联系：从二者在认识事物的过程中所发挥的作用的角度考虑，它们是紧密联系、相辅相成的合情推理的结论需要演

5、绎推理的验证，而演绎推理的内容一般是通过合情推理获得的在数学中，演绎推理可以验证合情推理的结论的正确性，合情推理可以为演绎推理提供方向和思路题型一 假言推理【例题 1】设数列 an为等差数列，求证：以 bn 为通项的数列 bn为a1 a2 ann等差数列分析：由 an为等差数列，推证 bn为等差数列，只要证得 bn1 bn d 为常数即可反思：假言推理的规则为“如果 p q， p 真，则 q 为真” 题型二 三段论推理【例题 2】已知 A， B， C， D 四点不共面， M， N 分别是 ABD 和 BCD 的重心，求证MN平面 ACD.分析：应用线面平行的判定定理证明反思：“三段论”是演绎推

6、理的一般模式，包括：(1)大前提已知的一般原理；(2)小前提所研究的特殊情况；(3)结论根据一般原理，对特殊情况作出的判断题型三 传递性关系推理【例题 3】设 a， b， c 为正实数，求证： a b c.a2 b2 b2 c2 a2 c2分析：应用均值不等式找出 a2 b2与 a b， b2 c2与 b c， a2 c2与 a c 的关系，再应用同向不等式相加法则可证明反思：传递性关系推理论证时必须保证各量间的关系能正确传递题型四 完全归纳推理【例题 4】已知函数 f(x)( )x3.12x 1 12(1)判断 f(x)的奇偶性；(2)证明 f(x)0.反思：完全归纳推理必须把所有情况都考虑

7、在内完全归纳推理不同于归纳推理，后者仅仅证明了几种特殊情况，它不能说明结论的正确性，而前者则把所有情况都作了证明题型五 易错辨析易错点：在应用三段论推理证明问题时，应明确什么是问题中的大前提和小前提在推理的过程中，大前提、小前提和推理形式之一错误，都可能导致结论错误【例题 5】如图，在 ABC 中， AC BC， CD 是 AB 边上的高，求证： ACD BCD.3错证：在 ABC 中，因为 CD AB， AC BC，所以 AD BD，于是 ACD BCD.1 如图，因为 AB CD，所以12，又因为23，所以13.所用的推理规则为( )A三段论推理、假言推理B三段论推理、传递性关系推理C三段

8、论推理、完全归纳推理D三段论推理、三段论推理2“因指数函数 y ax是减函数(大前提)，且 y3 x是指数函数(小前提)，所以 y3 x是减函数(结论) ”上面推理的错误是( )A大前提错导致结论错B小前提错导致结论错C推理形式错导致结论错D大前提和小前提都错导致结论错3 下面的推理是传递性关系推理的是( )A在同一三角形中若三角形两边相等，则该两边所对的内角相等，在 ABC 中，AB AC，所以在 ABC 中， B CB因为 2 是偶数，所以 2 是素数C因为 a b， b c，所以 a cD因为 是有理数或无理数，且 不是有理数，所以 是无理数2 2 24 因为当 a0 时，| a|0；当

9、 a0 时，| a|0；当 a0 时，| a|0，所以当 a 为实数时，| a|0.此推理过程运用的是演绎推理中的_推理5 关于函数 f(x)lg (x0)，有下列命题：x2 1|x|其图象关于 y 轴对称；当 x0 时， f(x)是增函数；当 x0 时， f(x)为减函数； f(x)的最小值是 lg 2；当1 x0 或 x1 时， f(x)是增函数； f(x)无最大值，也无最小值其中所有正确结论的序号是_答案：基础知识梳理1演绎推理 真 必然【做一做 1】C2(2) S 是 P (3) aRc【做一做 21】A 选项 D 是归纳推理，选项 C 是类比推理，选项 B 既不是合情推理也不是演绎推

10、理【做一做 22】C典型例题领悟【例题 1】证明：设数列 an的首项为 a1，公差为 d，因为bn bn1 n a1 an2 1n n 1 a1 an 12 1n 1 a1 an2 a1 an 124an an 12 (n2)，而 是个常数，所以数列 bn为等差数列d2 d2【例题 2】证明：如图，连结 BM， BN，并延长，分别交 AD， DC 于 P， Q 两点，连结 PQ.因为 M， N 分别是 ABD 和 BCD 的重心，所以 P， Q 分别是 AD， DC 的中点，又因为2 ，所以 MN PQ.又因为 MN平面 ADC， PQ平面 ADC，所以 MN平面 ACD.BMMP BNNQ【

11、例题 3】证明：因为 a2 b22 ab， a， b， c 为正实数，所以 2(a2 b2) a2 b22 ab( a b)2.所以 a2 b2 .所以 (a b)同理 a b 22 a2 b2 22 (a c). (b c)，所以有a2 c222 b2 c2 22 (2a2 b2 c) (a b c)即 a2 b2 b2 c2 c2 a222 2 a2 b2 b2 c2 (a b c)c2 a2 2又 (a b c) a b c，所以 a b c.2 a2 b2 b2 c2 c2 a2【例题 4】(1)解：函数 f(x)的定义域为 2x10，即 x|x0， f( x) f(x)( x)3 x

12、3 ( x)3 x3 x3 x3(12 x 1 12) ( 12x 1 12) ( 2x1 2x 12) ( 12x 1 12) 2x2x 1 12x3 x312x 1 12 x3 x30.所以 f( x) f(x)所以 f(x)是偶函数(2)证明：因为 x0，所以当 x0 时，2 x1,2 x10， x30，所以 f(x)0；当 x0 时， x0， f(x) f( x)0，所以 f(x)0.【例题 5】错因分析：错证中由 AD BD 得出 ACD BCD 是错误的，因为只有在同一个三角形中才有大边所对的角较大这一结论成立正确证法：在 ABC 中，因为 CD AB，所以 ACD A BCD B90.又AC BC，所以 B A，于是 ACD BCD.随堂练习巩固1B 本题前面证12 用的是三段论推理，后半部分证13 用的是传递性关系推理2A y ax(a0， a1)的单调性与 a 有关，若 a1，则为增函数；若 0 a1，则为减函数53C4完全归纳5 显然 f( x) f(x)，其图象关于 y 轴对称当 x0 时， f(x)lg lg .x2 1x (x 1x) (x) x 在(0,1)上是减函数，在(1，)上是增函数，1x f(x)在(0,1)上是减函数，在(1，)上是增函数 f(x)min f(1)lg 2. f(x)为偶函数， f(x)在(1,0)上是增函数