GEOMETRI FANO

GEOMETRI FANO

Pada tahun 1892, Gino Fano menemukan gometri tiga dimensi yang mempunyai 15
titik, 35 garis dan 15 bidang. Satu dari bidang-bidang tersebut adalah Geometri Fano.

Aksioma 11.1 Terdapat paling sedikit satu garis.

Aksioma 11.2: Terdapat tepat tiga titik pada setiap garis.

C
B
A

Aksioma 11.3 Tidak semua titik segaris.

C
B
A

Aksioma 11.4 Terdapat tepat satu garis pada sebarang dua titik berbeda.

L
K

Aksioma 11. 5 Terdapat paling sedikit satu titik sekutu pada sebarang dua garis
berbeda.

l
k

1
 Berikut model Geometri Fano.

Garis k :
Garis l :
Garis m :

P mn S
Garis n :
Garis t :
l R
Q tk C
Garis u :

u v
Garis v :

A B

2. Teorema
Teorema 11.1 Dua garis berbeda mempunyai tepat satu titik sekutu

Bukti:

No Pernyataan Alasan
1 Dua garis berbeda, misal garis k dan l Premis
2 Terdapat satu titik sekutu dari garis k dan l, misal titik P Aksioma 5

l k
3 P
Andaikan terdapat titik sekutu yang lain dari garis k dan Pengandaian
l, misal titik Q
4 Titik P dan Q pada garis k Akibat 2 dan 3
5 Titik P dan Q pada garis l Akibat 2 dan 3
6 Terdapat dua garis yaitu garis k dan l melalui dua titik Akibat 6 dan 7
yaitu titik P dan Q (kontradiksi

l aksioma 11.4)

Q k
P
Jadi, pengandaian salah sehingga pernyataan “dua garis berbeda mempunyai tepat
satu titik sekutu” adalah benar (Teorema 11.1 terbukti).Garis k :
Garis l :
Garis m :
Garis n :
Teorema 2: Geometri Fano mempunyai tepat 7 titikGaris dan 7t :garis.
Garis u :
Bukti: Garis v :

2
 P mn S
l
Q R tk C
u v
A B

No Pernyataan Alasan
1 Terdapat sebuah garis k Dikonstruksi, aksioma 1
2 Garis k memuat tepat tiga titik berbeda, misal titik Aksioma 2
A, B dan C
3 Terdapat minimal satu titik tidak pada garis k, misal Aksioma 3
titik P
4 Terdapat garis-garis yang berbeda dari titik P ke Aksioma 4
setiap titik pada garis k, misal garis l, m, dan n
5 Garis l memuat tepat tiga titik berbeda, misal titik P, Aksioma 2
Q, dan A
6 Garis m memuat tepat tiga titik berbeda, misal titik P, Aksioma 2
R, dan B
7 Garis n memuat tepat tiga titik berbeda, misal titik P, Aksioma 2
S, dan C
8 Terdapat minimal 7 titik A, B, C, P, Q, R, dan S 5, 6, dan 7
9 Terdapatgaris t melalui titik Q, R, dan C Dikonstruksi, aksioma
4, dan aksioma 5
10 Terdapat garis u melalui titik S, R dan A Dikonstruksi, aksioma
4, dan aksioma 5
11 Terdapat garis v melalui titik Q, B, dan S Dikonstruksi, aksioma
4, dan aksioma 5
12 Terdapat minimal 7 garis k, l, m, n, t, u, dan v 1, 4, 9, 10, dan 11
13 Andaikan terdapat titik ke-8, misalkan titik T Pengandaian
14 Titik P dan T dihubungkan olehsebuah garis, misal Aksioma 4
garis r (garis ke-8)
15 Garis r dan k berpotongan, misal titik potong garis r Aksioma 5
dan k adalah titik A
16 Titik P danA terdapat pada garis l dan r 5, 14, dan 15

