translate english to indonesia

Euclidean geometry
Euclidean geometry is a mathematical system attributed to the Greek mathematician Euclid of Alexandria. Euclid's text Elements is the earliest known systematic discussion of geometry. It has been one of the most influential books in history, as much for its method as for its mathematical content. The method consists of assuming a small set of intuitively appealing axioms, and then proving many other propositions (theorems) from those axioms. Although many of Euclid's results had been stated by earlier Greek mathematicians, Euclid was the first to show how these propositions could be fit together into a comprehensive deductive and logical system.
The Elements begin with plane geometry, still taught in secondary school as the first axiomatic system and the first examples of formal proof. The Elements goes on to the solid geometry of three dimensions, and Euclidean geometry was subsequently extended to any finite number of dimensions. Much of the Elements states results of what is now called number theory, proved using geometrical methods.
For over two thousand years, the adjective "Euclidean" was unnecessary because no other sort of geometry had been conceived. Euclid's axioms seemed so intuitively obvious that any theorem proved from them was deemed true in an absolute sense. Today, however, many other self-consistent non-Euclidean geometries are known, the first ones having been discovered in the early 19th century. It also is no longer taken for granted that Euclidean geometry describes physical space. An implication of Einstein's theory of general relativity is that Euclidean geometry is a good approximation to the properties of physical space only if the gravitational field is not too strong.
Axiomatic approach
Euclidean geometry is an axiomatic system, in which all theorems ("true statements") are derived from a finite number of axioms. Near the beginning of the first book of the Elements, Euclid gives five postulates (axioms):
1. Any two points can be joined by a straight line.
2. Any straight line segment can be extended indefinitely in a straight line.
3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
4. All right angles are congruent.
5. Parallel postulate. If two lines intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough.
These axioms invoke the following concepts: point, straight line segment and line, side of a line, circle with radius and center, right angle, congruence, inner and right angles, sum. The following verbs appear: join, extend, draw, intersect. The circle described in postulate 3 is tacitly unique. Postulates 3 and 5 hold only for plane geometry; in three dimensions, postulate 3 defines a sphere.

A proof from Euclid's elements that, given a line segment, an equilateral triangle exists that includes the segment as one of its sides. The proof is by construction: an equilateral triangle ΑΒΓ is made by drawing circles Δ and Ε centered on the points Α and Β, and taking one intersection of the circles as the third vertex of the triangle.
Postulate 5 leads to the same geometry as the following statement, known as Playfair's axiom, which also holds only in the plane:
Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.
Postulates 1, 2, 3, and 5 assert the existence and uniqueness of certain geometric figures, and these assertions are of a constructive nature: that is, we are not only told that certain things exist, but are also given methods for creating them with no more than a compass and an unmarked straightedge. In this sense, Euclidean geometry is more concrete than many modern axiomatic systems such as set theory, which often assert the existence of objects without saying how to construct them, or even assert the existence of objects that cannot be constructed within the theory.
Strictly speaking, the constructs of lines on paper etc are models of the objects defined within the formal system, rather than instances of those objects. For example a Euclidean straight line has no width, but any real drawn line will.
The Elements also include the following five "common notions":
1. Things that equal the same thing also equal one another.
2. If equals are added to equals, then the wholes are equal.
3. If equals are subtracted from equals, then the remainders are equal.
4. Things that coincide with one another equal one another.
5. The whole is greater than the part.
Euclid also invoked other properties pertaining to magnitudes. 1 is the only part of the underlying logic that Euclid explicitly articulated. 2 and 3 are "arithmetical" principles; note that the meanings of "add" and "subtract" in this purely geometric context are taken as given. 1 through 4 operationally define equality, which can also be taken as part of the underlying logic or as an equivalence relation requiring, like "coincide," careful prior definition. 5 is a principle of mereology. "Whole", "part", and "remainder" beg for precise definitions.
In the 19th century, it was realized that Euclid's ten axioms and common notions do not suffice to prove all of theorems stated in the Elements. For example, Euclid assumed implicitly that any line contains at least two points, but this assumption cannot be proved from the other axioms, and therefore needs to be an axiom itself. The very first geometric proof in the Elements, shown in the figure on the right, is that any line segment is part of a triangle; Euclid constructs this in the usual way, by drawing circles around both endpoints and taking their intersection as the third vertex. His axioms, however, do not guarantee that the circles actually intersect, because they are consistent with discrete, rather than continuous, space. Starting with Moritz Pasch in 1882, many improved axiomatic systems for geometry have been proposed, the best known being those of Hilbert, George Birkhoff, and Tarski.
To be fair to Euclid, the first formal logic capable of supporting his geometry was that of Frege's 1879 Begriffsschrift, little read until the 1950s. We now see that Euclidean geometry should be embedded in first-order logic with identity, a formal system first set out in Hilbert and Wilhelm Ackermann's 1928 Principles of Theoretical Logic. Formal mereology began only in 1916, with the work of Lesniewski and A. N. Whitehead. Tarski and his students did major work on the foundations of elementary geometry as recently as between 1959 and his death in 1983.
Source : http://en.wikipedia.org/wiki/Euclidean_geometry


