点O是角A的平分线上的一点圆心O分别交交角A的两条边C,D和点F,求证CD=EF