由于oc是∠AOB的角平分线,P是OC上的一点,PD⊥OA于D,PE⊥OB于E
所以PD=PE,又OP=OP,∠PDO=∠PEO=90°
所以三角形PDO全等于三角形PEO
所以OD=OE
设DE交OP于F
有OF=OF,∠DOF=∠EOF
所以三角形DOF全等于三角形EOF
所以DF=EF,∠OFD=∠OFE=90°
即OC垂直平分DE