证明:在直角三角形ABF中,∠ABF+∠AFB=90,
在直角三角形EBD中,∠EBD+∠BED=90,
且:∠BED=∠AEF,∠EBD+∠AEF=90,
又:BF为角平分线,则:∠ABF=∠EBD
则可证:∠AEF=∠AFE
则有:AE=AF