证明:∵ , (已知)
又∵ , (①___________)
∴②_____(等量代换)
∴ . (③____________)
∴④_____(两直线平行,同位角相等)
∵ , (已知)
∴(⑤_____________)
∴⑥_____________(内错角相等,两直线平行)
∴ . (⑦__________)
∴
∴ . (⑧______________)