EUCLID, The Elements next up previous
Next: About this document

EUCLID

Euclid is known to almost every high school student as the author of The Elements, the long studied text on geometry and number theory. No other book except the Bible has been so widely translated and circulated. From the time it was written it was regarded as an extraordinary work and was studied by all mathematicians, even the greatest mathematician of antiquity -- Archimedes, and so it has been through the 23 centuries that have followed. It is unquestionably the best mathematics text ever written and is likely to remain so into the distant future.

external

This is a miniature from the manuscript of the Roman surveyors found in Wolfenbüttel, 6th century AD

Euclid

Little is known about Euclid, fl. 300BC, the author of The Elements. He taught and wrote at the Museum and Library at Alexandria, which was founded by Ptolemy I.

tex2html_wrap_inline375 Almost everything about him comes from Proclus' Commentary, 4th cent AD. He writes that Euclid collected Eudoxus' theorems, perfected many of Theaetetus', and completed fragmentary works left by others.

tex2html_wrap_inline375 Euclid is said to have said to the first Ptolemy who inquired if there was a shorter way to learn geometry than the Elements:

...there is no royal road to geometry

The Elements-- Basic facts

Euclid's Other Works

Five works by Euclid have survived to out day:

  1. The Elements
  2. Data -- a companion volume to the first six books of the Elements written for beginners. It includes geometric methods for the solution of quadratics.
  3. Division of Figures -- a collection of thirty-six propositions concerning the division of plane configurations. It survived only by Arabic translatons.
  4. Phaenomena -- on spherical geometry, it is similar to the work by Autolycus
  5. Optics -- an early work on perspective including optics, catoptrics, and dioptrics.

Three works by Euclid have not survived:

  1. Porisms -- possibly an ancient version of analytic geometry.
  2. Surface Loci -- ?
  3. Pseudaria -- ?

The Elements -- Structure: Thirteen Books

The Elements -- Typical Book

The Elements -- Book I

1. A point is that which has no part
2. A line is breadthless length.
3. The extremities of a line are points.
4. A straight line is a line which lies evenly with the points on itself.
tex2html_wrap_inline383
17. A diameter of the circle is any straight line drawn through the center and terminated in both directions by the circumference of the circle, and such a straight line also bisects the circle.

The Elements -- Book I

The Elements -- Book I

external

The Elements -- Book I

Some Logic

The Elements -- Book I

Propositon I-1. On a given finite straight line to construct an equilateral triangle.

To prove this construct circles at A and B of radius AB. Argue that the intersection point C is equidistant from A and B, and since it lies on the circles, the distance is AB.\

Note that in Proposition I-1, Euclid can appeal only to the definintions and postulates. But he doesn't use the Aristotelian syllogisms, rather he uses modus ponens. Note also that there is a subtle assumption of the continuous nature of the plane made in the visual assumption that the circles intersect. Flaws of this type went essentially unresolve up until modern times.

The Elements -- Book I

Proposition I-4. (SAS) If two triangles have two sides equal to two sides respectively, and have the angles contained by the equal sides also equal, then the two triangles are congruent.

Note: In modern treatments of plain geometry this proposition is given as a postulate.

Note: The modern term congruent is used here, replacing Euclid's assertion that ``each part of one triangle is equal to the corresponding part of the other."

The Elements -- Book I

Proposition I-5. In isosceles triangles the angles at the base are equal to one another, and, if the equal straight lines are produced further, the angles under the base will be equal to one another.

external

Proof. Extend AC to D and AC to E. Mark of equal distances BF and CG on their respective segments. Now argue that since AF and AG are equal and AC and AB are equal and the triangles ACF and ABG share the included angle at A, they must be congruent. This means than the sides FC and GB are equal. Hence, triangles FCB and GCB are (SAS) congruent. Therefore, the angles tex2html_wrap_inline449 and tex2html_wrap_inline451 are equal, from which the conclusion follows.

This is the proof given by Euclid. Many of the theorems in The Elements have simpler proofs, found later. This one is no exception. The following proof was given by Pappus: Observe that the two triangles BAC and CAB are SAS (side-angle-side) congruent. Therefore, the angles at B and C are equal.

