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)