Professional Documents
Culture Documents
B” C”
B’ C’
B C
Gambar. 3.7
Bukti:
Anggap teorema ini salah.
Maka pasti ada dua segitiga yaitu ΔABC dan ΔA‟B‟C‟ Э A = A‟, B
= B‟, dan C = C‟, tetapi segitiga tersebut tidak kongruen.
Maka, AB A' B' (jika tidak, segitiga tersebut kongruen melalui sudut sisi sudut)
Demikian juga pada AC A'C ' dan BC B'C ' . Perhatikan tiga segmen AB ,
Jadi, dapat ditemukan B” pada AB dan C” pada AC Э A' B' = AB" dan
A'C ' = AC" .
Konsekuensinya, ΔA‟B‟C‟ ΔAB”C”
Sehingga, AB”C” = B‟ = B
Karena BB”C” merupakan sudut pelurus dari B”, maka BB”C”
juga merupakan sudut pelurus dari B.
Demikian juga, B”C”C merupakan sudut pelurus dari C”, maka
B”C”C juga merupakan sudut pelurus dari C.
Oleh karena itu, segi empat BB”C”C mempunyai jumlah sudut 360°, dimana hal
ini kontradiksi dengan Teorema 3 Cololarry 1.
Definisi
Suatu fungsi yang menentukan setiap segitiga dengan spesifikasi bilangan
real memenuhi a, b, dan c. Maka fungsi itu disebut sebagai daerah fungsi atau
daerah pengukuran untuk segitiga. Jika μ adalah suatu fungsi seperti itu dan ABC
sebuah segitiga, maka μ (ABC) merupakan nilai dari ΔABC dan disebut daerah
atau ukuran dari ΔABC yang ditentukan oleh μ.
Definisi ini tentunya tidak terikat oleh geometri Lobachevskian, namun
geometri ini berlaku untuk geometri netral. Kenyataannya dalam geometri
Euclidean, rumus yang dikenal untuk luas daerah adalah ½ at berlaku untuk
semua segitiga, sehingga dengan mudah menghasilkan suatu fungsi daerah. Hal
ini menunjukkan setiap wilayah segitiga merupakan ukuran setengah dari hasil
kali alas dan tinggi.
Kita lanjutkan dengan mengamati sifat additivity (c), dimana fungsi daerah
dapat diperluas sampai bilangan bulat terbatas.
Teorema 5:
Jika setiap segitiga merupakan gabungan dari himpinan terbatas yang tidak
beririsan (1,2,...., n). Maka untuk setiap fungsi daerah μ,
μ (Δ) = μ (1) + μ (2) + .... + μ (n)
Teorema 6:
The defect tersebut merupakan fungsi daerah untuk segitiga.
Bukti:
Sifat (a) mengikuti teorema 3 A + B + C < 180°
Sifat (b) segitiga yang kongruen mempunyai sudut-sudut yang bersesuaian sama
besar, sehingga jumlah sudutnya sama dan the defect juga sama.
A
B D C
Gambar. 3.8
Sifat (c)
Diketahui Δ ABC dan D pada BC, AD membagi Δ ABC menjadi Δ ABD dan Δ
ACD.
Jumlah the defect dari kedua segitiga tersebut adalah
180 - ( BAD + B + BDA) + 180 - ( CAD + C + CDA)
Dengan mengetahui bahwa BDA + CDA = 180, maka
Jumlah the defect dari kedua segitiga tersebut adalah
180 - ( BAD + CAD + B + C) BAD + CAD = A maka:
180 - ( A + B + C) sesuai dengan definisi diatas.
Lanjutan BAB III
Teori Riemann tidak hanya memerlukan paralel Euclid dalil tapi dalil-dalil lain
juga. Sebab kita telah menunjukkan, tanpa berasumsi apapun postulat paralel, yang ada
garis-garis sejajar (Bab 2, Th. 2, Kor. 3); adanya garis-garis paralel, tidak konsisten
dengan dalil-dalil geometri netral. Akibatnya, kita akan menemukan dalil-dalil geometri
netral menyiratkan adanya garis-garis parallel.
Prosedur alami untuk melakukan ini adalah untuk menganalisis bukti adanya garis-
garis paralel (Bab 2, Th.2, Kor. 3) untuk melihat atas mana properti itu tergantung.
Melirik bukti, kita melihat bahwa ia mengikuti langsung dari propertiberikut:
Properti (A) adalah akibat langsung dari teorema sudut eksterior, jadi kita harus
menentukan dalil-dalil teorema sudut eksterior bergantung. Tetapi bukti teorema malaikat
eksterior adalah kompleks dan melibatkan penerimaan diam-diam properti grafis untuk
dibuang. Namun, ada bukti alternatif properti (A) yang sederhana dan tidak memerlukan
dosis malaikat eksterior teorema. Kami menyajikan dan menganalisisnya untuk
menurunkan sifat-sifat penting.
Teorema
Dua garis tegak lurus terhadap baris yang sama sejajar.
C
L M
M
L
N B
A
N
A B C‟
(a) (b)
Gambar 3.9
Diberikan. Dua (berbeda) garis L, M yang tegak lurus dengan garis N
Untuk membuktikan: L sejajar dengan M.
Bukti:
Misalkan L sejajar dengan M adalah salah. Kemudian L dan M akan bertemu di titik
C (gambar 4,14 (b)). L, M, bertemu dengan N di A, B, masing-masing.
1. Perluas CA panjang sendiri melalui 1. Sebuah segmen dapat dua kali
A ke C‟ lipat
2. Draw C‟B 2. Dua titik menentukan garis
3. ABC ABC 3. SAS
4. ABC ABC ' 4. Sesuai bagian
Dengan demikian ABC ' adalah sudut siku-siku karena ABC juga sudut siku-
siku dan BC dan BC‟ adalah tegak lurus dengan AB.
5. BC dan BC' bertepatan 5. Hanya ada satu garis tegak
lurus terhadap baris tertentu
pada suatu titik tertentu dari
garis
Ringkasan
Ada dua teori geometris yang mengasumsikan postulat sejajar Riemann. Pertama,
setiap dua garis berpotongan dalam tepat satu titik, tetapi tidak ada garis memisahkan
bidang. Kedua, dua garis berpotongan dalam tepat dua titik, dan setiap garis memisahkan
bidang. Teori-teori ini disebut, masing-masing, geometri eliptik tunggal dan geometri
eliptik ganda. (Istilah "tunggal" dan "rangkap" mengindikasikan sifat perpotongan dua
garis dalam geometri dan istilah "elips" digunakan lebih halus dalam arti klasifikasi
berdasarkan geometri proyektif dimana geometri Euclid dan Lobachevskian disebut
parabola dan hiperbolik).
BAB IV
Teori Geometri Insidensi
Teorema 1
Dua garis yang berbeda berpotongan pada paling banyak di satu titik.
Bukti :
Andai g h,dan (g,h) = a,b (hipotesis)
Bukti
Karena a,b = (g,h), a,b di g, a,b di h, g berimpit dengan h (postulat 1.2)
Dan pernyataan tersebut berlawanan dengan hipotesis jadi haruslah (g,h) 1 titik
Definisi
jika a dan b adalah titik-titik yang berbeda, kita gunakan symbol ab untuk menyatakan
garis unik yang memuat a dan b, dan disebut garis yang ditetapkan oleh a dan b. dan juga
dikatakan garis ab adalah garis yang menghubungkan a dan b (jika a dan b adalah titik
yang sama symbol ab tidak terdefinisi).
Definisi
Titik-titik A1, A2, A3,...., An dikatakan segaris atau sejajar, jika ada sebuah garis yang
memuat semua titik tersebut. Dengan cara yang sama kita mendefinisikan bentuk/gambar
(himp. Dari titik-titik) S1, S2,...., Sn menjadi segaris atau sejajar jika ada sebuah garis
yang memuat titik tersebut.
Teorema 2
Jika titik a tidak terdapat dalam garis bc, maka titik a,b,c adalah berbeda dan tidak sejajar.
Bukti
bc, b c (definisi)
Andai A = B (hipotesis)Akibatnya, tidak segaris.
Akibat a bc a b c , tidak segaris
Bukti
B , BC di C, BC Karena A=B, ABC berlawanan dengan yang diketahui ABC.
Kesimpulan A B , A, B, C tidak segaris. Andaikan A, B, C segaris A, B,C d¡ g
(definisi) Jika B, C di g dan BC, g = BC(aksioma 1.2). Karena A B C segari di g maka
pernyataan ini berlawanan dengan hipotesis maka ABC segaris.
Teorema 3
Sebuah garis dan sebuah titik yang tidak terletak pada garis tersebut termuat pada satu
bidang.
Definisi
Andaikan A g. satu-satunya bidang yang memuat g dan ditulis sebagai gA. Andaikan
A,B,C berbeda dan tidak segaris. Satu-satunya bidang yang memuat A,B,C ditulis sebagai
nbidang ABC.
Definisi:
Dua garis l dan m adalah sejajar apabila l dan m terletak pada bidang yang sama dan tidak
mempunyai titik perpotongan.
Lanjutan BAB IV
Teorema 6
Jika bidang-bidang P dan Q sejajar, dan bidang R berpotongan dengan bidang p dan
Q, maka perpotongan R dengan P dan Q merupakan garis-garis yang sejajar.
Bukti:
Dengan menggunakan teorema 5 : Jika dua bidang berbeda berpotongan, maka
perpotongannya merupakan sebuah garis.
(i) Akan ditunjukkan bahwa bidang R berbeda dengan bidang P dan Q.
( R ≠ P dan R ≠ Q )
Andaikan R = P.
Maka R memotong Q, akibatnya P memotong Q.
Bertentangan dengan P║Q. Pengandaian salah.
Jadi, R ≠ P.
Andaikan R = Q.
Maka R memotong P, akibatnya Q memotong P.
Bertentangan dengan P║Q. Pengandaian salah.
Jadi, R ≠ Q.
(ii) Akan ditunjukkan bahwa perpotongan R dengan P dan Q merupakan garis-garis yang
sejajar.
Misalkan perpotongan R dan P adalah sebuah garis L.
Misalkan perpotongan R dan Q adalah sebuah garis M.
L dan M terletak pada bidang yang sama, sebut saja R.
L dan M tidak bertemu
Andaikan L dan M bertemu, misalkan di titik a.
Jika L dan M mempunyai satu titik persekutuan, berarti:
a di dalam P ( karena L di P )
a di dalam Q ( karena M di Q )
P dan Q berimpit.
Bertentangan dengan hipotesis bahwa P║Q.
Selanjutnya L dan M terletak pada bidang yang sama dan tidak berimpit .
Dengan definisi bahwa L║M.
Definisi:
Garis-garis L1, L2, …, Ln dikatakan kongkuren, jika garis-garis tersebut
berpotongan di satu titik.
Gambar-gambar S1, S2, ..., Sn dikatakan koplanar, jika ada sebuah bidang yang
memuat semua gambar-gambar tersebut.
Teorema 7: Jika tiga garis koplanar secara berpasangan, tetapi semuanya tidak koplanar,
maka ketiga garis tersebut kongkuren atau ketiganya garis tersebut paralel
secara berpasangan.
Bukti:
Misalkan L, M, dan N tiga buah garis.
Misalkan L, M di P.
M, N di Q
L, N di R.
Akan ditunjukkan bahwa P, Q, dan R berbeda ( P ≠ Q ≠ R ).
Andaikan P = Q.
Maka L, M, N koplanar.
Bertentangan dengan hipotesis.
Berarti, P ≠ Q. .............. ( 1 )
Andaikan Q = R.
Maka M, N, L koplanar.
Bertentangan dengan hipotesis.
Berarti, Q ≠ R ...............( 2 )
Andaikan P = R.
Maka L, M, N koplanar.
Berarti, P ≠ R. ..............( 3 )
Dari tabel a di N.
Selanjutnya, jika dua dari L, M, N bertemu.
Ketiga garis tersebut kongkuren.
Teorema 8
Pada bidang P, jika garis L diberikan, ada sebuah titik tidak di L.
Bukti
Dengan postulat 13: Sebuah bidang merupakan himpunan titik-titik, memuat paling
sedikit 3 titik yang tidak termuat pada garis yang sama.
Ada di P, tiga titik tidak kolinier a, b, c. Karena paling sedikit 1 dari a, b, c tidak di L.
Teorema 9
Tiap bidang memuat 3 garis berbeda yang tidak kongkuren.
Bukti:
Dengan postulat 13: Sebarang bidang P memuat 3 titik berbeda yang tidak kolinier a, b, c.
Dengan postulat 15: P memuat ab, bc, ca. dan ab ≠ bc.
Andaikan ab = bc maka c di ab.
Berarti a, b, c kolinier.
Bertentangan dengan hipotesis.
Jadi, ab ≠ bc.
Corrolary 1
Pada bidang P, jika titik a diberikan. Ada sebuah garis yang tidak termuat.
Bukti:
Dengan teorema, ada pada P tiga garis yang tidak kongkuren. Karena paling sedikit
satu yang tidak memuat a.
Corrolary 2
Pada bidang P, sebarang titik a termuat pada paling sedikit dua garis.
Bukti:
Dengan corrolary 1, P memuat satu garis, katakan bc yang tidak termasuk a. Maka
ab dan ac merupakan garis-garis berbeda yang memuat a.
Definisi
Jika dua garis berbeda tidak koplanar, kita katakan garis-garis tersebut menjulur dan
menjulur terhadap yang lainnya.
Teorema 10
Andaikan ada 4 titik a, b, c, d berbeda, tidak kolinier dan tidak koplanar. Maka:
(i) Diberikan sebuah bidang, ada sebuah titik tidak di dalam bidang tersebut.
(ii) Diberikan sebuah garis, ada sebuah garis menjulur ke garis tersebut.
(iii) Diberikan sebuah titik, ada sebuah bidang tidak termasuk di titik tersebut.
(iv) Ada paling sedikit 6 garis dan paling sedikit 4 bidang.
Bukti:
(i) Misalkan diberikan bidang P.
Karena a, b, c, d tidak koplanar, paling sedikit satu dari titik tersebut tidak di P.
(ii) Misalkan diberikan garis L.
Karena a, b, c, d tidak kolinier, paling sedikit satu dari titik tersebut tidak di L.
Misalkan p sebuah titik tidak di L.
Perhatikan bidang Lp.
Dengan (i) ada sebuah titik g tidak di Lp.
Berikut ini garis pq menjulur ke L.
(iii) Misalkan diberikan titik r.
Karena a, b, c, dberbeda, ada sebuah titik s berbeda dengan r, Perhatikan garis rs.
Dengan (ii) ada garis M menjulur ke rs,
BAB V
Teori Geometri Affin
5.1. Pendahuluan
Teori Geometri Affin merupakan geometri yang berisikan tentang geometri
insidensi yang memenuhi postulat sejajar Euclid dalam bentuk Playfair. Geometri
insidensi dikatakan geometri Affin jika memenuhi postulat berikut:
Postulat E
Jika titik A tidak terletak pada garis l maka terdapat hanya satu – satunya garis m
sedemikian hingga m memuat A dan m // l.
Ilustrasi:
l
. m
.A
Dalam uraian ini, relasi insidensi terhadap titik, garis, dan bidang digunakan notasi dan
kata “pada” (konvensi Veblen dan Young), sebagai berikut:
“A pada l” atau “l pada A”, artinya: “titik A berada / terletak pada garis l” atau “garis
l memuat titik A”.
“A pada α” atau “α pada A”, artinya: “Titik A terletak pada bidang α” atau “bidang α
memuat titik A”.
“l pada α” atau “α pada l”, artinya: “Garis l terletak pada bidang α” atau “Bidang α
memuat garis l”.
Corollary Postulat E:
Jika A tidak pada l, A pada α, dan l pada α, maka satu – satunya garis m sedemikian
hingga m pada A, m // l, dan m pada α .
Bukti:
Menurut postulat E, yaitu: Jika titik A tidak terletak pada garis l maka terdapat dan
hanya satu – satunya garis m sedemikian hingga m memuat A dan m // l. Berarti ada
garis tunggal (unik) m sedemikian hingga m pada A dan m // l.
Menurut definisi garis sejajar, yaitu: dua buah garis adalah sejajar, bila garis itu
terletak pada sebuah bidang dan tidak mempunyai satupun titik persekutuan. Berarti
garis l dan m sebidang (koplane), kita misalkan pada bidang β. Karena A pada m, A
pada β, maka A, m pada β
Menurut teorema 3 bab 7, yaitu : sebuah garis dan sebuah titik yang terletak pada
garis tersebut termuat pada satu bidang. Berarti ada bidang yang memuat titik A dan
garis l
Sesuai hipotesis tadi, yaitu: A, l pada α. Jadi β = α, sehingga m pada α.
Teorema 1
Dua garis yang berbeda yang sejajar dengan garis yang sama akan sejajar satu sama
lainnya.
Pernyataan ulang:
Jika l // m, n // m, dan l // n, maka l // n.
Bukti:
Kasus 1: l, m, n, sebidang.
Ilustrasi:
α
A
l n m
P
l
m
n‟
A
n
Karena l // m, maka menurut corrolary 3 bab 7, yaitu apabila l // m maka l dan m tepat
berada dalam satu bidang. Artinya ada bidang unik P yang memuat l dan m.
Karena l, m, n tidak sebidang, berarti ada titik A pada N yang tidak pada P.
Menurut corollary teorema 7 Bab 7, yaitu apabila l // m dan A tidak terletak pada
bidang yang memuat L dan M, maka ada garis unik n yang memuat A sehingga n // l
dan n // m. Artinya ada garis unik, kita misalkan garis n‟ yang memuat A sedemikian
hingga n‟ // l dan n‟ // m.
Karena A pada n dan n // m, maka menurut postulat E, n‟ = n jadi l // n
Corollary
Jika l // m dan m // n, maka l = n atau l // n
Kesimpulan dari corollary ini menyarankan bahwa sesejaran dan koinsidensi dapat
saja merupakan maksud yang berhubungan satu sama lain. Dikatakan dua garis memiliki
arah yang sama, maka garis tersebut dapat sejajar atau koinsiden. Prinsip geometri analitik
(Euclid) yang sudah dikenal menyatakan bahwa jika kemiringan garis m, maka l // m atau
l = m. Pertimbangan ini menyarankan definisi berikut ini:
Definisi
Jika l, m memiliki sifat bahwa l // m atau l = m, maka dikatakan l, m memiliki arah
yang sama atau kodireksional, atau l kodireksional pada m, ditulis: l cod m.
Catatan:
Kodireksionalitas garis dapat dianggap sebagai generalisasi dari kesejajaran,
karena sebagai tambahan pada kesejajaran. Kodireksionalitas mencakup koinsidensi yang
merupakan jenis kasus “degenerasi” dari kesejajaran. Dalam situasi tertentu lebih mudah
mempelajari kodireksionalitas daripada kesejajaran karena sifat formalnya lebih biasa
digunakan. Secara khusus kodireksionalitas garis dikatakan merupakan relasi ekivalensi,
yakni:
Untuk sembarang garis l, m, n maka pernyataan berikut ini berlaku:
i. l cod l
ii. jika l cod m, maka m cod l
iii. jika l cod m dan m cod n, maka l cod n
Perhatikan bahwa (i) dan (ii) tidak berlaku untuk kesejajaran relasi garis, dan (iii)
sedikit lebih baik daripada corollary diatas. Postulat E juga lebih disederhanakan jika kita
gantikan kesejajaran dengan kodireksionalitas. Dapat dinyatakan sebagai: diketahui A dan
l, ada garis unik m sedemikian hingga m pada A dan m cod l (dimana kita perlu
mengasumsikan bahwa A tidak pada l).
Karena relasi ekivalensi sering muncul dalam geometri, maka kita perkenalkan
maksud relasi tersebut secara formal.
Definisi
Misalkan S merupakan himpunan dan R merupakan relasi yang melibatkan dua
elemen S, ditulis ARB untuk menuju S dalam urutan yang dinyatakan. Maka R
merupakan relasi ekivalensi dalam S jika sifat – sifat berikut berlaku, dengan A, B, C
menunjukkan elemen dari S yang sembarang.
i. (kerefleksifan) ARA
ii. (kesimetrian) jika ARB, maka BRA
iii. (ketransitifan) jika ARB dan BRC maka ARC
Sebagai contoh, kongruensi atau kesamaan merupakan relasi yang ekivalensi dalam
himpunan semua segitiga.
5.3. Transversalitas Garis
Jika garis l, m koplane (sebidang), maka garis tersebut harus memenuhi salah satu
dari tiga relasi berikut:
1) l // m.
2) l = m, atau
3) l // m dan l ≠ m
Dalam kasus ketiga, l dan m berpotongan dan berbeda. Kasus ini merupakan relasi yang
penting antara dua garis dan sangat berguna dalam studi kesejajaran, dan diperlukan suatu
nama. Jadi, kita perkenalkan definisi berikut:
Definisi
Kita katakan l transvers m, atau l merupakan suatu transversal dari m, atau l dan m
adalah transvers, ditulis l tr m jika l memotong m dan l ≠ m.
Selanjutnya definisi ini dapat ditunjukkan berlaku pada pernyataan – pernyataan berikut:
Teorema 2:
Dalam suatu bidang, garis yang transvers pada salah satu dari dua garis yang
sejajar juga akan transvers pada garis lainnya.
Pernyataan ulang:
Jika l, m, n terletak pada bidang P, l // m, dan n tr l, maka n tr m.
Ilustrasi:
P
n
A l
m
Bukti:
Misalkan A terletak pada garis l, n.
Andaikan n tidak transvers m, maka yang terjadi adalah n = m atau n // m.
Sehingga haruslah:
(i) n ≠ m, maka jika tidak A akan memiliki secara bersama oleh garis sejajar; dan
(ii) n // m, maka jika tidak akan ada dua garis berbeda l dan n, dimana setiap garis
tersebut memuat A, dan setiap garis tersebut sejajar dengan m.
Hal tersebut kontradiksi dengan postulat E, bahwa mestinya hanya ada satu garis sejajar m
yang memuat A. Jika pengandaian salah, sehingga n tr m
Lanjutan BAB V
Teorema 3:
Suatu bidang yang transvers pada salah satu dari dua garis sejajar maka akan
transvers juga pada garis lainnya.
Bukti:
Misalkan l //m, α tr l, akan ditunjukkan bahwa α tr m.
Misalkan A merupakan titik perpotongan garis l dan bidang α, dan misalkan β adalah
bidang yang memuat garis l dan m.
Artinya β ≠ α, jika tidak, l terletak pada β yang berarti l juga terletak pada α.
Hal ini kontradiksi dengan hipotesis α tr l.
Demikian juga A terletak pada l dan l terletak pada β, yang bererti A terletak pada β.
Jadi titik A sama-sama terletak pada αdan β.
Oleh karena itu α berpotongan dengan β.
Perpotongan bidang α dan β pada sebuah garis n yang memuat titik A.
Artinya n ≠ l, jika tidak l akan terletak pada α. Hal ini kontadiksi dengan hipotesis α tr
l. Jadi n tr l sesuai dengan definisi.
Karena l, m, n, terletak di β, maka menurut teorema 2, n tr m.
Misalkan B merupakan titik potong garis n dan m terletak pada α, sehingga B sama-
sama terletak pada α dan M.
Andaikan terdapat titik lain, yakni C yang sama-sama terletak pada bidang α dan garis
m, menurut postulat 15, yaitu jika sebuah bidang mengandung dua titik yang sejenis,
maka bidang itu memuat garis.
Artinya m terletak pada bidang α.
Karena m terletak juga pada bidang β, ini menunjukkan bahwa m ≠n, hal ini
kontradiksi dengan n tr m. Jadi pengandaian salah, dan B satu-satunya titik yang
sama-sama pada m dan α.
Sehingga menurut definisi α tr m.
Corollary 1
Jika l // m dan α tidak tr l, maka α tidak tr m.
Bukti:
Andaikan α tr m, maka menurut teorema 3 : α tr l (kontradiksi dengan hipotesis)
Corollary 2 :
Jika l // m dan α // l , maka α//m atau α memuat m.
Bukti
α// l yang berarti α tidak tr l, maka menurut corollary 1 : α tidak tr m.
Oleh karena itu kemungkinanya hanyalah α//m atau α memuat m.
Corollary 3 :
Jika l // m dan α memuat l, maka α memuat m atau α//m.
Bukti :
Karena α memuat l berarti α tidak tr l, maka α tidak tr m (corollary 1)
Jadi α memuat m atau α // m.
Bukti :
Diketahui α//β, l tr α.
Misalkan A sebuah titik pada β yang tidak pada l, maka menurut postulat E
terdapat garis unik m yang menuat A sedemikian hingga m// l.
Menurut teorema 3, m tr α, m tidak sejajar dengan β, karena m menembus β di A.
M tidak pada β kerena m menembus α dan α // β.
Jadi m tr β, karena m//l maka dianggap bahwa l tr β.
Corollary 1
Jika α//β dan l tidak tr α, maka l tidak tr β.
Bukti :
Andaikan l tr β, maka menurut teorema l tr α (kontradiksi dengan hipotesis).
Corollary 2
Jika α//β dan l //α, maka l//β atau l pada β.
Bukti :
l // α yang beartil tidak tr α.
Jadi menurut corollary 1 : l tidak tr β.
Kemungkinan yang ada hanyalah l // β atau l pada β.
BAB VI
Teori Urutan Pada Garis
Postulat ini perlu mendapatkan catatan. Perhatikan bahwa postulat ini disajikan
dengan diagram yang mudah dibuktikan. Lihat B1 merupakan sifat simetri sederhana
yang hanya menukar urutan secara simetri dari elemen pada relasi (abc) tanpa
mengganggu kevaliditasannya. B2 menyatakan bahwa kita mengubah validitas dari (abc)
jika kita menggunakan permutasi siklik dengan mengubah posisi a, b, c dengan b, c, a.
Relasi Postulat B3 merupakan konsep dasar dari “antara” yang mendasari relasi titik
dan garis pada teori insidensi. Tanpa beberapa sifat, kita mempunyai dua teori terpisah,
yang tidak saling berinteraksi, satu teori untuk insidensi dan satu teori lainnya untuk
betweenness. B3 lebih mudah dipahami sejak relasi urutan digunakan pada permutasi
siklik dari (abc).
B3 mempunyai dua sifat sederhana:
B3.1. (abc) secara tak langsung menyatakan a, b, c berbeda dan kolinear.
B3.2. jika a, b, c, berbeda dan kolinear maka (abc), (bca), or (cab).
Sebenarnya, B3 ekuivalen dengan B3.1 dan B3.2 dan B3 merupakan formulasi
sederhana dengan adanya dua sifat tersebut.
B4 sejalan atau memiliki satu dimensi dengan Postulat Pasch (Bab 11) yang
diformulasikan secara asli sebagai sifat dari segitiga.Dan termasuk dalam jenis postulat
pemisahan yag lemah. Tampak pada (abc) diman b sebagai pemisah a dan c. maka
kesimpulannya B4 adalah jika p pemisah a dari b seharusnya memisahkan a atau b dari c
tetapi bukan keduanya. Secara intuitif, c harus terletak pada sisi p berlawanan dengan a
atau b tetapi tidak keduanya. Sebagai catatan bahwa tak ada asumsi pada B4 yang dapat
menjadi ketetapan pada a, b, c dan hal itu valid misalnya jika b = c.
B5 diperkenalkan untuk meyakini eksistensi dari titik yang dapat timbul dalam
diskusi kita. Hal ini mencegah teori agar tidak trivial.
Pada relasi betweenness, dikatakan (abc), secara natural kita akan bertanya yang
mana relasi betweenness yang diikuti dari hal itu. B1 dan B2 memberikan jawaban
terpisah. Jawaban selengkapnya dapat ditemukan dalam:
Teorema 1
(abc) secara tak langsung menyatakan (cba) dan (abc) secara tak langsung
menyatakan ketidakbenaran dari (bca), (bac), (acb), dan (cab).
Bukti:
(abc) secara tak langsung menyatakan (cba)…B1
(abc), (cba) masing-masing secara tak langsung menyatakan ketidakbenaran dari
(bca), (bac)…B2
Andaikan (acb) maka (bca) adalah salah…B1
Karenanya (acb) pasti salah.
Alasan yang sama untuk membuktikan (cab) adalah salah.
Corollary
(abc) jika dan hanya jika (cba). sehingga (abc) dan (cba) adalah ekuivalen.
Sebagai pelengkap, teori dari urutan tiga titik. kemudian (sub bab 15 ke bawah) kita
akan mendiskusikan teori urutan dari empat titik.
6.4. Segmen
Bentuk geometri yang paling sederhana dan sangat penting setelah garis adalah
segmen garis yang akan didefinisikan dengan mudah dalam istilah urutan.
Definisi
Jika a≠b, himpunan dari semua titik x sedemikian hingga (axb) disebut segmen ab
yang dinotasikan ab, ab dinamakan titik ujung dari segmen ab yang disebut dengan
penghubung a dan b.
Teorema 2
Jika a≠b maka:
i. ab = ba;
ii. ab subset ab;
iii. a,b bukan elemen dari ab;
iv. ab bukan himpunan kosong.
Bukti:
i. Bahwa ab dan ba adalah himpunan yang identik. Artinya, himpunan tersebut
memiliki anggota yang sama. Tepatnya masing- masing anggota ab adalah
sebuah elemen di ba dan sebaliknya.
Gambar 6.1
Jika titik awal adalah a dan b merupakan titik ada arah yang diberikan dari a, maka
garis akan terdiri atas semua titik antara a dan b dan bersama denga b, semua titik diluar b
yang relatif terhadap a (gb 10.1)
a b
Gambar 6.2
Definisi:
jika a b , himpunan semua titik x sedemikian sehingga (xab) disebut garis
berarah dan dinotasikan dengan a/b, dibaca a atas b. kadang-kadang a/b disebut
pepanjangan atau prolongasi 𝑎𝑏 diluar a. titik a dikatakan titik ujung garis a/b
Catatan:
Perhatikan bahwa garis didefinisikan sehubungan dengan titik dank e-antaraan.
Deskripsi intuitif sehubungan dengan “arah” yang dihasilkan, menurut analisis,
merupakan definisi formal dimana “arah” tidak muncul. Akan tetapi, ide arah tetap
menjadi bagian substruktur pengetahuan geometrik, ide tersebut membantu kita mengerti
dan mengasimilasikan sifat garis dan bahkan membuka pemikiran akan sifat yang baru.
Definisi diatas tentang garis dimotivasi oleh ode mengenai arah. Dengan
memformalisasikan konsep garis, kita dapat menggunakan konsep tersebut dan kita bisa
memberikan arah yang tepat. Misalkan, kita mendefinisikan “b” dan c berada pada arah
yang sama dari a untuk mengartikan bahwa b dan c memiliki arah sinar yang sama dengan
titik ujung a. Ide yang lebih sulit bahwa arah dari a ke b adalah sama seperti dari c menuju
d (dimana a, b, c, d merupakan titik-titik yang kolinier) dapat didefinisikan sehubungan
dengan konsep garis berarah.
Teorema 3
Jika a b , maka
i. a/b, b/a merupakan subset dari ab
ii. a, b bukan elemen dari a/b
iii. a/b merupakan himpunan tak kosong
Bukti:
i. Kita buktikan a/b merupakan subset dari ab dengan menunjukkan bahwa setiap
elemen a/b juga elemen dari ab. Misalkan x merupakan elemen a/b. menurut
definisi a/b, kita mendapatkan (xab). Hal ini secara tak langsung menyatakan
bahwa x berada pada ab. Jadi a/b merupakan subset ab. Hal yang serupa juga
berlaku untuk b/a
ii. Lanjtkan seperti pada teorema 2, asumsikan a (atau b) berada pada a/b dan
dapatkan suatu kontradiksi
iii. Gunakan B5 pada teorema 2
6.6. Konsep dan Terminologi Teori Himpunan
Studi geometri ternyata berbeda dari aljabar karena secara efektif, geometri
melibatkan konsep himpunan dari sejak awal. Kita memberikan postulat garis dan bidang
menjadi himpunan titik, kita mempelajari sifat perpotongan garis dan bidang, kita
mendefinisikan segmen dan garis merupakan subset garis yang tak kosong. Sekarang kita
menjadi lebih terlibat dengan relasi himpunan dan operasi himpunan dan penting untuk
memformalisasikan dan menggunakan notasi yang sesuai untuk relasi tersebut.
Himpunan merupakan koleksi, kesatuan, kumpulan atau kelas objek, yang disebut
elemen. Jika himpunan berhingga, maka himpunan tersebut dapat didefinisikan dengan
mendaftarkan anggotanya, misalnya himpunan yang terdiri atas titik ujung dan titik
tengah segmen yang diketahui, atau himpunan yang terdiri atas bilangan 1, 3, 997, dan 13.
secara umum, himpunan didefinisikan dengan menspesifikasi “sifat penetapan” yakni,
sifat yang berlaku untuk setiap elemen ab, dengan mendefinisikan sifat (axb); yakni titik x
dikatakan elemen dari himpunan ab jika dan hanya jika x berada antar a dan b. dalam
geometri, masalah kedudukan melibatkan definisi, sebagai contoh, himpunan titik dimana
setiap titik berjarak sama dari dua titik yang diketahui.
Kadangkala, suatu sifat dispesifikasikan dengan memenuhi sifat tidak memiliki
elemen, misalnya, him[unan segitiga Euclid yang memiliki dua sudut tumpul. Dalam
kasusu ini, kita katakana sifat tersebut mendefinisikan himpunan kosong atau nul, yang
dikarakteristikan sebagai tidak punya elemen. Himpunan kosong dinotasikan dengan ø.
Jika himpunan A merupakan subset dari B kita tulis A B atau B A. A B berarti
bahwa setiap elemen A merupakan elemen B tetapi meniadakan pernyataan bahwa A = B.
sifat refleksif A a berlaku untuk setiap himpunan A. (bandingkan keterbagian dalam
aritmatika, dimana setiap bilangan bulat merupakan pembagi dirinya sendiri). Perhatikan
bahwa hokum transitif berlaku untuk pemuatan himpunan: A B, B C yang secara tak
langsung menyatakan A C.
Dalam hubungan dengan elemen dan garis secara simultan, misalnya, titik dan
bangun geometric, kita perlu membadakan titik dan garis dengan pemilihan notasi yang
sesuai. Perlu adanya notasi untuk mengindikasikan bahwa x merupakan elemen dari
himpunan A. Notasi konvensional adalah x A (dibaca x berada dalam A atau x milik
A). kadang lebih disukai mengkonversi x A yakni kondisi A memuat x sebagai elemen,
tetapi nampaknya tidak ada notasi yang cukup atraktif untuk bentuk ini. Kadangkala
x A berarti subset dari dan dalam x A diinversikan sebagai A x, yang berarti kita
telah memperkenalkan 4 simbol pemuatan; , ,, . Jadi, kita ambil lintasan yang
berbeda dan mengekspresikan x sebagai suatu elemen A, cukup nyatakan x A atau
A x . Ada sedikit keberatan mengenai penggunaan ini, karena kita menggunakan
symbol dalam dua arti: dalam x A berari subset dari dan dalam x A berarti
elemen dari. Kedua hal ini berhubungan, tetapi memiliki ide yang berbeda; meskipun
garis merupakan subset dari bidang, kita katakana bahwa garis merupakan elemen dari
bidang. Akan tetapi, tidak muncul ambigu dalam pelakuan kita, karena “alphabet” kita
membedakan elemen dari himpunan, dan kita punya keunggulan dengan menggunakan
satu simbol untuk dua ide yang terhubung.
Catatan:
Cara yang lebih formal dalam memendang penggunaan adalah: misalkan (x)
menunjukkan himpunan yang hanya memiliki elemen x, maka x A secara logika
ekiuvalen dengan (x) A. sehingga penggunaan untuk pemuatan elemen merupakan
persetujuan atas penghilangan tanda kurung dalam konteks yang menghidarkan
keambiguan.
Definisi
Jika A, b adalah himpunan, A B yang disebut gabungan A dan b, merupakan
himpunan yang memuat setiap elemen dari A, setiap elemen dari B dan bukan elemen
lainnya.
A B dikarakteristikkan dengan sifat: x A B jika dan hanya jika x A atau
x B (dimana kedua kemungkinan dapat saja terjadi). Jadi, x A B jika dan hanya
jika elemen dari setidaknya satu dari A, B, dan x A B jika dan hanya jika x A dan
x B . Perhatikan bahwa A B dapat didefinisikan terdiri dari atas semua elemen A
bersama dengan elemen B yang tidak berada dalam A.
Jika A merupakan himpunan dan b merupakan elemen A b (atau b A )
menunjukkan himpunan yang berbentuk dan menghubungkan b pada elemen A.
Perhatikan bahwa jika b berada dalam A, A B A . Jadi, ada hokum Absorpsi: jika
B A , maka A B A , jadi hokum idempoten; A A A berlaku benar.
Karena A B merupakan himpunan yang dapat kita bentuk gabungn dengan
himpunan C yang diekspresikan ( A B) C . Serupa pula, dibentuk A ( B C ) .
( A B) C memuat setiap elemen dari A, dari B dan dari C, dan bukan elemen lainnya.
Demikian juga A ( B C ) . Jadi ( A B) C = ( A B) C . Dan ditulis A B C
untuk bentuk ekspresi lainnya, dan mengacu sebagai gabungan himpunan A, B, C,
perhatikan bahwa x A B C jika dan hanya jika x setidaknya satu elemen dari A, B,
C, dan x A B C jika dan hanya jika x A , x B , x C . Ide ini digeneralisasi
untuk beberapa himpunan.
Kita dapat memperlakukan persamaan seperti dalam aljabar biasa, misalnya,
diberikan A = B, dapat kita simpulkan A X B X . Tetapi konvensi dari persamaan
Prinsip kanselasi
Jika A X B X maka A = B, asalkan X saling asing dengan A dan dengan B.
Bukti:
Untuk membuktikan A = B, kita tunjukkan bahwa x A secara tak langsung
menyatakan x B dan berlaku konvensinya. Anggaplah x A , maka x A X ,
sehingga x B X . Jadi, x B atau x X . Tetapi, x X karena A dan X saling
asing. Karenanya x B . Yakni, x A secara tidak langsung menyatakan x B .
Konversinya juga dibuktikan serupa, dan kita simpulkan A = B.
Teorema 4
Jika a b maka ab a b b b a , dan dua suku di sebelah kanan tanda sama
dengan adalah saling asing.
a/b b/a
a b
Gambar 6.3
Bukti
Misalkan S menunjukkan himpunan a b a ab b b a kita buktikan S = ab
dengan menunjukkan bahwa S ab dan konversinya ab S . Menurut teorema 2 dan 3,
setiap ab, a b , b a meupakan subset dari ab. Karena a, b ab , maka S ab .
Sekarang kita tunjukkan ab S . Misalkan x ab , jika x = a, atau x = b, maka x
berada dalam S. jika x a, b maka menurut B3.2, (abx), (bxa), (xab). Pertama, anggaplah
(abx) Maka B1 secara tak langsung menyatakan (xab) dan x b a menurut definisi garis
Misalkan x adalah titik yang dimiliki kedua himpunan itu. Maka (axb) dan (xab), yang
dan (xba), yang kontradiksi dengan teorema 1. Karenanya a b , b a saling asing dan
bukti telah lengkap.
tidak berada pada garis a b (teorema 3). Relasi antara konsep garis berarah dan ide arah
menyatakan bahwa a b dapat ditentukan dengan menspesifikasi titik ujung a dan satu
dari titiknya, katakanlah c, karena dirasa c terletak pada arah yang unik dari a. Hal ini
ditetapkan dalam cororllary 1 di bawah ini. Corollary 1 menghasilkan definisi (dan notasi)
untuk cara baru penentuan garis berarah, yang dihubungkan dengan formulasi asal dalam
corollary 3, 4, 6, 7. kunci untuk diskusi lebih lanjut adalah teorema 5, yang dapat
dinyatakan:
Jika dua garis berarah dengan sama titik ujung memiliki titik yang dimiliki
bersama, maka mereka pasti saling berimpit.
Teorema 5
Jika p a bertemu dengan p b maka p a = p b
x c p a b
Gambar 6.4
Bukti
Pertama kita tunjukkan bahwa (apb) salah dengan menggunakan B4. Misalkan
c p a , p b . Maka (cpa) dan (cpb), sehingga p c , a, b dan p kolinier dengan c, a, b.
jadi menurut B4, (cpa) secara tidak langsung menyatakan (cpb) atau (apb) tetapi tidak
keduanya. Karenanya (cpb), maka (apb) salah.
Sekarang kita tunjukkan bahwa p a p b . Misalkan x p a ; maka (xpa). Kita
Bukti
Karena p a , menurut B5, ada titik x sedemikian sehingga (apx). Jadi
sebarang garis berarah denga titik ujung p akan memiliki bentuk p y , anggaplah p y
b a b a
(a) (b)
Gambar 6.5
Pengantar konsep garis berarah (sub bab 5) mencangkup dua konstruksi informal
yang dapat dijelaskan sebagai berikut:
A. Mulai dari titik a dan bergerak tidak berujung dalam arah yang diberikan oleh titik b
(gb 10.5(a))
B. Mulai dari a dan bergerak tidak berujung dalam arah yang berlawanan dengan b (gb
10.5(b))
Kontruksi (B) menghasilkan definisi garis berarah dalam bentuk a b . Sekarang Corollary
1 memudahkan kita memformalisasikan (a)
Definisi
Jika p a , garis berarah unik dengan titik ujung p yang memuat a dinotasikan
Bukti
Menurut Teorema 3, p a . R merupakan garis berarah dengan titik ujung p yang
memuat a, menurut corollary 1, R hanya satu-satunya garis berarah. Jadi menurut definisi
R adalah pa
Hal ini dapat diekspresikan xecara lebih tegas dengan menggunakan bentuk khusus
untuk R, misalnya:
Jika a p x maka p x pa
Corollary 3
Sebarang garis berarah p x dengan titik ujung p dapat diekspresikan dalam bentuk pa
Bukti
Menurut teorema 3, p x tidak kosong dan memuat titik a. jadi p x pa .
Corollary 4
(apb) secara tak langsung menyatakan pa p b , pb p a
pa pb
a p b
Gambar 6.6
Bukti:
(apb) secara tak langsung menyatakan a p b menurut corollary 2, p a pa .
Menurut B1 (apb) secara tak langsung menyatakan (bpa) dan argument diatas
menghasilkan p a pb .
Hasil ini sangatlah berguna, hasil ini memudahkan kita mengkonvensikan garis
berarah dari bentuk „panah‟ menjadi bentuk pecahan atau kebalikannya bila diperlukan.
Secara kasar, hasil ini dapat dibandingkan dengan prinsip aljabar a b ab 1 yang
mengkonvensikan hasil bagi menjadi hasil kali. Kita gunakan bentuk ini untuk
membuktikan
Corollary 5
ab ab, asalkan a b
Bukti:
Misalkan c memenuhi (cab). Menurut corollary 4 dan teorema 3,
ab ab
a b
Gambar 6.7
Corollary 4 memiliki dua akibat tambahan yang berhubungan dengan bentuk garis
berarah „panah‟ dan „pecahan‟.
Corollary 6
Jika pa p b maka pb p a
Bukti:
a pa p b . Jadi (apb) dan corollary 4 secara secara tak langsung menyatakan
pb p a .
Corollary 6, menyatakan bahwa jika arah a dari p berlawanan dengan arah b, maka
arah b dari p berlawanan dengan arah a. diekspresikan secara formal, bentuk ini
merupakan prinsip trasposisi karena mempertukarkan a dan b dalam hubungan pa p b
untuk memperoleh pb p a
Corollary 7
pa pb jika dan hanya jika p/a dan p/b.
Bukti:
Misalkan pa pb p x . Menurut corollary 6, px p a dan px p b . Jadi p/a =
pb p y sehingga pa pb
Lanjutan BAB VI
Gambar 6.8
Teorema 6
Diketahui sinar R, R‟ memiliki sebuah titik akhir yang sama yaitu titik p. Ada titik
a di R dan titik b di R‟ sehingga diperoleh urutan (apb). Maka p terletak di antara setiap
titik di R dan setiap titik di R‟, sehingga R dan R‟ berlawanan.
R R‟
a b
x p y
Gambar 6.9
Bukti:
Diketahui a R dan b R‟
1. 𝑅 = 𝑝𝑥 = pa
2. 𝑅 = 𝑝𝑦 = pb
3. 𝑝𝑎 = p b Teorema 5 Corollary 4
4. Dari 1 dan 3 diperoleh 𝑝𝑥 = 𝑝 𝑏 menyisihkan a
5. Jika pa = p b maka 𝑝𝑏 = p a Teorema 5 Corollary 6
6. Dari 4 dan 5 diperoleh 𝑝𝑏 = 𝑝 𝑥
7. Dari 2 dan 5 diperloleh 𝑝𝑦 = 𝑝 𝑥 menyisihkan b
8. Jadi y ⊂ 𝑝/𝑥 maka urutan (ypx) atau (xpy)
Corollary 1
Sinar 𝑝𝑎 dan 𝑝/𝑎 adalah berlawanan dan p terletak diantara dua titik pada masing-
masing sinar tersebut.
Corollary 2
Dimisalkan (apb), maka 𝑝/𝑎 dan 𝑝/𝑏 adalah berlawanan dan p terletak diantara
dua titik pada masing-masing sinar tersebut.
Corollary 3
Pasangan dari sinar yang berlawanan bersifat saling lepas.
Corollary 4
Tidak ada sinar yang berlawanan dengan dirinya sendiri.
Corollary 1
Teorema diatas tidak berlaku jika menganggap p/a, p/b sebagai 𝑝𝑎, 𝑝𝑏.
Berdasarkan Teorema 5 Corollary 4 𝑝/𝑎 = 𝑝𝑏, 𝑝/𝑏 = 𝑝𝑎
Corollary 2
Diketahui p L, maka p memisahkan L menjadi dua bagian dimana bagian
Corollary 3
Jika a ≠ b, maka 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 dan 𝑎/𝑏, 𝑎, 𝑎𝑏 saling lepas.
Bukti:
1. Berdasarkan B5 (hal. 186) jika a ≠ b, terdapat x maka urutannya (xab)
2. Berdasarkan Teorema 4 (hal. 193) jika a ≠ b, maka 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 ∪ 𝑏 ∪
𝑏/𝑎
3. Sehingga 𝑎𝑏 = 𝑥𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎/𝑥 dimana 𝑎/𝑏, 𝑎, 𝑎/𝑥 saling lepas.
4. Berdasarkan Teorema 5 Corollary 4 (hal.195) diperoleh 𝑎/𝑥 = 𝑎𝑏
5. Sehingga dari 2 dan 3 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 dimana 𝑎/𝑏, 𝑎, 𝑎𝑏 saling lepas.
Corollary 4
Jika a ≠ b maka 𝑎𝑏 = 𝑎𝑏 ∪ 𝑏 ∪ 𝑏/𝑎 dan 𝑎𝑏, 𝑏, 𝑏/𝑎 saling lepas.
𝑎𝑏
𝑎/𝑏 a 𝑎𝑏 b 𝑏/𝑎
Gambar 6.10
Bukti:
1. Corollary 3 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏
2. Teorema 4 (hal. 193) 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 ∪ 𝑏 ∪ 𝑏/𝑎
3. Dari 1 dan 2 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 ∪ 𝑏 ∪ 𝑏/𝑎
4. Sehingga diperoleh 𝑎𝑏 = 𝑎𝑏 ∪ 𝑏 ∪ 𝑏/𝑎 dan 𝑎𝑏, 𝑏, 𝑏/𝑎 saling lepas.
Corollary 5
Diketahui a ≠ b maka x ⊂ 𝑎𝑏 jika dan hanya jika (axb) atau x = b atau (abx)
x x x
a
b
Gambar 6.11
Corollary 6
Diketahui (abc), maka 𝑎𝑏 = 𝑎𝑐 dan 𝑎/𝑏 = 𝑎/𝑐
Bukti:
1. Berdasarkan Corollary 5 (abc) maka b ⊂ 𝑎𝑐
2. Berdasarkan Teorema 5 Corollary 2 (hal. 195) diperoleh 𝑎𝑏 = 𝑎𝑐
3. Berdasarkan Teorema 6 Corollary 7 (hal.196) diperoleh 𝑎/𝑏 = 𝑎/𝑐
6.12. Pemisahan Sebuah Segmen oleh Sebuah Titik
Teorema 8
Andaikan (apb), maka p memisahkan 𝑎𝑏 menjadi 𝑎𝑝 dan 𝑝𝑏
a 𝑎𝑝 𝑝𝑏 b
p
Gambar 6.12
Catatan 𝑎𝑝, 𝑝𝑏 ≠ ∅
Kita harus membuktikan:
(i) 𝑎𝑏 = 𝑎𝑝 ∪ 𝑝 ∪ 𝑝𝑏
Bukti:
1. 𝑎𝑏 = 𝑝𝑎 ∪ 𝑝 ∪ 𝑝𝑏
Bukti:
- Teorema 7 Corollary 3 𝑎𝑏 = 𝑎/𝑏 ∪ 𝑎 ∪ 𝑎𝑏 𝑎𝑏 = 𝑝/𝑏 ∪ 𝑝 ∪ 𝑝𝑏
- Teorema 7 Corollary 1 𝑝/𝑎 = 𝑝𝑏, 𝑝/𝑏 = 𝑝𝑎 𝑎𝑏 = 𝑝𝑎 ∪ 𝑝 ∪ 𝑝𝑏
2. 𝑝𝑎 = 𝑝𝑎 ∪ 𝑎 ∪ 𝑎/𝑝
Bukti:
- Teorema 7 Corollary 4 𝑎𝑏 = 𝑎𝑏 ∪ 𝑏 ∪ 𝑏/𝑎 𝑝𝑎 = 𝑝𝑎 ∪ 𝑎 ∪ 𝑎/𝑏
3. 𝑝𝑏 = 𝑝𝑏 ∪ 𝑏 ∪ 𝑏/𝑝
Bukti:
- Teorema 7 Corollary 4 𝑎𝑏 = 𝑎𝑏 ∪ 𝑏 ∪ 𝑏/𝑎 𝑝𝑏 = 𝑝𝑏 ∪ 𝑏 ∪ 𝑏/𝑝
4. 𝑎/𝑝 = 𝑎/𝑏 dan 𝑏/𝑝 = 𝑏/𝑎
Bukti:
- Teorema 7 Corollary 6 𝑎/𝑏 = 𝑎/𝑐 𝑎/𝑝 = 𝑎/𝑏 dan 𝑏/𝑝 = 𝑏/𝑎
5. 𝑎𝑏 = 𝑎𝑝 ∪ 𝑝 ∪ 𝑝𝑏 ∪ 𝑎/𝑏 ∪ 𝑎 ∪ 𝑏 ∪ 𝑏/𝑎
Bukti:
- Substitusi 4 ke 2 dan 3
(2) 𝑝𝑎 = 𝑝𝑎 ∪ 𝑎 ∪ 𝑎/𝑝 𝑝𝑎 = 𝑝𝑎 ∪ 𝑎 ∪ 𝑎/𝑏
(3) 𝑝𝑏 = 𝑝𝑏 ∪ 𝑏 ∪ 𝑏/𝑝 𝑝𝑏 = 𝑝𝑏 ∪ 𝑏 ∪ 𝑏/𝑎
- Hasil tersebut substitusi ke 1
𝑎𝑏 = 𝑝𝑎 ∪ 𝑝 ∪ 𝑝𝑏
𝑎𝑏 = 𝑝𝑎 ∪ 𝑎 ∪ 𝑎/𝑏 ∪ 𝑝 ∪ 𝑝𝑏 ∪ 𝑏 ∪ 𝑏/𝑎
𝑎𝑏 = 𝑎𝑝 ∪ 𝑝 ∪ 𝑝𝑏 ∪ 𝑎/𝑏 ∪ 𝑎 ∪ 𝑏 ∪ 𝑏/𝑎
6. 𝑎𝑏 = 𝑎𝑏 ∪ 𝑎/𝑏 ∪ 𝑎 ∪ 𝑏 ∪ 𝑏/𝑎
𝑎𝑏 = 𝑎𝑝 ∪ 𝑝 ∪ 𝑝𝑏 (i)
(ii) p terletak di antara titik pada 𝑎𝑝 dengan titik pada 𝑝𝑏
1. Teorema 7 p terletak di antara titik pada 𝑝/𝑎 dengan titik pada 𝑝/𝑏
2. Berdasarkan Teorema 5 Corollary 4 𝑝/𝑎 = 𝑝𝑏, 𝑝/𝑏 = 𝑝𝑎
3. Sehingga p terletak di antara titik pada 𝑎𝑝 dengan titik pada 𝑝𝑏