geometri eliptik
DESCRIPTION
Geometri Eliptik adalah salah satu geometri non euclid dimana bola adalah bidangnya.TRANSCRIPT
GEOMETRI ELIPTIK
Disusun Guna Memenuhi Tugas Mata Kuliah Geometri non Euclid
Dosen Pengampu: Heri Sutarto, M.Pd
Oleh:
1. Kiki Wulandari (4101410036)
2. Pamila Aditianingrum (4101410088)
3. Atika Rosiana (4101411116)
4. Prasetya Adi Pungkas (4101412061)
5. Nila Kumoro Manah (4101412129)
JURUSAN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
UNIVERSITAS NEGERI SEMARANG
2014
1
GEOMETRI ELIPTIK
A. SEJARAH GEOMETRI ELIPTIK
Ilmu tentang astronomi telah banyak dipelajari berabad-abad sebelum
masehi, hal ini terlihat dengan adanya bukti-bukti peninggalan sejarahtentang
system penanggalan kuno dan peramalan untuk memperkirakan fenomena
alam, masa kesuburan pertanian dan sifat seseorang dipandang darisegi rasi
bintang. Semakin lama, ilmu perbintangan semakin menarik untuk dipelajari
hingga ke hal-hal yang bersifat teoretik. Namun misteri perbitangan secara
teoretik tidak dapat dipecahkan karena teori yang diakui pada masa itu adalah
teori yang berpegang pada postulat Euclid yang membangun konsep bidang
datar. Untuk memecahkan kesulitan tersebut para astronom dan
matematikawan membuat terobosan baru dalam bidang geometri. Sejak saat
itu, para astronom mulai mengumpulkan berbagai referensi sejarah untuk
mendukung terobosan baru tersebut.Berdasarkan catatan sejarah yang ditulis
oleh Claudius Ptolemy(150 SM), seorang ahli geografi, astronomi, dan
astrologi berkebangsaan Yunani, menuliskan pada bukunya Geographica
bahwa βuntuk menempuh jarak terdekatantara dua titik pada bumi, maka
seseorang harus mengikuti lingkaran yang memuat dua titik tersebutβ. Selain
itu, Nicolaus Copernicus (1473-1543) menyatakan dalam bukunya bahwa
βbumi berputar pada porosnya, β¦.β, dan dari ekspedisi penjelajahan
mengelilingi dunia yang dilakukan oleh Christoper Colombus (1451-1506)
dan pendahulu-pendahulunya membuktikan bahwa bumi berbentuk bulat.
Referensi ini membuka ide baru bidang geometri eliptik yang
kemudian memberikan pengaruh besar pada bidang astronomi, geografi, dan
fisika modern. Berdasarkan referensi sejarah tersebut dan beberapa referensi
lain, maka untuk pertamakalinya, matematikawan Benhard Riemann (1826-
1866) memperkenalkan geometri bola sebagai geometri non-Euclid. Dalam
pandangan Riemann pada geometri bola, garis merupakan lingkaran besar
pada bola yang memuat dua titik. Riemann menganalisis postulat kesejajaran
Euclid dan menemukan kejanggalan-kejanggalan. Dari kejanggalan tersebut
Riemann mengembangkan teori geometri bola yang dapat membuktikan
2
postulat kesejajaran Riemann dan memenuhi definisi titik dan garis yang
didefinisikan oleh Euclid. Pandangan Riemann ini kemudian dimodifikasi
oleh Christian Klein (1849-1925) dengan memandang bahwa setiap pasang
titik antipodal (titik yangberlawanan pada lingkaran besar) merupakan titik
yang identik/sama. Klein mengembangkan model geometri bola dan
menyebutnya dengan variasi geometri eliptik. Selanjutnya disajikan secara
singkat tokoh-tokoh penemu dan pengembang geometri eliptik.
SEJARAH RIEMANN
Georg Friedrich Bernhard Riemann (17 September
1826 β 20 Juli 1866). Beliau ialah matematikawan
Jerman yang membuat sumbangan penting pada
analisis dan geometri diferensial, beberapa darinya
meratakan jalan untuk pengembangan lebih lanjut
pada relativitas umum. Namanya dihubungkan
dengan fungsi zeta Riemann, integral Riemann,
lema Riemann, manipol Riemann, teorema
pemetaan Riemann, problem Riemann-Hilbert,
teorema Riemann-Roch, persamaan Cauchy-Riemann dan lain-lain. Ia lahir
di Breselenz, sebuah desa dekat Dannenberg di Kerajaan Hanover di Jerman
sekarang. Ayahnya Friedrich Bernhard Riemann ialah pastor Lutheran di
Breselenz. Bernhard merupakan anak kedua dari 6 bersaudara. Pada 1840
Bernhard pergi ke Hanover untuk tinggal dengan neneknya dan mengunjungi
Lyceum. Setelah kematian neneknya pada 1842 ia pindah ke Johanneum di
LΓΌneburg. Pada 1846, pada usia 19, ia mulai belajar filologi dan teologi di
Universitas GΓΆttingen. Ia mengikuti ceramah Gauss. Pada 1847 ayahnya
mengizinkannya berhenti belajar Teologi dan mulai belajar matematika.
Pada 1847 ia pindah ke Berlin, di mana Jacobi, Dirichlet dan Steiner
mengajar. Ia tinggal di Berlin selama 2 tahun dan kembali ke GΓΆttingen pada
1849. Riemann menyelenggarakan ceramah pertamanya pada 1854, yang tak
hanya menemukan bidang geometri Riemann namun menentukan tahapan
untuk relativitas umum Einstein. Ia dipromosikan sebagai guru besar
istimewa di Universitas GΓΆttingen pada 1857 dan menjadi guru besar luar
3
biasa pada 1859 menyusul kematian Dirichlet. Pada 1862 ia menikahi Elise
Koch. Ia meninggal akibat tuberkulosis pada perjalanan ketiganya ke Italia di
Selasca. Sumbangsih Riemann dalam matematika berada di bidang geometri
diferensial yang menyingkap cara-cara umum untuk membuat pengukuran
dalam ruang dengan sembarang lengkungan dan jumlah dimensi. Sumbangsih
Riemann dalam geometri adalah berupa teori tentang geometri yang berbeda
dengan geometri euclid. Pada tahun 1954 Riemann membacakan disertasinya
tentang penemuannya yang baru di Fakultas Filsafat Gottingen. Ia memulai
dengan asumsi : Garis-garis adalah tidak terbatas, tetapi panjangnya
berhingga. Riemann tidak mengindahkan postulat kesejajaran dari geometri
euckides maupun dari geometri hiperbolik. Postulat kesejajaran dari Riemann
adalah: Tidak ada garis-garis yang sejajar dengan garis lain. Jadi
menurutnya, dua garis selalu berpotongan dan tidak ada dua garis sejajar.
Untuk selanjutnya geometri elliptik dikenal sebagai Geometri Riemann.
B. PENGANTAR GEOMETRI ELIPTIK
Geometri Eliptik berbeda dengan Geometri Eucli hanya pada postulat
kesejajarannya saja. Postulat kesejajaran dari Riemann adalah sebagai berikut
(Moeharti, 1986: 5.17)
Tidak ada garis-garis sejajar dengan garis lain.
Berdasarkan postulat tersebut, Riemann mengemukakan bahwa dua
garis selaluberpotongan dan tidak ada dua garis sejajar (Budiarto dan
Masriyah, 2007: 172). Dalam geometri Euclid, postulat kesejajaran Euclid,
dua garis yang tegak lurus terhadap garis yang sama adalah sejajar.
Diketahui: Dua garis yang berbeda l dan m yang tegak lurus terhadap garis n.
Adb. l dan m sejajar.
Andaikan π β¦ π, maka l dan m berpotongan pada suatu titik, misal C.
Misalkan A dan B berturut-turut merupakan titik potong garis l dan m
terhadap garis n.
4
No. Langkah Alasan
1. Perpanjang CAΜ Μ Μ Μ sedemikian sehingga
diperoleh πΆπ΄ = π΄πΆβ, dimana Cβ
terletak di perpanjangan CAΜ Μ Μ Μ
Ruas garis dapat diperpanjang
2. Melalui Cβ dan B dapat dibuat Cβ²BΜ Μ Μ Μ Μ . Melalui dua titik sebarang
dapat dibuat sebuah garis.
3. Ξπ΄π΅πΆ β Ξπ΄π΅πΆβ² Sisi, sudut, sisi
4. β π΄π΅πΆ = β π΄π΅πΆβ² Akibat dari Ξπ΄π΅πΆ β Ξπ΄π΅πΆβ²,
maka sisi-sisi yang bersesuaian
adalah sama.
5. π΅πΆ = π΅πΆβ Akibat dari Ξπ΄π΅πΆ β Ξπ΄π΅πΆβ²,
maka sisi-sisi yang bersesuaian
adalah sama.
6. β π΄π΅πΆ = β π΄π΅πΆ β² = 90Β°, maka BC
dan BCβ tegak lurus AB
Diketahui
7. BCΜ Μ Μ Μ dan BCβ²Μ Μ Μ Μ Μ berhimpit, berarti πΆ = πΆβ
8. π = π
Terdapat kontradiksi dengan yang diandaikan, yaitu bahwa l dan m berlainan.
Jadi, pengandaian di atas salah, ini berarti l dan m sejajar.
Analisis Riemann terhadap pembuktian teorema di atas sebagai berikut.
a. Pandangan penting adalah Langkah 6, bahwa βl dan m serupaβ karena
garis tersebut memiliki titik C dan Cβ secara bersama-sama. Langkah ini
akan gagal jika C dan Cβ tidak berbeda.
5
b. Euclid mengasumsikan bahwa setiap garis βmemisahkan bidang menjadi
dua sisi yang berhadapan (Separation Principle)
c. Dalam pandangan sifat pemisahan, konstruksi dalam Langkah 1
pembuktian di atas (untuk memperluas CA melalui panjangnya Cβ)
menjamin bahwa C dan Cβ berada pada sisi sehadap dari n dan merupakan
titik yang berbeda.
d. Tanpa sifat pemisah, keberadaan C dan Cβ tidak memiliki justifikasi
formal dan bukti tersebut akan gagal.
Berdasarkan analisis Riemann di atas, maka muncul dua teori baru yang
berangkat dari dua kemungkinan berikut.
a. Jika prinsip pemisahan tersebut diterima, C dan Cβ haruslah merupakan
titik yang berbeda. Dengan kata lain, setiap dua garis berpotongan pada
dua titik dan setiap garis memisahkan bidang.
b. Jika mengabaikan prinsip pemisahan, maka C dan Cβ merupakan titik yang
sama. Dengan kata lain, setiap dua garis berpotongan pada satu titik dan
tidak ada garis yang memisahkan suatau bidang.
Kemungkinan pertama di atas yang mendasari munculnya geometri eliptik
ganda (double elliptic geometry) dan kemungkinan kedua mendasari
munculnya geometri eliptik tunggal (single elliptic geometry). Gambar
berikut ini berturut-turut merupakan model dari geometri eliptik tunggal dan
geometri eliptik ganda.
Model Geometri Eliptik tunggal (Moeharti, 1986: 5.19)
Sebarang dua garis yang berpotongan tepat pada satu titik, tetapi tidak
ada garis yang memisahkan bidang tersebut.
6
Model Geometri Eliptik ganda (Moeharti, 1986: 5.19)
Dua garis berpotongan tepat pada dua titik, dan setiap garis
memisahkan bidang.
Sifat Kutub pada Bidang Geometri Eliptik
Seperti halnya dalam geometri Euclid dan Lobachevski, geometri
eliptik memenuhi beberapa hal berikut.
a. Hanya ada satu garis yang tegak lurus terhadap garis yang melalui
sebuahtitik yang diberikan, jika titik tersebut terletak pada garis yang
diberikan.
7
b. Tetapi sifat di atas tidak terpenuhi, jika titik tersebut tidak berada pada
garisyang diketahui, karena sebarang dua garis yang tegak lurus dengan
garis yangsama akan berpotongan.
c. Untuk setiap garis l pada bidang geometri eliptik, ada titik polar K
sedemikian sehingga semua garis yang melalui K akan tegak lurus dengan
l. Jadi, semua lingkaran besar pada bola dunia melalui kutub utara yang
tegak lurus dengan ekuatornya.
Sifat Kutub
Misalkan l adalah suatu garis. Maka ada suatu titik K yang disebut kutub dari
l sedemikian hingga:
a. setiap segmen yang menghubungkan K dengan suatu titik pada l tegak
lurus pada l,
b. K berjarak sama dari setiap titik pada l.
Jarak K sampai sebarang titik pada l disebut βjarak polarβ. Jarak polar suatu
kutub sampai garisnya adalah konstan.
8
C. TEOREMA-TEOREMA DALAM GEOMETRI ELIPTIK
Jika sebarang garis l pada geometri eliptik, kemudian terdapat paling
sedikit satu titik P sehingga setiap garis menghubungakan P ke sebuah titik
di l yang tegak lurus dengan l dan P berjarak sama dari semua titik di l.
Bukti:
Misalkan Q dan R merupakan sebarang titik yang berjarak sama di l dan
membentuk garis m dan n yang tegak lurus dengan l di titik Q dan R.
(Berdasarkan postulat Riemann)
Maka garis m dan n berpotongan di titik P
Sehingga P,Q, dan R tidak segaris.
PQR merupakan sebuah segitiga dengan dua sudut yang kongruen (ππΜ Μ Μ Μ β
ππ Μ Μ Μ Μ )(Teorema segitiga samakaki).
Andaikan S merupakan titik tengah dari ππ Μ Μ Μ Μ .
Jika kita menghubungkan titik P ke titik S
Maka βπππ β βππ π, dan berakibat ππΜ Μ Μ Μ tegak lurus ππ Μ Μ Μ Μ dan ππΜ Μ Μ Μ β ππΜ Μ Μ Μ β
ππ Μ Μ Μ Μ .
Terbukti.
Pada sebarang segitiga siku-siku di geometri eliptik, setiap dua sudut yang
lain mempunyai besar sudut kurang dari, sama dengan, atau lebih dari
sudut siku-siku tergantung dari apakah sisi yang berlawanan itu
Teorema 6.8.2.
Teorema 6.8.1.
9
mempunyai panjang sisi kurang dari, sama dengan, atau lebih dari jarak
kutubnya.
Bukti:
Misalkan βπ΄π΅πΆ siku-siku di C.
Pada πΆπ΅Μ Μ Μ Μ , buat titik P sehingga CP adalah jarak kutub.
π΄πΆΜ Μ Μ Μ mempunyai titik P sebagai titik kutubnya.
Sehingga π΄πΜ Μ Μ Μ tegak lurus pada π΄πΆΜ Μ Μ Μ dan β ππ΄πΆ merupakan sudut siku-siku.
Jika CB sama dengan jarak kutub maka β πΆπ΄π΅(π) adalah sudut siku-siku.
Jika CB kurang dari jarak kutub maka πβ πΆπ΄π΅ < 900.
Dan jika CB lebih dari jarak kutub maka πβ πΆπ΄π΅ > 900.
Pada geometri eliptik sudut puncak segiempat Saccheri adalah kongruen
dan tumpul.
Bukti:
Misalkan segiempat ABCD adalah sebuah segiempat Saccheri dimana
β π΄ πππ β π΅ adalah sudut siku-siku dan ruas garis AD β BC.
Sebuah teorema dari geometri netral (teorema 3.6.2) menjelaskan bahwa
sudut puncak adalah kongruen.
Akan di buktikan sudut puncak segiempat sacherri adalah tumpul.
Misalkan E dan F titik tengah ruas garis AB dan CD.
Berdasarkan Teorema 3.6.4 pada segiempat Sacherri menjelaskan bahwa
garis yang menghubungkan titik-titik tengah dari sisi atas dan sisi bawah
segiempat Sacherri adalah tegak lurus terhadap keduanya.
Teorema 6.8.3.
10
Maka ruas garis EF tegak lurus terhadap π΄π΅Μ Μ Μ Μ dan πΆπ·Μ Μ Μ Μ .
Misalkan kita memperpanjang πΈπΆΜ Μ Μ Μ dan πΉπ΅Μ Μ Μ Μ hingga keduanya berpotongan
di sebuah titik P. Dengan definisi, P adalah kutub dari πΈπΉΜ Μ Μ Μ , maka EP adalah
jarak kutub.
Karena CP < EP, teorema sebelumnya menjelaskan pada kita bahwa
πβ π΅πΆπ < 90Β° sehingga β π΅πΆπ· > 90Β° .
Terbukti.
Pada geometri eliptik sudut keempat dari segiempat Lambert adalah
tumpul.
Bukti:
Perhatikan gambar berikut.
AFED merupakan segiempat Lambert dimana β π΄ = β πΉ = β πΈ = 900.
Akan dibuktikan β π· adalah tumpul.
Kita tahu bahwa P adalah titik kutub.
Jika ππΈΜ Μ Μ Μ < ππΉΜ Μ Μ Μ , ππππ β ππ·πΈ < 900 (Teorema 6.8.2.)
Sehingga β π΄π·πΈ > 900 atau dapat dikatakan sudut D tumpul.
Terbukti.
Pada geometri eliptik, jumlah sudut dari segitiga siku-siku adalah lebih
dari 180Β°.
Teorema 6.8.5.
Corollary 6.8.4.
11
Bukti:
Misalkan β³ π΄π΅πΆ mempunyai sudut siku-siku di C.
Akan ditunjukkan bahwa S(β³ π΄π΅πΆ) > 180Β°.
Buatlah ruas garis AX sehingga β π΅π΄π β β π΄π΅πΆ
Titik Q merupakan titik tengah ruas garis AB.
Hubungkan titik Q dengan titik R sehingga ruas garis QR tegak lurus
dengan ruas garis BC.
Hubungkan titik Q dengan titik P sehingga ruas garis QP tegak lurus
dengan ruas garis AX.
Jelas β π΄ππ = 90Β°, maka segiempat ACRP merupakan segiempat
Lambert.
Berdasarkan sebab akibat 6.8.4 bahwa sudut keempat dari segiempat
Lambert adalah tumpul, maka β ππ΄πΆ > 90Β°. Karena sudut PAQ = sudut
QBR, maka sudut BAC + sudut ABC > 90Β°, sehingga jumlah sudut dalam
segitiga siku-siku ABC yaitu sudut BAC + sudut ABC + sudut ACB >
180Β°.
Terbukti.
Pada geometri eliptik jumlah sudut dari segitiga sebarang adalah lebih dari
180Β°.
Bukti:
Teorema 6.8.6.
12
Misalkan diberikan garis l, dan garis m dan n yang tegak lurus dengan
garis l di titik A dan B.
Berdasarkan postulat kejajaran eliptik, garis m dan n akan berpotongan di
P yang merupakan kutub dari l.
Perhatikan segitiga PAB adalah segitiga samakaki(β π΄ = β π΅ = 900)
Maka jumlah sudut segitiga PAB adalah
β π΄ + β π΅ + β π = 900 + 900 + β π
= 1800 + β π
> 1800
Terbukti bahwa jumlah besar sudut suatu segitiga lebih besar dari 1800
Pada geometri eliptik jumlah dari besar sudut dalam dari setiap segiempat
cembung lebih besar dari 360Β°.
Bukti:
Dipunyai segiempat ABCD.
Akan di buktikan β π΄ + β π΅ + β πΆ + β π· > 3600
Perhatikan segiempat ABCD.
Terdapat segitiga ABC dan segitiga ACD.
Berdasarkan teorema 6.8.6.
β π΄1 + β π΅ + β πΆ1 > 1800
β π΄2 + β π· + β πΆ2 > 1800
β π΄1 + β π΄2 + β π· + β π΅ + β πΆ1 + β πΆ2 > 1800 + 1800
β π΄ + β π΅ + β πΆ + β π· > 3600
Terbukti.
l
D A
B C
1 2
2 1
D
Corollary 6.8.7.
13
Tidak ada bujur sangkar dalam geometri eliptik.
Bukti:
Andaikan ada bujur sangkar dalam geometri eliptik.
Berarti ada segiempat ABCD dengan semua sisinya sama panjang
dan semua sudutnya siku-siku.
Jadi jumlah besar sudut segiempat ABCD = β π΄ + β π΅ + β πΆ + β π·
= 900 + 900 + 900 + 900
= 3600
Hal ini kontradiksi dengan sebab akibat 6.8.7. yaitu jumlah besar sudut
suatu segiempat lebih besar dari 3600.
Jadi tidak ada bujur sangkar dalam geometri eliptik.
Jika tiga sudut dari suatu segitiga adalah kongruen secara berurutan kepada
tiga sudut dari segitiga kedua, maka segitiga-segitiga tersebut kongruen.
Bukti:
Misalkan sudut A, B, dan C adalah sudut-sudut dari β³ π΄π΅πΆ kongruen
secara berurutan dengan sudut Aβ, Bβ, dan Cβ pada β³ π΄β²π΅β²πΆβ².
Adb. β³ π΄π΅πΆ β β³ π΄β²π΅β²πΆβ²
Jika salah satu sisi yang bersesuaian, sebut AB dan AβBβ kongruen, maka
segitiga-segitiga tersebut kongruen.
Adt. π΄π΅ = π΄βπ΅β
Andaikan π΄π΅ β π΄β²π΅β² misalkan π΄π΅ > π΄βπ΅β.
Tentukan titik D pada AB sehingga π΄π· = π΄βπ΅β.
Tentukan titik E pada AC sehingga π΄πΈ = π΄βπΆβ.
Jelas π΄π· = π΄βπ΅β (dibuat) , β π΄ = β π΄β² (diketahui), dan π΄πΈ = π΄βπΆβ.
Maka β³ π΄π·πΈ β β³ π΄β²π΅β²πΆβ² (S Sd S).
Akibatnya jelas bahwa BCED adalah segiempat dengan jumlah sudutnya
sama dengan 360Β°.
Teorema 6.8.9.
Corollary 6.8.8.
14
Terjadi kontradiksi dengan teorema sebelumnya bahwa jumlah sudut pada
segiempat lebih dari 360Β°.
Jadi π΄π΅ = π΄βπ΅β.
Karena β π΄ = β π΄β² (diketahui), π΄π΅ = π΄βπ΅β (telah dibuktikan), dan β π΅ =
β π΅β², maka β³ π΄π΅πΆ β β³ π΄β²π΅β²πΆβ².
Terbukti.
Luas segitiga adalah sebanding dengan kelebihannya, yaitu, luas
β³ π΄π΅πΆ = π[π(β³ π΄π΅πΆ) β 180Β°], dimana k adalah konstanta tergantung
pada satuan panjang yang dipilih.
Bukti:
Adb. π΄(β³ π΄π΅πΆ) = π[π(β³ π΄π΅πΆ) β 180Β°]
Berdasarkan definisi segibanyak secara umum, luas dari segitiga adalah
sebanding dengan defectnya, atau dapat dituliskan:
π΄(β³ π΄π΅πΆ) = ππ₯ π(β³ π΄π΅πΆ)
Diketahui bahwa π(β³ π΄π΅πΆ) > 180Β°.
Karena definisi dari defect suatu segitiga adalah selisih antara 180Β° dan
jumlah sudut dalam segitiga tersebut, maka:
π(β³ π΄π΅πΆ) = π(β³ π΄π΅πΆ) β 180Β°
Jadi luas dari segitiga adalah
π΄(β³ π΄π΅πΆ) = ππ₯ π(β³ π΄π΅πΆ)
β π΄(β³ π΄π΅πΆ) = ππ₯ [π(β³ π΄π΅πΆ) β 180Β°]
Jadi teorema terbukti.
Teorema 6.8.10.
15
D. LATIHAN SOAL
1. Sebutkan sifat-sifat kutub pada geometri eliptik.
2. Pada geometri eliptik buktikan bahwa panjang dari puncak segiempat
Saccheri kurang dari panjang alasnya.
3. Pada geometri eliptik buktikan bahwa panjang dari garis yang
menghubungkan titik tengah alas dan puncak dari segiempat Saccheri
lebih dari panjang sisi-sisinya.
4. Pada geometri eliptik buktikan bahwa pada sebuah segiempat Lambert
panjang dari setiap sisi yang mengandung sudut tumpul kurang dari
panjang sisi yang berlawanan dengannya.
5. Perhatikan gambar di bawah ini.
Buktikan bahwa segitiga UBA
kongruen dengan segitiga UB^' A'!
PENYELESAIAN
1. Misalkan l adalah suatu garis. Maka ada suatu titik K yang disebut kutub
dari l sedemikian hingga:
a) setiap segmen yang menghubungkan K dengan suatu titik pada l
tegak lurus pada l,
b) K berjarak sama dari setiap titik pada l.
2.
Dipunyai segiempat Saccheri.
A B
C D
16
π΄π· β π΅πΆ, π΄π· β₯ π΄π΅, πΆπ΅ β₯ π΄π΅, πβ π΄π·πΆ = πβ π΅πΆπ·
Adb. π΄π΅ > π·πΆ
Bukti:
Jika kita menghubungkan BD, maka akan ada 3 kemungkinan yaitu:
(1) πβ π΄π·π΅ = πβ πΆπ΅π·,
(2) πβ π΄π·π΅ < πβ πΆπ΅π·, atau
(3) πβ π΄π·π΅ > πβ πΆπ΅π·.
Dari setiap kemungkinan diperoleh:
(1) Andaikan πβ π¨π«π© = πβ πͺπ©π«.
Jelas π΄π· β π΅πΆ (diketahui)
πβ π΄π·π΅ = πβ πΆπ΅π·
π΅π· β π΅π· (berimpit)
Jadi β³ π΄π·π΅ β β³ πΆπ΅π· (S Sd S).
Akibatnya π¨π© = πͺπ«.
Karena πβ π΄π·π΅ = πβ πΆπ΅π· maka
πβ π΄π΅π· + πβ πΆπ΅π· = 90Β° (definisi segiempat Saccheri)
β πβ π΄π΅π· + πβ π΄π·π΅ = 90Β°
Sehingga πβ π΄π΅π· + πβ π΄π·π΅ + πβ π΅π΄π· = 180Β°.
Terjadi kontradiksi dengan teorema 6.8.6.
Jadi pengandaian salah.
(2) Andaikan πβ π¨π«π© < πβ πͺπ©π«.
Akibatnya π¨π© < πͺπ«.
Karena πβ π΄π·π΅ < πβ πΆπ΅π· maka
πβ π΄π΅π· + πβ πΆπ΅π· = 90Β° (definisi segiempat Saccheri)
β πβ π΄π΅π· + πβ π΄π·π΅ < 90Β°
Sehingga πβ π΄π΅π· + πβ π΄π·π΅ + πβ π΅π΄π· < 180Β°.
Terjadi kontradiksi dengan teorema 6.8.6.
Jadi pengandaian salah.
(3) Andaikan πβ π¨π«π© > πβ πͺπ©π«.
Akibatnya π¨π© > πͺπ«.
Karena πβ π΄π·π΅ > πβ πΆπ΅π· maka
πβ π΄π΅π· + πβ πΆπ΅π· = 90Β° (definisi segiempat Saccheri)
17
β πβ π΄π΅π· + πβ π΄π·π΅ > 90Β°
Sehingga πβ π΄π΅π· + πβ π΄π·π΅ + πβ π΅π΄π· > 180Β°.
Tidak terjadi kontradiksi, maka pengandaian berlaku.
Jadi πβ π¨π«π© > πβ πͺπ©π«.
Dengan kata lain π¨π© > πͺπ« atau πͺπ« < π¨π©.
Jadi terbukti bahwa panjang dari puncak segiempat Saccheri kurang dari
panjang alasnya.
3.
Dipunyai segiempat Saccheri ABCD
Ambil titik E pertengahan π΄π΅Μ Μ Μ Μ dan F pertengahan πΆπ·Μ Μ Μ Μ .
Berdasarkan teorema pada geometri netral, maka πΈπΉΜ Μ Μ Μ tegak lurus pada π΄π΅Μ Μ Μ Μ
dan πΆπ·Μ Μ Μ Μ .
Adb. π΄π· < πΈπΉ
Andaikan π΄π· > πΈπΉ
Misalkan G pada π΄π·Μ Μ Μ Μ sehingga π΄πΊΜ Μ Μ Μ β πΈπΉΜ Μ Μ Μ .
Maka πΊπΉΜ Μ Μ Μ memotong β πΈπΉπ· di dalam dan ABCE adalah segiempat
Saccheri.
Karena ABCE adalah segiempat Saccheri maka β πΈπΉπΊ tumpul.
Tapi karena β πΈπΉπΊ maka sudut dalam dari β πΈπΉπ·(90Β°), maka β πΈπΉπΊ β€
90Β°.
Terjadi kontradiksi, sehingga pengandaian salah.
Jadi π΄π· < πΈπΉ .
4. Dipunyai segiempat Saccheri ABCD.
Ambil titik E pertengahan π΄π΅Μ Μ Μ Μ dan F pertengahan πΆπ·Μ Μ Μ Μ .
Berdasarkan teorema pada geometri netral, maka πΈπΉΜ Μ Μ Μ tegak lurus pada π΄π΅Μ Μ Μ Μ
dan πΆπ·Μ Μ Μ Μ .
A B
C D
E
F
18
Maka terbentuk segiempat Lambert AEFD dan BEFC.
Pada segiempat Lambert AEFD dengan β π¨π«π tumpul:
Adb. π·πΉ < π΄πΈ dan π΄π· < πΈπΉ.
Karena F titik tengah πΆπ·Μ Μ Μ Μ maka π·πΉ =1
2πΆπ·.
Karena E titik tengah π΄π΅Μ Μ Μ Μ maka π΄πΈ =1
2π΄π΅.
Telah dibuktikan bahwa πΆπ· < π΄π΅, maka
πΆπ· < π΄π΅
β 2π·πΉ < 2π΄πΈ
β π·πΉ < π΄πΈ
Pada soal sebelumnya telah dibuktikan bahwa π΄π· < πΈπΉ.
Jadi terbukti bahwa pada sebuah segiempat Lambert panjang dari setiap
sisi yang mengandung sudut tumpul kurang dari panjang sisi yang
berlawanan dengannya.
5. Adb. β³ ππ΅π΄ β β³ ππ΅β²π΄β²
Perhatikan β³ ππ΅π΄ dan β³ ππ΅β²π΄β²
ππ΅ = ππ΅β² ( berdasarkan teorema 6.8.1)
ππ΄ = ππ΄β²
Karena ππ΅ = ππ΅β² dan ππ΄ = ππ΄β²
Jadi β³ ππ΅π΄ β β³ ππ΅β²π΄ (S S S).
Terbukti.
19
DAFTAR PUSTAKA
Wallace, Edward and West, Stephen. 1992. Roads to Geometry. New York: Prentice Hall.