Ta có
⇒
∠O1=∠O2 (cmt)
Giả xử :
OI cắt
AB tại
D
Vì
∠AID là góc ngoài của
∠ADO
⇒
∠AID=∠A+∠O1 (1)
Vì
∠AID là góc ngoài của tam giác
∠ODB
⇒∠AID=∠B+∠O2 (2)
Từ (1) và (2) ⇒
∠A=∠B
Xét
ΔAOD và
ΔBOD có :
∠O1=∠O2
∠A=∠B
⇒
∠AOD=∠BDO
⇒
∠AOD=∠ADI
Ta có :
∠AOD+∠ADI=180o ( hai góc đối kề bù )
⇒∠AOD+∠AOD=180o
⇒2∠AOD=180o
⇒∠AOD=90o
⇒AD⊥OI
Hay
AB⊥OI (đpcm)