Xét `ΔBED` và `ΔBEC` có :
`BD=BC` ( `giả thiết` )
$\widehat{EBD}$ `=` $\widehat{EBC}$ (do `BE` là tia phân giác $\widehat{ABC}$ )
Cạnh `BE` chung
⇒ `ΔBED` `=` `ΔBEC` ( c.g.c )
`b)` Xét `ΔBCI` và `ΔBDI` có:
`BC=BD` ( giả thiết )
$\widehat{EBD}$ `=` $\widehat{EBC}$ ( chứng minh trên )
Cạnh `BI` chung
⇒ `ΔBCI` `=` `ΔBDI` ( c.g.c )
⇒ `IC=ID` ( `2` cạnh tương ứng )
c, Xét `ΔBCD` có:
`BC=BD(gt)`
⇒ `ΔBCD` cân
⇒ `BI` là đường cao `ΔBCD`
⇒ `BI⊥CD`
Mà `AH⊥CD` ( giả thiết )
Vậy `BI` // `AH`
