因为∠ABC的平分线DC,且∠ABC=90°
所以有CE=BC
又有AD=BC
故CE=AD
又∠C=∠D
由AE⊥EF知,∠CEF=90°-∠AED=∠EAD
故△AED≌△EFC
即有AE=EF