数学几何证明题如图所示,正方形ABCD中,P是对角线AC上一点,PE⊥AB于E,PF⊥BC于F.请猜想EF与PD的数量关