Xét `ΔBAD` và `ΔAEC` có:
$\widehat{DAB}$ `+` $\widehat{BAC}$ `+` $\widehat{CAE}$ `=` `180^o`
Mà $\widehat{BAC}$ `=` `90^o` ( gt )
`⇒` $\widehat{DAB}$ `+` $\widehat{CAE}$ `=` `90^o`
Xét `ΔAEC` vuông tại `E` có:
`⇒` $\widehat{CAE}$ `+` $\widehat{ECA}$ `=` `90^o` ( định lý )
`⇒` $\widehat{ACE}$ `=` $\widehat{DAB}$
Xét `ΔBAD` và `ΔAEC` có:
$\widehat{BDA}$ `=` $\widehat{CEA}$ `=` `90^o`
`BA=AC` ( gt )
$\widehat{ACE}$ `=` $\widehat{DAB}$ `(cmt)`
`⇒ΔBAD=ΔAEC(ch-gn)`
