PARABOLA DALAM UNIVERSAL GEOMETRI HIPERBOLIK (UHG) II:

TITIK-TITIK KANONIK DAN KONIK- 𝒀

1. Laili Anisatu Choirun M , 2. Yufida ‘Ainun Ni’mah, 3. Melia Wardani Rasiha,

4. Vicky Saputra, 5. Memi Melisa
Tadris Matematika, Fakultas Tarbiah dan Ilmu Keguruan, Institut Agama Islam Negeri
Tulungagung
Lailiazza07@gmail.com yufidaainun@gmail.com, meliawardani@gmail.com
saputravicky@yahoo.com

Abstrak: Kami memperkenalkan susunan kanonik pada parabola hiperbolik dalam Universal Hyperbolic
Geometri, dengan menggunakan rumusan standar koordinat parabola. Berdasarkan hasil yang
berkesinambungan dengan dualitas dari parabola kembar yang berperan penting. Di akhir penjelasan, Kami
menggambarkan konik- 𝑌 dengan menarik homolog Parabola.

Kata kunci: Universal Hyperbolic Geometri, Parabola, Geometri projektif, Titik kanonik,
konik-𝑌

1. Pendahuluan dan Review Parabola Hyperbolic

Dimulai dengan peraturan dasar pada Universal Hyperbolic Geometri (UHG),
(lihat [6], [7], [8], [9]), definisi parabola, dan penggunaan standar koordinat yang
memungkinkan penyederhanaan secara signifikan pada rumus parabola. Dalam versi
aljabar geometri hiperbolik, kami menggunakan kerangka proyektif Cayley-Klein dengan
struktur geometrik yang ditentukan oleh matriks proyektil simetris yang dapat dibalik 𝐶
dan 𝐷. Karena teori ini tidak bergantung pada bentuk 𝐶 tertentu, kita dapat menggunakan
projektif (linear ) transformasi untuk menyederhanakan. Semuanya mempunyai bidang
umum Ϝ bukan dari dua karakteristik - yang mungkin untuk kesederhanaan dianggap
sebagai bilangan rasional. Diskusi klasik sebelumnya dari kurva seperti itu dalam
geometri hiperbolik meliputi [2], [3], [4], dan [5].

Gambar 1.
 Pada Gambar 1 kita melihat lingkaran nol atau 𝒞 absolut, parabola 𝒫0 , dan
