七年级教材在图形与几何部分给出了五条基本事实,在《证明》一章中我们从两条基本事实出发,把前面得到的平行线相关性质进行了严格的证明,体会了数学的公里化思想.请完成下列证明活动:
活动

.利用基本事实证明:“两直线平行,同位角相等”.(在括号内填上相应的基本事实)

已知:如图,直线

、

被直线

所截,

.
求证:

.
证明:假设

,则可以过点

作

.
∵

,
∴

(
).
∴过

点存在两条直线

、

两条直线与

平行,这与基本事实(
)矛盾.
∴假设不成立.
∴

.
活动

.利用刚刚证明的“两直线平行,同位角相等”证明“两直线平行,同旁内角互补”.(要求画图,写出已知、求证并写出证明过程)
已知:
.
求证:
.
证明:
