如图所示，在梯形ABCD中，AB||CD，E，F，G，H分别是边AB，BC，CD，DA的中点，当梯形ABCD的边满足什么条件时，四边形EFGH是菱形？请说明理由。