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