Vì MN // QP nên: M1^=P1^N1^=Q2^M1^=N1^ ⇒Q1^=P1^ => Các OMN và OPQ cân tại O

=> OM = ON, OP = OQ => MP = NQ mà MNPQ là hình thang => MNPQ là hình thang cân.

Do EF // QP (gt), mà QP // MN nên EF // QP // MN => Tứ giác MNEF và FEQP là hình thang.

Do MNPQ là hình thang cân nên:  MQP^=NPQ^ và  QMN^=PNM^ => MNEF và FEQP là hình thang cân.