已知正方形ABCD的边长为4,E,F分别是AB,AD中点,PC垂直平面ABCD