求证: .
证明:∵ , (已知)
∴∠ADC=∠ ▲ , ( )
∵OC平分∠AOB,DE平分∠ADC,(已知)
∴ , , ( )
∴∠BOC=∠CDE,(等量代换)
∵ , (已知)
∴∠ ▲ =∠BOC,( )
∴∠CDE=∠ ▲ , (等量代换)
∴ . ( )