理由:∵ (已知)
▲ (对顶角相等)
∴ (理由 ▲ )
∴ ▲ (理由: ▲ )
∴ ▲ (两直线平行,同位角相同)
又∵ ,
∴ ▲ (等量代换)
∴ ▲ (内错角相等,两直线平行)
∴ (理由: ▲ )