∆ABH = ∆DBH (chứng minh trên), suy ra \[\widehat {ABE} = \widehat {DBE}\] (hai góc tương ứng).

∆BAE và ∆BDE có:

BA = BD (giả thiết),

\[\widehat {ABE} = \widehat {DBE}\] (chứng minh trên),

BE là cạnh chung.

Nên ∆BAE = ∆BDE (c.g.c) suy ra EA = ED (hai cạnh tương ứng).

Nên ∆AED cân tại E (dấu hiệu nhận biết tam giác cân).