∠ABE+∠CBF=90°
∠ABE+∠EAB=90°
所以∠CBF=∠EAB
同理可证∠ABE=∠BCF
又AB=BC
所以三角形ABE全等于三角形BCF
所以AE=BF BE=CF
所以EF=2+1=3