证明：∵PE⊥OA于E，DF⊥OB于F，
∴∠PEO=90°=∠PFO，
∴在△PEO和△PFO中，

∠PEO=∠PFO ∠EOP=∠FOP OP=OP

，
∴△PEO≌△PFO，
∴PE=PF，EO=FO，
∴O、P在EF的中垂线上，
∴OP垂直平分EF．