其中正确的个数是( )
求证:∠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°(等量代换).