beberapa poin kanonik yang terkait dengannya menghasilkan Y-konik homolog.
Di sini adalah bagaimana kita mengatur menggunakan aljabar linear (proyektif).
Titik (proyektif) adalah proporsi 𝑎 = [𝑥 ∶ 𝑦 ∶ 𝑧] dalam tanda kurung siku, atau
ekuivalen projektif vektor baris 𝑎 = [𝑥 𝑦 𝑧]. Garis (proyektif) adalah proporsi 𝐿 = [𝑙 ∶
𝑚 ∶ 𝑛] dalam kurung runcing, atau ekuivalen projektif vektor kolom.
𝑙
𝐿 = [𝑚 ]
𝑛
Insiden antara titik 𝑎 = [𝑥 ∶ 𝑦 ∶ 𝑧] dan garis 𝐿 = [𝑙 ∶ 𝑚 ∶ 𝑛] ditentukan oleh
𝑎𝐿 = 𝑙𝑥 + 𝑚𝑦 + 𝑛𝑧 = 0. disubsitusikan 𝑎1 𝑎2 pada titik-titik berbeda 𝑎1 ≡ [𝑥1 ∶
𝑦1 ∶ 𝑧1] dan 𝑎2 ≡ [𝑥2 ∶ 𝑦2 ∶ 𝑧2] adalah garis istimewa yang melewati 𝑎1 dan 𝑎2
yaitu;
𝑎1𝑎2 ≡ [𝑥1 ∶ 𝑦1 ∶ 𝑧1] × [𝑥2 ∶ 𝑦2 ∶ 𝑧2]
≡ [𝑦1𝑧2 − 𝑦2𝑧1 ∶ 𝑧1𝑥2 − 𝑧2𝑥1 ∶ 𝑥1𝑦2 − 𝑥2𝑦1] … … … (1)
Pertemuan garis 1𝐿2 ;
𝐿1 ≡ [𝑙1 ∶ 𝑚1 ∶ 𝑛1] dan 𝐿2 ≡ [𝑙2 ∶ 𝑚2 ∶ 𝑛2] adalah titik istimewa yang terletak
pada L1 dan L2, yaitu 𝐿1𝐿2 ≡ [𝑙1 ∶ 𝑚1 ∶ 𝑛1] × [𝑙2 ∶ 𝑚2 ∶ 𝑛2]
≡ [𝑚1𝑛2 − 𝑚2𝑛1 ∶ 𝑛1𝑙2 − 𝑛2𝑙1 ∶ 𝑙1𝑚2 − 𝑙2𝑚1] … … … . (2)
Tiga poin 𝑎1, 𝑎2, 𝑎3 secara tepat kolinear ketika mereka berada pada garis 𝐿; dalam hal
ini kami juga menulis [𝑎1𝑎2𝑎3]. Demikian pula tiga baris 𝐿1, 𝐿2, 𝐿3 secara bersamaan
tepat ketika mereka melewati titik 𝑎; dalam hal ini kita juga dapat menuliskan [𝐿1𝐿2𝐿3].
Hal tersebuut dapat langsung dikurangi untuk memeriksa bahwa determinan matriks yang
dibentuk oleh tiga titik atau garis nol.
1.1. Kuadran Dan Penyebaran Projektif
Jika 𝐶 adalah matriks berordo 3 × 3 yang dapat dibalik simetris, dengan entri
dalam 𝐹, dan 𝐷 adalah matriks adjugatnya (invers, hingga multiple), dinotasikan dengan
𝐶 dan 𝐷 matriks projektif yang sesuai, masing-masing didefinisikan hingga membentuk
non. Dari ini kita dapatkan struktur matrik: titik (proyektif) 𝑎1 dan 𝑎2 tegak lurus tepat
ketika 𝑎1𝐶𝑎2𝑇 = 0, ditulis 𝑎1 ⊥ 𝑎2, dan (proyektif) baris 𝐿1 dan 𝐿2 tegak lurus tepat
ketika 𝐿𝑇1 𝐷𝐿2 = 0, ditulis 𝐿1 ⊥ 𝐿2. Titik 𝑎 dan garis 𝐿 adalah tepat dual ketika;
𝐿 = 𝑎 ⊥ ≡ 𝐶𝑎𝑇 𝑎𝑡𝑎𝑢 𝑎 = 𝐿 ⊥ ≡ 𝐿𝑇𝐷 … . . . (3)
Kemudian dua titik tegak lurus ketika satu kejadian dengan dua lainnya, dan juga
untuk dua garis. Jadi 𝑎1 ⊥ 𝑎2 ketika 𝑎1⊥ ⊥ 𝑎2⊥ . Titik 𝑎 adalah nol ketika tegak lurus
 untuk dirinya sendiri, yaitu, ketika 𝑎𝐶𝑎𝑇 = 0, dan 𝑎 Garis 𝐿 adalah nol ketika tegak
