如图，在四边形ABCD中，对角线AC，BD相交于点O，E，F，G，H分别是边AB，BC，CD，DA的中点，只需添加一个条件，即可证明四边形EFCH是矩形，这个条件可以是（写出一个即可）．