證明:因為DE是AC的垂直平分線.
所以有:OA=OC,DA=DC
即有:角OAE=角OCE,角DAE=角DCE.
即有:角DAO=角DCO.
又:OA平分角BAC
即角DAO=角EAO
所以有:角DCO=角ECO
即OC平分角DCA