高中数学同步学案 演绎推理 (2).docVIP

PAGE

2．1.2演绎推理

eq\a\vs4\al([对应学生用书P16])

看下面两个问题

(1)一切奇数都不能被2整除,22012＋1是奇数,所以22012＋1不能被2整除；

(2)两个平面平行,则其中一个平面内的任意直线必平行于另一个平面,如果直线a是其中一个平面内的一条直线,那么a平行于另一个平面．

问题1：这两个问题中的第一句都说的是什么？

提示：都说的一般原理．

问题2：第二句又说的是什么？

提示：都说的特殊示例．

问题3：第三句呢？

提示：由一般原理对特殊示例作出判断．

1．演绎推理

(1)定义：由概念的定义或一些真命题,依照一定的逻辑规则得到正确结论的过程,通常叫做演绎推理．

(2)特征：当前提为真时,结论必然为真．

2．演绎推理规则

演绎推理的一般模式为“三段论”,包括：

(1)大前提——已知的一般原理；

(2)小前提——所研究的特殊情况；

(3)结论——根据一般原理,对特殊情况做出的判断．

1．演绎推理的前提是一般性的原理,演绎推理所得的结论是蕴涵于前提之中的个别、特殊事实,结论完全蕴涵于前提之中．

2．演绎推理是一种收敛性的思考方法,少创造性,但具有条理清晰,令人信服的论证作用,有助于科学的理论化和系统化．

3．应用三段论解决问题时,应当首先明确什么是大前提和小前提,但为了叙述的简洁,如果前提是显然的,则可以省略．

eq\a\vs4\al([对应学生用书P16])

三种演绎推理的形式

[例1]选择合适的演绎推理规则写出下列推理过程．

(1)函数y＝sinx(x∈R)是周期函数；

(2)k1时,eq\r(k)－eq\r(k－1)eq\r(k＋1)－eq\r(k)；

(3)若n∈Z,求证n2－n为偶数．

[思路点拨]对应三种规则的应用格式,不同的问题可采用不同的推理规则,这里(1)用三段论推理,(2)用传递性关系推理,(3)用完全归纳推理．

[精解详析](1)三段论推理：三角函数是周期函数,(大前提)

y＝sinx(x∈R)是三角函数,(小前提)

所以y＝sinx(x∈R)是周期函数．(结论)

(2)传递性关系推理：k1时,eq\r(k)－eq\r(k－1)＝

eq\f(1,\r(k)＋\r(k－1))eq\f(1,2\r(k))eq\f(1,\r(k)＋\r(k＋1))＝eq\r(k＋1)－eq\r(k).

(3)完全归纳推理：

∵n2－n＝n(n－1),

∴当n为偶数时,n2－n为偶数,

当n为奇数时,n－1为偶数,n2－n为偶数,

∴n∈Z时,n2－n为偶数．

[一点通]对于某一问题的证明中选择哪一种推理规则有时是不唯一的,在证明等量关系、不等关系(放缩法)或立体几何中的平行关系时,常选用传递性关系推理；在涉及含参变量的证明题,需要分类讨论时,常选用完全归纳推理．根据定理证题,往往用三段论推理．

1．选择合适的推理规则写出下列推理过程：

(1)75是奇数．

(2)平面α,β,已知直线l∥α,l∥β,α∩β＝m,则l∥m.

解：(1)三段论推理：一切奇数都不能被2整除．(大前提)

75不能被2整除．(小前提)

75是奇数．(结论)

(2)传递性关系推理：如图,在α内任取点P(P?m),由l∥α,

∴P?l,则l与点P确定一平面与α相交,设交线为a,则a∥l,同理,在β内任取一点Q(Q?m),l与点Q确定一平面与β交于b,则l∥b,从而a∥b.

由P∈a,P?m,∴a?β,而b?β,

∴a∥β.

又a?α,α∩β＝m,∴a∥m,∴l∥m.

三段论在证明几何问题中的应用

[例2]已知：在梯形ABCD中(如图),DC＝DA,AD∥BC.求证：CA平分∠BCD(用三段论证明)．

[思路点拨]eq\x(观察图形)→eq\x(DC＝DA?∠1＝∠2)→eq\x(AD∥BC?∠1＝∠3)→eq\x(∠2＝∠3)

[精解详析]∵等腰三角形两底角相等,···································大前提

△ADC是等腰三角形,∠1和∠2是两个底角,·····························小前提

∴∠1＝∠2.····························································结论

∵两条平行线被第三条直线截得的内错角相等,·····························大前提

∠1和∠3是平行线AD、BC被AC截得的内错角,·························小前提

∴∠1＝∠3.····························································结论

∵等于同一个角的两个角相等,····