∵AD平分∠BAC
∴∠CAD=∠EAD
又∠C=90°,DE⊥AB
∴∠C=∠AED=90°
且AD为公共边
∴△ADC≌△ADE(角角边)
则CD=DE,AC=AE
又BD=DF,∠C=∠BED=90°
∴△FDC≌△BDE(边边角)
则CF=BE
∴AE=AC=AF+CF=AF+BE
即AE=AF+BE
∵AD平分∠BAC
∴∠CAD=∠EAD
又∠C=90°,DE⊥AB
∴∠C=∠AED=90°
且AD为公共边
∴△ADC≌△ADE(角角边)
则CD=DE,AC=AE
又BD=DF,∠C=∠BED=90°
∴△FDC≌△BDE(边边角)
则CF=BE
∴AE=AC=AF+CF=AF+BE
即AE=AF+BE