Kẻ IK,IH,IE lần lượt vuông góc BC,AB,AC
Xét ΔBHI vuông tại H và ΔBKI vuông tại K có
BI chung
góc HBI=góc KBI
=>ΔBHI=ΔBKI
=>IH=IK
Xét ΔCKI vuông tại K và ΔCEI vuông tại E có
CI chung
góc KCI=góc ECI
=>ΔCKI=ΔCEI
=>IK=IE
=>IH=IE
Xét ΔAHI vuông tại H và ΔAEI vuông tại E có
AI chung
IH=IE
=>ΔAHI=ΔAEI
=>góc HAI=góc EAI
=>AI là phân giác của góc BAC