如图将矩形ABCD折叠,使A与C重合,若AB=3,AD=4,能求出折痕EF的长吗?