Tam giác IAB cân tại I nên IBA^=IAB^
Tam giác IAC cân tại I nên IAC^=ICA^
Ta có: BAC^+CBA^+BCA^=BAC^+BAI^+IAC^=2BAC^=180∘ hay BAC^=90∘