因为∠BOF=∠AOE,所以∠BOE-∠AOE = ∠BOE-∠BOF=∠EOF
因为OC是∠AOB的角平分线,所以∠AOC=∠BOC,又因为∠BOF=∠AOE,所以∠EOC=∠FOC=1/2 ∠EOF
综上两点,∠EOC=1/2(∠BOE-∠AOE)
因为∠BOF=∠AOE,所以∠BOE-∠AOE = ∠BOE-∠BOF=∠EOF
因为OC是∠AOB的角平分线,所以∠AOC=∠BOC,又因为∠BOF=∠AOE,所以∠EOC=∠FOC=1/2 ∠EOF
综上两点,∠EOC=1/2(∠BOE-∠AOE)