1. (2022七下·开封期中) 完成下面的推理过程

如图，已知 ， 可推得.理由如下：

∵（   ）

∴（   ）.

∵

∴（垂直的定义）.

∴（等量代换）.

∴∥       （   ）.

∴       ​​​​​​​（   ）.

∴（   ）