Gọi f là phép biến hình trong Vận dụng.

Trong Vận dụng, ta đã chứng minh được f là một phép dời hình.

Ta có ABCD là hình chữ nhật.

Suy ra DAB^=90°;  ABC^=90°;  BCD^=90°.

Do phép dời hình f bảo toàn độ lớn của góc nên ta có D'A'B'^=90°; A'B'C'^=90°; B'C'D'^=90°.

Vậy A’B’C’D’ cũng là hình chữ nhật.