已知：如图，三角形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°（等量代换）．