O thuộc đường trung trực của AB => OA =OB
O thuoc đường trung trực của BC => OB =OC
=> OA=OC => O nằm trên đường trung trực của AC (dpcm)
O thuộc đường trung trực của AB => OA = OB
O thuộc đường trung trực của BC => OB = OC
=> OA = OC ( = OB)
=> O thuộc đường trung trực của AC (đpcm)