Teori Dasar
2.1
Erlanger Program
Erlanger program digunakan untuk menjelaskan geometri. Erlanger program memungkinkan pengembangan yang seragam dan perbandingan geometri yang berbeda. Membandingkan dua geometri diantaranya berarti menentukan apakah konsep dari satu geometri adalah seluruhnya termasuk di dalam yang geometri yang lain. Erlanger Program menyediakan sebuah rangka untuk mengklasi…kasikan berbagai ide geometri dan menyediakan sebuah teknik pembuktian seragam yang dapat dipakai untuk semua teorema dari semua geometri.
2.1.1
Kongruen
Dua bentuk disebut kongruen dalam pengukuran Euclidean jika dua bentuk adalah sama: sisi yang bersesuaian mempunyai panjang yang sama, sudut yang bersesuaian memiliki ukuran yang sama dan sebagainya. Bentuk-bentuk kon-gruen mempunyai sifat geometri yang sama, sehingga sebarang pernyataan benar mengenai satu bentuk adalah otomatis benar untuk sebarang bentuk kongruen.
Kongruen dalam pengukuran Euclidean di adopsi dalam Erlanger program, sehingga dua bentuk kongruen jika mengawetkan ukuran. Geometri dimulai
gan bidang (atau himpunan yang lain) tanpa aksioma, postulat atau sebarang ide pengukuran. Geometri dapat diklasi…kasikan dengan berbagai cara mende…n-isikan kongruen.
Hubungan kongruen harus mempunyai tiga sifat berikut: (a) A = A untuk sebarang bentuk A (re‡eksi).
(b) Jika A = B, maka B = A (simetri).
(c) Jika A = B dan B = C, maka A = C (transitif).
2.1.2
De…nisi dari Sebuah Geometri
Misalkan dua bentuk A dan B. A dan B kongruen (ditulis A = B) jika dan hanya jika A = f (B) = ff (z) : z dalam Ag dimana f adalah transformasi kongruen. Dari sifat-sifat di atas diterjemahkan menjadi syarat transformasi kongruen se-bagai berikut:
(a) fungsi identitas f (z) = z adalah sebuah transformasi kongruen,
(b) jika f (z) adalah sebuah transformasi kongruen, maka f bisa diinverskan dan f 1 adalah juga sebuah transformasi kongruen,
(c) jika f (z) dan g (z) adalah transfomrasi kongruen, maka komposisi f (g (z)) adalah transformasi kongruen.
Ini mengarahkan kepada de…nisi berikut:
De…nisi 1 Misal S adalah sebuah himpunan tidak kosong. Sebuah grup trans-formasi G adalah sebuah koleksi dari transtrans-formasi T : S ! S sehingga
(a) G tertutup terhadap komposisi, (b) G memuat identitas, dan
(c) transformasi dalam G bisa diinverskan dan inversnya dalam G
De…nisi 2 Setiap geometri (S; G) terdiri atas sebuah himpunan tidak kosong S dan sebuah grup transformasi G.
De…nisi 3 Sebuah bentuk dalam geometri (S; G) adalah sebarang A subhimpunan dari himpunan S. Dua bentuk A dan B adalah kongruen jika terdapat sebuah transformasi T dalam G sehingga T (A) = B, dimana T (A) dide…nisikan dengan rumus T (A) = fT z : z adalah sebuah titik dari Ag.
2.2
Geometri Euclidean
Bagian terpenting dalam geometri adalah grup transformasi G. Grup transfor-masi G menentukan karakter dari geometri.
De…nisi 4 Misal E2
adalah bidang Euclidean termasuk 1, dan misal F adalah grup transformasi dari himpunan transformasi yang berbentuk
T (z) = zei + b
dengan adalah konstanta Real dan b adalah konstanta kompleks. Pasangan (E2; F ) adalah model geometri Euclidean.
Model geometri Euclidean pada de…nisi di atas merupakan geometri dengan transformasi perputaran (rotasi) dilanjutkan dengan pergeseran (translasi). Se-lanjutnya akan ditunjukkan geometri (E2; F ) adalah sebuah geometri.
(a) Misalkan T; S 2 F dengan
T (z) = zei + b dan
dengan adalah konstanta Real dan b; c adalah konstanta kompleks. Se-hingga T (S (z)) = zei + c ei + b = zei2 + cei + b misalkan cei + b = d T (S (z)) = zei2 + d
dengan adalah konstanta Real dan d adalah konstanta kompleks. Karena T S adalah transformasi rotasi dilanjutkan dengan translasi, jadi T S adalah transformasi dalam F .
(b) Misalkan = 0 dan b = 0, maka
T (z) = z
adalah transfomasi identitas. Jadi F mempunyai identitas.
(c) Misalkan T 1(z) = zei g adalah transformasi invers dari T , dengan
g = be i dan adalah konstanta Real dan g; b adalah konstanta
kom-pleks. Karena T 1 adalah transformasi rotasi dilanjutkan dengan translasi,
sehingga T 1 2 F , maka T 1(T (z)) = zei + b e i g = zei e i + be i be i = z dan T T 1(z) = ze i g ei + b = ze i ei gei + b = ze i ei be i ei + b = z b + b = z
Jadi T 1 adalah transformasi invers dari T . Jadi F memuat invers.
Berdasarkan (a)-(c) di atas maka (E2; F ) adalah model geometri Euclidean.
2.3
Ruang Euclidean
Ruang Euclidean mempunyai aspek aljabar dan geometri. Dalam aspek aljabar ruang Euclidean mempunyai sifat vektor di R2. Ruang vektor R2 memenuhi sifat
berikut.
De…nisi 5 Ruang vektor (R2; +; ) adalah himpunan tidak kosong R2 dengan op-erasi biner + : R2 R2
! R2 dan sebuah operasi : R R2
! R2 yang memenuhi
sifat berikut.
Untuk setiap x; y; z 2 R2 berlaku (x + y) + z = x + (y + z) : (sifat
asosi-atif )
Untuk setiap x; y 2 R2 berlaku x + y = y + x: (sifat komutatif )
Terdapat 0 2 R2 untuk setiap x 2 R2sehingga berlaku x+0 = x: (identitas) Terdapat x 2 R2 untuk setiap x 2 R2 sehingga berlaku x + ( x) = 0: (invers)
Terdapat 1 2 R untuk setiap x 2 R2 sehingga berlaku 1 x = x:
Untuk setiap c 2 R dan untuk setiap x; y 2 R2 berlaku c (x + y) = cx +
cy: (sifat distributif )
Untuk setiap c; d 2 R dan untuk setiap x 2 R2 berlaku (c + d) x = cx + dx: Untuk setiap c; d 2 R dan untuk setiap x 2 R2 berlaku c (dx) = (cd) x: Ruang Euclidean secara aljabar sama denan ruang vektor sehingga penyele-saian untuk persamaan
adalah x = b a. Persamaan (2.1) mempunyai satu penyelesaian karena ruang vektor mempunyai sifat komutatif.
Untuk melengkapi ruang Euclidean, maka ruang vektor mempunyai norm yang dide…nisikan dari hasil kali dalam ruang vektor R2.
De…nisi 6 Misalkan sebarang x; y 2 R2 dengan x = (x
1; x2) dan y = (y1; y2) dan
x1; x2; y1; y2 2 R, hasil kali dalam adalah
x y = x1y1+ x2y2:
Berdasarkan de…nisi hasil kali dalam di atas dide…nisikan norm. De…nisi 7 Misalkan sebarang x 2 R2 dengan x = (x
1; x2) dan x1; x2 2 R, norm x adalah kxk = (x x)12 = q x2 1+ x22
yang memenuhi sifat berikut: kxk 0 untuk setiap x2 R2.
Jika kxk = 0, maka x = 0: (vektor nol)
kcxk = jcj kxk untuk setiap x 2 R2 dan setiap c 2 R.
Sehingga jarak antara dua titik x; y 2 E2dalam ruang Eulcidean (E2) adalah d (x; y) = kx yk :
Jadi ruang Euclidean adalah ruang vektor yang dilengkapi dengan fungsi jarak d (metrik). Konsep jarak adalah hal penting dalam geometri.
Teorema 8 Jarak antara dua titik dalam ruang Euclidean memenuhi sifat berikut.
Untuk setiap x; y 2 E2, berlaku d (x; y) 0:
Untuk setiap x; y 2 E2, berlaku d (x; y) = d (y; x) :
Untuk setiap x; y; z 2 E2, berlaku d (x; y) + d (y; z) d (x; z) :
Identitas dalam ruang Euclidean adalah
kx + yk2 =kxk2+kyk2+ 2x y (2.2) dengan x; y 2 E2.
Pembuktian identitas dalam ruang Euclidean (persamaan (2.2)) terdapat dalam Lampiran B. Jika x; y saling tegak lurus maka diperoleh teorama Pythagoras
kx + yk2 =kxk2+kyk2: Identitas polarisasi dalam ruang Euclidean adalah
kx + yk2 kx yk2 = 4x y (2.3) dengan x; y 2 E2.
Pembuktian identitas polarisasi dalam ruang Euclidean (persamaan (2.3)) ter-dapat dalam Lampiran B.
2.3.1
Garis
Garis dalam geometri Euclidean adalah vektor yang menghubungkan pasangan titik. Sebuah garis yang melalui dua titik a; b 2 E2memenuhi persamaan berikut:
r (t) = a + t ( a + b) (2.4)
dengan t 2 R. Jika t = 0 merupakan titik a dan jika t = 1 merupakan titik b. Jadi untuk t 2 [0; 1] merupakan segmen garis dari a ke b, lihat gambar 2.1.
Gambar 2.1 Segmen garis Untuk sebarang vektor v 2 E2
, dide…nisikan v = ftv : t 2 Rg adalah sebuah arah merupakan himpunan semua vektor yang tidak nol. Jika p adalah sebarang titik di E2 dan v adalah vektor tidak nol, maka
l =fx : x p2 vg atau l = p + v disebut garis yang melalui p dengan arah v, lihat gambar 2.2.
Gambar 2.2 Garis l = p + v
Misalkan terdapat dua vektor u dan v di E2, maka sudut antara u dan v
adalah
u v= cos (2.5)
dengan 2 [0; ], lihat gambar 2.3.
2.3.2
Aturan Cosinus dalam Ruang Euclidean
Misalkan a; b; c adalah titik pada segitiga Euclidean, dan A = b c; B = a c; C = a bmerupakan sisi-sisi pada segitiga Euclidean, juga ; ; adalah sudut dengan sisi yang bersesuaian (lihat gambar 2.4), maka
Gambar 2.4 Segitiga Euclidean
kCk2 = ka bk2
= ka + c c bk2 = k(c b) + (a c)k2 = k( A) + Bk2
berdasarkan persamaan identitas dalam ruang Euclidean (2.2), diperoleh kCk2 = k Ak2 +kBk2+ 2 ( A) B
= kAk2+kBk2 + 2 ( A) B, sifat norm = kAk2+kBk2 2A B
berdasarkan persamaan (2.5) maka kAkA kBkB = cos , sehingga
kCk2 =kAk2+kBk2 2kAk kBk cos : (2.6) Persamaan di atas merupakan hukum cosinus dalam ruang Euclide. Jika A; B saling tegak lurus maka akan diperoleh Teorema Pythagoras sebagai berikut:
2.4
Geometri Mobius
Grup transformasi yang digunakan dalam geometri Mobius sangat luas, termasuk semua grup transformasi dari semua geometri non-Euclidean.
De…nisi 9 Misal C+
dengan bidang kompleks termasuk 1, dan misal M adalah himpunan transformasi berbentuk
T (z) = az + b cz + d
dengan a, b, c, dan d adalah konstanta kompleks, dan ad bc 6= 0 (determinan dari T), M disebut transformasi Mobius. Pasangan (C+; M ) adalah model geometri
Mobius.
Untuk menunjukkan bahwa geometri Mobius adalah sebuah geometri, harus dijelaskan bahwa
(a) Transformasi Mobius M mempunyai komposisi transformasi yang berada dalam M . Misalkan T; S 2 M yaitu
T (z) = az + b cz + d dan
S (z) = ez + f gz + h
dengan a; b; c; d; e; f; g; h adalah konstanta kompleks, ad bc6= 0 dan eh f g6= 0. Sehingga T (S (z)) = a gz+hez+f + b c ez+fgz+h + d = (ae + bg) z + (af + bh) (ce + dg) z + (cf + dh) dengan
(ae + bg) (cf + dh) (af + bh) (ce + dg) = acef + adeh + bcf g + bdgh acef adf g bceh bdgh = adeh + bcf g adf g bceh = ad (eh f g) bc (eh f g) = (ad bc) (eh f g)
karena ad bc6= 0 dan eh f g6= 0, maka
(ae + bg) (cf + dh) (af + bh) (ce + dg)6= 0:
Berarti komposisi dari dua transformasi Mobius adalah transformasi Mo-bius. Jadi M mempunyai komposisi transformasi.
(b) Misalkan a = d = 1 dan b = c = 0, maka diperoleh transformasi T (z) = z:
Jadi M mempunyai transformasi identitas.
(c) Misalkan T 1 adalah transformasi invers dari T dengan ad bc
6= 0 sehingga T 1 2 M, dengan T 1(z) = dz b cz + a maka T 1(T (z)) = d az+b cz+d b c az+bcz+d + a = d (az + b) b (cz + d) c (az + b) + a (cz + d) = adz + bd bcz bd acz bc + acz + ad = (ad bc) z (ad bc) = z dan T T 1(z) = a dz b cz+a + b c dz bcz+a + d = a (dz b) + b ( cz + a) c (dz b) + d ( cz + a) = adz ab bcz + ab cdz bc cdz + ad = (ad bc) z (ad bc) = z
sehingga T 1adalah transformasi invers di M . Jadi M mempunyai
trans-formasi invers.
Berdasarkan (a)-(c) maka geometri Mobius (C+; M )adalah sebuah geometri.
Teorema yang akan dijelaskan berikut sangat penting. Ini menjelaskan kebe-basan gerak dengan transformasi Mobius.
Lemma 10 Jika T bukan transformasi identitas, maka T hanya mempunyai satu atau dua titik tetap. Sebuah transformasi Mobius dengan tiga atau lebih titik tetap adalah transformasi identitas.
Teorema 11 (Teorema dasar geometri Mobius) Terdapat tepat sebuah transfor-masi yang memetakan tiga bilangan kompleks yang berbeda z1; z2; z3 ke tiga
bi-langan kompleks yang berbeda w1; w2; w3.
Bukti. Diklaim bahwa terdapat sebuah tranformasi Mobius yang memetakan tiga bilangan kompleks z1; z2; z3 ke tiga bilangan tertentu 1; 0; 1. Berarti, yang
harus dilakukan adalah mencari sebuah transformasi Mobius T sehingga T (z1) = 1; T (z2) = 0; T (z3) =1
Jika T dapat mentransformasikan sebarang bilangan z1; z2; z3 yang diberikan,
maka dengan menempatkan w1; w2; w3 di z1; z2; z3 diperoleh sebuah transformasi
S sehingga
S (w1) = 1; S (w2) = 0; S (w3) =1
Maka komposisi U = S 1 T adalah transformasi yang diinginkan karena
U (z1) = S 1(T (z1)) = S 1(1) = w1
U (z2) = S 1(T (z2)) = S 1(0) = w2
U (z3) = S 1(T (z3)) = S 1(1) = w3
Kemudian akan dibuktikan bahwa terdapat transformasi U adalah tunggal. Mis-alkan V adalah sebuah transformasi lain yang memetakan z1 ke w1,z2 ke w2, dan
z3 ke w3. Maka V 1U mempunyai tiga titik tetap. Berdasarkan lemma
sebelum-nya V 1U haruslah transformasi identitas, maka V = U .
Kemudian akan ditentukan transformasi T , yang memetakan z1; z2; z3 ke
1; 0;1. Transformasi tersebut adalah: T (z) = z z2
z z3
z1 z3
z1 z2
(2.7) sehingga bukti dari teorema lengkap.
Persamaan (2.7) sangat penting dalam transformasi Mobius, yang dide…n-isikan sebagai berikut:
De…nisi 12 Cross ratio adalah fungsi dari empat konstanta kompleks T (z) = z z2
z z3
z1 z3
z1 z2
dengan z1; z2; z3 adalah konstanta tetap, maka cross ratio adalah transformasi
Mobius yang tepat memetakan z1 ke 1, z2 ke 0, dan z3 ke 1:
2.4.1
Geometri Hiperbolik
Geometri hiperbolik terlihat sangat nyata, hampir lazim, dengan garis lurus, jarak, lingkaran, dan segitiga dengan geometri Euclide. Dengan menggunakan de…nisi cross ratio diatas, berikut ini dide…nisikan geometri hiperbolik.
De…nisi 13 Misal D= fz : jzj < 1g adalah cakram satuan dalam bidang kom-pleks, dan misal H adalah sebuah himpunan transformasi dari D yang berbentuk
T (z) = z z2 z z3
z1 z3
z1 z2
(2.8) dengan z1; z2; z3 adalah konstanta tetap dan z; z1; z2; z3 2 D. Pasangan (D;H)
adalah model geometri hiperbolik.
Himpunan D disebut bidang hiperbolik. Grup H adalah grup hiperbolik. Karena H adalah sebuah grup dari M dan D adalah sebuah subhimpunan dari C+, geometri hiperbolik adalah sebuah subgeometri dari geometri Mobius. Oleh
karena itu setiap pernyataan benar dalam geometri Mobius adalah benar juga dalam geometri hiperbolik. Bagaimanapun, setiap bentuk dalam geometri hiper-bolik mempunyai bentuk kongruen yang lebih sedikit daripada dalam geometri Mobius (karena geometri hiperbolik mempunyai transformasi lebih sedikit dari-pada geometri Mobius). Model geometri hiperbolik dengan himpunan D disebut model Poincare.
Jarak dua titik z1; z2 2 D dalam geometri hiperbolik (geometri Poincare)
dide…nisikan sebagai berikut:
d (z1; z2) = ln 0 @1 + z2 z1 1 z1z2 1 z2 z1 1 z1z2 1 A .
Sehingga jarak suatu titik z 2 D terhadap titik pusat cakram satuan adalah: d (0; z) = ln 1 +jzj
1 jzj .
2.4.2
Garis lurus
Dalam geometri Mobius, kita hanya mempelajari satu bentuk cline (lingkaran Euclide dan garis lurus Euclide). Dalam geometri hiperbolik tidak menjadi masalah bahwa semua cline kongruen. Sebagai contoh: lingkaran satuan adalah tepat satu, berarti tidak ada lingkaran lain atau garis lurus Euclide yang kon-gruen terhadap lingkaran satuan. (Tentu saja, lingkaran satuan tidak benar-benar dalam bidang hiperbolik.)
Contoh kedua adalah sebuah himpunan lingkaran yang tegak lurus terhadap cakram satuan. Himpunan lingkaran ini memainkan hukum dari garis lurus dalam geometri hiperbolik, sebagaimana dijelaskan de…nisi dan teorema berikut.
De…nisi 14 Garis lurus hiperbolik adalah diameter lingkaran atau lingkaran dalam bidang kompleks yang memotong cakram satuan dengan sudut siku-siku.
Gambar 2.5 Bidang hiperbolik dan beberapa garis lurus hiperbolik
Teorema 15 Dalam geometri hiperbolik, semua garis lurus hiperbolik adalah kon-gruen. Dua titik dalam bidang hiperbolik menentukan tepat sebuah garis lurus hiperbolik.
Bukti. Simetri adalah kunci dari bukti ini. Misal T adalah sebuah transformasi dari geometri hiperbolik. Misal z adalah titik simetri terhadap z yang berhubun-gan terhadap cakram satuan. Karena simetri diawetkan semua transformasi Mo-bius, titik T z dan T z akan simetri yang berhubungan dengan lingkaran diperoleh dengan menggunakan T ke cakram satuan. Tetapi T memetakan cakram satuan ke dirinya.
Bukti teorema di atas, juga membuktikan lemma berikut ini.
Lemma 16 Setiap transformasi dari geometri hiperbolik memetakan setiap pasan-gan titik simetri yang berhubunpasan-gan denpasan-gan cakram satuan ke pasanpasan-gan titik simetri lain yang berhubungan dengan cakram satuan.
Sekarang, misal C adalah sebarang garis lurus, dan misal z0 sebarang titik
di bidang hiperbolik pada C. Karena C adalah sebuah cline yang tegak lurus terhadap cakram satuan, C juga harus melalui titik z0 yang diluar cakram satuan dan simetri terhadap z0 yang berhubungan dengan cakram satuan.
Misal T adalah sebuah transformasi dari grup hiperbolik membawa z0 ke
dari itu, T (C) adalah sebuah garis lurus Euclide tegak lurus terhadap cakram satuan dan melalui titik pusat. Dengan kata lain, T (C) adalah sebuah diameter dari cakram satuan. Selanjutnya T mentransformasikan C, dan membuat T (C) menjadi x-absis. Aksi dari T diilustrasikan dalam gambar 2.6.
Gambar 2.6 Menempatkan sebuah garis lurus dalam posisi standar dalam geometri hiperbolik
Ini membuktikan bahwa setiap garis lurus hiperbolik C kongruen terhadap sebuah garis lurus standar yang spesi…k: x-absis. Karena itu, semua garis lurus hiperbolik adalah kongruen.
Kemudian, misal z1 dan z2 adalah sebarang dua titik dalam bidang
hiper-bolik. Untuk membuktikan bahwa terdapat sebuah garis lurus hiperbolik yang unik melalui z1 dan z2, kita dapat menempatkan z1 dan z2 dalam sebarang
po-sisi kongruen yang sesuai. Gunakan kebebasan gerak yang sama sebagai dalam bagian pertama dari bukti, kita dapat menempatkan z1di titik asal dan kemudian
mentransformasikan z2 ke sebuah titk di suatu tempat sepanjang x-absis positif.
Sekarang, setiap garis lurus hiperbolik melalui 0 juga melalui titik simetri 1 yang berhubungan dengan cakram satuan. Dengan kata lain, setiap garis lurus hiperbolik melalui 0 (= z1) adalah sebuah garis lurus Euclide biasa (diameter
cakram satuan).
Dari geometri Euclide, terdapat sebuah garis lurus Euclide melalui z1 (= 0)
dan z2 (pada x-absis positif). (Garis ini merupakan x-absis). Karena itu, dalam
hiperbolik, ini membuktikan teorema.
2.4.3
Paralelisme
Dalam geometri Euclide, garis paralel dide…nisikan sebagai garis yang tidak per-nah berpotongan. Berdasarkan de…nisi tersebut maka diperoleh de…nisi paralelisme dalam geometri hiperbolik sebagai berikut:
De…nisi 17 Titik pada cakram satuan disebut titik ideal. Dua garis hiperbolik disebut paralel jika tidak berpotongan dalam D tetapi mempunyai satu titik ideal bersama. Dua garis hiperbolik disebut hiperparalel jika tidak berpotongan di dalam D dan tidak mempunyai titik ideal bersama.
Gambar 2.7 Jenis paralel
Gambar 2.7 menunjukkan sebuah diameter cakram satuan, sebuah garis paralel terhadap diameter cakram satuan, dan beberapa garis hiperparalel terhadap di-ameter cakram satuan. Catatan bahwa dua garis hiperparalel terhadap sebuah garis mungkin berpotongan, sebuah keadaan yang tidak pernah terjadi dalam geometri Euclide. Garis paralel dan garis hiperparalel untuk selanjutnya disebut garis paralel.
Untuk menyelidiki postulat paralel, misalkan sebuah garis srq dan sebuah titik ptidak di srq. Akan diasumsikan (dengan menggunakan sebuah transformasi jika perlu) bahwa sebuah titik p pada titik asal. Sekarang buat sebuah garis tegak lurus dari p ke garis srq, diperoleh seperti gambar 2.8.
Gambar 2.8 Sudut paralel
Perhatikan bahwa terdapat dua garis melalui p paralel terhadap srq yaitu pq dan ps. Jika sebuah sinar melalui p membuat sudut dengan pr sama dengan , maka ps akan paralel terhadap srq. Sudut disebut sudut paralel. Jika sebuah sinar melalui p membuat sudut lebih besar dari , maka garis tersebut hiperparalel terhadap srq, dan jika garis melalui p membuat sebuah sudut kurang dari , maka garis tersebut memotong srq.
Sudut paralel selalu lancip. Ini dapat dilihat dengan melihat pada segitiga pqr dalam gambar 2.8 (menggunakan garis lurus qr). Segitiga ini mempunyai sebuah sudut tumpul di r, dimana sudut di p (dimana sudut paralelisme) haruslah lancip. Ini mendemonstrasikan kegagalan dari postulat paralel Euclide: garis hiper-bolik pr memotong dua garis hiperhiper-bolik pq dan srq dalam suatu cara bahwa jumlah dari sudut interior ( , tambah sudut siku-siku di r antara garis hiperbolik prdan srq) adalah kurang dari dua sudut siku-siku. Kemudian, dua garis pq dan srq tidak berpotongan dalam bidang hiperbolik.
