P为正方形ABCD对角线AC上一点,PE⊥AB于E,PF⊥BC于F,连接DP,EF,判断并证明DP与EF关系.