Ta chứng minh hai mệnh đề:
- Khi =
thì ABCD là hình bình hành.
Thật vậy, theo định nghĩa của vec tơ bằng nhau thì:
=
⇔
=
và và
cùng hướng.
và
cùng hướng =>
và
cùng phương, suy ra giá của chúng song song với nhau, hay AB // DC (1)
Ta lại có =
=> AB = DC (2)
Từ (1) và (2), theo dấu hiệu nhận biết hình bình hành, tứ giác ABCD có một cặp cạnh song song và bằng nhau nên nó là hình bình hành.
- Khi ABCD là hình bình hành thì =
Khi ABCD là hình bình hành thì AB // CD. Dễ thấy, từ đây ta suy ra hai vec tơ và
cùng hướng (3)
Mặt khác AB = CD => =
(4)
Từ (3) và (4) suy ra =
.