解:∵(已知),
∴______,(_____________________),
∵ , (已知),
∴______,
∴______
证明:(已知)
(________)
(________)(等量代换)
(同位角相等,两直线平行)
(________)(________)
(已知)
(等量代换)
(两直线平行,内错角相等)
证明:连接
∵ ,
∴ , (________)
∴
∴________//________(________)
∴________(________)
又∵
即
∴(________)