Lampiran A - Aksioma Hilbert untuk Geometri Euclidean

Matematika adalah permainan yang dimainkan sesuai aturan tertentu dengan tanda tidak berarti di atas
kertas.

—David Hilbert (1862–1943)

Catatan Pengantar. Himpunan Aksioma Hilbert adalah contoh dari apa yang disebut geometri sintetis.
Geometri sintetik memiliki antara dan kongruensi sebagai istilah yang tidak ditentukan, sifat kongruensi
diberikan dalam aksioma, tidak memiliki aksioma untuk mengukur jarak dan sudut. Namun, Aksioma V.1
terkait dengan pengukuran panjang dengan memberikan metode membandingkan dua segmen yang
berubah-ubah.

Poin, garis, bidang, kebohongan, antara, dan kongruensi yang tidak terdefinisi.

(Beberapa browser web menampilkan beberapa karakter secara tidak benar, sudut ditampilkan sebagai
, kongruen menunjukkan sebagai , dan karakter Yunani alpha dan beta ditampilkan sebagai .)

Kelompok I. Aksioma Insiden

I.1. Untuk setiap dua titik A, B, ada garis m yang berisi masing-masing titik A, B.

I.2. Untuk setiap dua titik A, B, tidak ada lebih dari satu garis m yang berisi masing-masing titik A, B.

I.3. Setidaknya ada dua poin dalam satu baris. Setidaknya ada tiga poin yang tidak terletak pada garis.

I.4. Untuk setiap tiga titik A, B, C yang tidak terletak pada garis yang sama, terdapat bidang  yang berisi
masing-masing titik A, B, C. Untuk setiap bidang ada titik yang dikandungnya.

I.5. Untuk setiap tiga titik A, B, C yang tidak terletak pada garis yang sama, tidak ada lebih dari satu
bidang yang berisi masing-masing dari tiga titik A, B, C.

I.6. Jika dua titik A, B dari garis m terletak di bidang , maka setiap titik m terletak di bidang .

I.7. Jika dua pesawat  memiliki titik A yang sama, maka mereka memiliki setidaknya satu titik B yang
sama.

I.8. Setidaknya ada empat titik yang tidak terletak di pesawat.

kelompok II. Aksioma Ketertiban

II.1. Jika titik B terletak di antara titik A dan C, maka A, B, C adalah tiga titik berbeda dari sebuah garis,
dan B juga terletak di antara C dan A.

II.2. Untuk dua titik berbeda A dan C, ada setidaknya satu titik B pada garis AC sehingga C terletak antara
A dan B.

II.3. Dari tiga titik pada satu baris tidak ada lebih dari satu yang terletak di antara dua titik lainnya.
II.4. Misalkan A, B, C menjadi tiga titik yang tidak terletak pada garis dan biarkan m menjadi garis dalam
bidang ABC yang tidak memenuhi salah satu titik A, B, C. Jika garis m melewati titik dari segmen AB, juga
melewati titik segmen AC atau segmen BC.

Kelompok III. Aksioma Kesesuaian

III.1. Jika A, B adalah dua titik pada garis m, dan A 'adalah titik pada baris yang sama atau pada garis lain
m' maka selalu mungkin untuk menemukan titik B 'pada sisi tertentu dari garis m' hingga A ' sedemikian
rupa sehingga segmen AB kongruen dengan segmen A'B '. Dalam simbol AB  A'B '.

III.2. Jika dua segmen kongruen dengan yang ketiga, mereka kongruen satu sama lain.

III.3. Pada baris m, biarkan AB dan BC menjadi dua segmen yang kecuali untuk B tidak memiliki
kesamaan. Lebih lanjut, pada baris yang sama atau pada baris lain, 'biarkan A'B' dan B'C 'menjadi dua
segmen yang kecuali untuk B' juga tidak memiliki kesamaan. Dalam hal ini, jika AB  A'B 'dan BC  B'C',
maka AC  A'C '.

