因为AB=AC,（已知）
所以∠B=∠C=30°,（等边对等角）
所以∠BAC=180°-30°*2=120°,（三角形内角和定理）
因为EF垂直平分AB,（已知）
所以AF=BF,（中垂线性质）
所以∠BAF=∠B=30°,（等边对等角）
因为∠BAC=∠BAF+∠CAF,（已知）
所以∠CAF=120°-30°=90°.（等式性质）
在△CAF中,
因为∠CAF=90°,∠C=30°,（已证）
所以AF=1/2CF=3cm.（特殊直角三角形定理）
因为AF=BF,（已证）
所以BF=3cm.（等量代换）