如图,正方形ABCD中,点E是BC边的中点,点F在边CD上,且CF=1/4CD,求证:AE=2倍的EF