III.4. Biarkan  (h, k) menjadi sudut pada bidang  dan m 'sebuah garis dalam bidang ' dan biarkan sisi
pasti dari m 'dalam ' diberikan. Biarkan dia menjadi sinar pada garis m 'yang berasal dari titik O'.
Kemudian ada di bidang  'satu dan hanya satu sinar k' sedemikian rupa sehingga sudut  (h, k)
kongruen dengan sudut  (h ', k') dan pada saat yang sama semua titik interior sudut  (h ', k') berbaring
di sisi yang diberikan dari m '. Secara simbolis  (h, k)   (h ', k'). Setiap sudut adalah kongruen dengan
dirinya sendiri.

III.5. Jika untuk dua segitiga ABC dan A'B'C 'kongruensi AB  A'B', AC  A'C ', BAC  B'A'C' tahan, maka
kongruensi ABC  A'B 'C' juga puas.

Kelompok IV. Aksioma Paralel

IV. Biarkan m menjadi garis apa pun dan A menjadi titik tidak di atasnya. Lalu ada paling banyak satu
garis di pesawat, ditentukan oleh m dan A, yang melewati A dan tidak berpotongan m.

Kelompok V. Aksioma Kontinuitas

V.1. (Aksioma ukuran atau Aksioma Archimedes) Jika AB dan CD adalah segmen apa pun, maka ada
sejumlah n sehingga n segmen CD yang dibangun secara bersebelahan dari A, sepanjang sinar dari A
hingga B, akan melampaui titik B.

V.2. (Aksioma kelengkapan garis) Perpanjangan set poin pada garis dengan keteraturan dan hubungan
kongruensi yang akan melestarikan hubungan yang ada di antara elemen asli serta sifat dasar dari
urutan garis dan kongruensi yang mengikuti dari Aksioma I-III , dan formulir V.1 tidak mungkin.

Ketentuan yang Didefinisikan

• Pertimbangkan dua titik A dan B pada sebuah garis m. Himpunan dua titik A dan B disebut segmen.
Titik-titik antara A dan B disebut titik-titik segmen AB, atau juga dikatakan berada di dalam segmen AB.

• Misalkan A, A ', O, B menjadi empat titik garis m sedemikian rupa sehingga O terletak di antara A dan
B, tetapi bukan antara A dan A'. Titik A, A 'kemudian dikatakan terletak pada garis m pada satu dan sisi
yang sama dari titik O dan titik A, B dikatakan terletak pada garis m pada sisi yang berbeda dari titik O.
Totalitas dari titik-titik garis m yang terletak di sisi O yang sama disebut sinar yang berasal dari O.
• Membiarkan menjadi pesawat  dan h, k setiap dua sinar berbeda yang berasal dari O di  dan
berbaring di garis yang berbeda. Pasangan sinar h, k disebut sudut dan dilambangkan dengan  (h, k)
atau  (k, h).

• Biarkan sinar h terletak pada garis h 'dan sinar k pada garis k'. Sinar h dan k bersama dengan titik O
mempartisi titik-titik pesawat menjadi dua wilayah. Semua titik yang terletak di sisi yang sama dari k
'seperti yang dari h, dan juga mereka yang terletak di sisi yang sama dari h' seperti yang di k, dikatakan
terletak di bagian dalam sudut  (h, k).

• Jika A, B, C adalah tiga titik yang tidak terletak pada garis yang sama, maka sistem tiga segmen AB, BC,
CA, dan titik akhir mereka disebut segitiga ABC.
Lampiran B - Aksioma Birkhoff untuk Geometri Euclidean

George D. Birkhoff akan disebut oleh matematikawan sebagai penulis "kakek buyut" program web ini
sebagai garis langsung penasihat tesis, karena Ph.D. Timothy Peil's Ph.D. penasihat tesis adalah Allan
Peterson yang penasihatnya adalah John Barrett yang penasihatnya adalah Hyman Ettlinger yang
penasihatnya adalah George Birkhoff.

