证明：
∵BF平分∠ABC
∴∠ABF=∠EBD
在Rt△ABF中
∠AFE=90°-∠ABF
在Rt△EBD中
∠BED=90°-∠EBD
∴∠AFE=∠BED
又∵∠BED=∠AEF
∴∠AEF=∠AFE