Trong mỗi trường hợp dưới đây, cho f là một phép dời hình.
Phép dời hình f bảo toàn khoảng cách giữa hai điểm bất kì.
a) Ta có A’, B’, C’ lần lượt là ảnh của A, B, C qua phép dời hình f.
Suy ra A’B’ = AB; B’C’ = BC và A’C’ = AC.
Theo đề, ta có ba điểm A, B, C thẳng hàng theo thứ tự (B nằm giữa A và C).
Suy ra AB + BC = AC.
Khi đó A’B’ + B’C’ = A’C’.
Vậy ba điểm A’, B’, C’ thẳng hàng theo thứ tự (B’ nằm giữa A’ và C’).
b) Ta có AB = DC (giả thiết) và AB // DC (do d1 // d2).
Suy ra tứ giác ABCD là hình bình hành.
Khi đó AD = BC.
Ta có A’, B’, C’, D’ lần lượt là ảnh của A, B, C, D qua phép dời hình f.
Suy ra A’B’ = AB; D’C’ = DC.
Mà AB = DC (giả thiết), do đó A’B’ = D’C’ (1)
Chứng minh tương tự, ta được A’D’ = B’C’ (2)
Từ (1), (2), suy ra tứ giác A’B’C’D’ là hình bình hành.
Khi đó A’B’ // D’C’ hay d'1 // d'2.
Vậy tứ giác A’B’C’D’ là hình bình hành và d'1 // d'2.
c) Ta có tam giác A’B’C’ là ảnh của tam giác ABC qua phép dời hình f.
Suy ra A’, B’, C’ lần lượt là ảnh của A, B, C qua phép dời hình f.
Vì vậy A’B’ = AB; B’C’ = BC và A’C’ = AC.
Do đó ∆A’B’C’ = ∆ABC (c.c.c).
Từ đó suy ra B'A'C'^=BAC^ (cặp cạnh tương ứng).
Vậy ∆A’B’C’ = ∆ABC và B'A'C'^=BAC^.
