Ta có : tam giác DIC cân tại D 

=> ID = DC

Mà BD = HD (cmt)

=> BD = HD

Mà ta có BC = BD + DC

IH = ID + DH

=> BC = IH 

Xét tam giác vuông HIC và tam giác vuông BCI ta có : 

BC = IH 

IC chung

IBC = CHI = 90 độ

=> Tam giác HIC = tam giác BCI ( g.c.g) 

=> BI = HC (tg ứng)

Xét tam giác AKB và tam giác AKH ta có 

=> BAD = HAD ( AD là pg)

AK chung

AKB = AKH = 90 độ

=> Tam giác AKB = tam giác AKH (g.c.g)

=> AB =  AK 

Mà AI = AK + BI

AC = AH + HC 

=> AI = AC 

=> AIC cân tại A 

=> AIC = ACI 

Ta có AIC = ACI = 180 - A

Ta có AK = AH (cmt)

=> Tam giác BAH cân tại B 

=> ABH = AHB 

=> ABH = AHB = 180 - A

=> ABH = AHB = AIC = ACI ( cùng bằng 180 - A)

=> ABH = AIC 

Mà 2 góc này ở vị trí đồng vị

=> BH //IC

=> (dpcm)