Tam giác ABC vuông cân tại A
⇒ ∠ (ACB) = 45 0
Tam giác EAC vuông cân tại E
⇒ ∠ (EAC) = 45 0
Suy ra: ∠ (ACB) = ∠ (EAC)
⇒ AE // BC (vì có cặp góc ở vị trí so le trong bằng nhau)
nên tứ giác AECB là hình thang có ∠ E = 90 0 . Vậy AECB là hình thang vuông