Giải thích các bước giải:
Gọi H, K lần lươt là hình chiếu của O trên CD; EF
HC=HD; KE=KF.
Có OH ⊥ CD , OK ⊥ EF, CD // EF
-> O; H; K thẳng hàng
Xét Δ OMH và Δ ONK
OM=ON
góc MOH=góc NOK
góc OHM=góc OKN
-> Δ OMH = Δ ONK (cạnh huyền-góc nhọn)
-> OH=OK
-> CD=EF mà CD//EF
-> CDEF là hình bình hành
Có HK//CF mà HK⊥CD -> CD⊥CF
-> CDEF là hình chữ nhật (đpcm)