请补充完整下列推理过程及证明过程中的依据．

如图，已知 ， ， ． 试证明： ．

解：因为（已知），

所以（   ）．

因为（已知），

所以  ▲  （等量代换），

所以  ▲  （   ）．

所以  ▲  （两直线平行，同位角相等）

因为（已知），

所以（   ）．

所以（等量代换），

所以  ▲  垂直的定义）．