M'= Đd(M)nghĩa là phép biến hình này biến mỗi điểm M thuộc d thành chính nó hoặc biến mỗi điểm M không thuộc d thành M' sao cho d là đường trung trực của đoạn thẳng MM’

- M ∈ d ⇒ M'= Đd(M) ≡ M ⇒ M = Đd(M')

- M ∉ d ⇒ M'= Đd(M) thì d là đường trung trực của MM’

⇒ M’∉ d và phép biến hình biến mỗi điểm M’thành M sao cho d là đường trung trực của đoạn thẳng M'M

⇒ M = Đd(M')