M' = ĐI (M)nghĩa là phép biến hình này biến điểm I thành chính nó
hoặc biến mỗi điểm M khác I thành M' sao cho I là trung điểm
của đoạn thẳng MM’
- M ≡ I ⇒ M' = ĐI(M) ≡ M ≡ I ⇒ M = ĐI(M')
- M ≠ I ⇒ M' = ĐI(M) thì I là trung điểm của MM’
⇒ M' ≠ I và phép biến hình biến mỗi điểm M' thành M sao cho I là trung điểm của đoạn thẳng M'M
⇒ M = ĐI (M')
