如图所示,已知正方形ABCD,P点为对角线AC上任一点,PE⊥AB于点E,PF⊥BC于点F,连结DP,EF,求证:DP⊥