如图，四边形ABCD是边长为2，一个锐角等于60°的菱形纸片，小芳同学将一个三角形纸片的一个顶点与该菱形顶点D重合，按顺时针方向旋转三角形纸片，使它的两边分别交CB、BA（或它们的延长线）于点E、F，∠EDF=60°，当CE=AF时，如图1小芳同学得出的结论是DE=DF．