Teorema 11.4-11.6
Teorema 11.4-11.6
4
Setiap titik dilalui tepat tiga garis.
Bukti :
C
C C
E F
E F
E G
F
G
G B D B
A D A
A D B I
H
No Pernyataan Alasan
Jadi,pengandaian salah sehingga pernyataan “setiap titik dilalui tiga garis” adalah
benar (teorema 4 terbukti).
Teorema 11.5
Untuk setiap dua titik berbeda, terdapat tepat dua garis yang
tidak melalui dua titik tersebut.
Bukti :
i
g B
A
h
i j
g B
k
A
h
Bukti :
No Pernyataan Alasan
2 Terdapat sebuah garis yang menghubungkan titik A dan B, misal garis Aksioma 4
g
3 Titik A tepat dilalui 3 garis berbeda yaitu garis g, h, dan i Teorema 4
5 Terdapat tepat 5 garis yang melalui titik A atau B yaitu garisg, h, i, j, 3 dan 4
dan k
6 Terdapat tepat 7 garis Teorema 2
Jadi, pernyataan “untuk setiap dua titik berbeda, terdapat tepat dua garis
yang tidak melalui dua titik tersebut” adalah benar (teorema 5 terbukti).
Teorema 11.6
Jika diketahui tiga garis yang tidak memuat titik yang sama, maka
terdapat tepat satu titik yang tidak termuat pada ketiga garis
tersebut..
Bukti :
A
O Q
O Q
R
m m
k
k
C
C l
l P
P B
B Kontradiksi dengan Aksioma 2:
Setiap garismempunyai tepat tiga titik
No Pernyataan Alasan
1 Tiga garis yang tidak memuat titik yang sama, misal garis yang Premis
menghubungkan titik A dan B adalah k, garis yang menghubungkan
titik B dan C adalah l, dan garis yang menghubungkan titik A dan C
adalah m
2 Setiap dua garis berpotongan pada satu titik, misal garis k & m Teorema 1
berpotongan pada titik A, garis k & l berpotongan pada titik B, dan
garis l & m berpotongan pada titik C
3 Setiap garis memuat 3 titik, misal titik O pada garis k, titik P pada garis Aksioma 2
l, dan titik Q pada garis m
4 Ada minimal 6 titik termuat pada ketiga garis Akibat 2 dan 3
5 Ada maksimal 1 titik tidak termuat pada ketiga garis Akibat 4 dan teorema 2
6 Andaikan tidak ada titik yang tidak termuat pada ketiga garis tersebut Pengandaian
7 Ketujuh titik termuat pada garis k, l, dan m, misal ada titik R pada garis Akibat 6
m
8 Ada garis yang memuat 4 titik, yaitu garis m Akibat 7 (Kontradiksi
aksioma 2)
Karena terjadi kontradiksi, maka pengandaian
pernyataan nomor 6 salah sehingga tidak
mungkin tidak ada titik yang tidak termuat pada
ketiga garis.
Jadi, ada tepat satu titik yang tidak termuat pada
ketiga garis tersebut (teorema 6 terbukti).