解:(已知),且(________),
(________)
(已知),
(________).
________(等量代换).
证明:(________),
________(________).
又(已知),
(如果两条直线都和第三条直线平行,那么这两条直线也互相平行).