解题思路：利用直角三角形斜边上的中线等于斜边的一半，可求出DF的长，再利用三角形的中位线平行于第三边，并且等于第三边的一半，可求出DE的长，进而求出EF的长
∵∠AFB=90°，D为AB的中点，
∴DF=[1/2]AB=2.5，
∵DE为△ABC的中位线，
∴DE=[1/2]BC=4，
∴EF=DE-DF=1.5，
故答案为1.5．
点评：
本题考点： 三角形中位线定理；直角三角形斜边上的中线．
考点点评： 本题考查了直角三角形斜边上的中线性质：在直角三角形中，斜边上的中线等于斜边的一半和三角形的中位线性质：三角形的中位线平行于第三边，并且等于第三边的一半．