小明用一张长方形的纸片进行折叠实验如图把四边形ABCD沿EF折叠求证DE等于DF