Proposition I-6. If in a triangle two angles are equal to one another, then the opposite sides are also equal.

external

  1. B equals C. Assume tex2html_wrap_inline457 .
  2. Assume AB>AC. Make D so that DC=AB.
  3. Now argue that triangles ABC and DBC are congruent.
  4. Thus tex2html_wrap_inline469 , the part is equal to tex2html_wrap_inline471 , the whole.

The Elements -- Book I

Proposition I-29. A straight line intersecting two parallel straight line makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the interior angles on the same side equal to two right angles.

external

  1. Assume tex2html_wrap_inline473 .
  2. Then the sum of tex2html_wrap_inline475 and tex2html_wrap_inline477 is greater than the sum of tex2html_wrap_inline477 and tex2html_wrap_inline481 .
  3. But the first sum is two right angles. (Prob I-13.)
  4. Thus the second sum is less than two right angles and thus the line are not parallel.

The Elements -- Book II -- 14 Theorems

Book II is different than Book I in that it deals with rectangles and squares. It can be termed geometric algebra. There is some debate among Euclid scholars as to whether it was extracted directly from Babylonian mathematics. In any event, it is definitely more difficult to read that Book I material.

Definition. Any rectangle is said to be contained by the two straight lines forming the right angle.

Euclid never multiplies the length and width to obtain area. There is no such process. He does multiply numbers (integers) times length.

The Elements -- Book II

II-1. If there are two straight lines, and one of them is cut into any number of segments whatever, the rectangle contained by the two straight lines is equal to the sum of the rectangles contained by the uncut straight line and each of the segments.

external

It should be apparent that this is the distributive law for multiplication through addition. Yet, it is expressed purely in terms of geometry.

The Elements -- Book II

Proof.

external

1. Let A and BC be the two lines. Make the random cuts at D and E.

2. Let BF be drawn perpendicular to BC and cut at G so that BG is the same as A. Complete the diagram as shown.

3. Then BH is equal to BK, DL, EH

4. Now argue that the whole is the sum of the parts.

The Elements -- Book II

II-2. If a straight line be cut at random, the rectangle contained by the whole and both of the segments is equal to the square on the whole.

external

II-4. If a straight line is cut at random, the square on the whole is equal to the squares on the segments and twice the rectangle contained by the segments.

external

Note the simplicity of visualization and understanding for the binomial theorem for n=2.

The Elements -- Book II

Many propositions give geometric solutions to quadratic equations.

II-5. If a straight line is cut into equal and unequal segments, the rectangle contained by the unequal segments of the whole together with the square on the straight line between the points of section is equal to the square on the half.

external

This proposition translates into the quadratic equation

displaymath511

The Elements -- Book II

II-14. To construct a square equal to a given rectilinear figure.

external

Proof.

1. Assume a>c. Solve tex2html_wrap_inline515 .

2. Construct at the midpoint of AB, and produce the line EG of length (a+c)/2.

3. Therefore length of the segment FG is (a-c)/2.

4. Extend the line CD to P and construct the line GH of length (a+c)/2 (H is on this line.).

5. By the Pythagorean theorem the length of the line FH has square given by

displaymath537

The Elements -- Book III -- 37 theorems

Book III concerns circles, begins with 11 definitions about circles. For example, the definition of the equality of circles is given (= if they have the same diameter). Tangency is interesting in that it relies considerably on visual intuition:

Definition 2. A straight line is said to touch a circle which, meeting the circle and being produced, does not cut the circle.

Deninition 3. A segment of a circle is the figure contained by a straight line and a circumference of a circle.

Other concepts are segments, angles of segments, and similarity of segments of circles are given.

The Elements -- Book III

Euclid begins with the basics:

III-1. To find the center of a given circle.

III-2. If on the circumference of a circle two points be take at random, the straight line joining the points will fall within the circle.

The Elements -- Book III

III-5. If two circles cut (touch) one another, they will not have the same center.

The inverse problem: III-9. If a point be taken within a circle, and more than two equal straight lines fall from the point on the circle, the point taken is the center of the circle.

The Elements -- Book III

III-11. If two circles touch one another internally, and their centers be taken, the straight line joining their centers, if it be also produced, will fall on the point of contact.