Geometri Euclid
Geometri Euclid merupakan sebuah sistem matematik yang disumbangkan oleh seorang ahli matematika Yunani bernama Euclid dari Alexandria. Teks Euclid, Elements merupakan sebuah kajian sistematik yang pertama mengenai geometri. Ini sudah menjadi salah satu buku-buku yang paling berpengaruh di dalam sejarah, sama banyaknya dengan metode yang mempunyai kandungan matematika. Metode yang mengandung anggapan satu set aksioma secara intuitif yang sangat menarik, dan kemudian membuktikan banyak usul (teorema-teorema) daripada aksioma-aksioma tersebut. Walaupun banyak hasil dari Euclid sudah dikemukakan oleh ahli-ahli matematika Yunani sebelumnya, Euclid merupakan orang pertama yang menunjukkan bagaimana usul-usul ini diletakkan secara sempurna membentuk satu deduksi dan sistem logika yang komprehensif.
Buku Elements ini bermula dengan geometri bidang, yang masih diajar di sekolah menengah sebagai satu sistem aksioma dan sebagai contoh pembuktian formal yang pertama. Elements menuju pada geometri pejal dalam dimensi tiga, dan seterusnya geometri Euclid telah dipanjangkan kepada satu bilangan dimensi yang terhingga. Kebanyakan Elements menyatakan hasil dalam apa yang kini disebut sebagai teori bilangan, yang dapat dibuktikan dengan menggunakan metode geometri.
Selama dua ribu tahun, kata adjektif "Euclid" tidak diperlukan karena pada masa itu tidak ada geometri lain yang disusun. Aksioma-aksioma Euclid nampak seperti sangat jelas sehinga pembuktian teorema lainnya dianggap benar secara mutlak. Hari ini, bagaimanapun juga, banyak geometri non Euclid lain telah diketahui, yang pertama telah ditemukan pada awal abad ke-19. Ini juga tidak boleh dianggap mudah bahwa geometri Euclid hanya menggambarkan ruang fisik. Sebuah implikasi dari teori Einstein mengenai teori kerelatifan umum bahwa geometri Euclid merupakan sebuah tafsiran terhadap sifat-sifat dari ruang fisik, hanya apabila medan gravitasi tidak terlalui kuat.
Pendekatan aksioma
Geometri Euclid merupakan sebuah sistem aksioma, dimana semua teorema ("penyataan benar") adalah diambil dari satu bilangan aksioma-aksioma yang terhingga. Pada permulaan buku Elements yang pertama, Euclid memberikan lima postulat (aksioma):
1. Ada dua titik dapat dihubungkan menjadi satu garis lurus.
2. Ada segmen garis lurus dapat dipanjangkan tak terhingga di dalam satu garis lurus.
3. Diberikan segmen garis lurus, satu lingkaran dapat dilukis dengan menggunakan segmen garis lurus tersebut sebagai jari-jari dan titik ujung sebagai pusat.
4. Semua sudut siku-siku adalah kongruen.
5. Postulat kesejajaran. Jika dua garis berpotongan dengan yang ketiga dalam satu cara yang jumlah sudut dalam adalah kurang dari satu lagi, maka dua garis ini pasti berpotongan satu sama lain apabila diperpanjang secukupnya.
Aksioma-aksioma ini menggunakan konsep-konsep berikut: titik, garis lurus dan garis, sebagian dari ruas garis, lingkaran dengan jari-jari dan pusat, sudut siku-siku, kekongruenan, sudut-sudut dalam dan siku-siku, jumlah. Hal tersebut memuncukanl: gabungan, perpanjangngan, pelukisan, perpotongan. Lingkaran ini digambarkan pada postulat 3 sangat unik. Postulat 3 dan 5 hanya boleh digunakan untuk geometri bidang; dalam dimensi tiga, postulat 3 mendefinisikan suatu bola.


