如图，四边形ABCD四条边上的中点分别为E、F、G、H，顺次连接EF、FG、GH、HE，得到四边形EFGH，当四边形ABCD的对角线满足什么条件时，四边形EFGH是矩形，并说明理由．