读地球光照示意图（阴影区域为夜半球），回答下列问题．
下列各句中，没有语病的一句是 ( )
如图，边长为4的等边三角形ABC中，E是对称轴AD上的一个动点，连接EC，将线段EC绕点C逆时针旋转60°得到FC，连接DF，则在点E运动过程中，DF的最小值是____ ．
如图，在△ABC中，D、E分别是边AB、AC的中点，点F是BC延长线上一点，且CF=12BC，连结CD、EF．求证：CD=EF．
