如图,在Rt△ABC中,∠ACB=90°,AB的垂直平分线DE交BC的延长线于F,若∠F=30°,DE=1,则EF的长是(    )

（1）考点：含30°角的直角三角形的三边比为1：：2
（2）解答过程：
解：∵∠F=30°，∠AED＝∠FEC，∠ADE＝∠ECF
∴∠A＝30°
∵DE=1
∴AD＝
∴BD＝AD＝
在Rt△BDF中，∠F＝30°，BD＝
∴DF＝3
∴EF＝2
故选B．

略