如图,点E是正方形ABCD的边BC上一点,将△ABE绕着顶点A逆时针旋转90°,得△ADF,连接EF,P为EF的中点,证