Cho điểm \(M'\) là ảnh của điểm \(M \notin \left( P \right)\) qua phép đối xứng qua mặt phẳng \(\left( P \right)\). Khi đó:

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'\).

Do đó \(MM' \bot \left( P \right)\).