求证：∠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°（等量代换）．