- Nếu ABCD là hình bình hành, ta chứng minh
Do ABCD là hình bình hành nên BC // AD và BC = AD, suy ra
- Nếu
, ta chứng minh ABCD là hình bình hành
Do
Vậy tứ giác ABCD là một hình bình hành khi và chỉ khi
Do ABCD là hình bình hành nên BC // AD và BC = AD, suy ra
Do
Vậy tứ giác ABCD là một hình bình hành khi và chỉ khi