Euclid's Elements
244107
225970436
2008-07-16T07:14:52Z
TXiKiBoT
3171782
robot Adding: [[ml:എലിമെന്റ്സ്]]
[[Image:Title page of Sir Henry Billingsley's first English version of Euclid's Elements, 1570 (560x900).jpg|right|200px|thumb|The [[frontispiece]] of Sir Henry Billingsley's first English version of Euclid's ''Elements'', 1570]]
'''Euclid's ''Elements'' ''' ([[Greek language|Greek]]: {{polytonic|Στοιχεῖα}}) is a [[mathematics|mathematical]] and [[geometry|geometric]] [[treatise]] consisting of 13 books written by the [[Greeks|Greek]] [[mathematician]] [[Euclid]] in [[Alexandria]] [[circa]] 300 BC. It comprises a collection of definitions, postulates ([[axiom]]s), propositions ([[theorem]]s and [[Compass and straightedge constructions|constructions]]), and [[mathematical proof]]s of the propositions. The thirteen books cover [[Euclidean geometry]] and the ancient Greek version of elementary [[number theory]]. With the exception of [[Autolycus of Pitane|Autolycus']] ''On the Moving Sphere'', the ''Elements'' is one of the oldest extant Greek mathematical treatises<ref>{{cite book|last=Boyer|authorlink=Carl Benjamin Boyer|title=|year=1991|chapter=Euclid of Alexandria|pages=101|quote=With the exception of the ''Sphere'' of Autolycus, surviving work by Euclid are the oldest Greek mathematical treatises extant; yet of what Euclid wrote more than half has been lost,}}</ref> and it is the oldest extant axiomatic deductive treatment of [[mathematics]].<ref>Ball (1960).</ref> It has proven instrumental in the development of [[logic]] and modern [[science]].
Euclid's ''Elements'' is the most successful<ref>Encyclopedia of Ancient Greece (2006) by Nigel Guy Wilson, page 278. Published by Routledge Taylor and Francis Group. Quote:"Euclid's Elements subsequently became the basis of all mathematical education, not only in the Romand and Byzantine periods, but right down to the mid-20th century, and it could be argued that it is the most successful textbook ever written."</ref><ref name="Boyer Author of the Elements">{{cite book|last=Boyer|authorlink=Carl Benjamin Boyer|title=|year=1991|chapter=Euclid of Alexandria|pages=100|quote=As teachers at the school he called a band of leading scholars, among whom was the author of the most fabulously successful mathematics textbook ever written - the ''Elements'' (''Stoichia'') of Euclid.}}</ref> and influential<ref name="Boyer Influence of the Elements">{{cite book|last=Boyer|authorlink=Carl Benjamin Boyer|title=|year=1991|chapter=Euclid of Alexandria|pages=119|quote=The ''Elements'' of Euclid not only was the earliest major Greek mathematical work to come down to us, but also the most influential textbook of all times. [...]The first printed versions of the ''Elements'' appeared at Venice in 1482, one of the very earliest of mathematical books to be set in type; it has been estimated that since then at least a thousand editions have been published. Perhaps no book other than the Bible can boast so many editions, and certainly no mathematical work has had an influence comparable with that of Euclid's ''Elements''.}}</ref> textbook ever written. Being first set in type in [[Venice]] in 1482, it is one of the very earliest mathematical works to be printed after the invention of the [[printing press]] and is second only to the [[Bible]] in the number of editions published,<ref name="Boyer Influence of the Elements"/> with the number reaching well over one thousand.<ref>The Historical Roots of Elementary Mathematics by Lucas Nicolaas Hendrik Bunt, Phillip S. Jones, Jack D. Bedient (1988), page 142. Dover publications. Quote:"the ''Elements'' became known to Western Europe via the Arabs and the Moors. There the ''Elements'' became the foundation of mathematical education. More than 1000 editions of the ''Elements'' are known. In all probability it is, next to the ''Bible'', the most widely spread book in the civilization of the Western world."</ref> It was used as the basic text on geometry throughout the Western world for about 2,000 years. For centuries, when the [[quadrivium]] was included in the curriculum of all university students, knowledge of at least part of Euclid's ''Elements'' was required of all students. Not until the 20th century, by which time its content was universally taught through school books, did it cease to be considered something all educated people had read.<ref> Ball (1960).</ref>
== History ==
[[Image:Woman teaching geometry.jpg|left|thumb|230px|The frontispiece of an [[Adelard of Bath]] Latin translation of Euclid's ''Elements'', c. 1309–1316; the oldest surviving Latin translation of the ''Elements'' is a 12th century work by Adelard, which translates to Latin from the Arabic.<ref name="Russell" />]]
[[Euclid]] was a [[Greeks|Greek]] mathematician who wrote ''Elements'' in Alexandria during the [[Hellenistic period]] (around 300 BC). Scholars believe that the ''Elements'' is largely a collection of theorems proved by other mathematicians supplemented by some original work. [[Proclus]], a Greek mathematician who lived several centuries after Euclid, wrote in his commentary of the ''Elements'': "Euclid, who put together the Elements, collecting many of [[Eudoxus]]' theorems, perfecting many of [[Theaetetus (mathematician)|Theaetetus]]', and also bringing to irrefragable demonstration the things which were only somewhat loosely proved by his predecessors".
Although known to, for instance, [[Cicero]], there is no extant record of the text having been translated into Latin prior to [[Boethius]] in the fifth or sixth century.<ref name="Russell">Russell, Bertrand. ''A History of Western Philosophy''. p. 212.</ref> The Arabs received the ''Elements'' from the Byzantines in approximately 760; this version, by a pupil of Euclid called [[Proclo]], was translated into [[Arabic]] under [[Harun al Rashid]] circa 800 AD.<ref name="Russell" /> The first printed edition appeared in 1482 (based on [[Giovanni Campano|Giovanni Campano's]] 1260 edition), and since then it has been translated into many languages and published in about a thousand different editions. In 1570, [[John Dee]] provided a widely respected "Mathematical Preface", along with copious notes and supplementary material, to the first English edition by [[Henry Billingsley]].
Copies of the Greek text still exist, some of which can be found in the [[Vatican Library]] and the [[Bodleian Library]] in Oxford. The manuscripts available are of variable quality, and invariably incomplete. By careful analysis of the translations and originals, hypotheses have been drawn about the contents of the original text (copies of which are no longer available).
Ancient texts which refer to the ''Elements'' itself and to other mathematical theories that were current at the time it was written are also important in this process. Such analyses are conducted by [[Johan Ludvig Heiberg (1854-1928)|J. L. Heiberg]] and Sir [[Thomas Little Heath]] in their editions of the text.
Also of importance are the [[scholia]], or annotations to the text. These additions, which often distinguished themselves from the main text (depending on the manuscript), gradually accumulated over time as opinions varied upon what was worthy of explanation or elucidation. Some of these are useful and add to the text, but many are not.
=== A difficult text ===
Although we now consider the ''Elements'' to be an elementary text on geometry, that was not always the case. It is said that King [[Ptolemy I Soter| Ptolemy]] asked for a way in geometry that was shorter than the Elements. Euclid answered that "there is no [[royal road]] to geometry." <ref>http://www.perseus.tufts.edu/cgi-bin/ptext?lookup=Euc.+1</ref> More recently, Sir [[Thomas Little Heath]] wrote, in his introduction to the 1932 Everyman's Library volume of ''Euclid'':
<blockquote>
The simple truth is that it was not written for schoolboys or schoolgirls, but for the grown man who would have the necessary knowledge and judgment to appreciate the highly contentious matters which have to be grappled with in any attempt to set out the essentials of Euclidean geometry as a strictly [[logical system]]..." <ref>[http://www-groups.dcs.st-and.ac.uk/~history/Extras/Everyman_Euclid.html Heath: Everyman's Library ''Euclid'' Introduction<!-- Bot generated title -->]</ref>.
</blockquote>
The first difficult passage of Book I is referred to as the [[pons asinorum]], which is Latin for "Bridge of Asses" (traditionally, it is hard to get [[donkey|asses]] to cross a bridge).<ref>Oxford Philosophy Dictionary, http://www.answers.com/topic/pons-asinorum?cat=technology</ref>
== Outline of the ''Elements'' ==
[[Image:euclid-proof.jpg|thumb|300px|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.]]
The ''Elements'' is still considered a masterpiece in the application of [[logic]] to [[mathematics]]. In historical context, it has proven enormously influential in many areas of [[science]]. Scientists [[Nicolaus Copernicus]], [[Johannes Kepler]], [[Galileo Galilei]], and Sir [[Isaac Newton]] were all influenced by the ''Elements'', and applied their knowledge of it to their work. Mathematicians and philosophers, such as [[Bertrand Russell]], [[Alfred North Whitehead]], and [[Baruch Spinoza]], have attempted to create their own foundational "Elements" for their respective disciplines, by adopting the axiomatized deductive structures that Euclid's work introduced.
The success of the ''Elements'' is due primarily to its logical presentation of most of the mathematical knowledge available to Euclid. Much of the material is not original to him, although many of the proofs are his. However, Euclid's systematic development of his subject, from a small set of axioms to deep results, and the consistency of his approach throughout the ''Elements'', encouraged its use as a textbook for about 2,000 years. The ''Elements'' still influences modern geometry books. Further, its logical axiomatic approach and rigorous proofs remain the cornerstone of mathematics.
Although ''Elements'' is primarily a geometric work, it also includes results that today would be classified as [[number theory]]. Euclid probably chose to describe results in number theory in terms of geometry because he couldn't develop a constructible approach to arithmetic. A construction used in any of Euclid's proofs required a proof that it is actually possible. This avoids the problems the Pythagoreans encountered with irrationals, since their fallacious proofs usually required a statement such as "Find the greatest common measure of ..."<ref>{{cite book|author=Daniel Shanks|title=Solved and Unsolved Problems in Number Theory|year=2002|publisher=American Mathematical Society}}</ref>
=== First principles ===
Euclid's Book 1 begins with 23 definitions — such as ''[[point (geometry)|point]]'', ''[[line (mathematics)|line]]'', and ''[[surface]]'' — followed by five [[postulate]]s and five "common notions" (both of which are today called [[axiom]]s). These are the foundation of all that follows.
Postulates:
# A straight line segment can be drawn by joining any two points.
# A straight line segment can be extended indefinitely in a straight line.
# Given a straight line segment, a circle can be drawn using the segment as radius and one endpoint as center.
# All right angles are equal.
# If two lines are drawn which 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.
Common notions:
# Things which equal the same thing are equal to one another. ([[Euclidean relation|Euclidean property]] of [[equality (mathematics)|equality]])
# If equals are added to equals, then the sums are equal. (Addition property of equality)
# If equals are subtracted from equals, then the remainders are equal. (Subtraction property of equality)
# Things which coincide with one another are equal to one another. ([[Reflexive property]] of equality)
# The whole is greater than the part.
These basic principles reflect the interest of Euclid, along with his contemporary Greek and Hellenistic mathematicians, in constructive geometry. The first three postulates basically describe the [[compass and straightedge|constructions]] one can carry out with a [[compass (drafting)|compass]] and an unmarked [[straightedge]]. A marked [[ruler]], used in [[neusis construction]], is forbidden in Euclid construction, probably because Euclid could not prove that verging lines meet.
===Parallel postulate===
{{main|Parallel postulate}}
[[Image:Parallel Postulate.svg|thumb|right|300px|If the sum of the two interior angles equals 180°, the lines are parallel and will never intersect.]]
The last of Euclid's five postulates warrants special mention. The so-called [[parallel postulate]] always seemed less obvious than the others. Euclid himself used it only sparingly throughout the rest of the ''Elements''. Many geometers suspected that it might be provable from the other postulates, but all attempts to do this failed.
By the mid-19th century, it was shown that no such proof exists, because one can construct [[non-Euclidean geometry|non-Euclidean geometries]] where the parallel postulate is false, while the other postulates remain true. For this reason, mathematicians say that the parallel postulate is [[independence (mathematical logic)|independent]] of the other postulates.
Two alternatives to the parallel postulate are possible in non-Euclidean geometries: either an infinite number of parallel lines can be drawn through a point not on a straight line in a [[hyperbolic geometry]] (also called ''[[Lobachevsky|Lobachevskian]] geometry''), or none can in an [[elliptic geometry]] (also called ''[[Riemannian geometry]]''). That other geometries could be logically consistent was one of the most important discoveries in mathematics, with vast implications for science and philosophy. Indeed, [[Albert Einstein]]'s theory of [[general relativity]] shows that the real space in which we live is non-Euclidean.
=== Contents of the books ===
[[Image:Oxyrhynchus papyrus with Euclid's Elements.jpg|thumb|right|A fragment of Euclid's elements found at [[Oxyrhynchus]], which is dated to circa 100 AD. The diagram accompanies Proposition 5 of Book II of the ''Elements''.]]
Books 1 through 4 deal with plane geometry:
* Book 1 contains the basic propositions of geometry: the [[Pythagorean theorem]] (Proposition 47), equality of angles and [[area]]s, parallelism, the sum of the angles in a triangle, and the three cases in which triangles are "equal" (have the same area).
* Book 2 is commonly called the "book of geometrical algebra,"<!-- note: don't link this to the "geometric algebra" article because it's not the same thing --> because the material it contains may easily be interpreted in terms of [[algebra]].
* Book 3 deals with circles and their properties: [[inscribe]]d angles, [[tangent]]s, the power of a point.
* Book 4 is concerned with inscribing and circumscribing triangles and [[regular polygon]]s.
Books 5 through 10 introduce [[ratio]]s and [[proportionality (mathematics)|proportions]]:
* Book 5 is a treatise on proportions of [[magnitude (mathematics)|magnitude]]s.
* Book 6 applies proportions to geometry: [[Thales' theorem]], similar figures.
* Book 7 deals strictly with elementary number theory: [[divisibility]], [[prime number]]s, [[greatest common divisor]], [[least common multiple]].
* Book 8 deals with proportions in number theory and [[geometric progression|geometric sequence]]s.
* Book 9 applies the results of the preceding two books: the infinitude of prime numbers, the sum of a [[geometric series]], [[perfect number]]s.
* Book 10 attempts to classify [[commensurability (mathematics)|incommensurable]] (in modern language, [[irrational number|irrational]]) magnitudes by using the [[method of exhaustion]], a precursor to [[integral|integration]].
Books 11 through 13 deal with spatial geometry:
* Book 11 generalizes the results of Books 1–6 to space: perpendicularity, parallelism, volumes of [[parallelepiped]]s.
* Book 12 calculates areas and volumes by using the method of exhaustion: [[cone (geometry)|cone]]s, [[Pyramid (geometry)|pyramids]], [[cylinder (geometry)|cylinder]]s, and the [[sphere]].
* Book 13 generalizes Book 4 to space: [[golden ratio|golden section]], the five regular [[Platonic solid]]s inscribed in a sphere.
== Criticism ==
Despite its universal acceptance and success, the ''Elements'' has been criticised as having insufficient proofs and definitions. For example, in the first construction of Book 1, Euclid used a premise that was neither postulated nor proved: that two circles with centers at the distance of their radius will intersect in two points. Later, in the fourth construction, he used the movement of triangles to prove that if two sides and their angles are equal, then they are congruent; however, he did not postulate or even define movement.
In the 19th century, non-Euclidean geometries attracted the attention of contemporary mathematicians. Leading mathematicians, including [[Richard Dedekind]] and [[David Hilbert]], attempted to reformulate the axioms of the ''Elements'', such as by adding an axiom of continuity and an axiom of congruence, to make Euclidean geometry more complete.
Mathematician and historian [[W. W. Rouse Ball]] put the criticisms in perspective, remarking that "the fact that for two thousand years [the ''Elements''] was the usual text-book on the subject raises a strong presumption that it is not unsuitable for that purpose."<ref> Ball (1960) p. 55.</ref>
== Apocrypha ==
It was not uncommon in ancient time to attribute to celebrated authors works that were not written by them. It is by these means that the [[apocryphal]] books XIV and XV of the ''Elements'' were sometimes included in the collection.<ref name="Boyer Apocrypha"/> The spurious Book XIV was likely written by [[Hypsicles]] on the basis of a treatise by [[Apollonius]]. The book continues Euclid's comparison of regular solids inscribed in spheres, with the chief result being that the ratio of the surfaces of the [[dodecahedron]] and [[icosahedron]] inscribed in the same sphere is the same as the ratio of their volumes, the ratio being <math>\sqrt{\tfrac{10}{3(5-\sqrt{5})}}</math>.
The spurious Book XV was likely written, at least in part, by [[Isidore of Miletus]]. This inferior book covers topics such as counting the number of edges and solid angles in the regular solids, and finding the measure of dihedral angles of faces that meet at an edge.<ref name="Boyer Apocrypha">{{cite book|last=Boyer|authorlink=Carl Benjamin Boyer|title=|year=1991|chapter=Euclid of Alexandria|pages=118-119|quote=In ancient times it was not uncommon to attribute to a celebrated author works that were not by him; thus, some versions of Euclid's ''Elements'' include a fourteenth and even a fifteenth book, both shown by later scholars to be apocryphal. The so-called Book XIV continues Euclid's comparison of the regular solids inscribed in a sphere, the chief results being that the ratio of the surfaces of the dodecahedron and icosahedron inscribed in the same sphere is the same as the ratio of their volumes, the ratio being that of the edge of the cube to the edge of the icosahedron, that is, <math>\sqrt{10/[3(5-\sqrt{5})]}</math>. It is thought that this book may have been composed by Hypsicles on the basis of a treatise (now lost) by Apollonius comparing the dodecahedron and icosahedron. [...] The spurious Book XV, which is inferior, is thought to have been (at least in part) the work of Isidore of Miletus (fl. ca. A.D. 532), architect of the cathedral of Holy Wisdom (Hagia Sophia) at Constantinople. This book also deals with the regular solids, counting the number o edges and solid angles in the solids, and finding the measures of the dihedral angles of faces meeting at an edge.}}</ref>
==Editions==
[[Image:Ricci1.jpg|frame|The [[Italy|Italian]] [[Jesuit]] [[Matteo Ricci]] (left) and the [[Chinese mathematics|Chinese mathematician]] [[Xu Guangqi]] (right) published the [[Chinese language|Chinese]] edition of ''Euclid's Elements'' (幾何原本) in 1607.]]
*1460s, [[Regiomontanus]] (incomplete)
*1533, ''[[editio princeps]]'' by Simon Grynäus
*1572, Commandinus
*1574, [[Christoph Clavius]]
===Translations===
*1505, Bartolomeo Zamberti (Latin)
*1543, Venturino Ruffinelli (Italian)
*1555, Johann Scheubel (German)
*1562, Jacob Kündig (German)
*1564, Pierre Forcadel de Beziers (French)
*1570, [[John Day (printer)|John Day]] (English)
*1576, Rodrigo de Zamorano (Spanish)
*1594, Typografia Medicea (edition of the Arabic translation of [[Nasir al-Din al-Tusi]])
*1607, [[Matteo Ricci]], [[Xu Guangqi]] (Chinese)
*1660, [[Isaac Barrow]] (English)
* Present, Irineu Bicudo (Portuguese)(work in progress)
===Currently in print===
"Euclid's Elements - All thirteen books in one volume" Green Lion Press. ISBN 1-888009-18-7
Based on Heath's translation.
== Notes ==
{{reflist}}
==References==
*{{cite book
| last = Ball
| first = W.W. Rouse
| authorlink = W. W. Rouse Ball
| title = A Short Account of the History of Mathematics
| origyear =
| url =
| edition = 4th ed. [Reprint. Original publication: London: Macmillan & Co., 1908]
| year = 1960
| publisher = Dover Publications
| location = New York
| id = ISBN 0-486-20630-0
| pages = pp. 50–62
}}
*{{cite book
| last = Heath
| first = Thomas L.
| authorlink = T. L. Heath
| title = The Thirteen Books of Euclid's Elements
| format = 3 vols.
| edition = 2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925]
| year = 1956
| publisher = Dover Publications
| location = New York
| id = ISBN 0-486-60088-2 (vol. 1), ISBN 0-486-60089-0 (vol. 2), ISBN 0-486-60090-4 (vol. 3)
}} Heath's authoritative translation plus extensive historical research and detailed commentary throughout the text.
*{{cite book
| first=Carl B.
| last=Boyer
| authorlink=Carl Benjamin Boyer
| title=A History of Mathematics
| edition=Second Edition
| publisher=John Wiley & Sons, Inc.
| year=1991
| isbn=0471543977
}}
== External links ==
{{Wikisource|The Elements of Euclid}}
*{{cite book
| last = Euclid
| title = Elements
| origyear = c. 300 BC
| url = http://aleph0.clarku.edu/~djoyce/java/elements/toc.html
| accessdate = 2006-08-30
| year = David E. Joyce, ed. 1997
}} In HTML with Java-based interactive figures.
* [http://farside.ph.utexas.edu/euclid.html a bilingual edition] (typset in PDF format, with the original Greek and an English translation on facing pages; free in PDF form, available in print)
* [http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus%3Atext%3A1999.01.0086 Heath's English translation] (HTML, without the figures) (accessed [[May 6]] [[2007]])
** Heath's English translation and commentary, with the figures (Google Books): [http://books.google.com/books?id=UhgPAAAAIAAJ vol. 1], [http://books.google.com/books?id=lxkPAAAAIAAJ vol. 2], [http://books.google.com/books?id=xhkPAAAAIAAJ vol. 3], [http://books.google.com/books?id=KHMDAAAAYAAJ vol. 3 c. 2]
* [[:Image:Euclid-Elements.pdf|Euclid's Elements in ancient Greek]] (typeset in PDF format, public domain. available [http://www.lulu.com/content/829379 in print]--free download)
* [http://www.sunsite.ubc.ca/DigitalMathArchive/Euclid/byrne.html Oliver Byrne's 1847 edition] - an unusual version using color rather than labels such as ABC (scanned page images, public domain)
* [http://www.du.edu/~etuttle/classics/nugreek/contents.htm Reading Euclid] - a course in how to read Euclid in the original Greek, with English translations and commentaries (HTML with figures)
* [http://www.gutenberg.org/etext/21076 The First Six Books of the Elements] by John Casey and Euclid scanned by [[Project Gutenberg]].
'''Complete and fragmentary manuscripts of versions of Euclid's ''Elements'' :'''
*[[Thomas More|Sir Thomas More]]'s [http://www.columbia.edu/acis/textarchive/rare/24.html manuscript]
*[http://www.columbia.edu/acis/textarchive/rare/6.html Latin translation] by [[Aethelhard of Bath]]
*[http://euclides.org Euclid's elements], All thirteen books, in Spanish and Catalan.
*[http://www.physics.ntua.gr/Faculty/mourmouras/euclid/index.html Euclid Elements - The original Greek text] Greek HTML
{{Greek mathematics}}
[[Category:Euclidean geometry|*]]
[[Category:Mathematics books]]
[[Category:Ancient Greek mathematical works]]
[[Category:Mathematics literature]]
{{Link FA|pl}}
{{Link FA|he}}
[[bn:ইউক্লিডের এলিমেণ্টস]]
[[bg:Елементи]]
[[ca:Elements d'Euclides]]
[[cs:Euklidovy Základy]]
[[da:Euklids elementer]]
[[de:Euklids Elemente]]
[[el:Στοιχεία]]
[[es:Elementos de Euclides]]
[[eo:Elementoj de Eŭklido]]
[[fr:Éléments d'Euclide]]
[[ko:에우클레이데스의 원론]]
[[id:Elemen Euklides]]
[[it:Elementi (Euclide)]]
[[he:יסודות (ספר)]]
[[ml:എലിമെന്റ്സ്]]
[[nl:Elementen van Euclides]]
[[ja:ユークリッド原論]]
[[no:Euklids Elementene]]
[[pl:Elementy]]
[[pt:Os Elementos]]
[[ro:Elementele]]
[[sl:Elementi (Evklid)]]
[[sr:Еуклидови Елементи]]
[[sh:Euklidovi Elementi]]
[[fi:Alkeet]]
[[sv:Elementa]]
[[vi:Cơ sở (Euclid)]]
[[zh:几何原本]]