Xét tam giác AOM và tam giác BON có:
AOM^=BON^ (góc đối)
mà: AM = BN, A^=B^
=> ΔAOM=ΔBON
=> OA = OB; OM = ON