GEOMETRI HIPERBOLIK
Disusun untuk Memenuhi Tugas Mata Kuliah Geometri Semester III
Disusun Oleh:
KELOMPOK 5
1. KURNIA NOVIARTATI (09715030)
2. ABDUL JALIL (09715037)
3. RIRIN FEBRIYANTI (09715054)
KELAS 2009B
Dosen Pembimbing:
Dr. DWI JUNIATI, M.Si.
1
Pada abad ke-18, Johan Heinrich Lambert memperkenalkan fungsi hiperbolik
dan menghitung luas segitiga hiperbolik.
Pada abad ke-19, geometri hiperbolik secara luas dieksplorasi oleh Janos
Bolyai dan Nicolai Ivanovich Lobachevsky. Kala itu, Lobachevsky melaporkan
idenya pada tanggal 23 Februari 1826 ke Departemen Fisika dan Matematika, dan
penelitian ini telah dicetak dalam UMA pada tahun 1829-1830. Sedangkan
Bolyai secara terpisah ditemukan dan diterbitkan pada tahun 1832.
Lobachevsky menulis paper yang berjudul “A Concise Outline of the
Foundations of Geometry” yang dipublikasikan oleh Kazan Messenger tetapi
ditolak ketika disampaikan di Akademi St Petersburg. Kemudian pada tahun 1837
Lobachevsky mempublikasikan artikelnya yang berjudul “Geometrie Imaginaire”
yang diterbitkan di Berlin pada tahun 1840 dan publikasi yang terakhir ini sangat
berkesan bagi Gauss.
Gauss yang tidak suka pertentangan, enggan menerbitkan ide-idenya. Oleh
karena itu, beberapa ahli matematika dan sejarahwan telah salah mengklaim
bahwa Lobachevsky telah mencuri konsep tentang geometri non-Euclid dari
Gauss, padahal Gauss sendiri menghargai karya yang diterbitkan Lobachevsky.
Karena alasan itu juga, Bolyai dan Lobachevskylah yang dianggap sebagai
pencipta dari geometri hiperbolik.
Setelah karya Lobachevsky, Gauss, dan Bolyai dikenal masih saja muncul
pertanyaan “seperti apakah model untuk geometri hiperbolik?”. Pertanyaan
tersebut dijawab oleh Eugenio Beltrami pada tahun 1868. Ia yang pertama kali
menunjukkan bahwa permukaan yang disebut pseudosphere mempunyai
kelengkungan yang sesuai untuk model sebagian ruang hiperbolik.
Awalnya Lobachevsky menamakan geometri temuannya dengan sebutan
“Geometri Imaginaire” karena Lobachevsky tidak bisa memahami model untuk
jenis geometrinya. Kemudian istilah “Geometri Hiperbolik” diperkenalkan oleh
Felix Klein pada tahun 1871. Geometri hiperbolik juga dikenal dengan nama
Geometri Lobachevsky.
Empat model yang umum digunakan untuk geometri hiperbolik diantaranya:
(1) Model Klein, (2) Model disk Poicare, (3) Model setengah bidang Poincare dan
2
(4) Model Lorentz. Masing-masing model akan dijelaskan secara detail pada sub
bab berikutnya.
3
Masa penantian diterimanya di Universitas Gottingen membawa Gauss
berkenalan dengan seorang gadis cantik bernama Johanna Osthoff, anak
perempuan seorang penyamak kulit yang kaya raya. Cinta pertama Gauss
terjadi pada pandangan pertama. Gauss mengumpulkan uang dan keberanian
sebelum menyatakan hal ini dua tahun kemudian. Mereka menikah pada
tanggal 9 Oktober 1805 dan dikarunia 3 orang anak, yaitu: Joseph,
Wilhelmina dan Louis. Tahun 1809, istrinya meninggal yang kemudian diikuti
oleh anak ketiganya, Louis.
Kematian istri dan anak ketiganya membuat Gauss
depresi sehingga pada akhirnya Gauss menikah kembali
dengan Friederica Wilhelmine Waldeck (Minna
Waldeck), yang merupakan anak dari rekan sesama
profesor di Gottingen. Selama 6 tahun, Minna
memberinya tiga orang anak, yaitu: Eugene, Wilhelm dan Putri Gauss: Therese
Therese, sebelum ia divonis terkena TBC.
Masa-masa tua Gauss dihabiskan dengan setiap pagi berada di
perpustakaan universitas, mengumpulan koran-koran dari seluruh daratan
Eropa, mulai dari Times terbitan London sampai koran lokal yang ditumpuk
dan dibaca satu per satu.
Pada usia 77 tahun, Gauss mengalami
pembengkakan jantung. Setiap jam 3 dini hari, ia
harus bangun dan minum air soda dan susu hangat
untuk meringankan sakitnya. Pada tanggal 23
Februari 1855, setelah serangan jantung, Gauss
Pemakaman St. Albans
meninggal. Gauss dikebumikan di pemakaman St.
Albans di Gottingen, Hannover, Jerman.
Tidak terhitung sumbangsih Gauss dalam perkembangan matematika pada
umumnya dan bidang-bidang ilmu lain pada khususnya. Pemilahan dengan
menggunakan sistem bilangan, statistik dan teori probabilitas lewat penemuan
kurva lonceng adalah dua prestasi sangat penting yang mampu dicapai oleh
Gauss. Dasar-dasar yang ditetapkan Gauss dalam matematika banyak
4
memberi dampak bagi perkembangan matematika setelah dia meninggal.
Salah satunya adalah geometri non-Euclid yang kelak mendasari teori
relativitas Einstein setelah lewat sentuhan Riemann, Lobachevski dan Bolyai.
Rupanya Gauss tidak puas hanya berkiprah dalam bidang matematika.
Banyak disiplin ilmu-ilmu lain dijelajahi. Tujuan utamanya, sebagai jalan
pintas untuk mendapatkan uang dengan menjadi pengajar atau profesi yang
mendapatkan gaji rutin. Akhirnya kesinambungan “aliran“ uang ini membuat
Gauss makin intensif lagi melakukan penelitian matematika. Kolaborasi
dengan Wilhelm Weber (1804-1891) menemukan telegraf elektrik dan
fenomena elektromagnetik yang gagal sebelum dilanjutkan bekerjasama
dengan Clark Maxwell (1831 – 1879) yang menemukan persamaan medan
elektromagnetik dan dengan Friedrich Wilhelm Bessel [1784 –8146]
membahas astronomi, matematika fisika untuk aplikasi dalam bidang
elektrostatik, hidrodinamis, aerodinamis, orbit planet, sistem lensa, dan
ditemukannya geometri diferensial.
Sifat perfeksionisnya terkadang mendapat kritik keras. Tanpa mau
mengungkapkan penelitiannya jika belum sempurna, dianggap oleh kalangan
ilmuwan sebagai suatu egoisme. Mereka memandang akan lebih baik
diungkapkan semua agar perkembangan matematika makin pesat. Hal ini
membuat timbulnya pernyataan, “Apabila Gauss lebih terbuka, maka
matematika akan lebih maju beberapa dasawarsa ke depan.” Meskipun jika
lebih jeli melihat permasalahan, bukan hanya hal itu penyebabnya. Kondisi
perang dan tragedi yang silih berganti mendera Gauss adalah penyebab utama
semua itu.
5
matematikawan Hungaria terbesar. Ia adalah penemu Geometri Absolut,
Geometri Hiperbolik dan pengembang Geometri Affine.
6
Tetapi berkat keteguhannya maka ia mendapat ucapan terima kasih dari
kaisar. Semasa jabatannya, ia mengajar berbagai topik yang berbeda seperti
mekanik, hidrodinamika, integrasi, persamaan differensial, kalkulus variasi,
fisika dan matematika.
Di usia 40 tahun (1832), Nicolai menikah dengan Lady Varvara
Alexeyenevna Moiseyeva yang berasal dari keluarga kaya. Mereka memiliki
18 putra, namun hanya 7 putra yang dapat bertahan hingga dewasa. Namun,
Nicolai tidak beruntung dalam perkawinan. Hal ini tercantum pada buku
biografinya yang menyebutkan bahwa:
“Nicolai tidak pandai dalam memanage keuangan, pada saat pensiun
ia baru membeli real estate dan tidak pandai berinvestasi sehingga ia
jatuh miskin dan diabaikan oleh pejabat lokal.”
Tahun 1846, ia dipecat dari universitas karena kesehatannya yang memburuk
dan di awal tahun 1850-an ia hampir buta dan tidak mampu berjalan dan pada
tahun 1856, Nicolai meninggal dalam kemiskinan.
?
Saccheri adalah anak dari seorang pengacara. Dia mulai
ikut pelatihan akademik dengan Yesuit di Genoa pada
tahun 1685 dan 5 tahun kemudian terdaftar di Kampus
Jesuit Brera untuk belajar filsafat dan teologi. Salah
seorang guru, seorang penyair dan ahli matematika yang bernama Tommaso
Ceva, yakin untuk mengarahkan energi Saccheri ke arah matematika dan
menjadi pembimbing akademik. Dengan bimbingan Ceva, Saccheri
menerbitkan buku pertamanya, “Quaesita Geometrica” pada tahun 1693.
Ia ditahbiskan sebagai imam pada tahun 1694 di Como, Italia. Pada tahun
yang sama, Saccheri mulai mengajar filsafat di Universitas Turin sampai
1697. Selama tinggal disana, ia menerbitkan “Logica Demonstrativa”, salah
satu karyanya yang paling penting.
7
Pada tahun 1697 Saccheri berganti pekerjaan lagi, kali ini ia pindah ke
Universitas Jesuit Pavia (juga dikenal sebagai Universitas Ticinese), di tempat
itulah mana ia mengajar selama sisa hidupnya. Dua tahun kemudian, ia
menjadi pimpinan di bidang matematika yang diangkat oleh Senat Milan.
Pada 1708, Saccheri menerbitkan “Neo Statica” yang berhubungan dengan
mekanika. Kemudian karya lainnya“Euclides ab Omni Naevo Vindicatus”
mencoba untuk membuktikan postulat paralel Euclid.
Saccheri meninggal di Milan, Italia pada tanggal 25 Oktober 1733. Dalam
karyanya sintesis, Saccheri memberikan analisa lengkap tentang masalah
kesejajaran dalam hal segiempat Omar Khayyam.
8
Euclid. Di geometri, terkenal dengan segiempat Lambert yang merupakan
eksplorasi awal ke geometri non-Euclid.
9
Memoar kedua Beltrami diterbitkan pada tahun yang sama (1868) yang
berjudul “Fundamental Theory of Spaces of Constant Curvature”, Beltrami
melanjutkan logikanya dan memberikan bukti abstrak geometri hiperbolik dan
Euclid untuk dimensi apapun. Dia juga berhasil memperkenalkan beberapa
model geometri non-Euclid yang sekarang dikenal sebagai model Beltrami-
Klein, model Poincare disk, dan model setengah bidang Poincaré.
Untuk model setengah bidang, Beltrami mengutip sebuah catatan
Liouville dalam risalah Monge pada geometri diferensial. Beltrami
menunjukkan bahwa geometri Euclid n-dimensi direalisasikan pada suatu
horosphere ruang hiperbolik (n+1) dimensi, sehingga hubungan logis antara
kekonsistensian Euclid dan geometri non-Euclid adalah simetris.
10
pemerintahan Perancis. Perancis menyatakan perang melawan Prusia pada 19
Juli dan Klein merasa dia tidak dapat lagi menetap di Paris.
Kemudian untuk jangka waktu yang pendek, dia menjadi militer sebagai
layanan medis sebelum ditunjuk sebagai dosen di Göttingen pada awal 1871.
Klein dilantik sebagai profesor di Erlangen, Bayern di selatan Jerman pada
1872. Dia sangat didukung oleh Clebsch, yang dianggap bisa menjadi ahli
matematika terkemuka. Pada tahun 1875, Klein menikah dengan Anne Hegel
yang juga cucu dari filsuf Georg Wilhelm Friedrich Hegel.
Setelah lima tahun di Technische Hochschule, Munich, Klein
mendapatkan jabatan di Leipzig. Tahun 1880 ke 1886 Klein menghabiskan di
Leipzig dimana ada banyak cara yang fundamental untuk mengubah hidupnya.
Pada tahun 1886, Klein mendapatkan jabatan di Universitas Göttingen.
Dia mengajar di Göttingen sampai ia pensiun pada tahun 1913 tetapi dia
berusaha untuk kembali mendirikan Göttingen sebagai pusat penelitian
matematika terkemuka di dunia. Pada tahun 1913, Klein pensiun. Namun ia
melanjutkan mengajar matematika di rumahnya selama Perang Dunia I.
Kontribusi Klein dalam geometri, yaitu menerbitkan dua kertas yang
disebut Non-Euclidean Geometry dimana ia menunjukkan bahwa untuk
mempertimbangkan geometri Euclid dan non-Euclid sebagai sebuah kasus
khusus projective dengan permukaan tertentu berbentuk kerucut.
11
Pada tahun 1873, Poincaré masuk ke École Polytechnique dan lulus pada
tahun 1875. Sementara ia tidak berhasil di École Polytechnique, ia mencoba
untuk belajar piano. Poincaré gemar membaca dan ia mempunyai memori
yang luar biasa.
Setelah lulus dari École Polytechnique, Poincaré melanjutkan studi di
École des Lombong. Setelah menyelesaikan studi di École des Lombong,
Poincaré menghabiskan waktu sebagai insinyur pertambangan di Vesoul.
Sambil bekerja ia menyelesaikan doktornya. Setelah menerima doktor,
Poincaré diangkat untuk mengajar matematika di Universitas Caen. Dia
mengajar di sana selama dua tahun sebelum ia menduduki jabatan di Fakultas
Sains di Paris pada tahun 1881.
Pada 1886 Poincaré dinominasikan untuk jurusan fisika dan matematika
di Sorbonne. Dia mengajar tentang optik, listrik, matematika listrik,
astronomi, termodinamika, dan cahaya.
Kontribusinya di berbagai disiplin cabang, seperti: matematika, mekanik,
mekanik cairan, teori relativitas dan falsafah sains. Sebelum usia 30 dia
mengembangkan konsep fungsi automorphic.
Poincaré meninggal pada usia 58 tahun. Pemakamannya dihadiri oleh
banyak orang penting dari bidang sains dan politik, seperti: Presiden Senat dan
sebagian besar anggota departemen, delegasi dari Akademi Perancis, dan
banyak lembaga publik lainnya. Sang Pangeran Monako pun hadir, Bei dari
Tunis diwakili oleh dua orang anak-anak, dan Pangeran Roland Bonaparte
sebagai Presiden Paris Geografis Masyarakat.
12
B. Model-model dalam Geometri Hiperbolik
Pada tahun 1868, Eugenio Beltrami memberikan model dan menggunakannya
untuk membuktikan bahwa geometri hiperbolik konsisten dengan geometri
Euclid. Empat model yang umum digunakan untuk geometri hiperbolik
diantaranya:
1. Model Klein
Model Klein pertama kali diusulkan oleh n
matematikawan Jerman Felix Klein. Model Klein juga m
dikenal dengan model disk proyektif dan model
Beltrami Klein. Model ini menggunakan bagian dalam l
13
Anda akan mendapatkan botol aneh seperti saya."
Hal ini juga dapat dibangun dengan melipat strip Möbius membujur setengah
dan melampirkan tepi untuk dirinya sendiri. Berikut gambar-gambar dari botol
Klein:
Botol Klein
2. Model Disk Poincare
Model ini diusulkan oleh matematikawan Perancis, yaitu Henri Poincare.
Seperti model Klein, model ini ditemukan kembali pada tahun 1882, realisasi
konformal disk geometri hiperbolik ditemukan oleh Eugenio Beltrami dan
diterbitkan pada tahun 1868. Model ini juga menggunakan bagian dalam
sebuah lingkaran untuk bidang hiperbolik, tapi garis diwakili oleh busur
lingkaran yang ortogonal ke lingkaran batas, ditambah diameter lingkaran
batas. Model ini juga dikenal sebagai model disk konformal.
O
l
Dalam model disk Poincare, dua garis yang sejajar satu sama lain dalam
geometri hiperbolik adalah dua garis yang tidak pernah berpotongan satu sama
lain.
14
Pada gambar di samping, CB // BA dan keduanya sejajar dengan DE.
Sedangkan CB dan BA saling berpotongan di titik B sehingga dapat
C D
dikatakan garis itu tidak sejajar satu sama lain. Panjang garis pada
B
model Poincare sama dengan dua kali panjang dalam model Klein. E
A
Q’
P Q
P’
l
A’ A B
(a) (b)
P Q
R’
R
4. Model Lorentz
15
Model ini juga bisa disebut dengan model hiperboloid yang
menggunakan dua dimensi hiperboloid revolusi (dari 2 lembar tetapi yang
digunakan hanya satu) dan tertanam pada ruang tiga dimensi Minkowski.
Model ini memiliki aplikasi langsung ke relativitas khusus, ruang tiga
dimensi Minkowski adalah model ruang waktu, menekan satu dimensi ruang.
Satu dapat mengambil hiperboloid untuk mewakili peristiwa yang bergerak,
memancar keluar pada bidang spasial dari satu titik akan mencapai pada suatu
waktu yang tepat. Jarak hiperbolik antara dua titik pada hiperboloid akan
dapat diidentifikasi dengan kecepatan relatif antara dua pengamat.
16
C. Geometri Hiperbolik
Geometri hiperbolik dapat digolongkan pada geometri absolut dengan
memandang bahwa setiap segitiga jumlah besar sudutnya kurang dari 180°.
B’
A m
P
A’
B
l n
Q
Gambar 1
Bukti:
Misalkan diketahui garis l dan titik P di luar l.
Menurut postulat kesejajaran Lobachevsky maka ada garis m dan n yang
melalui titik P dan sejajar l.
Garis m dan n membagi bidang tersebut menjadi 4 daerah dimana masing-
masing daerah merupakan bagian dalam suatu sudut, yaitu: A’PB, A’PB’,
APB’, dan APB dengan P terletak diantara A dan A’ pada garis m dan
diantara B dan B’ pada garis n.
Misalkan titik Q pada l dan karena l tidak memotong m dan n maka titik Q
tidak terletak pada m dan n.
Karena titik Q tidak terletak pada m dan n maka Q berada pada salah satu dari
4 bagian dalam sudut di atas, misalnya A’PB.
Dimana letak l?
17
Titik Q terletak pada garis l dan berada pada bagian dalam A’PB, dan l tidak
memotong sisi-sisi sudutnya yaitu PA’ dan PB’. Jadi, l berada di dalam
A’PB yang berarti garis l seluruhnya termuat di dalam A’PB.
(terbukti)
Teorema Akibat
Ada tak berhingga garis yang sejajar dengan suatu garis yang melalui suatu titik di
luar garis itu.
Bukti:
B’
A m
P
R
A’
B
l n
Q
Gambar 2
18
hanya sebuah segmen atau sebuah sinar garis saja yang termuat dalam daerah
suatu sudut. P
A B
C
Gambar 3
Sanggahan
Teorema 1 valid secara abstrak, tetapi tidak sesuai dengan kenyataan fisiknya.
Konklusi tersebut memang secara logis diperoleh dari postulat kesejajaran
Lobachevsky, tetapi asumsi itu secara fisik keliru. Yang diperlukan bagi
seseorang untuk berfikir secara matematis adalah asumsi-asumsi (postulat-
postulat) yang secara logis dapat menghasilkan konklusi (teorema).
Meskipun demikian, wajarkah kita memilih asumsi yang akan menimbulkan
kekeliruan jika diterapkan pada dunia nyata? Jawabannya tidak mungkin dengan
“YA” atau “TIDAK” saja, tetapi harus ada beberapa penjelasan, yaitu:
1. Ahli matematika seharusnya bebas memilih postulat dan mempelajari
konsekuensinya, bebas dari pertimbangan kegunaan praktisnya maupun
validitas empirisnya.
2. Proposisi matematika itu abstrak, untuk mengujinya secara empiris harus
menafsirkan istilah-istilah dasarnya.
Akhirnya, janganlah kita lupa bahwa penentuan kebenaran empiris dari
pernyataan geometris bukanlah urusan ahli matematika, karena hal itu tidak
termasuk dalam percobaan mental tetapi termasuk dalam bidang pengetahuan
tentang percobaan yang dilakukan oleh ahli fisika, astronom dan para peneliti.
Untuk menentukan kebenaran pernyataan secara empiris, seringkali
merupakan masalah yang sulit dan seringkali hanya memperoleh pendekatannya
saja. Misalnya, postulat kesejajaran Euclid banyak digunakan oleh para ilmuwan
dan insinyur dan kita merasa yakin bahwa itu merupakan fakta empiris.
Dengan proses berpikir yang sama, kita yakin bahwa postulat kesejajaran
Lobachevsky secara empiris adalah salah. Bisakah kita menyatakan “Jika
19
diketahui garis (secara fisik) l dan titik P (secara fisik) di luar l, maka ada garis m
(secara fisik) yang tidak memotong l tetapi melalui P yang tidak terletak pada l ?”
Bagaimana kita menguji hal itu? Apakah dengan menggunakan tali? Garis-garis di
papan tulis? atau sinar lampu?
Merupakan hal yang sulit jika membuktikan secara empiris bahwa hanya ada
satu garis yang seperti itu. Andaikan saja ada garis yang memenuhi sifat
kesejajaran Lobachevsky, misalkan garis m. Apakah kita benar-benar tahu sifat-
sifat fisik garis m? Pernyataan tentang kebenaran empiris postulat memang sulit
untuk dijawab.
l m’
Gambar 4
20
Kedua ruas dikurangi dengan ÐC, diperoleh:
ÐA + ÐB £ 180° - ÐC
Lemma tsb berlaku karena sudut luar C sama dengan 180° - ÐC (terbukti)
Lemma 2
Misalkan diketahui garis l, titik P di luar l, dan titik Q pada l.
Misalkan diberikan sisi PQ, maka ada titik R pada l yang terletak satu pihak
dengan PQ sedemikian hingga ÐPRQ adalah sudut terkecil seperti yang
diinginkan.
P
l
Q R
Gambar 6
Bukti:
Misalkan a adalah suatu sudut yang terkecil.
Akan ditunjukkan ada titik R pada l yang terletak di sebelah kanan PQ
sedemikian hingga ÐPRQ < a.
Pertama, bentuk barisan sudut-sudut: PR1Q, PR2Q, ... dengan besar setiap
sudut tidak lebih besar dari sudut sebelumnya.
Misalkan R1 pada titik l dan berada di sebelah kanan sisi PQ sedemikian
hingga QR1 = PQ.
P
b1 b2
b b1 b2
l
Q R1 R2
Gambar 7
Tarik PR1 sehingga terbentuk DPQR1 sama kaki dan ÐQPR1=ÐQR1P = b1.
Misalkan sudut luar DPQR1 di Q adalah b, maka menurut Lemma 1,
1
diperoleh: b1+b1= 2b1 £ b b1 b
2
21
Dengan langkah yang sama, buat segitiga baru. Perpanjang QR1 melalui R1
dan R2 sedemikian hingga R1R2=PR1.
Tarik PR2 maka DPQR2 sama kaki dan ÐR1PR2=ÐPR2R1 = ÐPR2Q = b2
sehingga berdasarkan Lemma 1, diperoleh:
1 1
b2+b2= 2b2 £ b1 b2 b1 b2 2 b
2 2
Ulangi langkah sebelumnya sebanyak n kali sehingga diperoleh titik Rn pada l
1
dan di sebelah kanan sisi PQ sedemikian hingga bn PRn Q b . Dengan
2n
1
memilih n cukup besar maka diperoleh b a sehingga PRn Q a .
2n
Jadi untuk R=Rn, ÐPRQ adalah sudut terkecil seperti yang diinginkan.
(terbukti)
Teorema 2
Ada sebuah segitiga dengan jumlah besar sudut kurang dari 180°.
Bukti:
P
m
l
Q
Gambar 8
22
P
m
a Y
90- a
X n
l
Q R
Gambar 9
P
m
l
Q R
Gambar 10
23
Berbeda dengan situasi di geometri hiperbolik. Kita masih punya l ^ PQ di Q,
dan m ^ PQ di P ' m // l (Gambar 11). Seperti pembuktian pada teorema 2, ada
garis lain PX // l ' ÐQPX < 90°. Misalkan R sebarang titik pada l di sebelah kanan
PQ seperti X.
Jika R menjauhi PQ sampai tak terhingga, maka ÐQRP mendekati 0° seperti
pada geometri Euclid. Tetapi ÐQPR tidak mendekati 90°, karena ÐQPR selalu
kurang dari ÐQPX. Jadi, jika R cukup jauh maka jumlah besar sudut DPQR
kurang dari 180°.
P
m
l
Q R
Gambar 11
Teorema 3
Jumlah besar sudut setiap segitiga kurang dari 180°.
Bukti:
Menurut Akibat 2 Teorema F.8 (Geometri Absolut):
“Jika segitiga mempunyai jumlah besar sudutnya kurang dari 180° maka
setiap segitiga jumlah besar sudutnya juga kurang dari 180°.”
Menurut Teorema 2 (Geometri Hiperbolik):
“Ada sebuah segitiga dengan jumlah besar sudut kurang dari 180°.”
Berdasarkan Akibat 2 Teorema 6 (Geometri Absolut) dan Teorema 2 (Geometri
Hiperbolik) maka jumlah besar sudut setiap segitiga kurang dari 180°. (terbukti)
Akibat 1 Teorema 3
Jumlah besar sudut-sudut dalam segiempat kurang dari 360°.
Bukti:
Misalkan ada segiempat ABCD.
24
D C
A B
Gambar 12
Akibat 2 Teorema 3
Tidak ada persegipanjang.
Bukti:
Andaikan ada persegipanjang ABCD.
D C
A B
Gambar 13
Berdasarkan Definisi F.3 (Geometri Absolut): “Suatu segiempat disebut
persegipanjang jika semua sudutnya adalah siku-siku” maka:
ÐA = ÐB = ÐC = ÐD = 90°
Jumlah besar sudut dalam persegipanjang ABCD:
ÐA + ÐB + ÐC + ÐD = 90° + 90° + 90° + 90° = 360°
25
Jumlah besar sudut dalam persegipanjang ABCD adalah 360, kontradiksi
dengan Akibat 1 Teorema 3, yaitu jumlah besar sudut-sudut dalam segiempat
kurang dari 360.
Jadi, tidak ada persegipanjang. (terbukti)
Teorema 4
Pada segiempat Saccheri, sudut-sudut atasnya sama besar. D C
Bukti:
Misal diketahui segiempat ABCD.
Tarik diagonal AC dan BD sehingga terbentuk dua A B
Gambar 15
segitiga, yaitu DABD dan DBAC.
Pandang DABD dan DBAC
AD = BC .... Definisi 1
ÐA = ÐB .... Definisi 1
AB = AB .... Refeksif
Berdasarkan sisi-sudut-sisi maka DABD @ DBAC akibatnya AC = BD
Pandang DACD dan DBDC
AD = BC .... Definisi 1
AC = BD .... Akibat DABD @ DBAC
DC = DC .... Refeksif
Berdasarkan sisi-sudut-sisi maka DACD @ DBDC akibatnya ÐD = ÐC.
Jadi, terbukti bahwa sudut-sudut atas segiempat Saccheri sama besar.
26
Teorema 5
Pada segiempat Saccheri, sudut-sudut atasnya lancip.
Bukti:
Berdasarkan Akibat 1 Teorema 3, yaitu jumlah besar sudut-sudut dalam
segiempat kurang dari 360° maka
ÐA + ÐB + ÐC + ÐD < 360°
90° + 90° + ÐC + ÐD < 360° .... Definisi 1
ÐC + ÐD < 180°
2ÐC < 180° .... Teorema 4
ÐC < 90°
Jadi, terbukti bahwa ÐC dan ÐD adalah lancip. (terbukti)
A B
Gambar 16
Teorema 6
D C
F
Misalkan diketahui segiempat Saccheri ABCD dengan sisi
atas CD. Misalkan diketahui E titik tengah AB dan F titik
tengah CD, AEF = EFD = 90 maka segiempat AEFD
A E B
dan segiempat EBCF adalah segiempat Lambert. Gambar 17
Teorema 7
Pada segiempat Lambert keempat sudutnya lancip.
27
Adakah Segitiga-segitiga Sebangun dalam Geometri
Hiperbolik?
Berikut akan ditunjukkan bahwa tidak ada segitiga-segitiga yang sebangun
dalam geometri hiperbolik, yang ada hanyalah segitiga-segitiga yang kongruen.
Teorema 8
Dua segitiga dikatakan kongruen jika sudut-sudut yang bersesuaian sama.
Bukti:
Misalkan diketahui DABC dan DA’B’C’ dengan ÐA=ÐA’, ÐB=ÐB’, ÐC=ÐC’.
Akan dibuktikan DABC @ DA’B ’C ’
Andaikan DABC DA’B ’C ’ maka A’B’≠AB, A’C’≠AC, atau B’C’≠BC.
Terdapat 2 kasus:
(1) Hanya ada satu sisi yang tidak sama panjang, misal sisi A’B’≠AB.
C C’ C’,C
A B B’ A B B’
A’ (b) A’
(a) (c)
Gambar 18
A” 1 1 B”
2 2
A’ B’
1 1
(a)
A B
(b)
Gambar 19
28
Pandang DA’B’C ’ dan DA”B”C
A’C ’ = A” C ….. dibuat
ÐC ’ = ÐC ….. refleksif
B’C ’ = B” C ….. dibuat
Berdasarkan s-sd-s maka DA’B’C ’ @ DA”B”C, akibatnya, ÐA’=ÐA1”
dan ÐB’=ÐB1”.
Pandang segiempat ABB”A”
Jumlah besar sudut dalam segiempat ABB”A”
= ÐA + ÐB + ÐB2” + ÐA2”
= ÐA1” + ÐB1” + ÐB2” + ÐA2”
= ÐA1” + ÐA2” + ÐB1” + ÐB2”
= 180° + 180° …. sudut berpelurus
= 360°
Kontradiksi dengan Akibat 1 Teorema 3, pengandaian salah yang benar
A’C’=AC dan B’C’=BC sehingga DABC @ DA’B ’C ’.
Dari kasus (1) dan (2) maka dua segitiga dikatakan kongruen jika sudut-sudut
yang bersesuaian sama. (terbukti)
29
dan metode pendekatan tertentu. Untuk penyederhanaan hanya dibatasi pada luas
segitiga saja.
Tanpa memperhatikan definisi luas, berikut akan dijelaskan mengenai sifat-
sifat luas, yaitu:
1. Kepositifan
Setiap segitiga ditentukan secara tunggal oleh bilangan positif yang
dinamakan luasnya.
2. Invariansi terhadap kongruensi
Segitiga-segitiga yang kongruen memiliki luas yang sama.
3. Sifat aditif (penambahan)
Jika segitiga T dibelah menjadi segitiga T1 dan T2 maka luas T adalah jumlah
T1 dan T2.
Akibatnya, setiap pengukuran luas menentukan fungsi bernilai real yang
didefinisikan pada semua segitiga yang memenuhi sifat (1), (2), dan (3). Hal ini
menunjukkan bahwa kita definisikan konsep pengukuran luas atau fungsi luas
pada segitiga yang mempunyai ketiga sifat tersebut terlepas dari proses
pengukurannya.
Definisi 3
Suatu fungsi yang memasangkan setiap segitiga dengan bilangan real tertentu
sedemikian hingga sifat (1), (2), dan (3) terpenuhi disebut fungsi luas atau ukuran
luas (untuk segitiga).
Jika µ adalah fungsi semacam itu dan ABC adalah segitiga, maka µ(ABC)
menyatakan suatu nilai yang dipasangkan oleh µ dengan segitiga ABC, dan
disebut luas atau ukuran segitiga ABC yang ditetapkan oleh µ.
Definisi ini juga berlaku untuk sebarang geometri absolut. Dalam geometri
1
Euclid telah kita kenal rumus luas segitiga, yaitu L.Δ = at yang
2
menghasilkan sebuah fungsi luas dengan memasangkan setiap segitiga dengan
1
bilangan at .
2
30
Selanjutnya, kita amati sifat aditif dari fungsi luas yang dapat dikembangkan
sampai sejumlah suku-suku yang berhingga.
Teorema 9 (Penjumlahan Berhingga)
Misalkan sebuah segitiga dipecah menjadi suatu himpunan segitiga-segitiga yang
tidak saling menutupi D1, D2, … , Dn maka fungsi luas µ nya adalah
µ(D) = µ(D1) + µ(D2) + … + µ(Dn)
Bukti:
C C
1
n
A B A B
(a) (b)
Gambar 20
Definisi 4
Defect DABC = 180 – (ÐA + ÐB + ÐC)
31
ÐA, ÐB, dan ÐC diambil dari besar derajat dari sudut-sudut yang dimaksud. Jadi,
defect suatu segitiga adalah bilangan real bukan bilangan derajat. Defect suatu
segitiga berlaku seperti pengukuran luas.
Teorema 10
Diberikan sebarang DABC dan titik D diantara titik A dan B maka defect (DABC)
= defect (DACD) + defect (DBCD).
Bukti:
Karena CD terletak di dalam C maka C
C = ACD + BCD
Karena ÐADC dan ÐBDC merupakan sudut
berpelurus maka ÐADC + ÐBDC = 180.
Berdasarkan Definisi 4 maka A D B
Gambar 21
defect (ABC) = 180 - (A+B+C)
= 180 - (A+B+ACD + BCD)
= 180 + 180 - (A+B+ACD + BCD +ADC + BDC)
= 180 - (A+ADC +ACD) + 180 - (B+BCD +BDC)
defect (ABC) = defect (ADC) + defect (BDC)
Jadi, defect (ABC) = defect (ADC) + defect (BDC) (terbukti)
Teorema 11
Defect adalah fungsi luas pada segitiga.
Bukti:
Misalkan diketahui DABC, berdasarkan Teorema 8 C
32
Berdasarkan Teorema 8,
defect (ABC) = defect (ADC) + defect (BDC)
= 180 - (A+ADC +ACD) + 180 - (B+BCD +BDC)
= 180 + 180 - (ADC+BDC) - (A +B+ACD+BCD)
= 180 - (A +B+ACD+BCD)
= 180 - (A +B+C) …. (ii)
Dari (i) dan (ii) dan berdasarkan Definisi 3 maka defect adalah fungsi luas
segitiga. (terbukti)
Teorema 12
Perkalian fungsi luas dengan bilangan positif juga menghasilkan fungsi luas.
Bukti:
Diketahui fungsi luas µ(D).
Misalkan ada n sedemikian hingga n adalah bilangan sebarang bilangan
positif.
n × µ(D) …merupakan perkalian fungsi luas dengan bilangan sebarang n.
Berdasarkan definisi perkalian: n × µ(D) = µ(D1) + µ(D2) + … + µ(Dn)
Berdasarkan Teorema 9, yaitu: µ(D*) = µ(D1) + µ(D2) + … + µ(Dn) sehingga
diperoleh: n × µ(D) = µ(D1) + µ(D2) + … + µ(Dn)
n × µ(D) = µ(D*)
Jadi, perkalian fungsi luas dengan bilangan positif juga menghasilkan fungsi luas.
Teorema 13
Sebarang dua fungsi luas adalah proporsional.
Catatan:
Bukti untuk teorema 13 tidak dibahas karena agak sulit dan merupakan bagian
dari mata kuliah Analisis Real.
33
Kesejajaran dan Kesamaan Jarak Suatu Garis
Dalam geometri Euclid, ciri penting dari dua garis yang sejajar adalah jika
jarak kedua garis tersebut sama dimana-mana. Namun, hal itu tidak ada dalam
geometri hiperbolik, sesuai dengan teorema berikut:
Teorema 14
Tidak ada garis sejajar yang jaraknya sama dimana-mana.
Bukti: A B C
l
l’
A’ B’ C’
Gambar 23
34
Karena A’AB = B’BA dan C’CB = B’BC maka:
A’AB+C’CB = B’BA+B’BC
A’AB+C’CB = 180
Jadi, jumlah besar sudut dalam segiempat AA’C’C adalah 360 yang bertentangan
dengan Akibat 1 Teorema 3. Dengan demikian pengandaian salah, yang benar
adalah tidak ada dua garis sejajar yang jaraknya sama dimana-mana. (terbukti)
Sesuai dengan bukti teorema 14, jika dua garis sejajar maka terdapat dua
kemungkinan, yaitu:
1. Ada dua titik pada garis pertama yang jaraknya sama dari garis lain.
2. Tidak ada dua titik pada garis pertama yang jaraknya sama dari garis lain.
Dari pernyataan tersebut maka terdapat dua masalah, antara lain:
1. Hal tersebut terjadi jika dan hanya jika kedua garis tersebut divergen sampai
tak berhingga baik disebelah kiri maupun disebelah kanan garis lurus
persekutuannya.
2. Terjadi jika salah satu garis tersebut merupakan asimtot dari garis yang lain.
Teorema 15
Dalam geometri netral, jika ada sebuah garis dan sebuah titik yang memenuhi
sifat kesejajaran Euclid, maka ada sebuah persegipanjang.
Akibat Teorema 15
Dalam geometri netral, jika ada sebuah garis dan sebuah titik yang memenuhi
sifat kesejajaran Euclid maka setiap segitiga jumlah sudutnya adalah 180°.
Bukti:
Berdasarkan Teorema 15, yaitu “Jika ada sebuah garis dan satu titik yang
memenuhi sifat kesejajaran Euclid maka ada sebuah persegipanjang.”
(Logika: p ® q)
Berdasarkan Teorema F.7 (Geometri Netral), yaitu “Jika ada persegi panjang
maka setiap segitiga jumlah sudutnya 180°.” (Logika: q ® r)
35
Dengan menggunakan prinsip silogisme maka dapat disimpulkan p ® r.
Jadi, ada sebuah garis dan satu titik yang memenuhi sifat kesejajaran Euclid maka
setiap segitiga jumlah sudutnya 180°. (terbukti)
Teorema 16
Dalam geometri netral, jika ada sebuah garis dan sebuah titik yang memenuhi
sifat kesejajaran Lobachevsky maka ada segitiga yang jumlah sudutnya kurang
dari 180°.
Akibat Teorema 16
Dalam geometri netral, jika ada sebuah garis dan sebuah titik yang memenuhi
sifat kesejajaran Lobachevsky maka setiap segitiga jumlah sudutnya kurang dari
180°.
Bukti:
Berdasarkan Teorema 16, “Dalam geometri netral, jika ada sebuah garis dan
sebuah titik yang memenuhi sifat kesejajaran Lobachevsky, maka ada segitiga
yang jumlah sudutnya kurang dari 180. (Logika: p ® q)
Berdasarkan Teorema 2 dan Teorema 3, “Jika ada sebuah segitiga yang
jumlah sudutnya kurang dari 180° maka setiap segitiga jumlah sudutnya
kurang dari180°. (Logika: q ® r)
Dengan menggunakan prinsip silogisme, maka p ® r.
Jadi, jika ada sebuah garis dan sebuah titik yang memenuhi sifat kesejajaran
Lobachevsky maka setiap segitiga jumlah sudutnya kurang dari 180°. (terbukti)
Teorema 17
Dalam geometri netral, jika ada sebuah garis dan sebuah titik yang memenuhi
sifat kesejajaran Euclid maka setiap garis dan setiap titik luarnya tentu memenuhi
sifat kesejajaran Euclid yang berarti geometrinya adalah geometri Euclid.
Bukti:
36
Andaikan Teorema 17 salah, berarti hanya ada satu garis dan satu titik yang
memenuhi sifat kesejajaran Lobachevsky.
Menurut Akibat Teorema 16, “Jika ada sebuah garis dan sebuah titik yang
memenuhi kesejajaran Lobachevsky maka setiap segitiga jumlah sudutnya
kurang dari 180°.”
Tetapi menurut Akibat Teorema 15, “Jika ada sebuah garis dan sebuah titik
yang memenuhi sifat kesejajaran Euclid maka setiap segitiga jumlah sudutnya
180°.”
Terjadi kontradiksi antara akibat teorema 15 dengan akibat teorema 16, sehingga
pengandaian salah. Hal ini berarti teorema 17 terbukti benar.
Akibat 1 Teorema 17
Dalam geometri netral, jika ada sebuah garis dan sebuah titik yang memenuhi
sifat kesejajaran Lobachevsky maka setiap garis dan setiap titik di luarnya tentu
memenuhi sifat kesejajaran Lobachevsky, yang berarti geometrinya adalah
geometri hiperbolik.
Akibat 2 Teorema 17
Setiap geometri netral tentu merupakan geometri Euclid atau geometri hiperbolik.
Akibat 3 Teorema 17
Suatu geometri netral merupakan geometri Euclid atau geometri hiperbolik, yang
berarti jumlah sudut segitiganya adalah sama dengan atau kurang dari 180°.
Akibat 4 Teorema 17
Suatu geometri netral yang memuat persegi panjang, tentu merupakan geometri
Euclid.
37
Tabel Perbandingan antara Geometri Euclid dengan Geometri Hiperbolik
Dilihat dari Geometri Euclid Geometri Hiperbolik
Dua garis yang berbeda
Paling banyak satu titik. Paling banyak satu titik
akan berpotongan pada
Diberikan garis l dan titik Satu dan hanya satu garis Sekurang-kurangnya dua
P di luar l maka ada melalui P yang sejajar garis melalui P yang
dengan l. sejajar dengan l.
Sebuah garis Dibagi menjadi dua Dibagi menjadi dua
bagian oleh sebuah titik. bagian oleh sebuah titik.
Garis sejajar Jaraknya sama dimana- Jaraknya tidak pernah
mana. sama dimana-mana.
Jika sebuah garis
Harus memotong yang Boleh ya, boleh tidak
memotong satu dari dua
lain memotong yang lain.
garis sejajar, maka
Hipotesis Saccheri yang
Sudut siku-siku Sudut lancip
valid adalah
Dua garis yang berbeda
dan tegak lurus pada Sejajar Sejajar
garis yang sama
Jumlah sudut suatu
= 180 <180
segitiga adalah
Persegi panjang Ada Tidak ada
Luas suatu segitiga Tidak bergantung pada Proporsional terhadap
jumlah sudut defect
Dua segitiga dengan
sudut-sudut yang Sebangun Kongruen
bersesuaian sama adalah
38
D. Aplikasi Geometri Hiperbolik
Aplikasi geometri hiperbolik dapat
dijumpai pada penggunaan server di rental
seperti pada gambar di samping. Dari gambar
tersebut terlihat bahwa satu server dapat
melayani beberapa pelanggan rental dengan
adanya sebuah jaringan.
Aplikasi geometri hiperbolik yang kedua adalah dapat digunakan untuk
mengatur desain grafis yang mewakili
sejumlah besar informasi, seperti yang terlihat
pada gambar di bawah. Akar pohon yang
ditampilkan ditempatkan di pusat disk
Poincare. Node dan daun pohon tersebut
merupakan link ke halaman web, alamat
URL, atau database.
Aplikasi ketiga adalah pada teorema yang menyebutkan tentang perhitungan
defect dapat diaplikasikan pada sebuah bangunan yang berfungsi untuk
menetapkan ubin yang tepat, sehingga tidak terdapat kesenjangan antara ubin satu
dengan yang lain yang biasa disebut dengan tessellation hiperbolik, tessellation
hiperbolik meliputi ruang hiperbolik oleh ubin.
39
“Pernahkah anda mengunjungi Istana cermin di tempat-tempat wisata misal
di Jatim Park?” Dengan cermin kualitas baik,
para pengunjung tempat-tempat wisata tersebut
akan mengalami ilusi bahwa mereka menemukan
diri mereka tersebar pada suatu bidang besar tak
berhingga, dan mereka tidak dapat melihat tepi
dari disk tersebut. Sehingga mereka seakan- akan
tidak ada jalan untuk keluar dari tempat tersebut.
40
DAFTAR PUSTAKA
Budiarto, Mega Teguh dan Masriyah. Sistem Geometri. 2007. Surabaya: Unesa
University Press.
http://education.uncc.edu/droyster/courses/.../Chapter04.pdf-AmerikaSerikat.
Chapter 4 Introduction to Hyperbolic Geometry. Diakses tanggal 8 Oktober
2010.
Prenowitz, Walter dan Meyer Jordan. 1961. Basic Concepts of Geometry. London:
Blasdel Publishing Company.
41
Wikipedia, http://en.wikipedia.org/wiki/Lovbachevsky. Diakses tanggal 2
November 2010
42