AE=EF
在AB上取一点H,使BH=BE,
则AH=EC
∴∠AHE=∠ECF=135
∵AE⊥EF
∴∠AEB+∠FEC=90
∵∠AEB+∠BAE=90
∴∠BAE=∠FEC
∴⊿AHE≌⊿ECF
∴AE=EF