∵OE平分∠AOD
∴∠EOD=1/2∠AOD
又∵∠EOF=1/2∠AOC
∴∠EOF=∠EOD+∠DOF=1/2∠AOC=1/2(∠AOD+∠DOC)=1/2∠AOD+1/2∠DOC
∴∠OF是∠COD的平分线