如图,将长方形ABCD沿AE折叠,使点D刚好落在边BC上点F处,AB=3,AD=5,求EF