external

The Elements -- Book III

III-16. The straight line drawn at right angles to the diameter of a circle from its extremity will fall outside the circle, and into the space between the straight line and the circumference another straight line cannot be interposed; ... .

III-31. (Thales Theorem) In a circle the angle in the semicircle is right, and further, ... .

The Elements -- Book IV -- 16 theorems

Construction of regular polygons was a preoccupation of the Greeks. Clearly equilateral triangles and squares can be constructed, that is, inscribed in a circle. Bisection allows any number of doublings, e.g. hexagons and octogons. The inscribed pentagon is a more challenging construction. This book is devoted to the circumscribing and inscribing regular and irregular polygons into circles.

For example,

IV-5. About a given triangle to circumscribe a circle.

IV-10. To construct an isosceles triangle having each of the angles at the base double of the remaining one.

IV-10 is the key to proving the celebrated

IV-11. In a given circle to inscribe an equilateral and equiangular pentagon.

The Elements -- Book IV

external

The Elements -- Book IV -- update

tex2html_wrap_inline375 The next regular figure to be inscribed in a circle was the 17-gon. And this was accomplished by no less a mathematician than Carl Frederich Gauss in 1796, when he was just 18.

tex2html_wrap_inline375 In fact, when he was a student at Göttingen, he began work on his major publication Disquisitiones Arithmeticae, one of the great classics of the mathematical literature. Toward the end of this work, he included this result about the 17-gon but more!!!

tex2html_wrap_inline375 He proved that the ONLY regular polygons that can be inscribed in a circle have

displaymath545

sides, where m is a integer and the p's are Fermat primes.

tex2html_wrap_inline375 Recall that Fermat primes are primes of the form

displaymath553

We have the following table of polygons that can be inscribed in a circle:

tabular175

tex2html_wrap_inline375 Are all such numbers, tex2html_wrap_inline559 , primes? No, Euler prove that the next one tex2html_wrap_inline561 is composite. No others are known. A contemporary of Gauss, Fernidand Eisenstein (1823-1852) conjectured the following subset of the Fermat numbers consists only of primes:

displaymath563

but this has not been verified. The first three are the Fermat primes, 5, 17, 65,537. The next number has more than 45,000 digits.

The Elements -- Book V -- 25 theorems

Book V treats ratio and proportion. Euclid begins with 18 definitions about magnitudes begining with a part, multiple, ratio, be in the same ratio, and many others. Consider definition 5 on same ratios.

Definition 1. A magnitude is a part of a magnitude, the less of the greater, when it measures the greater.

This means that it divides the greater with no remainder.

Definition 4. Magnitudes are said to have a ratio to one another which are capable, when multiplied, exceeding on another.

This is essentially the Archimedian Axiom: If a<b, then there is an integer n such that na>b.

In the modern theory of partially ordered spaces, a special role is played by those spaces which have the so-called Archimedian Property.

Definition 5. Magnitudes are said to be in the same ratio, the first to the second and the third to the fourth, when, if any equimultiples whatever be taken of the first and third, and any equimultiples whatever of the second and fourth, the former equimultiples alike exceed, are alike equal to, or alike fall short of, the latter equimultiples respectively taken in corresponding order.

In modern notation, we say the magnitudes, a,b,c,d are in the same ratio a:b=c:d if

displaymath575

and similarly for < and =.

The Elements -- Book V

V-1. If there be any number of magnitudes whatever which are, respectively, equimultiples of any magnitudes equal in multitude, then, whatever multiple one of the magnitudes is of one, that multiple also will all be of all.

In modern notation, let the magnitudes be tex2html_wrap_inline581 and let m be the multiple. Then,

displaymath585

V-8. Of unequal magnitudes, the greater has to the same a greater ratio than the less has; and the same has to the less a greater ratio than it has to the greater.

In modern term, let a>b, and c is given. Then

displaymath591

and

displaymath593

The Elements -- Book VI -- 33 theorems

Book VI is on similarity of figures. It begins with three definitions.

Definition 1. Similar rectilineal figures are such as have their angles severally equal and the sides about the equal angles proportional.

