Xét tam giác ABC ta có:
ON // AB (gt)
=> ONAB=COCA(1)ONAB=COCA(1)ONAB=COCA(2)ONAB=COCA(2)
Xét tam giác ABD ta có:
OM // AB (gt)
=> OMAB=DODB(2)OMAB=DODB(2)
Vì AB // CD nên DODB=COCA(3)DODB=COCA(3)
Từ (1), (2) và (3) suy ra:
ONAB=OMAB=>OM=ONONAB=OMAB=>OM=ON
Vậy OM = ON.