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