1. (2022七下·郧阳期中) 完成下列的推导过程：

已知：如图，

求证：

证明：∵BD⊥AC，EF⊥AC（已知）

∴（          ）

∴                          

∴​​​​​​​             （  ）

又∵（已知）

∴​​​​​​​             =​​​​​​​             （等量代换）

∴（        ）