∵∠BAC=90° ∴∠C+∠DAC=90° ∠BAD+∠DAC=90° ∴∠C=∠BAD
∵BF是角ABC的角平分线 ∴∠CBF=∠ABF
∵∠BFA=∠C+∠CBF ∠AEF=∠BED=∠ABF+∠BAE
∴∠AEF=∠EFA ∴AE=AF