已知：如图，∠ACD是△ABC的外角．

求证：∠ACD＝∠A＋∠B．

证法1：如图，

∵∠A＋∠B＋∠ACB＝180°（三角形内角和定理）

又∵∠ACD＋∠ACB＝180°（平角定义），

∴∠ACD＋∠ACB＝∠A＋∠B＋∠ACB（等量代换）．

∴∠ACD＝∠A＋∠B（等式性质）

证法2：如图，

∵∠A＝88°，∠B＝58°，

且∠ACD＝146°（量角器测量所得）

又∵146°＝88°＋58°（计算所得）

∴∠ACD＝∠A＋∠B（等量代换）

下列说法正确的是（    ）

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