证明:∵ , (已知)
∴( ),
∴( ).
∴__▲__( ).
又∵(已知),
解:∵ , (已知),
∴
∴ ▲ ▲ . (同位角相等,两直线平行)
∴( ▲ ).
∵(已知),
∴∠ ▲ =∠ ▲ (等量代换).