Geometri Euclid

Geometri Euclid merupakan sebuah sistem matematik yang disumbangkan oleh seorang ahli matematik Yunani bernama Euclid dari Alexandria. Teks Euclid, Elements merupakan sebuah kajian sistematik yang terawal mengenai geometri. Ia sudah menjadi salah satu buku-buku yang paling berpengarh di dalam sejarah, sama banyaknya dengan kaedahnya yang mempunyai isi kandungan matematik. Kaedah cara yang mengandungi andaian satu set aksiom secara intuitif yang sangat menarik, dan kemudiannya membuktikan banyak usul (teorem-teorem) daripada aksiom-aksiom berkenaan. Walaupun banyak daripada keputusan-keputusan oleh Euclid sudah dinyatakan oleh ahli-ahli matematik Yunani sebelumnya, Euclid merupakan orang yang pertama untuk menunjukkan bagaimana usul-usul ini diletakkan secara sempurna membentuk satu deduksi dan sistem logik yang komprehensif.

Buku Elements ini bermula dengan geometri satah, yang masih lagi diajar di sekolah menengah sebagai satu sistem aksioman dan contoh-contoh pembuktian formal yang pertama. Kemudiannya, Elements merangkumi geometri pepejal dalam tiga dimensi, dan seterusnya geometri Euclid telah dipanjangkan kepada satu bilangan dimensi yang terhingga. Kebanyakan daripada Elements menyatakan keputusan-keputusan dalam apa yang kini disebut sebagai teori nombor, yang boleh dibuktikan menerusi kaedah geometri.

Selama dua ribu tahun, kata adjektif "Euclid" tidak diperlukan kerana pada masa itu tiada geometri lain dapat dibayangkan. Aksiom-aksiom Euclid nampak seperti sangat jelas sehinggakan apa-apa teorem lain yang dibuktikan daripadanya dianggap benar secara mutlak. Hari ini, bagaimanapun, banyak geometri bukan Euclid sudah diketahui, yang pertamanya telah dijumpai pada awal abad ke-19. Ia juga tidak boleh diambil mudah bahawa geometri Euclid hanya menggambarkan ruang fizikal. Satu implikasi daripada teori Einstein mengenai teori kerelatifan umum bahawa geometri Euclid merupakan satu anggaran yang baik kepada sifat-sifat ruang fizikal hanyak sekiranya medan graviti tidak terlalu kuat.

Pendekatan aksioman 
Geometri Euclid merupakan satu sistem aksioman, yang mana semua teorem ("penyataan benar") adalah diambil daripada satu bilangan aksiom-aksiom yang terhingga. Pada permulaan buku Elements yang pertama, Euclid memberikan lima postulat (aksiom):
 Apa-apa dua titik boleh dihubungkan dengan satu garis lurus. 
 Apa-apa tembereng garis lurus boleh dipanjangkan di dalam satu garis lurus. 
 Satu bulatan boleh dilukis dengan menggunakan satu garis lurus sebagai jejari dan satu lagi titik hujung sebagai pusat. 
 Semua sudut serenjang adalah kongruen.
 Postulat selari. Jika dua garis bersilangan dengan yang ketiga dalam satu cara yang jumlah sudut dalaman adalah kurang daripada satu lagi, maka dua garis ini mesti bersilangan di atas satu sama lain sekiranya dipanjangkan secukupnya.

Aksiom-aksiom ini menggunakan konsep-konsep berikut: titik, tembereng garis lurus dan garis, sebahagian daripada satu garis, bularan dengan jejari dan pusat, sudut serenjang, kongruen, sudut-sudut dalaman dan serenjang, jumlah. Kata-kata kerja yang berikut muncul: sambung, dipanjangkan, lukis, silang. Bulatan ini digambarkan dengan menggunakan postulat 3 adalah sangat unik. Postulat-postulat 3 dan 5 hanya boleh digunakan untuk geometri satah; dalam tiga dimensi, postulat 3 mentakrifkan suatu bulatan.

Postulat 5 membawa kepada geometri yang sama sebagai penyataan yang berikut, dikenali sebagai Aksiom Playfair, yang hanya boleh dipegang hanya konsep di dalam satah itu:

Postulat-postulat 1, 2, 3, dan 5 menegaskan bahawa kewujudan dan keunikan rajah-rajah geometri, dan peegasan ini adalah satu binaan semulajadi: iaitu, kita tidak diberitahu bahawa ada perkara tertentu wujud, tetapi kaedah-kaedah diberi untuk mencipta dengan tidak lebih daripada satu kompas dan satu pinggiran lurus yang tidak bertanda. Dalam kes ini, geometri Euclid adalah lebih konkrit daripada kebanyakan sistem-sistem aksiom moden seperti teori set, yang mana kebiasaannya menegaskan kewujudan objek-objek tanpa mengatakan bagaimana untuk membina mereka, atau menegaskan kewujudan objek-objek yang tidak boleh dibina di dalam ruang teori berkenaan.

Sebenarnya, binaan-binaan garis di atas kertas dan sebagainya adalah model-model objek yang lebih baik ditakrifkan di dalam sistem formal, daripada hanya contoh-contoh objek berkenaan. Sebagai contoh, satu garis lurus Euclid tidak mempunyai lebar, tetapi apa-apa garis yang benar akan menjadi lebar.

Elements juga memasukkan lima "notasi biasa":
 Perkara yang sama dengan benda yang sama tetapi juga setara antara satu sama lain.
 Jika setara ditambahkan kepada persamaan, maka jumlah keseluruhan juga adalah setara.
 Jika setara ditolak daripada persamaan, maka bakinya juga adalah setara.
 Perkara yang bertembung di antara satu sama lain juga setara antara satu sama lain that coincide with one another equal one another.
 Jumlah keseluruhan juga lebih besar daripada bahagian berkenaan.

Euclid juga menggunakan sifat-sifat lain yang berkaitan dengan magnitud. 1 adalah satu-satunya bahagian daripada dasar logik yang Euclid lahirkan dengan terang dan jelas. 2 dan 3 adalah prinsip-prinsip "aritmetik"; perhatikan bahawa makna-makna "tambah" dan "tolak" di dalam konteks geometri asli ini telah diberi sama seperti diambil. 1 hingga 4 secara takrifan mempunyai persamaan, yang mana boleh juga diambil sebagai bahagian pendasaran logik atau sebagai satu keperluan hubungan kesetaraan , seperti "pertembungan," definisi yang sangat teliti. 5 adalah satu prinsip mereologi. "Keseluruhan", "sebahagian", dan "baki" memerlukan takrifan yang tepat.

Geometri