如图,正方形ABCD中,过D点做AC//DE,∠ACE=30°,CE交AD于点F,求证AE=AF