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.
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.
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.
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:
Three works by Euclid have not survived:
The Elements -- Structure: Thirteen Books
The Elements -- Typical Book
The Elements -- Book I
The Elements -- Book I
The Elements -- Book I
The Elements -- Book I
Some Logic
The Elements -- Book I
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.
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 and 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.
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.
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.
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.
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.
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.
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.
This proposition translates into the quadratic equation
The Elements -- Book II
II-14. To construct a square equal to a given rectilinear figure.
Proof.
1. Assume a>c. Solve .
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
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.
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
The Elements -- Book IV -- update
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.
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!!!
He proved that the ONLY regular polygons that can be inscribed in a circle have
sides, where m is a integer and the p's are Fermat primes.
Recall that Fermat primes are primes of the form
We have the following table of polygons that can be inscribed in a circle:
Are all such numbers, , primes? No, Euler prove that the next one 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:
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
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 and let m be the multiple. Then,
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
and
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.
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.
VI-30. To cut a given finite straight line in extreme and mean ratio.
The Elements -- Book VI
The picture says....
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
We would write this as
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
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 be all the primes. Define +1. Then, since N must be composite, one of the primes, say . 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 , The the differences are a(r-1) and . Then, the theorem asserts that
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.
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.