在三角形ABC中,AB=AC,角BAC=120度,EF为线段AB的垂直平分线,求证BF=2分支1FC