因为oc平分∠AOB,
所以∠DOC=∠EOC,而PD⊥,PE⊥OB,所以PD=PE,
所以ΔDOP≌ΔEOP（AAS）,
而∠DPC=∠POD+∠ODP=∠POE+∠PED=∠EPC,
所以三角形DPF≌三角形EPF(SAS)
所以DF=EF