Góc AIB = 180 độ - 1/2 BAC - ABI
Góc AIC = 180 độ - 1/2 BAC - ACI
⇒ AIB + AIC = 180 độ - BAC - (ABI + ACI)
Giả sử B, I, C thẳng hàng
⇒BIC = 180 độ = AIB + AIC
→360 độ - BAC - (ABI + ACI) = 180 độ
ABI + ACI = 180 độ - BAC (LĐ)
Vậy điều giả sử là đúng
⇒B, I, C thẳng hàng