Xét ΔAHD có AH=HD và góc AHD=90 độ

nên ΔAHD vuông cân tại H

=>góc HAD=góc HDA=45 độ

=>góc ADE=45 độ

Xét tứ giác ABDE có góc EAB+góc EDB=180 độ

nên ABDE là tứ giác nội tiếp

=>góc ABE=góc ADE=45 độ

Xét ΔEAB vuông tại A có góc ABE=45 độ

nên ΔEAB vuông cân tại A

=>AE=AB