在正方形ABCD中,p是对角线AC上一点,PE⊥AB于E,PF⊥BC于F.试猜想EF与PD的数量,位置关系,并给出证明.