Cho hình bình hành ABCD. Gọi E là điểm đối xứng với D qua A, F là điểm đối xứng với D qua C. Chứng

E là điểm đối xứng với D qua A ⇒ A là trung điểm của DE.

F là điểm đối xứng với D qua C ⇒ C là trung điểm của DF.

a) Xét Δ DEF có

⇒ AC là đường trung bình của Δ DEF.

⇒ AC // EF