因为EF平行于AB

所以角EFC=角B=60度

又角ACB=60度

所以三角形EFC为等边三角形

所以EF=EC=FC=ED=CD

又角CED=角ACB=60度

所以ED平行于CF

在四边形EDCF中

ED=CD=FC=FE

且ED平行于FC EF平行于CD

所以四边形EDCF为菱形

含义

由不在同一直线上的四条线段依次首尾相接围成的封闭的平面图形或立体图形叫四边形，由凸四边形和凹四边形组成。顺次连接任意四边形上的中点所得四边形叫中点四边形，中点四边形都是平行四边形。菱形的中点四边形是矩形，矩形中点四边形是菱形，等腰梯形的中点四边形是菱形，正方形中点四边形就是正方形。