Transformasi geometri T didefinisikan sebagai T(A)=A dan T(P)=P' dimana P' adalah titik tengah antara A dan P. Transformasi T dibuktikan sebagai transformasi karena memenuhi sifat surjektif dan injektif: Setiap titik memiliki prapeta dan prapeta setiap titik unik.