以Rt三角形ABC的边BC、AC作等边三角形BCE和三角形ACD,且角BAC=60°,连结DE交AC于F,求证:DF=E