∵AD⊥BC,EF⊥BC
∴∠ADB=∠EFC=90°
∵∠2+∠C+∠EFC=180°(三角形内角和等于180°)
∴∠2+∠C=180°-∠EFC=180°-90°=90°
又∵∠1+∠3=∠ADB=90°
∴∠1=∠2(等角的余角相等)