正方形ABCD中角ACE=30°,ED AC,求证AE=AF