∵l1∥l2 , l2∥l3, 则过点p就有两条直线l1、 l3都与l2平行,这与“经过直线外一点,有 且只有一条直线平行于已知直线”矛盾.
所以假设不成立,所求证的结论成立, 即 l1∥l3
定理
求证:在同一平面内,如果两条直线都和第三条
直线平行,那么这两条直线也互相平行.
l
(3)不用反证法证明
已知:如图,l1∥l2 ,l 2 ∥l 3 求证: l1∥l3
这种证明方法叫做反证法.
反证法的一般步骤:
假设
假设命题结 论反面成立
假设命题结 论不成立
推理得出 的结论
与已知条 件矛盾
与定理,定义, 公理矛盾
假设不 成立
所证命题 成立
(1)课本第87页作业题 (2)见作业本.
A 2 l1
B1
l2
证明:作直线l,分别与直线l1 ,l2 , C 3
l3
l3交于于点A,B,C。
∵l1∥l2 ,l 2∥l 3(已知) ∴∠2 =∠1 ,∠1 =∠3(两直线平行,同位角相等)
∴∠2 =∠3(等式性质)
∴ l1∥l3 (同位角相等,两直线平行)
已知:如图,直线l与l1,l2,l3 都相交,且 l1∥l2,l2∥l3,
假设“李子甜” 树在道边则李子少
与已知条件“树在道边而多子”产生矛 盾
假设 “李子甜”不成立
所以“树在道边而多子,此必为苦李” 是正确的
在证明一个命题时,人们有时
先假设命题不成立, 从这样的假设出发,经过推理得出和已知条件矛 盾,或者与定义,公理,定理等矛盾, 从而得出假设命题不成立,是错误的, 即所求证的命题正确.
当∠B是_钝__角__时,则_∠__B_+__∠__C_>__1_8_0_°