Anyone solve this?
Let ABC be acute angled triangle with AC≠BC and let O be the circumcenter and F the foot of altitude through C. Further, let X and Y be the feet of perpendiculars dropped from A and B respectively to ( the extension of) CO. The line FO intersects the circumcircle of FXY, second time at P.
Then OP ? OF .
What symbol can "?" replace?
Please provide solution, if possible.