ta có `N∈AB`
`M∈CD`
mà `AB`//`CD (ABCD` là hình bình hành `)`
do đó `AN`//`MC`
xét tứ giác `ANCM` có
`AN=MC (g t)`
`AN`//`MC(cmt)`
`=>ANCM` là hình bình hành
ta lại có `ABCD` là hình bình hành
mà `O` là giao điểm của hai đường chéo `BD;AC`
`=>O` là trung điểm của `AC`
mà `ANCM` là hình bình hành
`=>O` là giao điểm của hai đường chéo `AC;MN`
`=>M;N` đối xứng với nhau qua `O`