证明:∵ , (已知)
, (邻补角定义)
∴ , ( )
∴ , ( )
∴ ( )
∵ , (已知)
∴ , (等量代换)
∴.( )