Xét ∆BMI và ∆CMI, ta có:
+) BM = CM (vì IM là đường trung trực của BC)
+) \(\widehat{BMI}=\widehat{CMI}=90^0\)
+) 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ó:
+) \(\widehat{HAI}=\widehat{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)