正方形ABCD中,过D点作AC的平行线DE,连接AE,且CE=AC,CE交AD于点F,求证:AF=AE