连接OA、OB、OC,因为点O为线段AB,AC中垂线的交点,所以OA=OB=OC,可以推出 角OCF=角OAE又因AB=AC,BE=AF,则AE=CF,在三角形OAE和三角形OCF中,OA=OC,角OCF=角OAE,AE=CF.所以三角形OAE和三角形OCF全等,所以OE=OF.
