Vì Ot là phân giác xOy 

=> xOt = yOt 

Xét ∆OAC và ∆OBC ta có : 

xOt = yOt 

OC chung 

OA = OB 

=> ∆OAC = ∆OBC ( c.g.c)

=> AC = CB 

=> ∆CAB cân tại C 

Vì OA = OB 

=> ∆OAB cân tại O 

Xét ∆ODA và ∆ODB ta có : 

OD chung 

AO = BO ( ∆OAB cân )

OAD = OBD ( ∆OAB cân )

=> ∆ODA = ∆ODB ( c.g.c)

=> AD = DB (1)

=> ODA = ODB ( tương ứng) 

Mà ODA + ODB = 180° ( kề bù)

=> ODA = ODB = 180°/2= 90°(2)

Từ (1) và (2) => OD là trung trực AB

=> AOC = 90°