凸四辺形ＡＢＣＤの対角線ＡＣ，ＢＤの交点をＯ
とするとき、ＯＡ＜ＯＣ、ＯＤ＜ＯＢとする。
ＡＣ，ＢＤの中点Ｍ，Ｎを結ぶ直線とＡＢ，ＣＤ
との交点をＥ，Ｆとし、ＣＥ，ＢＦの交点をＰとすれば、
直線ＯＰは線分ＥＦを２等分することを証明せよ。