Chứng minh phép đồng nhất là một phép tịnh tiến.

Giả sử A’ là ảnh của A qua phép đồng nhất f. Tức là, A’ = f(A).

Suy ra A’ ≡ A hay AA’ = 0.

Khi đó AA'→=0→.

Tương tự như vậy, với mỗi điểm M bất kì, ta lấy điểm M’ là ảnh của điểm M qua phép đồng nhất f.

Khi đó ta cũng có MM'→=0→.

Vậy phép đồng nhất là một phép tịnh tiến theo 0→.