求证三角形DEF为等边三角形