Bukti :
Andaikan terdapat titik sebarang P terletak diluar ⃗
AB dan t sehingga γ AB O μt (P)=γ
A B
P P0
P P
Dimana rerdapat garis t sebagai sumbu lalu ada garis AB yang sejajar dengan t.
Terdapat titik P yang secara normal di cerminkan terhadap t dan menjadi titik P,
apabila titik P di geser sejauh ruas AB maka akan menjadi titik P0 lalu titik P0 akan di
cerminkan terhadap t di mana titik P0 menjadi titik P
Teorema 6.1
Refleksi geser adalah sebuah transformasi
Bukti:
Untuk membuktikan teorema di atas menggunakan sifat-sifat komposisi dari
Jika ruas garis berarah tegak lurus terhadap garis s yang diketahui, maka komposisi
Buat titik C pada s dan buat . Bila E titik tengah , buatlah garis r
Sehingga
γ AB o μs =(μ ¿ ¿ r o μ s) o μ s ¿
¿ μr o ( μ s o μs )
¿ μr
Bila komposisi yang dibuat adalah μs o γ AB , maka kedudukan garis r harus di buat
sedemikian rupa sehingga γ AB=μ s o μ r
Sehingga
μs o γ AB =μ s o ( μ s o μ r )
¿ ( μ s o μ s ) o μr
¿ μr
3 . Tunjukkanbahwa ( T ,O ) bukan grup jika diketahui T adalah himpunan semua
pencerminan terhadap garis tertentudan O operasi komposisi !
Penyelesaian :
( T ,O ) bukan grup karena salah satu aksioma yang tidak dipenuhinya adalah aksioma I
(akasioma ketertutupan) dan aksioma II juga tidak terpenuhi (operasi asosiatif)
Aksioma 1 : μ1 AB o μ2 AB ≠ μ1 AB + μ2 AB
Aksioma 2 : ( μ1 AB + μ2 AB ) + μ3 AB ≠ μ1 AB (μ2 AB + μ3 AB )