EF是矩形ABCD的对角线AC的垂直平分线,EF与对角线AC及边AD,BC分别交于点O.E.F求如果EF=2ED,求AE