Giải thích các bước giải:
Xét $\Delta ABE,\Delta CAF$ có:
$\widehat{BEA}=\widehat{FAC}=90^o$
$AB=AC$ vì $\Delta ABC$ vuông cân tại $A$
$\widehat{EAB}=180^o-\widehat{BAC}-\widehat{FAC}=90^o-\widehat{FAC}=\widehat{FCA}$
$\to\Delta ABE=\Delta CAF$(cạnh huyền-góc nhọn)
$\to AE=CF$