lurus untuk dirinya sendiri, yaitu, ketika 𝐿𝑇 𝑫𝐿 = 0. Poin nol menentukan konik nol,
kadang-kadang juga disebut yang absolut. Geometri hiperbolik dan elips muncul masing-
masing dari kasus-kasus khusus
1 0 0
𝐶 = 𝐽 ≡ [0 1 0 ] = 𝐷
0 0 −1
Dan
1 0 0
𝐶 = 𝐼 ≡ [0 1 0 ] = 𝐷
0 0 1
Dalam kasus hiperbolik, 𝑎 = [𝑥: 𝑦: 𝑧] adalah nol ketika 𝑥 2 + 𝑦 2 − 𝑧 2 = 0 dan garis
dual 𝐿 = 〈𝑙: 𝑚: 𝑛〉 adalah nol ketika 𝑙 2 + 𝑚2 − 𝑛2 = 0. Jadi lingkaran C adalah nol
dalam koordinat afinitas 𝑋 ≡ 𝑥 / 𝑧 dan 𝑌 ≡ 𝑦 / 𝑧 adalah lingkaran 𝑋 2 + 𝑌 2 = 1,
yang ditunjukkan dengan warna biru di diagram kami. Dalam pengaturan umum,
pengertian ganda (proyektif) kuadran 𝑞 (𝑎1, 𝑎2) antara poin 𝑎1 dan 𝑎2, dan (proyektif)
menyebar 𝑆 (𝐿1, 𝐿2) antara garis 𝐿1 dan 𝐿2 adalah
(𝑎𝐶𝑎2𝑇 )2
𝑞(𝑎1, 𝑎2) ≡ 1 −
(𝑎𝐶𝑎1𝑇 )(𝑎𝐶𝑎2𝑇 )
Dan (5
(𝐿𝑇1 𝑫𝐿2 )2
𝑆(𝐿1, 𝐿20 ≡ 1 −
(𝐿𝑇1 𝑫𝐿1 )(𝐿𝑇2 𝑫𝐿2 )
Jelas bahwa 𝑞 (𝑎, 𝑎) = 0 dan 𝑆 (𝐿, 𝐿) = 0 untuk titik mana pun 𝑎 dan setiap baris 𝐿,
sedangkan 𝑞 (𝑎1, 𝑎2) = 1 tepat ketika 𝑎1 ⊥ 𝑎2, dan dengan dual 𝑆 (𝐿1, 𝐿2) = 1 tepat
ketika 𝐿1 ⊥ 𝐿2. Lalu 𝑆(𝑎1⊥ , 𝑎2⊥ ) = 𝑞(𝑎1, 𝑎2).

Gambar 2.

Wildberger menunjukkan bahwa untuk hiperbolik geometri gagasan-gagasan

tersebut disetujui dengan perumusan murni proyektif menggunakan salib yang sesuai
rasio, dan berhubungan dengan jarak hiperbolik klasik 𝑑 (𝑎1, 𝑎2) dan sudut 𝜃 (𝐿1, 𝐿2)
 antara titik dan garis, di dalam lingkaran nol 𝐶, melalui 𝑞 (𝑎1, 𝑎2) =
−𝑠𝑖𝑛 ℎ2 (𝑑 (𝑎1, 𝑎2)) dan 𝑆 (𝐿1, 𝐿2) = 𝑠𝑖𝑛2 (𝜃 (𝐿1, 𝐿2)).
Perlu diingat juga bahwa titik tengah non sisi 𝑎𝑏 adalah titik 𝑚 terletak di garis 𝑎𝑏
yang mana memenuhi 𝑞 (𝑎, 𝑚) = 𝑞 (𝑚, 𝑠). Pada umumnya nol atau dua titik tengah dari
sisi tertentu. Lain buku atau sumber lain konsep berkaitan erat adalah dipaparkan dalam
pembahasa kami yaitu sebuah sydpoint dari sisi non-null 𝑎𝑏 adalah titik 𝑠 pada garis
𝑎𝑏 yang memenuhi 𝑞 (𝑎, 𝑠) = −𝑞 (𝑏, 𝑠). Ada juga pada umumnya nol atau dua sydpoint
dari sisi tertentu, dan ini berkaitan erat dengan teori parabola hiperbolik.
1.2. Parabola Dan Standar Koordinat
Sekarang memperkenalkan beberapa fakta dasar. Pada 𝒫0 hiperbolik parabola
didefinisikan dalam istilah dua titik non-null, non-tegak lurus 𝑓1 dan 𝑓2 (disebut foci),
sebagai letak titik 𝒫0 yaitu;
𝑞 (𝑝0 , 𝑓1 ) + 𝑞 (𝑝0 , 𝑓2 ) = 1.
Setelah memperkenalkan directrices 𝐹1 ≡ 𝑓 1⊥ dan 𝐹1 ≡ 𝑓 ⊥
2 masing-masing,

persamaan pendefinisian ini setara dengan 𝑞 (𝑝0 , 𝑓1 ) = 𝑞 (𝑝0 , 𝑓2 ) atau 𝑞 (𝑝0 , 𝑓2 ) =

𝑞 (𝑝0 , 𝑓1 ) dapat menunjukkan juga dari hal di atas. Definisi memberikan versi hiperbolik
dari Euclidean parabola. Perhatikan juga bahwa ada dua fokus / pasangan directrix.
Parabola 𝒫0 memang berbentuk kerucut. Definisikan sumbu garis 𝐴 ≡ 𝑓1 𝑓2 ,
simpul 𝑣1 dan 𝑣2 di mana 𝒫0 memenuhi sumbu, garis titik ganda 𝑉1 ≡ 𝑣1⊥ dan 𝑉2 ≡ 𝑣2⊥
yang bersinggungan dengan parabola pada simpul, dan titik-titik dasar 𝑏1 ≡ 𝐹1 𝐴 dan
𝑏2 ≡ 𝐹2 𝐴, dengan garis dasar ganda 𝐵1 ≡ 𝑏1⊥ dan 𝐵2 ≡ 𝑏2⊥ .
Untuk suatu titik 𝑐 = [𝑥: 𝑦: 𝑧] refleksinya dalam sumbu A, yang disebut kebalikan
dari 𝑐, adalah 𝑐 = [𝑥: − 𝑦: 𝑧]. Ini adalah simetri fundamental untuk parabola.
Pemikiran untuk mempelajari parabola adalah memungkinkan fleksibilitas pada
bidang ini dan hati-hati memilih dalam kerangka kerja koordinasi optimal, ini
memanfaatkan empat poin penting yang terkait dengan parabola: sepasang titik nol yang
berlawanan 𝑎0 , ̅̅̅
𝑎0 sejajar di 𝒫0 , dan simpul 𝑣1 , 𝑣2 . Keberadaan dari 𝑎0 , ̅̅̅
𝑎0 mungkin
membutuhkan medan kuadrat ekstensi, yang kami anggap telah kami buat.
Kita sekarang dapat menggunakan teorema Fundamental geometri projektif untuk
merubah secara proyektif empat poin ini
𝑎0 = [1: 1: 1] 𝑎0 = [1: − 1: 1]
̅̅̅
𝑣1 = [0: 0: 1] 𝑣2 = [1: 0: 0]
Dalam hal ini disebut Standar Koordinat untuk parabola. Standar Koordinat, dapat
dinotasika 0  (𝑣2 𝑎0 )(𝑣1 𝑎0 ) dan 0  (𝑣2 𝑎0 )(𝑣1 𝑎0 ) yang mana merupakan titik nol.
 0 = [−1 ∶ 1 ∶ 1] dan 0 = [−1 ∶ −1 ∶ 1]

Pada teorema standart koordinat parabola kemudian menunjukkan bahwa bilinear

hiperbolik. Dengan bentuk 𝐶 = 𝐷 = 𝐽 dari (4) diubah menjadi satu dengan matriks
baru

𝛼2 0 0
𝐶 =[0 1 − 𝛼2 0 ]
2 (1 2)
0 0 𝛼 − 𝛼

Dan (6)

𝛼2 − 1 0 0
𝐷 =[ 0 − 𝛼2 0 ]
2 (1 2)
0 0 𝛼 − 𝛼

Untuk beberapa parameter α. Sedangkan strukturnya berubah, kuadran dan hanya

bergantung pada matriks proyektif yang sesuai 𝐶 dan 𝐷, jadi semua definisi dari
sebelumnya berlaku. Krusial, dalam standar koordinat parabola 𝒫0 sekarang memiliki
persamaan

𝑦 2 = 𝑥𝑧 ….. (7)

Dan dapat parametrized oleh 𝑝0 = 𝑝 (𝑡) ≡ 𝑡 2 : 𝑡: 1. Persamaan sumbu dalam

standar Koordinat adalah 𝐴 = 0: 0: 1, sedangkan lingkaran nol 𝐶 adalah

𝑎2 𝑥 2 + (1 − 𝑎2 )𝑦 2 − 𝑧 2 = 0

Disemua rumus titik, garis dan kurva melibatkan parameter α.

1.3. Konik Ganda Dan Koneksi Dengan Sydpoints

Pada koordinat titik dan garis didefinisikan dalam Standar Koordinat, yaitu;
𝑓1 = [𝑎 + 1: 0: 𝑎(𝑎 − 1)]
𝑓2 = [𝑎 − 1: 0: 𝑎(𝑎 + 1)]
𝐹1 ≡ 𝑓1⊥ = 〈𝑎(𝑎 + 1): 0: 1 − 𝑎〉
𝐹2 ≡ 𝑓2⊥ = 〈𝑎(𝑎 − 1): 0: 1 + 𝑎〉
𝑏1 ≡ 𝐹1 𝐴 = [𝑎 − 1: 0: 𝑎(𝑎 + 1)
𝑏2 ≡ 𝐹2 𝐴 = [𝑎 + 1: 0: 𝑎(𝑎 − 1)
𝐵1 ≡ 𝑏1⊥ = 〈−𝑎(𝑎 − 1): 0: 1 + 𝑎〉
𝐵2 ≡ 𝑓2⊥ = 〈𝑎(𝑎 + 1): 0: 1 − 𝑎〉
Didefinisikan titik-titik sumbu nol untuk menjadi pertemuan dari sumbu A dan
konik nol C:

𝜂1 = [−1 ∶ 0 ∶ 𝛼] , 𝜂2 = [1 ∶ 0 ∶ 𝛼] ;

Perhatikan bahwa ini adalah saklar notasi dari [1]. Kita juga memiliki garis ganda yaitu;
 𝑎0⊥ = 𝐶[1: 1: 1]𝑇 = 〈𝑎2 : 1 − 𝑎2 : −1〉

̅𝑎̅̅⊥̅ = 𝐶[1: 1: 1]𝑇 = 〈𝑎2 : 1 − 𝑎2 : −1〉

0

Disini memperkenalkan poin 𝑑0 dan ̅̅̅

𝑑0 menjadi bertemu dengan directrix 𝐹2
dengan parabola 𝑝0 ,seharusnya mereka ada, dan nol yang sesuai poin 𝛿0 dan ̅̅̅
𝛿0 berbaring
di directrix 𝐹2 .

Gambar 3.

Garis singgung untuk 𝑝0 pada 𝑝0 = 𝑝 (𝑡) ≡ 𝑡 2 : 𝑡: 1 di atasnya adalah 𝑝0 = 1: −

2𝑡: 𝑡 2 , dan keduanya titik garis singgung ini adalah titik 𝑝0 kembar 𝑝0 . Lokus 𝑝0
sebagai 𝑝0 bervariasi sepanjang putaran 𝑝0 luar biasa, untuk menjadi parabola 𝑝0 lain
dengan fokus yang merupakan sydpoints 𝑓 1, 𝑓 2 dari samping 𝑓1 𝑓2, seperti pada
Gambar 3.

Untuk memahami hal tersebut, pertama diperkenalkan, seperti pada Gambar 3,

garis dan titik

𝐹 2 ≡ 𝛼0 ̅̅̅
𝛼0 = 〈1: 0: −1〉

̅̅̅0 = 〈1: 0: 1〉
𝐵1 ≡ 𝛽𝛽

𝑏 2 ≡ 𝐹 2 𝐴 = [1: 0: 1]

𝑓 1 ≡ 𝐵1 𝐴 = [−1: 0: 1]

Duals diantaranya;

𝑓 2 ≡ (𝐹 2 )⊥ = [1: 0: 𝛼 2 ]

𝑏1 ≡ (𝐵1 )⊥ = [1: 0: −𝛼 2 ]

𝐵 2 ≡ (𝑏 2 )⊥ = 〈−𝛼 2 : −: 1〉

𝐹1 ≡ (𝑓 1 )⊥ = 〈𝛼 2 : −: 1〉
 Titik 𝑓1 dan 𝑓2 adalah t-foci dari parabola 𝑃0 , sedangkan masing-masing jalur
ganda 𝐹1dan 𝐹2 adalah t-directri dari 𝑃0 . Bertemu dari t-directrices dan axis A adalah t-
basepoin atau titik utama 𝑏1 ≡ 𝐹1 𝐴 dan 𝑏 2 ≡ 𝐹 2 𝐴, dengan masing-masing garis ganda
𝐵1 dan 𝐵2.
Teorema Parabola sydpoints kemudian menegaskanbahwa titik 𝑓 1 dan 𝑓 2
sebenarnya adalah sydpoints dari sisi 𝑓 1 𝑓 2asli. Parabola 𝑃0 dengan foci 𝑓 1 dan 𝑓 2 ,
disebut twin parabola ofP0, adalah konik ganda P0 sehubungan dengan nol lingkaran C;
yaitu lokus 𝑃0 sebagai 𝑃0 bervariasi. Persamaan dari 𝑃0 dalam Standar Koordinat yaitu;
−4𝑎2
𝑦2 = 𝑥𝑧
(𝑎2 − 1)2
Perhatikan pada Gambar 3 bahwa garis singgung untuk kedua parabola 𝑃0 dan lingkaran
nol C pada kesamaan mereka bertemu, yaitu titik nol 𝛼0 dan ̅̅̅,
𝛼0 melewati focus dari
parabola kembar 𝑃0 . Singgung tangent kedua parabola 𝑃0 dan lingkaran nol 𝐶 pada titi
potong, yaitu titik nol 𝛿0 dan ̅̅̅
𝛿0 pada 𝐹1, melewati fokus 𝑃0 . Dalam kedua kasus, garis
singgung ini ke 𝐶 bersinggungan dengan parabola kembar masing-masing.

2. STRUKTUR KANONIK PADA PARABOLA HYPERBOLIK

Pada lembaran [1] kami kebanyakan berkonsentrasi pada property dari parabola
hiperbolik yang analog pada teori klasik untuk Euclidean parabola. Kami sekarang
mendapatkan beberapa hasil yang menarik yang tidak memiliki parallel klasik: sementara
Euclidean parabola memiliki titik kanonik yang relative sedikit dan terkait dengan itu,
situasinya sangat berbeda di sini, karena adanya titik nol 𝛼0 dan ̅̅̅.
𝛼0 Di sini kami membuat
tsketsa awal dari teori, hingga diskusi tentang Y -conic dari parabola hiperbolik.
Menentukan titik 𝑒:
𝛼0 = [1: 𝛼: 𝛼 2 ]
𝑒0 ≡ (𝜂1 𝛼0 )(𝜂2 ̅̅̅)
𝛼0 = [1: −𝛼: 𝛼 2 ]
𝑒̅0 ≡ (𝜂1 𝛼0 )(𝜂2 ̅̅̅)

Titik 𝑚:
𝑚 ≡ (𝑓 2 𝛼0 )(𝑏1 ̅̅̅)
𝛼0 = [1: −𝛼 2 : 𝛼 4 ]
2 1
𝑚̅ ≡ (𝑓 ̅̅̅)(𝑏
𝛼0 𝛼0 ) = [1: 𝛼 2 : 𝛼 4 ]

Dan titik 𝑛:

𝑎0 = [(𝛼 + 1)2 : −𝛼(𝛼 2 − 1): 𝛼 2 (𝛼 − 1)2 ]

𝑛1 ≡ (𝑓1 𝛼0 )(𝑏2 ̅̅̅)

𝑎0 = [(𝛼 − 1)2 : 𝛼(𝛼 2 − 1): 𝛼 2 (𝛼 + 1)2 ]

𝑛2 ≡ (𝑓2 𝛼0 )(𝑏1 ̅̅̅)

𝑛1 ≡ (𝑓1 𝛼0 )(𝑏2 ̅̅̅̅

̅̅̅ 𝑎0 ) = [(𝛼 + 1)2 : 𝛼(𝛼 2 − 1): 𝛼 2 (𝛼 − 1)2 ]

𝑎0 = [(𝛼 − 1)2 : −𝛼(𝛼 2 − 1): 𝛼 2 (𝛼 + 1)2 ]

𝑛2 ≡ (𝑓2 𝛼0 )(𝑏1 ̅̅̅)
̅̅̅
Teorema 1 (titik parabola Kanonikal)

Gambar 4.

Titik e0, e0, m, m, n1, n2, n1 dan n2 semuanya terletak pada parabola P0.

Bukti : Ini dapat diperiksa dengan mudah dari atas bentuk titik-titik ini dan persamaan (7)
untuk P0. Titik kanonik untuk parabola P0 muncul pada Gambar 4. Karena 𝛼0⊥ =
𝛼0 𝑓2 = 𝛼0𝑚 dan(α0)⊥= α0 f 2 = α0m, titik m dan m adalah juga ditandai dengan
pertemuan masing-masing dari dobel ini dengan P0.

Menentukan 𝛾-poin:

𝛼0 = [𝛼 3 − 𝛼 2 + 𝛼 + 1: −2𝛼 2 : 𝛼(𝛼 3 − 𝛼 2 − 𝛼 − 1)]

𝛾1 ≡ (𝑓1 𝛼0 )(𝑏1 ̅̅̅)

𝛼0 = [𝛼 3 − 𝛼 2 + 𝛼 + 1: 2𝛼 2 : 𝛼(𝛼 3 − 𝛼 2 − 𝛼 − 1)]
𝛾̅1 ≡ (𝑓1 𝛼0 )(𝑏1 ̅̅̅)

𝛼0 = [𝛼 3 + 𝛼 2 + 𝛼 − 1: 2𝛼 2 : −𝛼(𝛼 3 − 𝛼 2 − 𝛼 + 1)]
𝛾2 ≡ (𝑓2 𝛼0 )(𝑏2 ̅̅̅)

𝛼0 = [𝛼 3 + 𝛼 2 + 𝛼 − 1: −2𝛼 2 : −𝛼(𝛼 3 − 𝛼 2 − 𝛼 + 1)]

𝛾̅2 ≡ (𝑓2 𝛼0 )(𝑏2 ̅̅̅)

Teorema 2 (null Canon Canonical) The γ-poin semuanya titik nol.

Bukti: Kita dapat memeriksa masing-masing γ1, γ1, γ2, dan γ2 memenuhi persamaan
α2x2 + (1 − α2)y2 − z2 = 0 dari lingkaran nol C dalam Standar Koordinat.
Menentukan δ-poin
 Gambar 5.

Teorema 3 (canonical nol𝛿-titik) 𝛿-titik semua nya nol titik.

Bukti. Setiap 𝛿 1, 𝛿 ̅1 ,𝛿 ̅2, dan𝛿 2memenuhipersamaanlingkarannol 𝒷.

Selain collinearitas yang mendefinisikan titik-titik kanonik, teorema berikut

menyatukan beberapa hubungan antara titik-titik yang telah didefinisikan. Dalam masing-
masing kasus, dengan menyesuaikan collinearities dengan mempertimbangkan titik-titik
yang berlawanan .

Teorema 4 (titikecollinearities) kami memiliki collinearities [[𝑓 2 𝑒0 𝑒0 ]], [[𝑓 1𝛽0 𝑒0 ]] dan
[[𝑓2 𝛽0 𝑒0 ]].

Teorema 5 (titikncollinearities) kami memilikicollinierities[[𝑓 2 𝑛1 𝑛2 ]] dan [[𝑏 2 𝑛1 𝑛2 ]].

Teorema 6 (fokus 𝛾 collinearities) kami memiliki collinierities [[𝑓 2 𝛾1 𝛾2 ]] dan

[[𝑏 2 𝛾1 𝛾2 ]].

Teorema 7 (𝛾, 𝑚 collinearities) kami memiliki [[𝑏1 𝑎0 𝑚]].

Teorema 9 ( 𝛿−𝛾 collinearitis) kami memiliki colliniearities

[[𝛿1 𝛾2 𝑣1 ]], [[𝛿1 𝛾2 𝑣2 ]] , [[𝛿2 𝛾1 𝑣1 ]]dan[[𝛿2 𝛾1 𝑣2 ]].

Bukti: Karena kita memiliki koordinat dari semua titik, teorema ini semuanya dapat
diperiksa menggunakan kondisi determinan untuk collinearities. Misalnya untuk
mengecek[[𝑓1 𝛽0 𝑒0 ]] saat kita berhitung.

𝑎+1 0 (𝑎 − 1)
det [ −1 1 1 ]
1 𝑎 𝑎2
2.1.Titik y dan𝔂 konic
Dengan menggunakan titik dari bagian sebelumnya, kami sekarang memperkenalkan
beberapa pertemuan skunder yang menentukankonic yang menarik. Menetapkan

𝑦1 ≡ (𝑛2 𝑛2 )(𝛾1 𝛾2 ) = 〈𝑎2 (𝑎 + 1)2 : 0: −(𝑎 − 1)2 〉 × 〈2𝑎3 ; 𝑎4 − 1; 2𝑎〉

= [(𝑎 − 1)3 (𝑎 + 1): −4𝑎3 : 𝑎2 (𝑎 − 1)(𝑎 + 1)3

𝑦2 ≡ (𝑛1 𝑛1 )(𝛾1 𝛾2 ) = 〈−𝑎2 (𝑎 − 1)2 : 0: (𝑎 + 1)2 〉 × 〈2𝑎3 : 𝑎4 − 1: 2𝑎〉

= [(𝑎 − 1)(𝑎 + 1)3 : −4𝑎3 : 𝑎2 (𝑎 − 1)3 (𝑎 + 1)
 Gambar 6.

𝑦3 ≡ (𝑛1 𝑛2 )(𝛾1 𝛾2 ) = 〈−𝑎2 (𝑎2 − 1)2 : 4𝑎2 : −𝑎2 − 1〉 × 〈2𝑎2 : −(𝑎2 − 1)2 : 2𝑎2 〉
= [4𝑎2 + 𝑎4 − 1: 𝑎2 (−4𝑎2 + 𝑎4 − 1)]

𝑦4 ≡ (𝑛1 𝑛2 )(𝑎0 𝑏1 ) = 〈𝑎2 (𝑎2 − 1)2 : 4𝑎2 : −(𝑎2 − 1〉 × 〈𝑎2 : −𝑎2 + 1: 1〉

= [−4𝑎2 + 𝑎4 − 1: 2𝑎2 (𝑎2 − 1): 𝑎2 (4𝑎2 + 𝑎4 − 1)]

Dan

𝑦5 ≡ (𝛽0 𝑏1 )𝐵2 = 〈𝑎2 : 𝑎2 − 1: 1〉 × 〈−𝑎2 : 0: 1〉 = [𝑎2 − 1: −2𝑎2 : 𝑎2 (𝑎2 − 1)].

Teorema 10 ( 𝓎 konic) sepuluh titik 𝑦1 𝑦1 , 𝑦2 𝑦2 , 𝑦3 𝑦3 , 𝑦4 𝑦4 , 𝑦5 dan

𝑦5 berbaringdiatasberbentukkerucut , yang kitasebut𝓎-kerucut. Persamaannyaadalah

𝑎4 (𝑎4 − 6𝑎2 + 1)𝑥 2 + 4𝑎2 (𝑎2 − 1)2 𝑦 2 + (𝑎4 − 6𝑎2 +1)𝑧 2 − 2𝑎2 (𝑎2 + 1)2 𝑥𝑧 = 0

Bukti. Karena bentuk-bentuk semua titik yang terlibat sudah diketahui itu adalah sebuah
latihan yang panjang tetapi langsung (dibuat lebih sederhana dengan paket computer) untuk
memverifikasi bahwa titik-titik yang sesuai memenuhi persamaan sebuah 𝓎 kerucut.

Hubungan Antara 𝓎 −kerucut dan parabola 𝓅0 jadi menarik. Investigasi empiris dengan GSP
menunjukkan bahwa dalam beberapa hal kerucut 𝓎 secara simetris ditempatkan baik dengan
respek terhadap 𝓅0 danC, seperti yang ditunjukkan oleh gambar 1. Kami akan memberikan 2
teorema yang memperjelas ini. Pertama ingat bahwa dalam geometri projektif sebuah
homologi dengan sumbu garis L dan pusat titik 𝑎 didefinisikan dalam dua hal titik tambahan 𝑐
dan 𝑑 memuaskan [[𝑎𝑐𝑑]] . Dalam hal ini homologi mengirimkan titik umum 𝑥 ke
(((𝑐𝑥)𝐿)𝑑) (𝑎𝑥).

Teorema 11 (parabola nol) homologi∅dengan sumbu𝐹1 dan pusat𝑓1 yang mengirim 𝑏2 ke 𝑏1

mengirim 𝓅0 ke 𝒷.
Bukti. Menggunakan koordinat titik dan garis yang diketahui terlibat, homologi dapat
dihitung menjadi

∅([𝑥: 𝑦: 𝑧]) = [𝑥𝑎3 + (1 − 𝑎2 )𝑦 2 − 𝑧 2 = 0 tepat kapan 4𝑎4 (𝑥𝑧 − 𝑦 2 )(𝑎2 − 1) = 0. Jadi ini
mengirim homologi 𝓅0 ke 𝒷.

Gambar 7.

Teorema 12 ( 𝓎 homologi yang berbentuk kerucut)jikapertemuantangenke 𝓅0 di

𝑛2 dan 𝑛2 dilambangkan 𝑞2 , makahomologidengan 𝜑 dengan sumbu 𝐹1 danpusat 𝑓 2 yang
mengirim𝑞2 ke𝑓 1 mengirim 𝓅0 ke𝓎.

Bukti.Pertama kami menghitungberikut

𝑞2 = [(𝑎 + 1)2 : 0: −𝑎2 (𝑎 − 1)2 ]

Dan kemudian menentukan berikut

𝜑([𝑥: 𝑦: 𝑧]) = [𝑧 + 2𝑧𝑎 + 𝑥𝑎2 − 2𝑥𝑎3 − 𝑥𝑎4

− 𝑧𝑎2 : 4𝑦𝑎3 : 𝑎2 (𝑧 − 2𝑧𝑎 + 𝑥𝑎2 + 2𝑥𝑎3 − 𝑥𝑎4 − 𝑧𝑎2 )]

Setelah mensubtitusinya, kita menemukan bahwa titik ini terletak di atas 𝓎 -kerucut
diatastepatdimana64𝑎8 (𝑥𝑧 − 𝑦 2 )(𝑎2 − 1)2 = 0.Jadi ini mengirim homologi 𝓅0 ke 𝓎.

3. Kesimpulan

Teori geometri hiperbolik atau UGH adalah topic yang kaya dengan banyak penemuan yang
yang lebih khusus dapat dibuat dan dapat digunakan untuk mencari nilai-nilai pada titik titik
hiperbolik

4. Daftar Pustaka

[1] A. Alkhaldi and N. J. Wildberger, The Parabola in Universal Hyperbolic Geometry I,

KoG, 17, (2013), 14-42.
[2] E. Moln’ar, A hiperbolikus geometria k’upszeleteinek aszimptota tulajdons’agai,
azaszimptot’ak ’es f’okuszok kapcsolata szintetikus t’argyal’asban, Mat.Lapok, 22,
(1971), 77–91.
[3] E. Story, On Non-Euclidean Properties of Conics, American Journal of Math., (1883),
358-381.
[4] G. Csima and J. Szirmai, Isoptic curves of the conic sections in the hyperbolic and elliptic
plane, Stud. Univ. Zˇilina, Math.Ser. 24, 1, (2010), 15-22.
[5] M. Henle, Will the Real Non-Euclidean Parabola Please Stand up?, Math. Magazine, 71,
No. 5 (Dec., 1998), 369-376.
[6] N. J. Wildberger and A. Alkhaldi, Universal Hyperbolic Geometry IV: Sydpoints and
Twin Circumcircles, KoG, 16, (2012), 43-62.
[7] N. J. Wildberger, Universal Hyperbolic Geometry I: Trigonometry, Geometriae Dedicata,
(2013), 215-274.
[8] N. J. Wildberger, Universal Hyperbolic Geometry II: A pictorial overview, KoG, 14,
(2010), 3-24.
[9] N. J. Wildberger, Universal Hyperbolic Geometry III: First steps in projective triangle
geometry, KoG, 15, (2011), 25-49.
ABOUT THE AUTHORS
1. Ali Alkhaldi is a recent graduate from University of New South Wales and is now
teaching at King Khalid University in Abha, Saudi Arabia.
2. Norman Wildberger is the developer of Rational Trigonometry and is an ardent
YouTube poster (more than 500 maths videos at user: njwildberger).10