- Định nghĩa: Phép đối xứng qua mặt phẳng \(\left( P \right)\) là phép biến hình biến mỗi điểm thuộc \(\left( P \right)\) thành chính nó và biến mỗi điểm \(M\) không thuộc \(\left( P \right)\) thành điểm \(M'\) sao cho \(\left( P \right)\) là mặt phẳng trung trực của \(MM'\).

a) Phép dời hình

- Phép biến hình \(F\) được gọi là phép dời hình nếu nó bảo toàn khoảng cách giữa hai điểm bất kì, nghĩa là nếu \(F\) biến hai điểm \(M,N\) thành \(M',N'\) thì \(M'N' = MN\).

- Phép dời hình biến đường thẳng thành đường thẳng, mặt phẳng thành mặt phẳng,…

- Hợp thành của những phép dời hình là phép dời hình.

b) Hai hình bằng nhau

- Định nghĩa: Hai hình \(H\) và \(H'\) được gọi là bằng nhau nếu tồn tại một phép dời hình biến hình này thành hình kia.

- Định lý: Hai tứ diện bằng nhau nếu chúng có các cạnh tương ứng bằng nhau.