高二数学苏教版高二数学推理与证明PPT教学课件

是合情推 理吗？
演绎百度文库理
从一般性的原理出发，推出某个特殊情况 下的结论，这种推理称为演绎推理．
注： １．演绎推理是由一般到特殊的推理； ２．“三段论”是演绎推理的一般模式；包 括 ⑴大前提---已知的一般原理； ⑵小前提---所研究的特殊情况； ⑶结论-----据一般原理，对特殊情况做出 的判断．
大前提 小前提 结论 大前提
小前提
结论
例3.如图;在锐角三角形ABC中,AD⊥BC, BE⊥AC,
D,E是垂足,求证AB的中点M到D,E的距离相等.
证明:(1)因为有一个内角是只直角的 大前提 E C
三角形是直角三角形,
D
在△ABC中,AD⊥BC,即∠ADB=900 小前提
所以△ABD是直角三角形
. 证明:
满足对于任意x1,x2∈D,若x1<x2,有f(x1)<f(x2) 成立的函数f(x),是区间D上的增函数.
大前提
任取x1,x2 ∈(-∞,1] 且x1<x2 , f(x1)-f(x2)=(-x12+2x1)-(x22+2x2)
=(x2-x1)(x1+x2-2) 因为x1<x2所以 x2-x1>0
结论
同理△ABE是直角三角形
A
M
B
(2)因为直角三角形斜边上的中线等于斜边的一半,大前提
M是Rt△ABD斜边AB的中点,DM是斜边上的中线 小前提
所以
DM=
1 2
AB
结论
同理
EM=
1 2
AB
所以 DM = EM
演绎推理（练习）
练习1：把下列推理恢复成完全的三段论:
（ 1）因 A为 B 三 C边长 3， 4， 5依 ，次 所 A为 以 BC 是直角三角形；
2.一切奇数都不能被2整除, (2100+1)是奇数,
所以，(2100+1)不能被2整除.
3.三角函数都是周期函数, tan 三角函数,
所以 tan 周期函数
大前提 小前提 结论
大前提 小前提 结论
大前提 小前提 结论
演绎推理
例1、把“函y数 x2 x1的图象是一条抛物
恢复成完全三段论。
解：二次函数的图象是一条抛物线 （大前提）
数学组
复习:合情推理
▪ 归纳推理 ▪ 类比推理
从特殊到一般 从特殊到特殊
从具体问 题出发
观察、分析 比较、联想
归纳 类比
提出猜想
观察与是思考
1.所有的金属都能导电, 铜是金属, 铜能够导电.
2.一切奇数都不能被2整除, (2100+1)是奇数, (2100+1)不能被2整除.
3.三角函数都是周期函数, tan 三角函数, tan 周期函数
三段论的基本格式
M—P（M是P） S—M（S是M） S—P（S是P）
（大前提） （小前提）
（结论）
注：
3.三段论推理的依据,用集合的观点来理解:
若集合M的所有元素都具有性质P,S是M的一个 子集,那么S中所有元素也都具有性质P.
M
a
•
S
观察与是思考 1.所有的金属都能导电, 铜是金属, 所以，铜能够导电.
函数 yx2x1是二次函数
（小前提
所以，函 y数 x2x1的图象是一条抛 结物 论
例2.已知lg2=m,计算lg0.8 解 （1） lgan=nlga(a>0)
lg8=lg23 lg8=3lg2 lg(a/b)=lga-lgb(a>0,b>0) lg0.8=lg(8/10)
lg0.8=lg8-lg10=3lg2-1
合情推理的结论不一定正确,有待证明; 演绎推理得到的结论一定正确.
函数 y2x5是一次函数
（小前提
函数y 2x5的图象是一条直线
（结论）
练习2. 指出下列推理中的错误,并分析产生错误的原因;
(1)整数是自然数,
-3是整数,
大
前
-3是自然数;
提
(2)无理数是无限小数,
1（0.33 3 ）是无限小数,
错 误
3
1 是无理数. 3
练习3:证在明证函明数过f(程x)中=-注x2+明2x三在(段-∞论,1]上是增函数
因为x1,x2≤1所以x1+x2-2<0
因此f(x1)-f(x2)<0,即f(x1)<f(x2)
所以函数f(x)=-x2+2x在(-∞,1]上是增函数 .
小前提 结论
合情推理与演绎推理的区别:
▪ 1 特点 ①归纳是由特殊到一般的推理;
②类比是由特殊到特殊的推理; ③演绎推理是由一般到特殊的
推理.
▪ 2 从推理的结论来看：
（2）函y数2x5的图象是一条 . 直线
演绎推理（练习）
（ 1） 一条边的平两 方条 等边 于的 其平 它 形 方是 和直 的角 三 （ 三 角 大 角 前 形
AB的 C 三边长3 依 ， 4， 5次 ，为 而 524232 （小前提
AB是 C 直角三角形
（结论
（ 2）
一次函 yk数 xb(k0)的图象是一条 （直 大线 前提