C

O

l

A

B

Satu perbedaan mendasar Euclid dan Elliptik adalah konsep ‘betweeness’. Pada geometri Euclid, suatu titik B terletak antara A dan C jika {A, B, C} kolinier, dan jumlah jarak dari A ke B dan dari B ke C sama dengan jarak dari A ke C. Hal tersebut menjadi definisi yang tidak mungkin digunakan pada geometri Elliptik. Pada geometri Euclid, segmen AB terdiri dari titik A dan B dan semua titik diantara keduanya. Kita dapat melihat kenapa lingkaran tidak memenuhi definisi ini. Untuk aksioma pemisahan telah dikembangkan untuk memberikan dasar geometri Elliptik. SA1: Jika (A,B|C,D), maka A, B, C, D satu garis dan merupakan titik berbeda. SA2: Jika (A,B|C,D) maka (C,D|A,B) dan (B,A|C,D) SA3: Jika (A,B|C,D) maka tidak (A,C|B,D) Jika A dan B memisahkan C dan D, sangat tidak mungkin untuk A dan C memisahkan B dan D. SA4: Jika titik A, B, C, D segaris dan merupakan titik berbeda, maka (A,B|C,D) atau (A,C|B,D) atau (A,D|B,C) Karena A, B, C, D segaris, titik A dan satu dari titik lainnya harus memisahkan 2 titik sisanya. Karena ada 3 titik setelah A, maka ada 3 hubungan pemisahan yang mungkin.

B. Jika (A.SA5: Jika titik A. SA6: Untuk sembarang 5 titik segaris dan berbeda A.B|C. D dan E. B.D). dengan kata lain jika (A. sedemikian sehingga (A. .B|D. C. D’ merupakan titik yang sama pada garis m dibawah perspektif. B.B’|C’. D dan jika A’.B|C. C segaris dan berbeda. maka (A’.E) SA7: Perspektif mempertahankan pemisahan. sehingga tidak masalah sedekat apa B dengan A.D’).E) maka (A.B|C. titik D tetap dapat digambar.D) dan l garis yang melalui A. C’. B’. C.D) atau (A. Aksioma ini menunjukkan bahwa ada titik-titik dengan jumlah tidak terbatas pada garis. kemudian ada titik D.B|C.

Sign up to vote on this title
UsefulNot useful