Tứ giác ABCD có E, F, G, H theo thứ tự là trung điểm của AB, BD, DC, CA. Tìm điều kiện của tứ giác ABCD để EFGH là hình vuông.