一道无图几何题过四边形ABCD的两边AD、BC延长线的交点P做任意线段EF,使EF=FP,求证:不论EF的长度及位置如何