已知:如图,O是角ABC,角ACB的平分线的交点,OE//AB交BC于E,OF//AC交BC于F.求证:三角形OEF的周