如图,在平面直角坐标系xOy中,△PEF是边长为5的正三角形,P、E在x轴上,点F位于x轴上方,其中P(a,0)(﹣5≤a<5).四边形OABC是边长为5的正方形,A、C均在坐标轴上,且B(5,5),M为AB边上点,且AM=

OE,N为点M关于直线OB对称的点.
(1)求证:OP=AE;
(2)如图1,当△PEF沿x轴运动使得N、F、E三点在同一条直线上时,求此时△MNE与正方形OABC重叠部分的面积;
(3)当△PEF从最左边沿x轴向右运动,到达(2)所在位置时停止,在这一过程中用y表示四边形MNFE面积,求y与a的函数关系式.
