1 如图,在正方形ABCD中,BE//AC,CA=CE,EC的延长线与BA的延长线相交于点F,求证:AE=AF