Ta có: ABCD là hình bình hành nên AB //= CD, AD//=BC.

+ E đối xứng với D qua A

⇒ AE = AD

Mà BC = AD

⇒ BC = AE.

Lại có BC // AE (vì BC // AD ≡ AE)

⇒ AEBC là hình bình hành

⇒ EB //= AC (1).

+ F đối xứng với D qua C

⇒ CF = CD

Mà AB = CD

⇒ AB = CF

Mà AB // CF (vì AB // CD ≡ CF)

⇒ ABFC là hình bình hành

⇒ AC //= BF (2)

Từ (1) và (2) suy ra E, B, F thẳng hàng và BE = BF

⇒ B là trung điểm EF

⇒ E đối xứng với F qua B