如图①，将△ABC沿中位线EH折叠，使点A的对称点D落在BC边上，再将△BED和△DHC分别沿EF、HG折叠，使点B、C均落在点D处，折痕形成一个四边形EFGH.小刚在探索这个问题时发现四边形EFGH是矩形.

小刚是这样想的：