间接证明反证法(上课).pptVIP

—反证法202X

间接证明

直接证明：条件p结论q

(1)综合法——由因导果

已知条件……结论

(2)分析法——执果索因

结论……已知条件

反证法的思维方法：正难则反

反证法：

假设命题结论的反面成立，经过正确的推理,

引出矛盾，因此说明假设错误,从而证明原命

题成立,这样的的证明方法叫反证法。

ABC

假设

反思1：

用反证法证题的一般步骤是什么？

（1）假设命题的结论不成立；即假设结论的反面成立。

（2）从这个假设出发，经过推理论证，得出矛盾；

（3）由矛盾判定假设不正确，从而肯定命题的结论正确。

反思2：

1、用反正法证明时，导出矛盾有那几种可能？

（1）与原命题的条件矛盾；

（2）与假设矛盾。

（3）与定义、公理、定理、性质矛盾；

（4）与客观事实矛盾.

2、你认为反证法的使用情形有那些？

（1）难于直接使用已知条件导出结论的命题；

（2）唯一性命题；

（3）“至多”或“至少”性命题；

（4）否定性或肯定性命题。

说明：常用的正面叙述词语及其否定：

正面等于大于（小于()是都是

词语）

小于或大于或

不等于等于（）不是

否定≤等于（≥）不都是

正面至多有至少有一任意的所有的至多有n任意

词语一个个个两个

至少有一个也

至少有n某两

否定两个没有某个某些

＋1个个

ab

证：假设ab不成立，则a≤b

添加标题添加标题

若例a1用反=证法证明b：，则a=b,与我已试试知ab矛盾,

如果ab0，那么

若ab，则ab,与已知ab矛盾,

故假设不成立，结论ab成立。

例2已知直线a，b和平面，

如果a，b，且a//b，

求证：a//

a

p

b

2

证：假设2是有理数，

m

则存在互质的整数m，n使得2=，

n

22

∴m例=22求n证：∴m是无=理2n数。

∴m2是偶数，从而m必是偶数，故设m=2k（k∈N）

2222

从而有假4设k不成=立2，n故，即n是无=理2数k。

∴n2也是偶数，这与m，n互质矛盾！

2

反馈练习

1、写出用“反证法”证明下列命题的第

一步“假设”.

(1)互补的两个角不能都大于90°.

假设互补的两个角都大于90°.

(2)△ABC中,最多有一个钝角

假设△ABC中,至少有两个钝角

反馈练习

C

2、“已知:△ABC中,AB=AC.求证:∠B90°”.下面写出了用反证法证明这个命题过程中的四个推理步骤.

0

1一．所以∠B+∠C+∠A180°.这与三角形内角和定理相矛盾.

所以∠B90°.(3)假设∠B≥90°.

那么,由AB=AC,得∠B=∠C≥90°.即∠B+∠C≥180°.

这四个步骤正确的顺序应是()

0

2A.(1)(2)(3)(4)B.(3)(4)(2)(1)

C.(3)(4)(1)(2)D.(4)(3)(2)(1)

例用反