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