Gọi giao điểm phân giác ^B và ^C là O => AO là phân giác ^BAC => ^BAO=^CAO=1/2^BAC
Phân giác ^B cắt phân giác ^HAC tại N; Phân giác ^C cắt phân giác ^BAH tại M.
Ta có: ^ABC=^HAC (Cùng phụ ^BAH) => 1/2 ^ABC= 1/2 ^HAC => ^ABN=^NAC
Mà ^NAC+^BAN=900 => ^ABN+^BAN=900 => \(\Delta\)ANB vuông tại N => BN \(\perp\)AK hay IN\(\perp\)AK
Tương tự: KM \(\perp\)AI
Lại có: IN giao KM tại O => O là trực tâm của \(\Delta\)AIK => AO\(\perp\)IK
=> ^IKM = ^IAO (Cùng phụ ^AIK). MÀ ^IAO = ^BAO - ^BAI = 1/2 (^BAC - ^BAH)
Do ^BAH=^ACB => ^IAO = 1/2 (^BAC-^ACB) = >^IKM = 1/2. (^BAC - ^ACB) (1)
Xét \(\Delta\)ABC: ^BAC=900 => ^ABC = 900 - ^ACB = ^BAC - ^ACB
=> 1/2 ^ABC = 1/2. (^BAC - ^ACB) (2)
Từ (1) và (2) => ^IKM = 1/2 ^ABC hay ^IKM = ^IBC. Mà ^IKM + ^IKC = 1800
=> ^IBC + ^IKC = 1800 => Tứ giác BIKC nội tiếp đường tròn (đpcm).