3.5.

Saccheri Legendre Theorema

Sebagian besar teorema yang dikenal sebagai geometri netral dapat ditemukan dalam
karya biksu Jesuit, Girolamo Saccheri (1667-1733.) Seperti yang ditunjukkan sebelumnya,
matematikawan awal mencurahkan banyak upaya untuk menyelidiki pertanyaan tentang
independensi kelima Euclid. mendalilkan. Saccheri, sebagaimana ditunjukkan dalam Bab 2,
mencoba menggunakan metode pembuktian tidak langsung dalam upaya untuk memvalidasi
postulat paralel. Tanpa mengasumsikan postulat paralel (yaitu, dalam geometri netral), Saccheri
melakukan studi lengkap tentang kelas segi empat yang disebutnya segi empat sama kaki
birectangular. Segi empat ini, yang sekarang dikenal sebagai segiempat Saccheri, memiliki dua
sisi yang kongruen dan tegak lurus dengan sisi ketiga (Gambar 3.5.1). Setelah membuktikan
bahwa R  S, Saccheri mempertimbangkan tiga kemungkinan untuk R dan S: (1) mR =
mS > 90°, hipotesis sudut tumpul; (2) mR = mS = 90°, hipotesis sudut siku-siku; (3) mR
= mS < 90°, hipotesis sudut lancip. Tujuannya adalah untuk menunjukkan bahwa kemungkinan
1 dan 3 mengarah pada kontradiksi dan kemungkinan 2, seperti yang akan kita buktikan di
bagian selanjutnya, setara dengan postulat kelima Euclid. Teorema berikut memberikan dasar
untuk kontradiksi dengan hipotesis sudut tumpul yang ditemukan Saccheri. Kontradiksi dengan
hipotesis sudut lancip, seperti yang kita kenal sekarang, tidak pernah ditemukan.

Teorema 3.5.1. Teorema Saccheri-Legendre : Jumlah sudut sembarang segitiga kurang dari atau
sama dengan 180°.

Sebelum kita memulai pembuktian kita, beberapa hasil awal diperlukan.

Lemma 3.5.2. Jumlah besar dua sudut pada suatu segitiga kurang dari 180°.
Bukti. Pertimbangkan ABC dan biarkan D berada di BC sedemikian rupa sehingga B-C-D
(Gambar 3.5.2). Menurut definisi, 4 adalah sudut luar ABC, dan karenanya m4 > m1. Karena
m4 + m2 = 180°, kita tahu bahwa m4 = 180° - m2. Oleh karena itu dengan substitusi,
m1< 180° - m2 dan m1 + m2 < 180°. Dengan cara yang sama, dapat ditunjukkan bahwa
m2 + m3 < 180° dan m1 + m3 < 180°.

Lemma 3.5.3. Untuk setiap ABC terdapat A1B1C1 yang memiliki jumlah sudut yang sama

1
dengan ABC tetapi dengan mA1 ≤ (mA).
2

Bukti. Perhatikan ABC di mana E adalah titik tengah BC. Cari F pada AE sedemikian rupa
sehingga A-E-F dan AEEF (Gambar 3.5.3). Sekarang jika kita menggambar FC, mudah untuk
menunjukkan bahwa BEA CEF dan, sebagai hasilnya, 2 5 dan 3 6. Sekarang jika
kita menyatakan jumlah sudut ABC dengan S(ABC), maka S(ABC) = mA + mB + mC
= m1 + m2 + m3 + m 4. Substitusi, kita temukan S(ABC) = m1 + m2 + m3 +
m4= mCAF + mAFC + mFCA, yang merupakan jumlah sudut AFC Oleh karena itu
AFC memiliki jumlah sudut yang sama dengan ABC. Karena mA =m1 + m2 = m1 +

1 1
m5, m1 atau m5 kurang dari atau sama dengan (mA). Jika m1 ≤ (mA), misalkan
2 2

1
A = A1 , F = B1 , dan C = C1 . Jika m5 ≤ (mA), misalkan F = A1 , C = C1 , dan A = B1 , dan
2
A1B1C1 adalah segitiga yang diperlukan.
Kita sekarang berada dalam posisi untuk membuktikan teorema Saccheri-Legendre, yang
dinyatakan kembali di sini.

Teorema 3.5.1. Jumlah sudut suatu segitiga lebih kecil atau sama dengan 180°.

Bukti. Kami akan menggunakan bukti tidak langsung dan menganggap bahwa ada ABC dengan
jumlah sudut 180° + p, di mana p adalah sebarang bilangan positif. Menggunakan Lemma 3.5.3,
kita dapat menghasilkan A1B1C1 yang memiliki jumlah sudut yang sama (180° + p) sebagai

1
ABC tetapi di mana mA1 ≤ (mA). Sekarang kita dapat menerapkan Lemma 3.5.3 ke
2
A1B1C1 untuk menghasilkan A2B2C2 dengan jumlah sudut yang sama dengan A1B1C1 maka

1 1
jumlah sudut yang sama dengan ABC, dengan mA2 ≤ (mA1) ≤ (mA). Jika kita
2 4
mengulangi proses ini kita dapat membuat barisan segitiga, A1B1C1, A2B2C2 , A3B3C3 , …,
AnBnCn , masing-masing dengan jumlah sudut 180° + p, sedemikian hingga untuk setiap n > 0,

1
m  An ≤( n) (mA). Sekarang properti Archimedean bilangan real memungkinkan kita untuk
2
memilih n yang cukup besar sehingga mAn adalah sekecil seperti yang kita pilih, dan
khususnya sehingga m  An ≤ p. Sekarang karena m An + m  Bn + m  Cn = 180°+ p, maka
m  Bn + m  Cn > 180°, yang bertentangan dengan lemma 3.5.2 dan membuktikan hasil kami.
Teorema Saccheri-Legendre mengarah pada bukti sebagai konsekuensi logis yang dengan jelas
menyiratkan kepalsuan hipotesis Saccheri tentang sudut tumpul

Konsekuensi logis 3.5.4. Jumlah sudut dari setiap segiempat cembung kurang dari atau sama
dengan 360° (Gambar 3.5.4). Buktinya dibiarkan sebagai latihan

Sifat tambahan dari segi empat Saccheri dan konsekuensinya akan diselidiki di bagian
selanjutnya