2 A K = 1 A B + 1 A C ⇔ 2 A B . A C = A K ( A B + A C ) ⇔ A B . A C = A K . A I
(Do AB+ AC = 2AI)
∆ABN đồng dạng với ∆ANC => AB.AC = AN2
∆AHK đồng dạng với ∆AIO => AK.AI = AH.AO
Tam giác ∆AMO vuông tại M có đường cao MH => AH.AO = AM2
=> AK.AI = AM2 . Do AN = AM => AB.AC = AK.AI