Cho hình bình hành ABCD. Gọi E là trung điểm của AD, F

Xét tứ giác BEDF có

⇒ BEDF là hình bình hành

⇒ BE = DF (hai cạnh đối song song và bằng nhau)

Ta có: ABCD là hình bình hành nên