①对顶角相等;②相等的角是对顶角;③若两个角不相等,则这两个角一定不是对顶角;④若两个角不是对顶角,则这两个角不相等.
解:(已知),且(________),
(________)
(已知),
(________).
________(等量代换).
证明:(________),
________(________).
又(已知),
(如果两条直线都和第三条直线平行,那么这两条直线也互相平行).