Ta có `AB`//`CD (ABCD` là hình bình hành `)`
Do đó `hat(ODN)=hat(OBM)` ( so le trong )
xét `ΔDON` và `ΔBOM` có
`hat(DON)=hat(BOM)` ( đối đỉnh )
`BO=DO (ABCD` là hình bình hành `)`
`hat(ODN)=hat(OBM) (cmt)`
`=>ΔDON=ΔBOM (g-c-g)`
Do đó `MO=NO` ( hai cạnh tương ứng )
Hay `O` là trung điểm của `MN`