已知ABCD是正方形,BE平行于AC,AC=CE,EC的延长线交BA的延长线于F.求证:AF=AE