Chapter 1: Euclid s Elements Or, It s All His Fault Summer 2009 MthEd/Math 362 Chapter 1 1
Ancient Geometry Early civilizations such as those in Egypt, Mesopotamia, and India were concerned mainly with the utility of mathematics in general and geometry in particular. Geometry means earth measure and reflects its use in measuring land, setting property values, figuring out taxes, splitting land among surviving children, etc. Summer 2009 MthEd/Math 362 Chapter 1 2
Ancient Geometry Ancient civilizations were interested in building and buying and selling and so were interested in mathematics only to the extent that it helped in these endeavors. They did some quite clever things mathematically, but seldom knew and even more seldom cared why it all worked. Summer 2009 MthEd/Math 362 Chapter 1 3
Ancient Geometry For example, Egyptian rope stretchers used knotted ropes to measure land boundaries and in particular used a closed rope with 12 knots to form a 3 4 5 triangle and hence a right angle when needed. Summer 2009 MthEd/Math 362 Chapter 1 4
Ancient Mesopotamia Summer 2009 MthEd/Math 362 Chapter 1 5
Mesopotamia 2400 BC first approximation of π at 3.125. 2400 to 2200 BC multiplication tables, tables of square and cube roots. 1950 to 1750 BC linear and quadratic equations, Pythagorean Theorem. Babylonians knew how to determine areas and volumes of various figures and solids, including circles. They could generate all Pythagorean triples. Summer 2009 MthEd/Math 362 Chapter 1 6
Egypt 1900 BC Moscow Papyrus: volume of a frustrum, other methods for finding areas, volumes. 1700 BC Rhind Mathematical (Ahmes) Papyrus: multiplication and division by doubling and hli halving, use of unit fractions, fraction doubling tables, approximation of π, linear equations, use of cotangent, attempt to square the circle. 1300 BC Berlin Papyrus: a quadratic equation and its solution. Summer 2009 MthEd/Math 362 Chapter 1 7
Egypt Example from the Moscow Papyrus. If you are told: A truncated pyramid of 6 for the vertical height by 4 on the base by 2 on the top. You are to square this 4, result 16. You are to double 4,result 8. You are to square 2, result 4. You are to add the 16, the 8, and the 4, result 28. You are to take a third of 6, result 2. You are to take 28 twice, result 56. See, it is 56. You will find it right. Summer 2009 MthEd/Math 362 Chapter 1 8
Egypt Example fromtherhind Papyrus: A round field has diameter 9 khet. What is its area? Here is the solution as given by the scribe Ahmes: Take away 1 / 9 of the diameter, namely 1; the remainder is 8. Multiply 8 times 8; it makes 64. Therefore it contains 64 setat of land. Note that this implicitly uses the value 256 π = =3 3.16049 81 Summer 2009 MthEd/Math 362 Chapter 1 9
India 1000 to 500 BC Yajnavalkya a a describes motion o of sun and moon. 900 BC Yajur Veda contains first idea of infinity 800 to 600 BC Sulbasutras directions for building altars appear. The contain the Pythagorean theorem, procedures for squaring a rectangle, approximate procedures for squaring a circle and circling a square, an approximation of π correct to five decimal places, quadratic equations, dividing a segment into equal parts Summer 2009 MthEd/Math 362 Chapter 1 10
Ancient Geometry In summary, geometry prior to about 600 BC was mainly a collection of methods, tricks, and seat of the pants reckoning used to accomplish practical ends. The exception to this practical use of geometry was astronomy, which was tied to mystical and religious practice. Still, we have little l or no record of mathematics for mathematics sake. Summer 2009 MthEd/Math 362 Chapter 1 11
Ancient Greek Geometry The Greek civilization that flourished between about 600 BC and 400 AD seems to the first to care about the why of mathematics, and more particularly, to appreciate the need for proof. They put logical reasoning and proof at the center of mathematics. It is important to remember that in this context, Greek refers to a language of scholarship, a worldview, learnedby peoplefrom Alexandriain in Egypt (e.g. Euclid) to Syracuse in Italy (e.g. Archimedes). Summer 2009 MthEd/Math 362 Chapter 1 12
Ancient Greek Geometry Among the important Greek mathematicians we have: Thales of Miletus Pythagoras Eudoxus Hippocrates of Chios Euclid Summer 2009 MthEd/Math 362 Chapter 1 13
Thales: Thales of Miletus (about 600 BC) learned his math in Egypt and Babylonia. He is sometimes referred to as the Father of demonstrative mathematics, becausehenotonlystated only stated mathematical facts and procedures, but proved them. Tradition holds that Thales first proved: Vertical angles are equal The angle sum of a triangle equals two right angles The base angles of an isosceles triangle are equal An angle inscribed in a semicircle is a right angle Summer 2009 MthEd/Math 362 Chapter 1 14
Pythagoras Pythagoras (585 501 BC) also studied in Egypt and Babylonia, and maybe studied under Thales himself. Most importantly, he founded the Pythagorean Brotherhood (although women were equal members), a society of scholars with cult like behaviors and beliefs. They: never ate meat or beans (beans were sacred) never hunted and used no wool, dressed in white and drank no wine, did not pick up anything that had fallen, did not stir a fire with an iron, and slept in white linen bedding. Their symbol was pentagram, and they used various rituals to strengthen solidarity. They engaged gg in frequent exercise, silent contemplation, and study of mathematics. They believed in transmigration of souls. They also became politically strong, in their local area, leading to the burning of their meeting house about 501 BC. Summer 2009 MthEd/Math 362 Chapter 1 15
Pythagoreans Attributed to the Pythagoreans (and ultimately to Pythagoras) are: The Pythagorean Theorem (duh!) Work with ratios, particularly incommensurable ratios. They tended to work with ratios rather than direct measurements. Thus they would say that the areas of two circles had the same ratio as the squares produced from their two radii. Two segments are commensurable if there is a smaller segment that divides evenly into both. The ratio of commensurable lengths is a rational number. The PythagoreanHippasus discovered that the diagonal of a square is not commensurable with its side, contrary to the Pythagorean belief that any two segments were commensurable. Legend has it that they tossed him from a boat. What we would today interpret tas irrational numbers caused some distress, and in fact the Greek preference for line segments, instead of their lengths, was prevalent throughout the 1000 years of Greek mathematics. This meant that Greek mathematics tended to be very geometrical ti rather than arithmetic ti or algebraic. Summer 2009 MthEd/Math 362 Chapter 1 16
Eudoxus Eudoxus us of Cnidos dos(about 370 BC) put forth ot a theory based on ratios of magnitudes, but magnitudes themselves were left undefined. This pushed hdnumber back into the realm of geometry, where it tended to stay for the remainder of the Greek period. Eudoxus was also responsible for the method of exhaustion, reminiscent of ideasfrom our modern calculus, which was later used by Archimedes to determine the area of a circle. Summer 2009 MthEd/Math 362 Chapter 1 17
Hippocrates of Chios Hippocrates of Chios (460 380 BC) wrote a book of Elements that we have no copy of. He also performed the quadrature of a particular lune. Quadrature in general is the art of finding a square with the same area as a given (less regular) )figure. Notice that tthe problem is not to find numbers, but to construct, with compass and straightedge, an actual square. Hippocrates was able to square square, or perform the quadrature of, 3 different lunes. The next person to have any success in this was Euler, about 2000 years later, who performed the quadrature of 2 more lunes (although some claim thosetwoweretwo were done by Martin Johan Wallenius in 1766 as well). Finally, it was proved in 1994 that the rest cannot be squared. Summer 2009 MthEd/Math 362 Chapter 1 18
The Five Squarable Lunes Summer 2009 MthEd/Math 362 Chapter 1 19
Euclid In about 352 BC, the Macedonian King Philip II began to unify the numerous Greek city states into one kingdom. After his death, his son, Alexander (the Great) continued the conquest of everything between Macedonia and India. Summer 2009 MthEd/Math 362 Chapter 1 20
Alexander the Great s Empire Summer 2009 MthEd/Math 362 Chapter 1 21
Alexandria Alexander planned and built the city of Alexandria in Egypt, on the west end of the Nile river delta. Although Alexander died before the city was complete, it remained the capital of Egypt for nearly a thousand years. Ptolemy, one of Alexander s generals, took over the Egyptian part of his empire. A son, Ptolemy II, built a library and museum, and Ptolemy III populated it with books (scrolls, really). Summer 2009 MthEd/Math 362 Chapter 1 22
Euclid The Library of Alexandria, founded about 300 BC, became the center of learning. It had reading rooms, lecture rooms, meeting rooms, a dining hall, and gardens to walk in (sounds like a modern day day college). It is to this library that Euclid came to study and teach. Summer 2009 MthEd/Math 362 Chapter 1 23
Alexandria After Euclid Since we re going to focus on Euclid s Elements for the rest of the time, I ll briefly outline the Library at Alexandria s life after Euclid: 287 212 BC Archimedes: Area of circle, π, buoyancy, areas and volumes by exhaustion, levers. 240 BC Eratosthenes: Sieve, circumference of the Earth 250 BC Apollonius: Conics 75 AD Heron: Metrica, area of triangle Summer 2009 MthEd/Math 362 Chapter 1 24
Alexandria after Euclid 150 AD Ptolemy: Amlagest,, astronomy, geographyg 250 AD Diophantus: Arithmetica, equations with rational roots. 350 AD Pappus: Mathematical Collection, commentary 375 AD Theon: Commentaries on Elements, Amlagest 400 AD Hypatia: (daughterof Theon): Commentaries. 641 AD Library at Alexandria burned Summer 2009 MthEd/Math 362 Chapter 1 25
Euclid s Elements 13 books, 465 propositions in plane and solid geometry and number theory. Few if any results are original to Euclid; it is likely a compendium of already known results. In fact it has been suggested that the first books of Euclid s Elements may be taken from the Elements of Hippocrates of Chios. Summer 2009 MthEd/Math 362 Chapter 1 26
Euclid s Elements What is important is the logical structure of the books. He gave us an axiomatic development of geometry: 23 definitions dfiiti 5 postulates 5 common notions Summer 2009 MthEd/Math 362 Chapter 1 27
Euclid s Elements Most of each book consisted of propositions which were proved using only the definitions, common notions, and postulates, as well as any propositions previously proved. Thus Proposition I.3 may be proved using only the common notions, postulates, definitions, and Propositions I1and I.1 I2 I.2. Summer 2009 MthEd/Math 362 Chapter 1 28
Euclid s Elements Book I: Basic plane geometry Book II: Geometric algebra Book III: Circles Book IV: Inscribing and circumscribing figures Book V: Extending Eudoxus ideas of ratio Book VI: Similarity of figures Books VII IX: Number theory Book kx: Incommensurable magnitudes Books XI XIII: Solid (3 dimensional) geometry Summer 2009 MthEd/Math 362 Chapter 1 29
Euclid s Elements Some of Euclid s definitions: A point is that which has no part (1). A line is breadthless length (2). A straight line is a line which hlies evenly with the points on itself (4). When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called a perpendicular p to that on which it stands (10). A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure equal one another (15). Summer 2009 MthEd/Math 362 Chapter 1 30
Euclid s Elements Euclid s five postulates: To draw a straight line from any point to any point To produce a finite straight line continuously in a straight line. To describe a circle with any center and distance. That all right ihtangles are equal to one another. That, if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight htlines, if produced dindefinitely, it meet on that t side on which are the angles less than the two right angles. Summer 2009 MthEd/Math 362 Chapter 1 31
Euclid s Elements Euclid s Common Notions: Things which are equal the same thing are also equal to one another If equals be added to equals, the wholes are equal If equals be subtracted from equals, the remainders are equal Things which coincide with one another are equal to one another The whole is greater than the part. Summer 2009 MthEd/Math 362 Chapter 1 32
Euclid s Elements Proposition 1: On a given finite straight line to construct an equilateral ti triangle. Let AB be the given finite straight line. It is required to construct an equilateral triangle on the straight line AB. Describe the circle BCD with centera A and radius AB (Postulate 3). Again describe the circle ACE with center B and radius BA (Postulate 3). Join the straight lines CA and CB from the point C at which the circles cut one another to the points A and B (Postulate 1). C D A B E Summer 2009 MthEd/Math 362 Chapter 1 33
Euclid s Elements C D A B E Now, since the point A is the center of the circle CDB, therefore AC equals AB (Definition 15). Again, since the point B is the center of the circle CAE, therefore BC equals BA (Definition 15). But AC was proved equal to AB, therefore each of the straight lines AC and BC equals AB. And things which equal the same thing also equal one another, therefore AC also equals BC (Common Notion 1). Therefore the three straight htlines AC, AB, and BC equal one another. Therefore the triangle ABC is equilateral, and it has been constructed on the given finite straight line AB. Being what it was required to do. Summer 2009 MthEd/Math 362 Chapter 1 34
Euclid s Elements Some problems: Definitions: The first few are vague and intuitive (that which has no part? breadthless length?). Later definitions sometimes leave out parts (what does it mean for an angle to be greater than another?) Many he never uses or even refers to later in the book. The fix: some terms are defined, while some remain undefined. Gaps are filled in definitions. Summer 2009 MthEd/Math 362 Chapter 1 35
Euclid s Elements More oeproblems Proofs: Use unstated assumptions. For example, in the proof of Proposition 1, how do we know that the point tc exists it at the intersection ti of two circles??what does it mean for one point to be between two other points on a line? Diagrams can make these ideas clear and convincing, but it does not meet modern standards of rigor. Thefix: make all unstated assumptions explicit and prove them first if possible. Add postulates if necessary. Summer 2009 MthEd/Math 362 Chapter 1 36
Euclid s Elements In the late 1800's David Hilbert developed a set of 20 axioms that made explicit it all the assumptions needed dto complete Euclid s program. Like Euclid s axioms, Hilbert s were synthetic, that is, they did not depend on properties of the real numbers made explicit though coordinates (as in Descartes analytic geometry). In 1932, Birkhoff developed a system of axioms that made explicit use of real numbers (e.g. made lines essentially equivalent to realnumber lines). In the 1960's the School Mathematics Study Group (SMSG) developed set of axioms somewhat like Birkhoff s, but especially suited to high school study. They differed in that they were not a minimal list of axioms butincluded some axioms that could be proved from the others in order to avoid more tedious technical proofs. Summer 2009 MthEd/Math 362 Chapter 1 37
Other Axiom Systems for Geometry Developer Axiom Set Comments Hilbert 20 Axioms Many Axioms Fixed Euclid Does not explicitly depend on Real Numbers, Set Theory, etc. Detailed Technical Proofs of the Obvious Implicitly depends of the real numbers and Set Theory Birkhoff MacLane SMSG Only 4 Axioms Incorporates Real Numbers and Measurement More accessible 14 Axioms including continuity axiom 22 Axioms Designed for High School Geometry Only Euclidean (fourth axiom is about similar triangles) Some unnecessary axioms UCSMP Lots of Axioms Redundancy Uses Reflection This Book 12 Axioms Explicitly uses real numbers and set theory Summer 2009 MthEd/Math 362 Chapter 1 38