- dari Proyek Silsilah Matematika

Timothy Peil menulis kursus web ini.

Catatan Pengantar. Rangkaian aksioma Birkhoff adalah contoh dari apa yang disebut geometri metrik.
Sebuah geometri metrik memiliki aksioma untuk mengukur jarak dan sudut, kemudian antara dan
kongruensi ditentukan dari jarak dan ukuran sudut dan sifat kongruensi dikembangkan dalam teorema.

(Beberapa browser web menampilkan beberapa karakter secara tidak benar, sudut ditampilkan sebagai
 dan tidak sama dengan menunjukkan sebagai .)

Elemen dan Hubungan Tidak Terdefinisi.

• poin A, B, ...

• set titik yang disebut garis l, m, ...

• jarak antara dua titik A dan B: bilangan real negatif (d, A) sedemikian sehingga d (A, B) = d (B, A)

• sudut yang dibentuk oleh tiga titik berurutan A, O, B (A  AOBa bilangan real (mod
2). Titik O disebut titik sudut.

Postulat I. (Postulat Ukur Garis) Poin A, B, ... dari setiap baris l dapat ditempatkan ke dalam
korespondensi satu-ke-satu dengan bilangan real x sehingga | xA - xB | = d (A, B) untuk semua poin A, B.

Postulat II. (Point-Line Postulate) Satu dan hanya satu baris l berisi dua poin P, Q (P Q

Postulat III. (Postulat Ukuran Sudut) Setengah garis l, m, ... melalui titik mana pun O dapat dimasukkan
ke dalam korespondensi satu-ke-satu dengan bilangan real a (mod 2), sehingga, jika A O dan B O
adalah titik l dan m, masing-masing, selisih am - al (mod 2) adalah AOB Lebih jauh lagi jika titik B
pada m berubah secara kontinu dalam garis r yang tidak mengandung titik O, jumlah Saya bervariasi
terus menerus juga.

Postulat IV. (Persamaan Postulat) Jika dalam dua segitiga ABC, A'B'C 'dan untuk beberapa konstanta
k> 0, d (A', B ') = kd (A, B), d (A', C ') = kd (A, C), dan juga mBAC  mB'A'C ', lalu juga d (B', C ') = kd
(B, C), mA'B 'C' ABC, dan mA'C'B 'ACB.

Ketentuan yang Didefinisikan

• Titik B adalah antara A dan C (A C jika d (A, B) + d (B, C) = d (A, C).

• Setengah garis l 'dengan titik akhir O didefinisikan oleh dua titik O, A di garis l (A O) sebagai
himpunan semua titik A' dari l sedemikian sehingga O tidak berada di antara A dan A '.

• Poin A dan C, bersama dengan semua titik B antara A dan C, untuk segmen AC.
• Jika A, B, C adalah tiga titik berbeda, segmen AB, BC, CA dikatakan membentuk segitiga ABC dengan
sisi AB, BC, CA dan simpul A, B, C. Jika collinier A, B, dan C maka ABC dikatakan merosot.

• Jika dua garis yang berbeda tidak memiliki titik yang sama, keduanya paralel. Sebuah garis selalu
dianggap sejajar dengan dirinya sendiri.

• Dua setengah garis m, n hingga O dikatakan membentuk sudut lurus jika mmOn = . Dua setengah
garis m, n hingga O dikatakan membentuk sudut kanan jika mmOn = (+/-)  / 2, dalam hal ini kita juga
mengatakan bahwa m adalah tegak lurus terhadap n.

• Setiap dua angka geometris adalah sama jika ada sumbu satu-ke-satu korespondensi antara titik-titik
dari dua angka sehingga semua jarak yang sesuai dalam proporsi dan sudut yang sesuai memiliki ukuran
yang sama (kecuali, mungkin, untuk tanda mereka). Setiap dua angka geometris adalah kongruen jika
mereka serupa dengan konstanta proporsionalitas, k = 1.