在正方形ABCD中,以对角线AC为一边作一等边三角形ACE,连接ED,并延长交AC于F,【1】求证EF⊥AC