Ta có: tg ABC cân tại A => ^B = ^C
AI là pg ^xAC => ^xAI = ^IAC
Theo ĐL tổng 3 góc trong tam giác, ta có:
^BAC + ^B + ^C = 1800
hay ^BAC + 2^C = 1800 (1)
Lại có: ^BAC + ^xAI + ^IAC = 1800 (kề bù)
hay ^BAC + 2^IAC = 1800 (2)
Từ 1 và 2 => 2^C = 2^IAC => ^C = ^IAC
Mà : ^C và ^IAC nằm ở vị trí so le trong
=> AI // BC