因为 EF平分角ACB
所以 角ACF=角FCD
因为 角BAC=90°,AD垂直BC
所以 角CAF=角CDA=90度
所以 角EFA=角CED
因为 角CED=角AEF
所以 角EFA=角AEF
所以 AE=AF