角的平分线上的点到这个角的两边的距离相等
几何语言：
因为OC是∠AOB的角平分线（或者∠AOC＝∠BOC）
点P在OC上且PE⊥OA,PF⊥OB
所以PE＝PF（角平分线性质定理）
或者：
角的平分线上的点到这个角的两边的距离相等
几何语言：
如果OC平分∠AOB,点P在OC上,且PE⊥OA,PF⊥OB
那么PE＝PF
供参考!JSWYC