Nếu ABCD là hình bình hành thì:
=>
=>
=>
Mặt khác: Nếu
=>
=> ABCD là hình bình hành.
Vậy: tứ giác ABCD là hình bình hành khi và chỉ khi
Nếu ABCD là hình bình hành thì:
=>
=>
=>
Mặt khác: Nếu
=>
=> ABCD là hình bình hành.
Vậy: tứ giác ABCD là hình bình hành khi và chỉ khi