Gọi M là trung điểm của BC. Đường BF lần lượt cắt AM, AE, AD theo thứ tự tại các điểm N, K, I.
Chứng minh: . Suy ra : IF.BK = IK.BF.
Gọi O là tâm đường tròn đường tròn đường kính BD.
Ta có DE = DF => cung DE = cung DF
=> => AD là tia phân giác trong tại đỉnh A của tam giác AKF.
=> (1)
AB ⊥AI => AB là đường phân giác ngoài tại đỉnh A của ∆AKF.
Vì (2)
Từ (1), (2) suy ra => IK.BF = BK.IF.