老师说这个证明可以用反证法完成,思路及过程如下:
如图1,我们想要证明“如果直线AB,CD被直线所截EF,AB∥CD,那么∠EOB= .” 如图2,假设∠EOB≠ ,过点O作直线A'B',使 = ,可得 ∥CD.这样过点O就有两条直线AB, 都平行于直线CD,这与基本事实矛盾,说明∠EOB≠ 的假设是不对的,于是有∠EOB=∠ . | 小贴士 反证法不是直接从命题的已知得出结论,而是假设命题的结论不成立,由此经过推理得出矛盾,由矛盾断定所作假设不符合题意,从而得到原命题成立.在某些情形下,反证法是很有效的证明方法. |
请补充上述证明过程中的基本事实: