Trong mặt phẳng tọa độ Oxy, cho tứ giác ABCD có A(x_A; y_A); B(x_B; y_B); C(x_C; y_C); D(x_D; y_D). Chứng minh rằng tứ giác ABCD là hình bình hành khi và chỉ khi xA+xC=xB+xD và yA+yC=y+ByD