正方形ABCD过D点做DE平行AC,角ACE30度CE交AD与点F,求证AE=AF