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

a) Ta chứng minh được BEDF là hình bình hành Þ BE = DF và EBF^=CDF^.

Cách khác: DAEB = DCFD (c.g.c) suy ra BE = DF và ABE^=CDF^.

b) Vì BEDF hình bình hành Þ ĐPCM