3
17 Garis l dan r merupakan garis yang sama 16, Aksioma 4
(kontradiksi 14)
18 Titik potong garis r dan k bukan pada titik A, misal 15dan17
titik potong garis r dan k adalah titik B
19 Titik P dan B terdapat pada garis m dan r 6, 14, dan 18
20 Garis m dan r merupakan garis yang sama 19, Aksioma 4
(kontradiksi 14)
21 Titik potong garis r dan k bukan pada titik B, misal 18dan 20
titik potong garis r dan k adalah titik C
22 Titik P dan C terdapat pada garis n dan r 7, 14, dan 21
23 Garis n dan r merupakan garis yang sama 22, Aksioma 4
(kontradiksi 14)
24 Titik potong garis r dan k bukan pada titik C 18, 21dan 23
25 Titik potong garis r dan k bukan pada titik A, B, dan 18, 21, 24, danAksioma
C, misal pada titik D 5
26 Terdapat 4 titik berbeda pada garis k yaitu titik A, B, 2dan25
C, dan D (kontradiksi aksioma 2)
27 - Terdapat tepat 7 titik A, B, C, P, Q, R, dan S 8, 13, 14, 17, 20, 23,
- Terdapat7 garis k, l, m, n, t, u, dan v
dan 29

Jadi, pernyataan “Geometri Fano mempunyai tepat 7 titik dan7 garis” adalah benar
(Teorema 2 terbukti).

Teorema 3: Garis yang melalui sebarang titik memuat semua titik.

Bukti :

P mn S
l R
Q tk C
u v
A B
Jika diambil sebarang titik A, maka semua titik berada dalam garis yang melalui titik A.

No Pernyataan Alasan
1 Ambil sebarang titik A Premis
2 Setiap titik yang lain dihubungkan oleh sebuah garis Aksioma 4
ke titik A
3 Semua titik berada dalam garis yang melalui titik A 2

4
 Jadi, untuk pernyataan “garis pada geometri Fano yang melalui sebarang titik memuat
semua titik” adalah benar (Teorema 3 terbukti).

Teorema 11.4 Setiap titik dilalui tepat tiga garis.

Bukti :

No Pernyataan Alasan
1 Ambil sebarang titik A Premis
2 Setiap titik yang lain dihubungkan oleh sebuah garis Aksioma 4
ke titik A

3 Andaikan terdapat kurang dari 3 garis melalui A Pengandaian

4 Terdapat 1 atau 2 garis yang melaui titik A 2, 3
5 Terdapat 1 garis yang melalui titik A 4
6 Garis yang melalui titik A memuat lebih dari 3 titik 5
7 Pengandaian no. 3 salah Kontradiksi
dengan Teorema 3
8 Terdapat tepat 2 garis yang melalui titik A Teorema 1, 3, 4
9 Salah satu garis yang melalui titik A memuat lebih Teorema 3, 8
dari 3 titik
10 Pengandaian no. 3 salah Kontradiksi
dengan Teorema 3,
Aksioma 2
11 Terdapat paling sedikit 3 garis yang melalui titik A 10
12 Andaikan terdapat lebih dari 3 garis yang melalui titik A Pengandian
13 Terdapat paling sedikiat 4 garis yang melaui titik A 12
14 Terdapat paling sedikit 9 titik 13, Teorema 1,
Aksioma 2
15 Pengandain no. 12 salah Kontradiksi
dengan 11,
Teorema 2
16 Terdapat paling banyak 3 garis yang melaui titik A 15
17 Terdapat tepat 3 garis yang melaui titik A 11, 15

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:

5
No Pernyataan Alasan
1 Ambil sebarang dua titik berbeda, misal titik A dan B Premis
2 Terdapat sebuah garis yang menghubungkan titik A dan B, Aksioma 4
misal garis g
3 Titik A tepat dilalui 3 garis berbeda yaitu garis g, h, dan i Teorema 4
4 Titik B tepat dilalui 3 garis berbeda yaitu garis g, j, dan k Teorema 4
5 Terdapat tepat 5 garis yang melalui titik A atau B yaitu 3 dan 4
garisg, h, i, j, dan k
6 Terdapat tepat 7 garis Teorema 2
7 Terdapat tepat 2 garis yang tidak melalui titik A dan B 5 dan 6

Jadi, pernyataan “untuk setiap dua titik berbeda, terdapat tepat dua garis yang tidak
melalui dua titik tersebut” adalah benar (teorema 5 terbukti).

Teorema 6: Jika diketahui tiga garis yang tidak memuat titik yang sama, maka
terdapat tepat satu titik yang tidak termuat pada ketiga garis tersebut.

Bukti:

No Pernyataan Alasan
1 Tiga garis yang tidak memuat titik yang sama, misal garis Premis
yang 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 Teorema 1
& m 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 Aksioma 2
P pada garis 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 Pengandaian
garis tersebut
7 Ketujuh titik termuat pada garis k, l, dan m, misal ada titik Akibat 6
R pada garis m
8 Ada garis yang memuat 4 titik, yaitu garis m Akibat 7
(Kontradiksi
aksioma 2)

6
 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).