Sebuah bukti dari buku Euclid "Elements" bahwa apabila diberikan satu segmen garis, satu segitiga sama sisi termasuk segmen garis sebagai salah satu dari tiga sisi. Buktinya adalah dengan mengkonstruksi satu segitiga sama ΑΒΓ dibuat dengan melukis bulatan Δ dan Ε, berpusat pada titik-titik Α dan Β, dan dengan mengambil satu perpotongan pada lingkaran sebagai puncak sudut ketiga bagi segitiga tersebut.
Postulat 5 dibawa kepada geometri yang sama seperti penyataan berikut, yang dikenal sebagai Aksioma Playfair, yang hanya berlaku pada bidang itu.
Melalui sebuah titik yang tidak terletak pada satu garis lurus, hanya ada satu garis yang dapat dilukis, yang tidak mungkin bertemu dengan garis yang diberikan tersebut.
Postulat-postulat 1, 2, 3, dan 5 menegaskan bahwa keberadaan dan keunikan dari bidang geometri, dan penegasan ini adalah konstruksi alam: yaitu, kita tidak diberitahu bahwa sesuatu itu ada, tetapi juga kita diberikan metode untuk membuatnya dengan tidak lepas dari satu kompas dan satu pinggiran lurus yang tidak bertanda. Dalam pengertian ini, geometri Euclid adalah lebih konkrit daripada kebanyakan sistem-sistem aksioma modern lainnya seperti teori set, dimana sering menegaskan keberadaan objek-objek tanpa memberitahukan bagaimana mengkonstruksi mereka, atau menegaskan keberadaan objek-objek yang tidak dikonstruksi dengan teorimtersebut.
Sebenarnya, konstruksi garis di atas kertas dan sebagainya adalah model-model dari objek yang lebih baik didefinisikan dari sistem formal, daripada hanya contoh-contoh objek tersebut. Sebagai contoh, satu garis lurus Euclid tidak mempunyai lebar, tetapi ada garis yang dapat digambar menjadi lebar.
Elements juga memasukkan lima "notasi biasa":
1. Sesuatu yang sama dengan benda yang sama tetapi juga setara antara satu sama lain.
2. Jika setara ditambahkan setara, maka jumlah keseluruhan juga adalah setara.
3. Jika setara dikurangkan setara, maka sisanya juga adalah setara.
4. Sesuatu yang bertepatan dengan satu sama lain juga setara antara satu sama lain.
5. Jumlah keseluruhan adalah lebih besar daripada bagiannya.
Euclid juga menggunakan sifat-sifat lain yang berkaitan dengan jarak. 1 adalah satu-satunya bagian dari dasar logika yang Euclid lahirkan dengan terang dan jelas. 2 dan 3 adalah prinsip-prinsip "aritmetika"; perhatikan bahwa makna-makna "tambah" dan "tolak" di dalam konteks geometri asli ini berarti diberi dan diambil. 1 hingga 4 secara operasional mempunyai persamaan, dimana boleh juga diambil sebagai bagian dasar logika atau sebagai satu keperluan hubungan kesetaraan , seperti "pertepatan," definisi yang sangat teliti. 5 adalah sebuah prinsip mereologi. "Keseluruhan", "sebagian", dan ”sisa" memerlukan definisi yang tepat.
Pada abad ke-19, hal tersebut mengingatkan bahwa 10 aksioma Euclid dan notasi-notasi yang umum tidak mencukupi untuk membuktikan pernyataan dari semua teorema pada Elements. Contohnya, secara implisit Euclid mengansumsikan bahwa sebuah garis disusun setidaknya dari 2 titik, tetapi asumsi ini tidak bisa dibuktikan dari aksioma yang lainnya. Dan oleh karena itudiperlukan menjadi aksioma tersendiri. Bukti geometri yang paling pertama dalam Element, ditunjukkan dalam ambar pada siku-siku, bahwa setiap segmen garis adalah bagian dari segitiga; Euclid menyusun hal ini dengan cara biasa, dengan menggambar lingkaran-lingkaran disekitar titik-titik ujung dan mengambil garis potongnya sebagai ketiga vertex. Bagaimanapun aksiomanya tidak dapat menjamin bahwa lingkaran-lingkaran tersebut secara tepat berpotongan, karena keduanya berlainan, daripada berkelanjutan, ruang. Dimulai dengan Moritz Pasch tahun 1882, banyak sistem aksioma diperbaiki untuk geometri telah diusulkan, yang paling dikenal dari Hilbert, George Birkhoff, dan Tarski.

Keadilan untuk Euclid, logika formal yang pertama mampu mendukung geometrinya yang ada pada Frege’s tahun 1879 Begriffsschrif, sedikit dibaca sampai tahun 1950an. Kita sekarang tahu bahwa geometri Euclid selayaknya terkandung diorder logika pertama dengan identitas, sebuah sistem formal dikeluarkan pertama kali di Hilbert dan Wilhelm Ackermann tahun 1928 prinsip dari teori logika. Mereologi formal dimulai pada tahun1916, oleh Lesniewski and A. N. Whitehead. Tarski dan muridnya bekerja pada dasar dari geometri dasar yang baru-baru ini antara tahun 1959 dan beliau meninggal pada tahun 1983.

Sumber : http://en.wikipedia.org/wiki/Euclidean_geometry