已知正方形ABCD的边长为1过D作PD垂直平面ABCD,且有PD=1,EF分别是AB和BC的中点求点