1. (2021七下·仙居期末) 已知：如图，三角形ABC中，AC⊥BC ． F是边AC上的点，连接BF ， 作EF∥BC且交AB于点E ． 过点E作DE⊥EF ， 交BF于点D ．

求证：∠1+∠2＝180°．

下面是证明过程，请在横线上填上适当的推理结论或推理依据．

证明：

∵AC⊥BC（已知），

∴∠ACB＝90°（垂直的定义）．

∵EF∥BC（已知），

∴∠AFE＝▲  ＝90°（  ▲）．

∵DE⊥EF（已知），

∴∠DEF＝90°（垂直的定义）．

∴∠AFE＝∠DEF（等量代换），

∴▲∥▲（  ▲）．

∴∠2＝∠EDF（  ▲）．

又∵∠EDF+∠1＝180°（邻补角互补），

∴∠1+∠2＝180°（等量代换）．