Gọi đường trung trực của BC cắt BC tại M.
Xét ΔBMI và ΔCMI, ta có:
∠(BMI) = ∠(CMI) = 90o (gt)
BM = CM ( vì M là trung điểm của BC )
MI cạnh chung
Suy ra: ΔBMI = ΔCMI(c.g.c)
Suy ra: IB = IC ( hai cạnh tương ứng)
Xét hai tam giác vuông ΔIHA và ΔIKA, ta có:
∠(HAI) = ∠(KAI) ( vì AI là tia phân giác của góc BAC).
∠(IHA) = ∠(IKA) = 90o
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, ta có:
IB = IC ( chứng minh trên )
∠(IHB) =∠(IKC) =90o
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(hai cạnh tương ứng)