连接OE,OF
显然OE=BE(1),0F=FC(2)
而角OEF=2角OBE=60,角OFE=2角OCF=60
所以三角形OEF为等边三角形,所以OE=OF=EF(3)
结合（1）（2）（3）得证