如图，点P为正方形ABCD的对角线AC上的一点，连接BP并延长交CD于点E，交AD的延长线于点F，⊙O是△DEF的外接圆，EF为⊙O的直径，连接DP．