Kẻ KD vuông góc AB, KE vuông góc BC, KF vuông góc AC
Xét ΔADK vuông tại D và ΔAFK vuông tại F có
AK chug
góc DAK=góc FAK
=>ΔADK=ΔAFK
=>KD=KF
Xét ΔCFK vuông tại F và ΔCEK vuông tại E có
CK chung
góc FCK=góc ECK
=>ΔCFK=ΔCEK
=>FK=EK=DK
=>K nằm trên tia phân giác của góc ABC
=>BK là phân giác của góc ABC