Xét `ΔKMB` và `ΔEMC` có:
$\widehat{KBM}$ `=` $\widehat{MCE}$ `(` SLT, $BK//CE$ `)`
`BM=MC` `(` tự thêm để chứng minh `)`
$\widehat{BMK}$ `=` $\widehat{CME}$ `(` đối đỉnh `)`
`⇒ΔKMB=ΔEMC(g.c.g)`
`⇒BK=CE` `(` cạnh tương ứng `)`
Tương tự, ta chứng minh được `ΔADH=ΔAEH(g.c.g)`
`⇒` $\widehat{ADE}$ `=` $\widehat{AED}$ `(` góc tương ứng `)`
Mà $\widehat{AED}$ `=` $\widehat{BKD}$ `(` đồng vị, $BK//CE$ `)`
`⇒` $\widehat{BKD}$ `=` $\widehat{BDK}$
`⇒ΔBDK` cân tại `B` `(` tính chất `)`
`⇒BD=BK`
Mà `BK=CE(cmt)`
`⇒BD=CE`