Definition 3. The height of any figure is the perpendicular drawn from the vertex to the base.

The Elements -- Book VI

VI-1. Triangles and parallelograms which are under the same height are to one another as their bases.

external

VI-5. If two triangles have their sides proportional, the triangles will be equiangular and will have those angles equal which the corresponding sides subtend.

external

VI-30. To cut a given finite straight line in extreme and mean ratio.

external

The Elements -- Book VI

external

The picture says....

eqnarray363

Of course, you must prove all the similarity rigorously.

The Elements -- Book VII -- 39 theorems

Book VII is the first book of three on number theory. Euclid begins with definitions of unit, number, parts of, multiple of, odd number, even number, prime and composite numbers, etc.

Definition 11. A prime number is that which is measured by the unit alone.

Definition 12. Numbers prime to one another are those which are measured by the unit alone as a common measure.

VII-21. Numbers prime to one another are the least of those which have the same ratio with them.

VII-23. If two numbers be prime to one another, the number which measures the one of them will be prime to the remaining number.

The Elements -- Book VII

VII-26. If two numbers be prime to two numbers, both to each, their products also will be prime to one another.

VII-31. Any composite number is measured by some prime number.

VII-32. Any number either is prime or is measured by some prime number.

The Elements -- Book VIII -- 27 theorems

Book VIII focuses on what we now call geometric progressions, but were called continued proportions by the ancients. Much of this is no doubt due to Archytas of Tarentum, a Pythagorean. Numbers are in continued proportion if

displaymath597

We would write this as

displaymath599

which is of course the same thing.

VII-1. If there be as many numbers as we please in continued proportion, and the extremes of them be prime to one another, the numbers are the least of those which have the same ratio with them.

Consider 5:3 and 8:6 and 10:6 and 16:12.

The Elements -- Book VIII -- 27 theorems

VIII-8. If between two numbers there are numbers in continued proportion with them, then, however any numbers are between them in continued proportion, so many will also be in continued proportion between numbers which are in the same ratio as the original numbers.

Euclid concerns himself in several other propositions of Book VIII with determining the conditions for inserting mean proportional numbers between given numbers of various types. For example,

VIII-20. If one mean proportional number falls between two numbers, the numbers will be similar plane numbers.

In modern parlance, suppose a:x=x:b, then tex2html_wrap_inline603

The Elements -- Book IX -- 36 theorems

The final book on number theory, Book IX, contains more familiar type number theory results.

IX-20. Prime numbers are more than any assigned multitude of prime numbers.

Proof. Let tex2html_wrap_inline605 be all the primes. Define tex2html_wrap_inline607 +1. Then, since N must be composite, one of the primes, say tex2html_wrap_inline611 . But this is absurd!

The Elements -- Book IX -- 36 theorems

IX-35. If as many numbers as we please are in continued proportion, and there is subtracted from the second and the last numbers equal to the first, then, as the excess of the second is to the first, so will the excess of the last be to all those before it.

We are saying let the numbers be tex2html_wrap_inline613 , The the differences are a(r-1) and tex2html_wrap_inline617 . Then, the theorem asserts that

displaymath619

The Elements -- Book X -- 115 theorems

Many historians consider this the most important of the books. It is the longest and probably the best organized. The purpose is the classification of the incommensurables. The first propostion is fundamental. It is Eudoxus' method of exhaustion.

X-I. Two unequal magnitudes being given, if from the greater there is subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and if this process is repeated continually, there will be left some magnitude less that the lesser of the given magnitudes.

This proposition allows an approximating process of arbitrary length.

X-36. If two rational straight lines commensurable in square only be added together, the whole is irrational.

The Elements -- Book X1-XIII

The final three chapters of The Elements are on solid geometry and the use of a limiting process in the resolution of area and volume problems. For example,

XII-2. Circles are to one another as the squares on the diameters.

tex2html_wrap_inline375 You will note there is no ``formula" expressed.

XII-7. An pyramid is a third part of the prism which has the same base with it an equal height.

XII-18. Spheres are to one another in the triplicate ratio of their respective diameters.



next up previous
Next: About this document

Don Allen
Fri Feb 14 10:12:43 CST 1997