如图,在矩形ABCD中,AB=3,BC=4,将矩形沿AC折叠,使点B于点E重合,AD与EC相交于点F 求EF的长