Chứng minh rằng M’ = ĐI(M) ⇔ M = ĐI(M')

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