Cho hình bình hành ABCD. Lấy điểm E sao cho B là trung điểm của AE, lấy điểm F sao cho

a) Vì ABCD là hình bình hành nên AB = CD; AB // CD.

Mà hai điểm B, C lần lượt là trung điểm AE, DF.

Suy ra AE = DF; AB = BE = CD = CF.

Tứ giác AEFD có AE // DF (vì AB // CD); AE = DF (chứng minh trên).

Do đó tứ giác AEFDlà hình bình hành.

Tứ giác ABFC có AB // CF (vì AB // CD); AB = CF (chứng minh trên).

Do đó tứ giác ABFClà hình bình hành.

Vậy ta chứng minh được hai tứ giác AEFD, ABFC là những hình bình hành.