Xét ∆BMI và ∆CMI, ta có:

+) BM = CM (vì IM là đường trung trực của BC)

+)ˆBMI=ˆCMI=90

+) MI cạnh chung 

Suy ra: ∆BMI = ∆CMI (c.g.c)

⇒ IB = IC (hai cạnh tương ứng)

Xét hai tam giác vuông IHA và IKA, có: 

+) ˆHAI=ˆKAI (AI là phân giác góc A)

+) AI cạnh huyền chung

Suy ra: ∆IHA = ∆IKA (cạnh huyền - góc nhọn)

Suy ra: IH = IK (hai cạnh tương ứng)

Xét hai tam giác vuông IHB và IKC, có:

+) IB = IC (chứng minh trên)

+) IH = IK (chứng minh trên)

Suy ra: ∆IHB = ∆IKC (cạnh huyền - cạnh góc vuông)

Suy ra: BH = CK (2 cạnh tương ứng)