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