平面直角坐标系中， △ABC的三个顶点坐标分别为A(3，4)，  B(2，0)，  C(-1，2).

①在图中画出△ABC；

②将△ABC向下平移4个单位得到△DEF(点A，B，C分别对应点D，E，F)，在图中画出△DEF，并求EF的长.