完成下面的证明：如图：已知于点D， ， ， 求证： ．

证明：∵（已知），

∴（   _），

又∵（已知），

∴（等量代换），

∴  ▲  （   ），

∴  ▲  （   ），

∴（已知），

∴（  ），

∴  ▲  （等量代换），

∴（垂直定义）．