△ABC中,∠ ACB=90°,AC=BC,点E、F在BC上,CE=BF,CM⊥AE于H,交AB于M,延长AE 、MF相交于N.
若CM为AN的垂直平分线,且AC=2+√3,求EF的长.
（注：最好用三角函数做）