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 minh:

a, AC // EF

Theo giả thiết ta có:

+ A là trung điểm của DE thì AD = AE       ( 1 )

+ C là trung điểm của DF thì CD = CF       ( 2 )

Ta có ABCD là hình bình hành nên AD//BC

⇒ AE//BC       ( 3 ) và AD = BC       ( 4 )

Từ ( 1 ), ( 4 ) ⇒ AE = BC       ( 5 )

Từ ( 3 ) và ( 5 ), tứ giác ACBE có cặp cạnh đối song song và bằng nhau nên là hình bình hành.

Áp dụng tính chất và định nghĩa về hình bình hành ACBE ta được

Chứng minh tương tự, tứ giác ACBF là hình bình hành

Ta được:

Từ ( 6 ), ( 7 ) ⇒ E, B, F thẳng hàng và BE = BF do đó B là trung điểm của EF hay E đối xứng với F qua B.

Vẽ AH ⊥ Ox, AK ⊥ Oy

Vẽ hai điểm B, C sao cho H, K lần lượt là trung điểm của AB, AC thì B là điểm đối xứng với A qua Ox, C là điểm đối xứng với A qua Oy.

Vì O ∈ Ox, O ∈ Oy nên O đối xứng với O qua Ox, Oy.

Áp dụng tính chất của phép đối xứng ta được

Và

⇒ $\widehat{BOC}$ = {180⁰ }  (2)

Từ ( 1 ), ( 2 ) suy ra O là trung điểm của BC hay B đối xứng với C qua O.