IA = IB => tam giác AIB cân tại I => \(\widehat{A_1}=\frac{180^o-\widehat{I_1}}{2}\)
IA = IC => tam giác AIC cân tại I => \(\widehat{A_2}=\frac{180^o-\widehat{I_2}}{2}\)
=> \(\widehat{A_1}+\widehat{A_2}=\frac{180^o+180^o-\left(\widehat{I_1}+\widehat{I_2}\right)}{2}=\frac{180^o+180^o-180^o}{2}=\frac{180^o}{2}=90^o\)
hay \(\widehat{BAC}=90^o\)
=> tam giác ABC vuông tại A
bổ sung:
\(\widehat{I_1}+\widehat{I_2}=180^o\)(do 2 góc này là 2 góc kề bù)