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

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.

Xét Δ DEF có

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

⇒ AC // EF