如图，在矩形ABCD中，AB＝2，AD＝4．点E，F分别在AD，BC上，点A与点C关于EF所在的直线对称，P是边DC上的一动点．