euclid - elements commented]

1317
Table of Contents Prematter Introduction Using the Geometry Applet About the text Euclid A quick trip through the Elements References to Euclid's Elements on the Web Subject index Book I. The fundamentals of geometry: theories of triangles, parallels, and area. Definitions (23) Postulates (5) Common Notions (5) Propositions (48) Book II. Geometric algebra. Definitions (2) Propositions (13) Book III. Theory of circles. Book VII. Fundamentals of number theory. Definitions (22) Propositions (39) Book VIII. Continued proportions in number theory. Propositions (27) Book IX. Number theory. Propositions (36) Book X. Classification of incommensurables.

Upload: robertagoncalves

Post on 20-Nov-2014

183 views

Category:

Documents


6 download

TRANSCRIPT

Table of ContentsPrematter Introduction Using the Geometry Applet About the text Euclid A quick trip through the Elements References to Euclid's Elements on the Web Subject index

Book I. The fundamentals of geometry: theories of triangles, parallels, and area. Definitions (23) Postulates (5) Common Notions (5) Propositions (48) Book II. Geometric algebra. Definitions (2) Propositions (13) Book III. Theory of circles.

Book VII. Fundamentals of number theory. Definitions (22) Propositions (39) Book VIII. Continued proportions in number theory. Propositions (27) Book IX. Number theory. Propositions (36) Book X. Classification of incommensurables.

Definitions (11) Propositions (37) Book IV. Constructions for inscribed and circumscribed figures. Definitions (7) Propositions (16) Book V. Theory of abstract proportions. Definitions (18) Propositions (25) Book VI. Similar figures and proportions in geometry. Definitions (11) Propositions (37)

Definitions I (4) Propositions 1-47 Definitions II (6) Propositions 48-84 Definitions III (6) Propositions 85-115 Book XI. Solid geometry. Definitions (28) Propositions (39) Book XII. Measurement of figures. Propositions (18) Book XIII. Regular solids. Propositions (18)

Table of contentsq

Propositions (18)

PropositionsProposition 1. If a straight line is cut in extreme and mean ratio, then the square on the greater segment added to the half of the whole is five times the square on the half. Proposition 2. If the square on a straight line is five times the square on a segment on it, then, when the double of the said segment is cut in extreme and mean ratio, the greater segment is the remaining part of the original straight line. Lemma for XIII.2. Proposition 3. If a straight line is cut in extreme and mean ratio, then the square on the sum of the lesser segment and the half of the greater segment is five times the square on the half of the greater segment. Proposition 4. If a straight line is cut in extreme and mean ratio, then the sum of the squares on the whole and on the lesser segment is triple the square on the greater segment. Proposition 5.

If a straight line is cut in extreme and mean ratio, and a straight line equal to the greater segment is added to it, then the whole straight line has been cut in extreme and mean ratio, and the original straight line is the greater segment. Proposition 6. If a rational straight line is cut in extreme and mean ratio, then each of the segments is the irrational straight line called apotome. Proposition 7. If three angles of an equilateral pentagon, taken either in order or not in order, are equal, then the pentagon is equiangular. Proposition 8. If in an equilateral and equiangular pentagon straight lines subtend two angles are taken in order, then they cut one another in extreme and mean ratio, and their greater segments equal the side of the pentagon. Proposition 9. If the side of the hexagon and that of the decagon inscribed in the same circle are added together, then the whole straight line has been cut in extreme and mean ratio, and its greater segment is the side of the hexagon. Proposition 10. If an equilateral pentagon is inscribed ina circle, then the square on the side of the pentagon equals the sum of the squares on the sides of the hexagon and the decagon inscribed in the same circle. Proposition 11. If an equilateral pentagon is inscribed in a circle which has its diameter rational, then the side of the pentagon is the irrational straight line called minor. Proposition 12. If an equilateral triangle is inscribed in a circle, then the square on the side of the triangle is triple the square on the radius of the circle. Proposition 13. To construct a pyramid, to comprehend it in a given sphere; and to prove that the square on the diameter of the sphere is one and a half times the square on the side of the pyramid. Lemma for XIII.13. Proposition 14. To construct an octahedron and comprehend it in a sphere, as in the preceding case; and to prove that the square on the diameter of the sphere is double the square on the side of the octahedron.

Proposition 15. To construct a cube and comprehend it in a sphere, like the pyramid; and to prove that the square on the diameter of the sphere is triple the square on the side of the cube. Proposition 16. To construct an icosahedron and comprehend it in a sphere, like the aforesaid figures; and to prove that the square on the side of the icosahedron is the irrational straight line called minor. Corollary. The square on the diameter of the sphere is five times the square on the radius of the circle from which the icosahedron has been described, and the diameter of the sphere is composed of the side of the hexagon and two of the sides of the decagon inscribed in the same circle. Proposition 17. To construct a dodecahedron and comprehend it in a sphere, like the aforesaid figures; and to prove that the square on the side of the dodecahedron is the irrational straight line called apotome. Corollary. When the side of the cube is cut in extreme and mean ratio, the greater segment is the side of the dodecahedron. Proposition 18. To set out the sides of the five figures and compare them with one another. Remark. No other figure, besides the said five figures, can be constructed by equilateral and equiangular figures equal to one another. Lemma. The angle of the equilateral and equiangular pentagon is a right angle and a fifth.

Elements Introduction - Book XII.

Table of contentsq

Propositions (18)

PropositionsProposition 1. Similar polygons inscribed in circles are to one another as the squares on their diameters. Proposition 2. Circles are to one another as the squares on their diameters. Lemma for XII.2. Proposition 3. Any pyramid with a triangular base is divided into two pyramids equal and similar to one another, similar to the whole, and having triangular bases, and into two equal prisms, and the two prisms are greater than half of the whole pyramid. Proposition 4. If there are two pyramids of the same height with triangular bases, and each of them is divided into two pyramids equal and similar to one another and similar to the whole, and into two equal prisms, then the base of the one pyramid is to the base of the other pyramid as all the prisms in the one pyramid are to all the prisms, being equal in multitude, in the other pyramid. Lemma for XII.4.

Proposition 5. Pyramids of the same height with triangular bases are to one another as their bases. Proposition 6. Pyramids of the same height with polygonal bases are to one another as their bases. Proposition 7. Any prism with a triangular base is divided into three pyramids equal to one another with triangular bases. Corollary. Any pyramid is a third part of the prism with the same base and equal height. Proposition 8. Similar pyramids with triangular bases are in triplicate ratio of their corresponding sides. Corollary. Similar pyramids with polygonal bases are also to one another in triplicate ratio of their corresponding sides. Proposition 9. In equal pyramids with triangular bases the bases are reciprocally proportional to the heights; and those pyramids are equal in which the bases are reciprocally proportional to the heights. Proposition 10. Any cone is a third part of the cylinder with the same base and equal height. Proposition 11. Cones and cylinders of the same height are to one another as their bases. Proposition 12. Similar cones and cylinders are to one another in triplicate ratio of the diameters of their bases. Proposition 13. If a cylinder is cut by a plane parallel to its opposite planes, then the cylinder is to the cylinder as the axis is to the axis. Proposition 14. Cones and cylinders on equal bases are to one another as their heights. Proposition 15. In equal cones and cylinders the bases are reciprocally proportional to the heights; and those cones and cylinders in which the bases are reciprocally proportional to the heights are equal. Proposition 16.

Given two circles about the same center, to inscribe in the greater circle an equilateral polygon with an even number of sides which does not touch the lesser circle. Proposition 17. Given two spheres about the same center, to inscribe in the greater sphere a polyhedral solid which does not touch the lesser sphere at its surface. Corollary to XII.17. Proposition 18. Spheres are to one another in triplicate ratio of their respective diameters.

Next book: Book XIII Previous: Book XI Elements Introduction

Table of contentsq q

Definitions (28) Propositions (39)

DefinitionsDefinition 1. A solid is that which has length, breadth, and depth. Definition 2. A face of a solid is a surface. Definition 3. A straight line is at right angles to a plane when it makes right angles with all the straight lines which meet it and are in the plane. Definition 4. A plane is at right angles to a plane when the straight lines drawn in one of the planes at right angles to the intersection of the planes are at right angles to the remaining plane. Definition 5. The inclination of a straight line to a plane is, assuming a perpendicular drawn from the end of the straight line which is elevated above the plane to the plane, and a straight line joined from the point thus arising to the end of the straight line which is in the plane, the angle

contained by the straight line so drawn and the straight line standing up. Definition 6. The inclination of a plane to a plane is the acute angle contained by the straight lines drawn at right angles to the intersection at the same point, one in each of the planes. Definition 7. A plane is said to be similarly inclined to a plane as another is to another when the said angles of the inclinations equal one another. Definition 8. Parallel planes are those which do not meet. Definition 9. Similar solid figures are those contained by similar planes equal in multitude. Definition 10. Equal and similar solid figures are those contained by similar planes equal in multitude and magnitude. Definition 11. A solid angle is the inclination constituted by more than two lines which meet one another and are not in the same surface, towards all the lines, that is, a solid angle is that which is contained by more than two plane angles which are not in the same plane and are constructed to one point. Definition 12. A pyramid is a solid figure contained by planes which is constructed from one plane to one point. Definition 13. A prism is a solid figure contained by planes two of which, namely those which are opposite, are equal, similar, and parallel, while the rest are parallelograms. Definition 14. When a semicircle with fixed diameter is carried round and restored again to the same position from which it began to be moved, the figure so comprehended is a sphere. Definition 15. The axis of the sphere is the straight line which remains fixed and about which the semicircle is turned. Definition 16. The center of the sphere is the same as that of the semicircle.

Definition 17. A diameter of the sphere is any straight line drawn through the center and terminated in both directions by the surface of the sphere. Definition 18. When a right triangle with one side of those about the right angle remains fixed is carried round and restored again to the same position from which it began to be moved, the figure so comprehended is a cone. And, if the straight line which remains fixed equals the remaining side about the right angle which is carried round, the cone will be right-angled; if less, obtuseangled; and if greater, acute-angled. Definition 19. The axis of the cone is the straight line which remains fixed and about which the triangle is turned. Definition 20. And the base is the circle described by the straight in which is carried round. Definition 21. When a rectangular parallelogram with one side of those about the right angle remains fixed is carried round and restored again to the same position from which it began to be moved, the figure so comprehended is a cylinder. Definition 22. The axis of the cylinder is the straight line which remains fixed and about which the parallelogram is turned. Definition 23. And the bases are the circles described by the two sides opposite to one another which are carried round. Definition 24. Similar cones and cylinders are those in which the axes and the diameters of the bases are proportional. Definition 25. A cube is a solid figure contained by six equal squares. Definition 26. An octahedron is a solid figure contained by eight equal and equilateral triangles. Definition 27. An icosahedron is a solid figure contained by twenty equal and equilateral triangles. Definition 28.

A dodecahedron is a solid figure contained by twelve equal, equilateral and equiangular pentagons.

PropositionsProposition 1. A part of a straight line cannot be in the plane of reference and a part in plane more elevated. Proposition 2. If two straight lines cut one another, then they lie in one plane; and every triangle lies in one plane. Proposition 3. If two planes cut one another, then their intersection is a straight line. Proposition 4. If a straight line is set up at right angles to two straight lines which cut one another at their common point of section, then it is also at right angles to the plane passing through them. Proposition 5. If a straight line is set up at right angles to three straight lines which meet one another at their common point of section, then the three straight lines lie in one plane. Proposition 6. If two straight lines are at right angles to the same plane, then the straight lines are parallel. Proposition 7. If two straight lines are parallel and points are taken at random on each of them, then the straight line joining the points is in the same plane with the parallel straight lines. Proposition 8. If two straight lines are parallel, and one of them is at right angles to any plane, then the remaining one is also at right angles to the same plane. Proposition 9 Straight lines which are parallel to the same straight line but do not lie in the same plane with it are also parallel to each other. Proposition 10. If two straight lines meeting one another are parallel to two straight lines meeting one another not in the same plane, then they contain equal angles. Proposition 11. To draw a straight line perpendicular to a given plane from a given elevated point.

Proposition 12. To set up a straight line at right angles to a give plane from a given point in it. Proposition 13. From the same point two straight lines cannot be set up at right angles to the same plane on the same side. Proposition 14. Planes to which the same straight line is at right angles are parallel. Proposition 15. If two straight lines meeting one another are parallel to two straight lines meeting one another not in the same plane, then the planes through them are parallel. Proposition 16. If two parallel planes are cut by any plane, then their intersections are parallel. Proposition 17. If two straight lines are cut by parallel planes, then they are cut in the same ratios. Proposition 18. If a straight line is at right angles to any plane, then all the planes through it are also at right angles to the same plane. Proposition 19. If two planes which cut one another are at right angles to any plane, then their intersection is also at right angles to the same plane. Proposition 20. If a solid angle is contained by three plane angles, then the sum of any two is greater than the remaining one. Proposition 21. Any solid angle is contained by plane angles whose sum is less than four right angles. Proposition 22 If there are three plane angles such that the sum of any two is greater than the remaining one, and they are contained by equal straight lines, then it is possible to construct a triangle out of the straight lines joining the ends of the equal straight lines. Proposition 23. To construct a solid angles out of three plane angles such that the sum of any two is greater than the remaining one: thus the sum of the three angles must be less than four right angles. Lemma for XI.23.

Proposition 24. If a solid is contained by parallel planes, then the opposite planes in it are equal and parallelogrammic. Proposition 25. If a parallelepipedal solid is cut by a plane parallel to the opposite planes, then the base is to the base as the solid is to the solid. Proposition 26. To construct a solid angle equal to a given solid angle on a given straight line at a given point on it. Proposition 27. To describe a parallelepipedal solid similar and similarly situated to a given parallelepipedal solid on a given straight line. Proposition 28. If a parallelepipedal solid is cut by a plane through the diagonals of the opposite planes, then the solid is bisected by the plane. Proposition 29. Parallelepipedal solids which are on the same base and of the same height, and in which the ends of their edges which stand up are on the same straight lines, equal one another. Proposition 30. Parallelepipedal solids which are on the same base and of the same height, and in which the ends of their edges which stand up are not on the same straight lines, equal one another. Proposition 31. Parallelepipedal solids which are on equal bases and of the same height equal one another. Proposition 32. Parallelepipedal solids which are of the same height are to one another as their bases. Proposition 33. Similar parallelepipedal solids are to one another in the triplicate ratio of their corresponding sides. Corollary. If four straight lines are continuously proportional, then the first is to the fourth as a parallelepipedal solid on the first is to the similar and similarly situated parallelepipedal solid on the second, in as much as the first has to the fourth the ratio triplicate of that which it has to the second. Proposition 34. In equal parallelepipedal solids the bases are reciprocally proportional to the heights; and

those parallelepipedal solids in which the bases are reciprocally proportional to the heights are equal. Proposition 35. If there are two equal plane angles, and on their vertices there are set up elevated straight lines containing equal angles with the original straight lines respectively, if on the elevated straight lines points are taken at random and perpendiculars are drawn from them to the planes in which the original angles are, and if from the points so arising in the planes straight lines are joined to the vertices of the original angles, then they contain with the elevated straight lines equal angles. Proposition 36. If three straight lines are proportional, then the parallelepipedal solid formed out of the three equals the parallelepipedal solid on the mean which is equilateral, but equiangular with the aforesaid solid. Proposition 37. If four straight lines are proportional, then parallelepipedal solids on them which are similar and similarly described are also proportional; and, if the parallelepipedal solids on them which are similar and similarly described are proportional, then the straight lines themselves are also proportional. Proposition 38. If the sides of the opposite planes of a cube are bisected, and the planes are carried through the points of section, then the intersection of the planes and the diameter of the cube bisect one another. Proposition 39. If there are two prisms of equal height, and one has a parallelogram as base and the other a triangle, and if the parallelogram is double the triangle, then the prisms are equal.

Elements Introduction - Book X - Book XII.

Table of contentsq q q q q q

Definitions I (4) Propositions 1-47 Definitions II (6) Propositions 48-84 Definitions III (6) Propositions 85-115

Definitions IDefinition 1. Those magnitudes are said to be commensurable which are measured by the same measure, and those incommensurable which cannot have any common measure. Definition 2. Straight lines are commensurable in square when the squares on them are measured by the same area, and incommensurable in square when the squares on them cannot possibly have any area as a common measure. Definition 3. With these hypotheses, it is proved that there exist straight lines infinite in multitude which are commensurable and incommensurable respectively, some in length only, and others in square also, with an assigned straight line. Let then the assigned straight line be called rational, and those straight lines which are commensurable with it, whether in length and in

square, or in square only, rational, but those that are incommensurable with it irrational. Definition 4. And the let the square on the assigned straight line be called rational, and those areas which are commensurable with it rational, but those which are incommensurable with it irrational, and the straight lines which produce them irrational, that is, in case the areas are squares, the sides themselves, but in case they are any other rectilineal figures, the straight lines on which are described squares equal to them.

Propositions 1-47Proposition 1. Two unequal magnitudes being set out, 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, then there will be left some magnitude less than the lesser magnitude set out. And the theorem can similarly be proven even if the parts subtracted are halves. Proposition 2. If, when the less of two unequal magnitudes is continually subtracted in turn from the greater that which is left never measures the one before it, then the two magnitudes are incommensurable. Proposition 3. To find the greatest common measure of two given commensurable magnitudes. Corollary. If a magnitude measures two magnitudes, then it also measures their greatest common measure. Proposition 4. To find the greatest common measure of three given commensurable magnitudes. Corollary. If a magnitude measures three magnitudes, then it also measures their greatest common measure. The greatest common measure can be found similarly for more magnitudes, and the corollary extended. Proposition 5. Commensurable magnitudes have to one another the ratio which a number has to a number. Proposition 6. If two magnitudes have to one another the ratio which a number has to a number, then the magnitudes are commensurable. Corollary.

Proposition 7. Incommensurable magnitudes do not have to one another the ratio which a number has to a number. Proposition 8. If two magnitudes do not have to one another the ratio which a number has to a number, then the magnitudes are incommensurable. Proposition 9. The squares on straight lines commensurable in length have to one another the ratio which a square number has to a square number; and squares which have to one another the ratio which a square number has to a square number also have their sides commensurable in length. But the squares on straight lines incommensurable in length do not have to one another the ratio which a square number has to a square number; and squares which do not have to one another the ratio which a square number has to a square number also do not have their sides commensurable in length either. Corollary. Straight lines commensurable in length are always commensurable in square also, but those commensurable in square are not always also commensurable in length. Lemma. Similar plane numbers have to one another the ratio which a square number has to a square number, and if two numbers have to one another the ratio which a square number has to a square number, then they are similar plane numbers. Corollary 2. Numbers which are not similar plane numbers, that is, those which do not have their sides proportional, do not have to one another the ratio which a square number has to a square number Proposition 10. To find two straight lines incommensurable, the one in length only, and the other in square also, with an assigned straight line. Proposition 11. If four magnitudes are proportional, and the first is commensurable with the second, then the third also is commensurable with the fourth; but, if the first is incommensurable with the second, then the third also is incommensurable with the fourth. Proposition 12. Magnitudes commensurable with the same magnitude are also commensurable with one another. Proposition 13. If two magnitudes are commensurable, and one of them is incommensurable with any magnitude, then the remaining one is also incommensurable with the same. Proposition 14.

Lemma. Given two unequal straight lines, to find by what square the square on the greater is greater than the square on the less. And, given two straight lines, to find the straight line the square on which equals the sum of the squares on them. Proposition 14. If four straight lines are proportional, and the square on the first is greater than the square on the second by the square on a straight line commensurable with the first, then the square on the third is also greater than the square on the fourth by the square on a third line commensurable with the third. And, if the square on the first is greater than the square on the second by the square on a straight line incommensurable with the first, then the square on the third is also greater than the square on the fourth by the square on a third line incommensurable with the third. Proposition 15. If two commensurable magnitudes are added together, then the whole is also commensurable with each of them; and, if the whole is commensurable with one of them, then the original magnitudes are also commensurable. Proposition 16. If two incommensurable magnitudes are added together, the sum is also incommensurable with each of them; but, if the sum is incommensurable with one of them, then the original magnitudes are also incommensurable. Proposition 17. Lemma. If to any straight line there is applied a parallelogram but falling short by a square, then the applied parallelogram equals the rectangle contained by the segments of the straight line resulting from the application. Proposition 17. If there are two unequal straight lines, and to the greater there is applied a parallelogram equal to the fourth part of the square on the less but falling short by a square, and if it divides it into parts commensurable in length, then the square on the greater is greater than the square on the less by the square on a straight line commensurable with the greater. And if the square on the greater is greater than the square on the less by the square on a straight line commensurable with the greater, and if there is applied to the greater a parallelogram equal to the fourth part of the square on the less falling short by a square, then it divides it into parts commensurable in length. Proposition 18. If there are two unequal straight lines, and to the greater there is applied a parallelogram equal to the fourth part of the square on the less but falling short by a square, and if it divides it into incommensurable parts, then the square on the greater is greater than the square on the less by the square on a straight line incommensurable with the greater. And if the square on the greater is greater than the square on the less by the square on a straight line incommensurable with the greater, and if there is applied to the greater a parallelogram equal to the fourth part of the square on the less but falling short by a square, then it divides it into incommensurable parts.

Proposition 19. Lemma. Proposition 19. The rectangle contained by rational straight lines commensurable in length is rational. Proposition 20. If a rational area is applied to a rational straight line, then it produces as breadth a straight line rational and commensurable in length with the straight line to which it is applied. Proposition 21. The rectangle contained by rational straight lines commensurable in square only is irrational, and the side of the square equal to it is irrational. Let the latter be called medial. Proposition 22. Lemma. If there are two straight lines, then the first is to the second as the square on the first is to the rectangle contained by the two straight lines. Proposition 22. The square on a medial straight line, if applied to a rational straight line, produces as breadth a straight line rational and incommensurable in length with that to which it is applied. Proposition 23. A straight line commensurable with a medial straight line is medial. Corollary. An area commensurable with a medial area is medial. Proposition 24. The rectangle contained by medial straight lines commensurable in length is medial. Proposition 25. The rectangle contained by medial straight lines commensurable in square only is either rational or medial. Proposition 26. A medial area does not exceed a medial area by a rational area. Proposition 27. To find medial straight lines commensurable in square only which contain a rational rectangle. Proposition 28. To find medial straight lines commensurable in square only which contain a medial rectangle. Proposition 29.

Lemma 1. To find two square numbers such that their sum is also square. Lemma 2. To find two square numbers such that their sum is not square. Proposition 29. To find two rational straight lines commensurable in square only such that the square on the greater is greater than the square on the less by the square on a straight line commensurable in length with the greater. Proposition 30. To find two rational straight lines commensurable in square only such that the square on the greater is greater than the square on the less by the square on a straight line incommensurable in length with the greater. Proposition 31. To find two medial straight lines commensurable in square only, containing a rational rectangle, such that the square on the greater is greater than the square on the less by the square on a straight line commensurable in length with the greater. Proposition 32. To find two medial straight lines commensurable in square only, containing a medial rectangle, such that the square on the greater is greater than the square on the less by the square on a straight line commensurable with the greater. Proposition 33. Lemma. Proposition 33. To find two straight lines incommensurable in square which make the sum of the squares on them rational but the rectangle contained by them medial. Proposition 34. To find two straight lines incommensurable in square which make the sum of the squares on them medial but the rectangle contained by them rational. Proposition 35. To find two straight lines incommensurable in square which make the sum of the squares on them medial and the rectangle contained by them medial and moreover incommensurable with the sum of the squares on them. Proposition 36. If two rational straight lines commensurable in square only are added together, then the whole is irrational; let it be called binomial. Proposition 37. If two medial straight lines commensurable in square only and containing a rational rectangle are added together, the whole is irrational; let it be called the first bimedial straight line.

Proposition 38. If two medial straight lines commensurable in square only and containing a medial rectangle are added together, then the whole is irrational; let it be called the second bimedial straight line. Proposition 39. If two straight lines incommensurable in square which make the sum of the squares on them rational but the rectangle contained by them medial are added together, then the whole straight line is irrational; let it be called major. Proposition 40. If two straight lines incommensurable in square which make the sum of the squares on them medial but the rectangle contained by them rational are added together, then the whole straight line is irrational; let it be called the side of a rational plus a medial area. Proposition 41. If two straight lines incommensurable in square which make the sum of the squares on them medial and the rectangle contained by them medial and also incommensurable with the sum of the squares on them are added together, then the whole straight line is irrational; let it be called the side of the sum of two medial areas. Lemma. Proposition 42. A binomial straight line is divided into its terms at one point only. Proposition 43. A first bimedial straight line is divided at one and the same point only. Proposition 44. A second bimedial straight line is divided at one point only. Proposition 45. A major straight line is divided at one point only. Proposition 46. The side of a rational plus a medial area is divided at one point only. Proposition 47. The side of the sum of two medial areas is divided at one point only.

Definitions IIDefinition 1.

Given a rational straight line and a binomial, divided into its terms, such that the square on the greater term is greater than the square on the lesser by the square on a straight line commensurable in length with the greater, then, if the greater term is commensurable in length with the rational straight line set out, let the whole be called a first binomial straight line; Definition 2. But if the lesser term is commensurable in length with the rational straight line set out, let the whole be called a second binomial; Definition 3. And if neither of the terms is commensurable in length with the rational straight line set out, let the whole be called a third binomial. Definition 4. Again, if the square on the greater term is greater than the square on the lesser by the square on a straight line incommensurable in length with the greater, then, if the greater term is commensurable in length with the rational straight line set out, let the whole be called a fourth binomial; Definition 5. If the lesser, a fifth binomial; Definition 6. And, if neither, a sixth binomial.

Propositions 48-84Proposition 48. To find the first binomial line. Proposition 49. To find the second binomial line. Proposition 50. To find the third binomial line. Proposition 51. To find the fourth binomial line. Proposition 52. To find the fifth binomial line. Proposition 53. To find the sixth binomial line.

Proposition 54. Lemma. Proposition 54. If an area is contained by a rational straight line and the first binomial, then the side of the area is the irrational straight line which is called binomial. Proposition 55. If an area is contained by a rational straight line and the second binomial, then the side of the area is the irrational straight line which is called a first bimedial. Proposition 56. If an area is contained by a rational straight line and the third binomial, then the side of the area is the irrational straight line called a second bimedial. Proposition 57. If an area is contained by a rational straight line and the fourth binomial, then the side of the area is the irrational straight line called major. Proposition 58. If an area is contained by a rational straight line and the fifth binomial, then the side of the area is the irrational straight line called the side of a rational plus a medial area. Proposition 59. If an area is contained by a rational straight line and the sixth binomial, then the side of the area is the irrational straight line called the side of the sum of two medial areas. Proposition 60. Lemma. If a straight line is cut into unequal parts, then the sum of the squares on the unequal parts is greater than twice the rectangle contained by the unequal parts. Proposition 60. The square on the binomial straight line applied to a rational straight line produces as breadth the first binomial. Proposition 61. The square on the first bimedial straight line applied to a rational straight line produces as breadth the second binomial. Proposition 62. The square on the second bimedial straight line applied to a rational straight line produces as breadth the third binomial. Proposition 63. The square on the major straight line applied to a rational straight line produces as breadth the fourth binomial.

Proposition 64. The square on the side of a rational plus a medial area applied to a rational straight line produces as breadth the fifth binomial. Proposition 65. The square on the side of the sum of two medial areas applied to a rational straight line produces as breadth the sixth binomial. Proposition 66. A straight line commensurable with a binomial straight line is itself also binomial and the same in order. Proposition 67. A straight line commensurable with a bimedial straight line is itself also bimedial and the same in order. Proposition 68. A straight line commensurable with a major straight line is itself also major. Proposition 69. A straight line commensurable with the side of a rational plus a medial area is itself also the side of a rational plus a medial area. Proposition 70. A straight line commensurable with the side of the sum of two medial areas is the side of the sum of two medial areas. Proposition 71. If a rational and a medial are added together, then four irrational straight lines arise, namely a binomial or a first bimedial or a major or a side of a rational plus a medial area. Proposition 72. If two medial areas incommensurable with one another are added together, then the remaining two irrational straight lines arise, namely either a second bimedial or a side of the sum of two medial areas. Proposition. The binomial straight line and the irrational straight lines after it are neither the same with the medial nor with one another. Proposition 73. If from a rational straight line there is subtracted a rational straight line commensurable with the whole in square only, then the remainder is irrational; let it be called an apotome. Proposition 74. If from a medial straight line there is subtracted a medial straight line which is

commensurable with the whole in square only, and which contains with the whole a rational rectangle, then the remainder is irrational; let it be called first apotome of a medial straight line. Proposition 75. If from a medial straight line there is subtracted a medial straight line which is commensurable with the whole in square only, and which contains with the whole a medial rectangle, then the remainder is irrational; let it be called second apotome of a medial straight line. Proposition 76. If from a straight line there is subtracted a straight line which is incommensurable in square with the whole and which with the whole makes the sum of the squares on them added together rational, but the rectangle contained by them medial, then the remainder is irrational; let it be called minor. Proposition 77. If from a straight line there is subtracted a straight line which is incommensurable in square with the whole, and which with the whole makes the sum of the squares on them medial but twice the rectangle contained by them rational, then the remainder is irrational; let it be called that which produces with a rational area a medial whole. Proposition 78. If from a straight line there is subtracted a straight line which is incommensurable in square with the whole and which with the whole makes the sum of the squares on them medial, twice the rectangle contained by them medial, and further the squares on them incommensurable with twice the rectangle contained by them, then the remainder is irrational; let it be called that which produces with a medial area a medial whole. Proposition 79. To an apotome only one rational straight line can be annexed which is commensurable with the whole in square only. Proposition 80. To a first apotome of a medial straight line only one medial straight line can be annexed which is commensurable with the whole in square only and which contains with the whole a rational rectangle. Proposition 81. To a second apotome of a medial straight line only one medial straight line can be annexed which is commensurable with the whole in square only and which contains with the whole a medial rectangle. Proposition 82. To a minor straight line only one straight line can be annexed which is incommensurable in square with the whole and which makes, with the whole, the sum of squares on them rational

but twice the rectangle contained by them medial. Proposition 83. To a straight line which produces with a rational area a medial whole only one straight line can be annexed which is incommensurable in square with the whole straight line and which with the whole straight line makes the sum of squares on them medial but twice the rectangle contained by them rational. Proposition 84. To a straight line which produces with a medial area a medial whole only one straight line can be annexed which is incommensurable in square with the whole straight line and which with the whole straight line makes the sum of squares on them medial and twice the rectangle contained by them both medial and also incommensurable with the sum of the squares on them.

Definitions IIIDefinition 1. Given a rational straight line and an apotome, if the square on the whole is greater than the square on the annex by the square on a straight line commensurable in length with the whole, and the whole is commensurable in length with the rational line set out, let the apotome be called a first apotome. Definition 2. But if the annex is commensurable with the rational straight line set out, and the square on the whole is greater than that on the annex by the square on a straight line commensurable with the whole, let the apotome be called a second apotome. Definition 3. But if neither is commensurable in length with the rational straight line set out, and the square on the whole is greater than the square on the annex by the square on a straight line commensurable with the whole, let the apotome be called a third apotome. Definition 4. Again, if the square on the whole is greater than the square on the annex by the square on a straight line incommensurable with the whole, then, if the whole is commensurable in length with the rational straight line set out, let the apotome be called a fourth apotome; Definition 5. If the annex be so commensurable, a fifth; Definition 6. And, if neither, a sixth.

Propositions 85-115

Proposition 85. To find the first apotome. Proposition 86. To find the second apotome. Proposition 87. To find the third apotome. Proposition 88. To find the fourth apotome. Proposition 89. To find the fifth apotome. Proposition 90. To find the sixth apotome. Proposition 91. If an area is contained by a rational straight line and a first apotome, then the side of the area is an apotome. Proposition 92. If an area is contained by a rational straight line and a second apotome, then the side of the area is a first apotome of a medial straight line. Proposition 93. If an area is contained by a rational straight line and a third apotome, then the side of the area is a second apotome of a medial straight line. Proposition 94. If an area is contained by a rational straight line and a fourth apotome, then the side of the area is minor. Proposition 95. If an area is contained by a rational straight line and a fifth apotome, then the side of the area is a straight line which produces with a rational area a medial whole. Proposition 96. If an area is contained by a rational straight line and a sixth apotome, then the side of the area is a straight line which produces with a medial area a medial whole. Proposition 97. The square on an apotome of a medial straight line applied to a rational straight line produces

as breadth a first apotome. Proposition 98. The square on a first apotome of a medial straight line applied to a rational straight line produces as breadth a second apotome. Proposition 99. The square on a second apotome of a medial straight line applied to a rational straight line produces as breadth a third apotome. Proposition 100. The square on a minor straight line applied to a rational straight line produces as breadth a fourth apotome. Proposition 101. The square on the straight line which produces with a rational area a medial whole, if applied to a rational straight line, produces as breadth a fifth apotome. Proposition 102. The square on the straight line which produces with a medial area a medial whole, if applied to a rational straight line, produces as breadth a sixth apotome. Proposition 103. A straight line commensurable in length with an apotome is an apotome and the same in order. Proposition 104. A straight line commensurable with an apotome of a medial straight line is an apotome of a medial straight line and the same in order. Proposition 105. A straight line commensurable with a minor straight line is minor. Proposition 106. A straight line commensurable with that which produces with a rational area a medial whole is a straight line which produces with a rational area a medial whole. Proposition 107. A straight line commensurable with that which produces a medial area and a medial whole is itself also a straight line which produces with a medial area a medial whole. Proposition 108. If from a rational area a medial area is subtracted, the side of the remaining area becomes one of two irrational straight lines, either an apotome or a minor straight line.

Proposition 109. If from a medial area a rational area is subtracted, then there arise two other irrational straight lines, either a first apotome of a medial straight line or a straight line which produces with a rational area a medial whole. Proposition 110. If from a medial area there is subtracted a medial area incommensurable with the whole, then the two remaining irrational straight lines arise, either a second apotome of a medial straight line or a straight line which produce with a medial area a medial whole. Proposition 111. The apotome is not the same with the binomial straight line. Proposition. The apotome and the irrational straight lines following it are neither the same with the medial straight line nor with one another. There are, in order, thirteen irrational straight lines in all: Medial Binomial First bimedial Second bimedial Major Side of a rational plus a medial area Side of the sum of two medial areas Apotome First apotome of a medial straight line Second apotome of a medial straight line Minor Producing with a rational area a medial whole Producing with a medial area a medial whole Proposition 112. The square on a rational straight line applied to the binomial straight line produces as breadth an apotome the terms of which are commensurable with the terms of the binomial straight line and moreover in the same ratio; and further the apotome so arising has the same order as the binomial straight line. Proposition 113. The square on a rational straight line, if applied to an apotome, produces as breadth the binomial straight line the terms of which are commensurable with the terms of the apotome and in the same ratio; and further the binomial so arising has the same order as the apotome. Proposition 114. If an area is contained by an apotome and the binomial straight line the terms of which are commensurable with the terms of the apotome and in the same ratio, then the side of the area is rational.

Corollary. It is possible for a rational area to be contained by irrational straight lines. Proposition 115. From a medial straight line there arise irrational straight lines infinite in number, and none of them is the same as any preceding.

Elements Introduction - Book IX - Book XI.

Table of contentsq

Propositions (36)

PropositionsProposition 1. If two similar plane numbers multiplied by one another make some number, then the product is square. Proposition 2. If two numbers multiplied by one another make a square number, then they are similar plane numbers. Proposition 3. If a cubic number multiplied by itself makes some number, then the product is a cube. Proposition 4. If a cubic number multiplied by a cubic number makes some number, then the product is a cube. Proposition 5. If a cubic number multiplied by any number makes a cubic number, then the multiplied number is also cubic. Proposition 6. If a number multiplied by itself makes a cubic number, then it itself is also cubic.

Proposition 7. If a composite number multiplied by any number makes some number, then the product is solid. Proposition 8. If as many numbers as we please beginning from a unit are in continued proportion, then the third from the unit is square as are also those which successively leave out one, the fourth is cubic as are also all those which leave out two, and the seventh is at once cubic and square are also those which leave out five. Proposition 9. If as many numbers as we please beginning from a unit are in continued proportion, and the number after the unit is square, then all the rest are also square; and if the number after the unit is cubic, then all the rest are also cubic. Proposition 10. If as many numbers as we please beginning from a unit are in continued proportion, and the number after the unit is not square, then neither is any other square except the third from the unit and all those which leave out one; and, if the number after the unit is not cubic, then neither is any other cubic except the fourth from the unit and all those which leave out two. Proposition 11. If as many numbers as we please beginning from a unit are in continued proportion, then the less measures the greater according to some one of the numbers which appear among the proportional numbers. Corollary. Whatever place the measuring number has, reckoned from the unit, the same place also has the number according to which it measures, reckoned from the number measured, in the direction of the number before it. Proposition 12. If as many numbers as we please beginning from a unit are in continued proportion, then by whatever prime numbers the last is measured, the next to the unit is also measured by the same. Proposition 13. If as many numbers as we please beginning from a unit are in continued proportion, and the number after the unit is prime, then the greatest is not measured by any except those which have a place among the proportional numbers. Proposition 14. If a number is the least that is measured by prime numbers, then it is not measured by any other prime number except those originally measuring it. Proposition 15.

If three numbers in continued proportion are the least of those which have the same ratio with them, then the sum of any two is relatively prime to the remaining number. Proposition 16. If two numbers are relatively prime, then the second is not to any other number as the first is to the second. Proposition 17. If there are as many numbers as we please in continued proportion, and the extremes of them are relatively prime, then the last is not to any other number as the first is to the second. Proposition 18. Given two numbers, to investigate whether it is possible to find a third proportional to them. Proposition 19. Given three numbers, to investigate when it is possible to find a fourth proportional to them. Proposition 20. Prime numbers are more than any assigned multitude of prime numbers. Proposition 21. If as many even numbers as we please are added together, then the sum is even. Proposition 22. If as many odd numbers as we please are added together, and their multitude is even, then the sum is even. Proposition 23. If as many odd numbers as we please are added together, and their multitude is odd, then the sum is also odd. Proposition 24. If an even number is subtracted from an even number, then the remainder is even. Proposition 25. If an odd number is subtracted from an even number, then the remainder is odd. Proposition 26. If an odd number is subtracted from an odd number, then the remainder is even. Proposition 27. If an even number is subtracted from an odd number, then the remainder is odd. Proposition 28. If an odd number is multiplied by an even number, then the product is even.

Proposition 29. If an odd number is multiplied by an odd number, then the product is odd. Proposition 30. If an odd number measures an even number, then it also measures half of it. Proposition 31. If an odd number is relatively prime to any number, then it is also relatively prime to double it. Proposition 32. Each of the numbers which are continually doubled beginning from a dyad is even-times even only. Proposition 33. If a number has its half odd, then it is even-times odd only. Proposition 34. If an [even] number neither is one of those which is continually doubled from a dyad, nor has its half odd, then it is both even-times even and even-times odd. Proposition 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 the excess of the second is to the first as the excess of the last is to the sum of all those before it. Proposition 36. If as many numbers as we please beginning from a unit are set out continuously in double proportion until the sum of all becomes prime, and if the sum multiplied into the last makes some number, then the product is perfect.

Next book: Book X Previous: Book VIII Elements Introduction

Table of contentsq

Propositions (27)

PropositionsProposition 1. If there are as many numbers as we please in continued proportion, and the extremes of them are relatively prime, then the numbers are the least of those which have the same ratio with them. Proposition 2. To find as many numbers as are prescribed in continued proportion, and the least that are in a given ratio. Corollary. If three numbers in continued proportion are the least of those which have the same ratio with them, then the extremes are squares, and, if four numbers, cubes. Proposition 3. If as many numbers as we please in continued proportion are the least of those which have the same ratio with them, then the extremes of them are relatively prime. Proposition 4. Given as many ratios as we please in least numbers, to find numbers in continued proportion which are the least in the given ratios. Proposition 5.

Plane numbers have to one another the ratio compounded of the ratios of their sides. Proposition 6. If there are as many numbers as we please in continued proportion, and the first does not measure the second, then neither does any other measure any other. Proposition 7. If there are as many numbers as we please in continued proportion, and the first measures the last, then it also measures the second. Proposition 8. If between two numbers there fall numbers in continued proportion with them, then, however many numbers fall between them in continued proportion, so many also fall in continued proportion between the numbers which have the same ratios with the original numbers. Proposition 9. If two numbers are relatively prime, and numbers fall between them in continued proportion, then, however many numbers fall between them in continued proportion, so many also fall between each of them and a unit in continued proportion. Proposition 10. If numbers fall between two numbers and a unit in continued proportion, then however many numbers fall between each of them and a unit in continued proportion, so many also fall between the numbers themselves in continued proportion. Proposition 11. Between two square numbers there is one mean proportional number, and the square has to the square the duplicate ratio of that which the side has to the side. Proposition 12. Between two cubic numbers there are two mean proportional numbers, and the cube has to the cube the triplicate ratio of that which the side has to the side. Proposition 13. If there are as many numbers as we please in continued proportion, and each multiplied by itself makes some number, then the products are proportional; and, if the original numbers multiplied by the products make certain numbers, then the latter are also proportional. Proposition 14. If a square measures a square, then the side also measures the side; and, if the side measures the side, then the square also measures the square. Proposition 15. If a cubic number measures a cubic number, then the side also measures the side; and, if the side measures the side, then the cube also measures the cube.

Proposition 16. If a square does not measure a square, then neither does the side measure the side; and, if the side does not measure the side, then neither does the square measure the square. Proposition 17. If a cubic number does not measure a cubic number, then neither does the side measure the side; and, if the side does not measure the side, then neither does the cube measure the cube. Proposition 18. Between two similar plane numbers there is one mean proportional number, and the plane number has to the plane number the ratio duplicate of that which the corresponding side has to the corresponding side. Proposition 19. Between two similar solid numbers there fall two mean proportional numbers, and the solid number has to the solid number the ratio triplicate of that which the corresponding side has to the corresponding side. Proposition 20. If one mean proportional number falls between two numbers, then the numbers are similar plane numbers. Proposition 21. If two mean proportional numbers fall between two numbers, then the numbers are similar solid numbers. Proposition 22. If three numbers are in continued proportion, and the first is square, then the third is also square. Proposition 23. If four numbers are in continued proportion, and the first is a cube, then the fourth is also a cube. Proposition 24. If two numbers have to one another the ratio which a square number has to a square number, and the first is square, then the second is also a square. Proposition 25. If two numbers have to one another the ratio which a cubic number has to a cubic number, and the first is a cube, then the second is also a cube. Proposition 26. Similar plane numbers have to one another the ratio which a square number has to a square number.

Proposition 27. Similar solid numbers have to one another the ratio which a cubic number has to a cubic number.

Next book: Book IX Previous: Book VII Book VIII introduction

Table of contentsq q

Definitions (22) Propositions (39) Guide

DefinitionsDefinition 1 A unit is that by virtue of which each of the things that exist is called one. Definition 2 A number is a multitude composed of units. Definition 3 A number is a part of a number, the less of the greater, when it measures the greater; Definition 4 But parts when it does not measure it. Definition 5 The greater number is a multiple of the less when it is measured by the less.

Definition 6 An even number is that which is divisible into two equal parts. Definition 7 An odd number is that which is not divisible into two equal parts, or that which differs by a unit from an even number. Definition 8 An even-times even number is that which is measured by an even number according to an even number. Definition 9 An even-times odd number is that which is measured by an even number according to an odd number. Definition 10 An odd-times odd number is that which is measured by an odd number according to an odd number. Definition 11 A prime number is that which is measured by a unit alone. Definition 12 Numbers relatively prime are those which are measured by a unit alone as a common measure. Definition 13 A composite number is that which is measured by some number. Definition 14 Numbers relatively composite are those which are measured by some number as a common measure. Definition 15 A number is said to multiply a number when that which is multiplied is added to itself as many times as there are units in the other. Definition 16 And, when two numbers having multiplied one another make some number, the number so produced be called plane, and its sides are the numbers which have multiplied one another. Definition 17 And, when three numbers having multiplied one another make some number, the number so produced be called solid, and its sides are the numbers which have multiplied one another.

Definition 18 A square number is equal multiplied by equal, or a number which is contained by two equal numbers. Definition 19 And a cube is equal multiplied by equal and again by equal, or a number which is contained by three equal numbers. Definition 20 Numbers are proportional when the first is the same multiple, or the same part, or the same parts, of the second that the third is of the fourth. Definition 21 Similar plane and solid numbers are those which have their sides proportional. Definition 22 A perfect number is that which is equal to the sum its own parts.

PropositionsProposition 1 When two unequal numbers are set out, and the less is continually subtracted in turn from the greater, if the number which is left never measures the one before it until a unit is left, then the original numbers are relatively prime. Proposition 2 To find the greatest common measure of two given numbers not relatively prime. Corollary. If a number measures two numbers, then it also measures their greatest common measure. Proposition 3 To find the greatest common measure of three given numbers not relatively prime. Proposition 4 Any number is either a part or parts of any number, the less of the greater. Proposition 5 If a number is part of a number, and another is the same part of another, then the sum is also the same part of the sum that the one is of the one. Proposition 6 If a number is parts of a number, and another is the same parts of another, then the sum is also the same parts of the sum that the one is of the one.

Proposition 7 If a number is that part of a number which a subtracted number is of a subtracted number, then the remainder is also the same part of the remainder that the whole is of the whole. Proposition 8 If a number is the same parts of a number that a subtracted number is of a subtracted number, then the remainder is also the same parts of the remainder that the whole is of the whole. Proposition 9 If a number is a part of a number, and another is the same part of another, then alternately, whatever part of parts the first is of the third, the same part, or the same parts, the second is of the fourth. Proposition 10 If a number is a parts of a number, and another is the same parts of another, then alternately, whatever part of parts the first is of the third, the same part, or the same parts, the second is of the fourth. Proposition 11 If a whole is to a whole as a subtracted number is to a subtracted number, then the remainder is to the remainder as the whole is to the whole. Proposition 12 If any number of numbers are proportional, then one of the antecedents is to one of the consequents as the sum of the antecedents is to the sum of the consequents. Proposition 13 If four numbers are proportional, then they are also proportional alternately. Proposition 14 If there are any number of numbers, and others equal to them in multitude, which taken two and two together are in the same ratio, then they are also in the same ratio ex aequali. Proposition 15 If a unit number measures any number, and another number measures any other number the same number of times, then alternately, the unit measures the third number the same number of times that the second measures the fourth. Proposition 16 If two numbers multiplied by one another make certain numbers, then the numbers so produced equal one another. Proposition 17 If a number multiplied by two numbers makes certain numbers, then the numbers so produced have the same ratio as the numbers multiplied.

Proposition 18 If two number multiplied by any number make certain numbers, then the numbers so produced have the same ratio as the multipliers. Proposition 19 If four numbers are proportional, then the number produced from the first and fourth equals the number produced from the second and third; and, if the number produced from the first and fourth equals that produced from the second and third, then the four numbers are proportional. Proposition 20 The least numbers of those which have the same ratio with them measure those which have the same ratio with them the same number of times; the greater the greater; and the less the less. Proposition 21 Numbers relatively prime are the least of those which have the same ratio with them. Proposition 22 The least numbers of those which have the same ratio with them are relatively prime. Proposition 23 If two numbers are relatively prime, then any number which measures one of them is relatively prime to the remaining number. Proposition 24 If two numbers are relatively prime to any number, then their product is also relatively prime to the same. Proposition 25 If two numbers are relatively prime, then the product of one of them with itself is relatively prime to the remaining one. Proposition 26 If two numbers are relatively prime to two numbers, both to each, then their products are also relatively prime. Proposition 27 If two numbers are relatively prime, and each multiplied by itself makes a certain number, then the products are relatively prime; and, if the original numbers multiplied by the products make certain numbers, then the latter are also relatively prime. Proposition 28 If two numbers are relatively prime, then their sum is also prime to each of them; and, if the sum of two numbers is relatively prime to either of them, then the original numbers are also

relatively prime. Proposition 29 Any prime number is relatively prime to any number which it does not measure. Proposition 30 If two numbers, multiplied by one another make some number, and any prime number measures the product, then it also measures one of the original numbers. Proposition 31 Any composite number is measured by some prime number. Proposition 32 Any number is either prime or is measured by some prime number. Proposition 33 Given as many numbers as we please, to find the least of those which have the same ratio with them. Proposition 34 To find the least number which two given numbers measure. Proposition 35 If two numbers measure any number, then the least number measured by them also measures the same. Proposition 36 To find the least number which three given numbers measure. Proposition 37 If a number is measured by any number, then the number which is measured has a part called by the same name as the measuring number. Proposition 38 If a number has any part whatever, then it is measured by a number called by the same name as the part. Proposition 39 To find the number which is the least that has given parts.

Book VII is the first of the three books on number theory. It begins with the 22 definitions used in these books. The important definitions being those for unit and number, part and multiple, even and

odd, prime and relatively prime, proportion, and perfect number. The topics in Book VII are antenaresis and the greatest common divisor, proportions of numbers, relatively prime numbers and prime numbers, and the least common multiple. The basic construction for Book VII is antenaresis, also called the Euclidean algorithm, a kind of reciprocal subtraction. Beginning with two numbers, the smaller, whichever it is, is repeatedly subtracted from the larger until a single number is left. This algorithm, studied in propositions VII.1 througth VII.3, results in the greatest common divisor of two or more numbers. Propositions V.5 through V.10 develop properties of fractions, that is, they study how many parts one number is of another in preparation for ratios and proportions. The next group of propositions VII.11 through VII.19 develop the theory of proportions for numbers. Propositions VII.20 through VII.29 discuss representing ratios in lowest terms as relatively prime numbers and properties of relatively prime numbers. Properties of prime numbers are presented in propositions VII.30 through VII.32. Book VII finishes with least common multiples in propositions VII.33 through VII.39. Postulates for numbers Postulates are as necessary for numbers as they are for geometry. Missing postulates occurs as early as proposition VII.2. In its proof, Euclid constructs a decreasing sequence of whole positive numbers, and, apparently, uses a principle that conclude that the sequence must stop, that is, there cannot be an infinite decreasing sequence of numbers. If that is the principle he uses, then it ought to be stated as a postulate for numbers. Numbers are so familiar that it hardly occurs to us that the theory of numbers needs axioms, too. In fact, that field was one of the last to receive a careful scrutiny, and axioms for numbers weren't developed until the late 19th century. By that time foundations for the rest of mathematics were laid upon either geometry or number theory or both, and only geometry had axioms. About the same time that foundations for number theory were developed, a new subject, set theory, was created by Cantor, and mathematics was refounded in terms of set theory. The foundations of number theory will be discussed in the Guides to the various definitions and propositions.

Next book: Book VIII Previous: Book VI Book VII introduction

Table of contentsq q

definitions (4) propositions (33)

DefinitionsDefinition 1. Similar rectilinear figures are such as have their angles severally equal and the sides about the equal angles proportional. Definition 2. Two figures are reciprocally related when the sides about corresponding angles are reciprocally proportional. Definition 3. A straight line is said to have been cut in extreme and mean ratio when, as the whole line is to the greater segment, so is the greater to the less. Definition 4. The height of any figure is the perpendicular drawn from the vertex to the base.

Propositions

Proposition 1. Triangles and parallelograms which are under the same height are to one another as their bases. Proposition 2. If a straight line is drawn parallel to one of the sides of a triangle, then it cuts the sides of the triangle proportionally; and, if the sides of the triangle are cut proportionally, then the line joining the points of section is parallel to the remaining side of the triangle. Proposition 3. If an angle of a triangle is bisected by a straight line cutting the base, then the segments of the base have the same ratio as the remaining sides of the triangle; and, if segments of the base have the same ratio as the remaining sides of the triangle, then the straight line joining the vertex to the point of section bisects the angle of the triangle. Proposition 4. In equiangular triangles the sides about the equal angles are proportional where the corresponding sides are opposite the equal angles. Proposition 5. If two triangles have their sides proportional, then the triangles are equiangular with the equal angles opposite the corresponding sides. Proposition 6. If two triangles have one angle equal to one angle and the sides about the equal angles proportional, then the triangles are equiangular and have those angles equal opposite the corresponding sides. Proposition 7. If two triangles have one angle equal to one angle, the sides about other angles proportional, and the remaining angles either both less or both not less than a right angle, then the triangles are equiangular and have those angles equal the sides about which are proportional. Proposition 8. If in a right-angled triangle a perpendicular is drawn from the right angle to the base, then the triangles adjoining the perpendicular are similar both to the whole and to one another. Corollary. If in a right-angled triangle a perpendicular is drawn from the right angle to the base, then the straight line so drawn is a mean proportional between the segments of the base. Proposition 9. To cut off a prescribed part from a given straight line. Proposition 10. To cut a given uncut straight line similarly to a given cut straight line.

Proposition 11. To find a third proportional to two given straight lines. Proposition 12. To find a fourth proportional to three given straight lines. Proposition 13. To find a mean proportional to two given straight lines. Proposition 14. In equal and equiangular parallelograms the sides about the equal angles are reciprocally proportional; and equiangular parallelograms in which the sides about the equal angles are reciprocally proportional are equal. Proposition 15. In equal triangles which have one angle equal to one angle the sides about the equal angles are reciprocally proportional; and those triangles which have one angle equal to one angle, and in which the sides about the equal angles are reciprocally proportional, are equal. Proposition 16. If four straight lines are proportional, then the rectangle contained by the extremes equals the rectangle contained by the means; and, if the rectangle contained by the extremes equals the rectangle contained by the means, then the four straight lines are proportional. Proposition 17. If three straight lines are proportional, then the rectangle contained by the extremes equals the square on the mean; and, if the rectangle contained by the extremes equals the square on the mean, then the three straight lines are proportional. Proposition 18. To describe a rectilinear figure similar and similarly situated to a given rectilinear figure on a given straight line. Proposition 19. Similar triangles are to one another in the duplicate ratio of the corresponding sides. Corollary. If three straight lines are proportional, then the first is to the third as the figure described on the first is to that which is similar and similarly described on the second. Proposition 20. Similar polygons are divided into similar triangles, and into triangles equal in multitude and in the same ratio as the wholes, and the polygon has to the polygon a ratio duplicate of that which the corresponding side has to the corresponding side. Corollary. Similar rectilinear figures are to one another in the duplicate ratio of the

corresponding sides. Proposition 21. Figures which are similar to the same rectilinear figure are also similar to one another. Proposition 22. If four straight lines are proportional, then the rectilinear figures similar and similarly described upon them are also proportional; and, if the rectilinear figures similar and similarly described upon them are proportional, then the straight lines are themselves also proportional. Proposition 23. Equiangular parallelograms have to one another the ratio compounded of the ratios of their sides. Proposition 24. In any parallelogram the parallelograms about the diameter are similar both to the whole and to one another. Proposition 25. To construct a figure similar to one given rectilinear figure and equal to another. Proposition 26. If from a parallelogram there is taken away a parallelogram similar and similarly situated to the whole and having a common angle with it, then it is about the same diameter with the whole. Proposition 27. Of all the parallelograms applied to the same straight line falling short by parallelogrammic figures similar and similarly situated to that described on the half of the straight line, that parallelogram is greatest which is applied to the half of the straight line and is similar to the difference. Proposition 28. To apply a parallelogram equal to a given rectilinear figure to a given straight line but falling short by a parallelogram similar to a given one; thus the given rectilinear figure must not be greater than the parallelogram described on the half of the straight line and similar to the given parallelogram. Proposition 29. To apply a parallelogram equal to a given rectilinear figure to a given straight line but exceeding it by a parallelogram similar to a given one. Proposition 30. To cut a given finite straight line in extreme and mean ratio.

Proposition 31. In right-angled triangles the figure on the side opposite the right angle equals the sum of the similar and similarly described figures on the sides containing the right angle. Proposition 32. If two triangles having two sides proportional to two sides are placed together at one angle so that their corresponding sides are also parallel, then the remaining sides of the triangles are in a straight line. Proposition 33. Angles in equal circles have the same ratio as the circumferences on which they stand whether they stand at the centers or at the circumferences.

Logical structure of Book VIProposition VI.1 is the basis for the entire of Book VI except the last proposition VI.33. Only these two propositions directly use the definition of proportion in Book V. Proposition VI.1 constructs a proportion between lines and figures while VI.33 constructs a proportion between angles and circumferences. The intervening propositions use other properties of proportions developed in Book V, but they do not construct new proportions using the definition of proportion.

Next book: Book VII Previous: Book V Book VI introduction

Table of contentsq q

Definitions (18) Propositions (25) Guide to Book V Logical structure of Book V

q q

DefinitionsDefinition 1 A magnitude is a part of a magnitude, the less of the greater, when it measures the greater. Definition 2 The greater is a multiple of the less when it is measured by the less. Definition 3 A ratio is a sort of relation in respect of size between two magnitudes of the same kind. Definition 4 Magnitudes are said to have a ratio to one another which can, when multiplied, exceed one another. 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 are 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. Definition 6 Let magnitudes which have the same ratio be called proportional. Definition 7 When, of the equimultiples, the multiple of the first magnitude exceeds the multiple of the second, but the multiple of the third does not exceed the multiple of the fourth, then the first is said to have a greater ratio to the second than the third has to the fourth. Definition 8 A proportion in three terms is the least possible. Definition 9 When three magnitudes are proportional, the first is said to have to the third the duplicate ratio of that which it has to the second. Definition 10 When four magnitudes are continuously proportional, the first is said to have to the fourth the triplicate ratio of that which it has to the second, and so on continually, whatever be the proportion. Definition 11 Antecedents are said to correspond to antecedents, and consequents to consequents. Definition 12 Alternate ratio means taking the antecedent in relation to the antecedent and the consequent in relation to the consequent. Definition 13 Inverse ratio means taking the consequent as antecedent in relation to the antecedent as consequent. Definition 14 A ratio taken jointly means taking the antecedent together with the consequent as one in relation to the consequent by itself. Definition 15 A ratio taken separately means taking the excess by which the antecedent exceeds the consequent in relation to the consequent by itself. Definition 16

Conversion of a ratio means taking the antecedent in relation to the excess by which the antecedent exceeds the consequent. Definition 17 A ratio ex aequali arises when, there being several magnitudes and another set equal to them in multitude which taken two and two are in the same proportion, the first is to the last among the first magnitudes as the first is to the last among the second magnitudes. Or, in other words, it means taking the extreme terms by virtue of the removal of the intermediate terms. Definition 18 A perturbed proportion arises when, there being three magnitudes and another set equal to them in multitude, antecedent is to consequent among the first magnitudes as antecedent is to consequent among the second magnitudes, while, the consequent is to a third among the first magnitudes as a third is to the antecedent among the second magnitudes.

PropositionsProposition 1 If any number of magnitudes are each the same multiple of the same number of other magnitudes, then the sum is that multiple of the sum. Proposition 2 If a first magnitude is the same multiple of a second that a third is of a fourth, and a fifth also is the same multiple of the second that a sixth is of the fourth, then the sum of the first and fifth also is the same multiple of the second that the sum of the third and sixth is of the fourth. Proposition 3 If a first magnitude is the same multiple of a second that a third is of a fourth, and if equimultiples are taken of the first and third, then the magnitudes taken also are equimultiples respectively, the one of the second and the other of the fourth. Proposition 4 If a first magnitude has to a second the same ratio as a third to a fourth, then any equimultiples whatever of the first and third also have the same ratio to any equimultiples whatever of the second and fourth respectively, taken in corresponding order. Proposition 5 If a magnitude is the same multiple of a magnitude that a subtracted part is of a subtracted part, then the remainder also is the same multiple of the remainder that the whole is of the whole. Proposition 6 If two magnitudes are equimultiples of two magnitudes, and any magnitudes subtracted from them are equimultiples of the same, then the remainders either equal the same or are equimultiples of them.

Proposition 7 Equal magnitudes have to the same the same ratio; and the same has to equal magnitudes the same ratio. Corollary If any magnitudes are proportional, then they are also proportional inversely. Proposition 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. Proposition 9 Magnitudes which have the same ratio to the same equal one another; and magnitudes to which the same has the same ratio are equal. Proposition 10 Of magnitudes which have a ratio to the same, that which has a greater ratio is greater; and that to which the same has a greater ratio is less. Proposition 11 Ratios which are the same with the same ratio are also the same with one another. Proposition 12 If any number of magnitudes are proportional, then one of the antecedents is to one of the consequents as the sum of the antecedents is to the sum of the consequents. Proposition 13 If a first magnitude has to a second the same ratio as a third to a fourth, and the third has to the fourth a greater ratio than a fifth has to a sixth, then the first also has to the second a greater ratio than the fifth to the sixth. Proposition 14 If a first magnitude has to a second the same ratio as a third has to a fourth, and the first is greater than the third, then the second is also greater than the fourth; if equal, equal; and if less, less. Proposition 15 Parts have the same ratio as their equimultiples. Proposition 16 If four magnitudes are proportional, then they are also proportional alternately. Proposition 17 If magnitudes are proportional taken jointly, then they are also proportional taken separately. Proposition 18

If magnitudes are proportional taken separately, then they are also proportional taken jointly. Proposition 19 If a whole is to a whole as a part subtracted is to a part subtracted, then the remainder is also to the remainder as the whole is to the whole. Corollary. If magnitudes are proportional taken jointly, then they are also proportional in conversion. Proposition 20 If there are three magnitudes, and others equal to them in multitude, which taken two and two are in the same ratio, and if ex aequali the first is greater than the third, then the fourth is also greater than the sixth; if equal, equal, and; if less, less. Proposition 21 If there are three magnitudes, and others equal to them in multitude, which taken two and two together are in the same ratio, and the proportion of them is perturbed, then, if ex aequali the first magnitude is greater than the third, then the fourth is also greater than the sixth; if equal, equal; and if less, less. Proposition 22 If there are any number of magnitudes whatever, and others equal to them in multitude, which taken two and two together are in the same ratio, then they are also in the same ratio ex aequali. Proposition 23 If there are three magnitudes, and others equal to them in multitude, which taken two and two together are in the same ratio, and the proportion of them be perturbed, then they are also in the same ratio ex aequali. Proposition 24 If a first magnitude has to a second the same ratio as a third has to a fourth, and also a fifth has to the second the same ratio as a sixth to the fourth, then the sum of the first and fifth has to the second the same ratio as the sum of the third and sixth has to the fourth. Proposition 25 If four magnitudes are proportional, then the sum of the greatest and the least is greater than the sum of the remaining two.

for Book VBackground on ratio and proportionBook V covers the abstract theory of ratio and proportion. A ratio is an indication of the relative size

of two magnitudes. The propositions in the following book, Book VI, are all geometric and depend on ratios, so the theory of ratios needs to be developed first. To get a better understanding of what ratios are in geometry, consider the first proposition VI.1. It states that triangles of the same height are proportional to their bases, that is to say, one triangle is to another as one base is to the other. (A proportion is simply an equality of two ratios.) A simple example is when one base is twice the other, therefore the triangle on that base is also twice the triangle on the other base. This ratio of 2:1 is fairly easy to comprehend. Indeed, any ratio equal to a ratio of two numbers is easy to comprehend. Given a proportion that says a ratio of lines equals a ratio of numbers, for instance, A:B = 8:5, we have two interpretations. One is that there is a shorter line CA = 8C while B = 5C. This interpretation is the definition of proportion that appears in Book VII. A second interpretation is that 5 A = 8 B. Either interpretation will do if one of the ratios is a ratio of numbers, and if A:B equals a ratio of numbers that A and B are commensurable, that is, both are measured by a common measure. Many straight lines, however, are not commensurable. If A is the side of a square and B its diagonal, then A and B are not commensurable; the ratio A:B is not the ratio of numbers. This fact seems to have been discovered by the Pythagoreans, perhaps Hippasus of Metapontum, some time before 400 B.C.E., a hundred years before Euclid's Elements. The difficulty is one of foundations: what is an adequate definition of proportion that includes the incommensurable case? The solution is that in V.Def.5. That definition, and the whole theory of ratio and proportion in Book V, are attributed to Eudoxus of Cnidus (died. ca. 355 B.C.E.)

Summary of the propositionsThe first group of propositions, 1, 2, 3, 5, and 6 only mention multitudes of magnitudes, not ratios. They each either state, or depend strongly on, a distributivity or an associativity. In the following identities, m and n refer to numbers (that is, multitudes) while letters near the end of the alphabet refer to magnitudes. V.1. Multiplication by numbers distributes over addition of magnitudes. m(x1 + x2 + ... + xn) = m x1 + m x2 + ... + m xn. V.2. Multiplication by magnitudes distributes over addition of numbers. (m + n)x = mx + nx. V.3. An associativity of multiplication. m(nx) = (mn)x. V.5. Multiplication by numbers distributes over subtraction of magnitudes. m(x - y) = mx - my.

V.6. Uses multiplication by magnitudes distributes over subtraction of numbers. (m - n)x = mx - nx. The rest of the propositions develop the theory of ratios and proportions starting with basic properties and progressively becoming more advanced. V.4. If w:x = y:z, then for any numbers m and n, mw:mx = ny:nz. V.7. Substitution of equals in ratios. If x = y, then x:z = y:z and z:x = z:y. V.7.Cor. Inverse proportions. If w:x = y:z, then x:w = z:y. V.8. If x < y, then x:z < y:z but z:x > z:y. V.9. (A converse to V.7.) If x:z = y:z, then x = y. Also, if z:x = z:y, then x = y. V.10. (A converse to V.8.) If x:z < y:z, then x < y. But if z:x < z:y, then x > y V.11. Transitivity of equal ratios. If u:v = w:x and w:x = y:z, then u:v = y:z. V.12. If x1:y1 = x2:y2 = ... = xn:yn, then each of these ratios also equals the ratio (x1 + x2 + ... + xn) : (y1 + y2 + ... + yn). V.13. Substitution of equal ratios in inequalities of ratios. If u:v = w:x and w:x > y:z, then u:v > y:z. V.14. If w:x = y:z and w > y, then x > z. V.15. x:y = nx:ny. V.16. Alternate proportions. If w:x = y:z, then w:y = x:z. V.17. Proportional taken jointly implies proportional taken separately. If (w + x):x = (y + z):z, then w:x = y:z. V.18. Proportional taken separately implies proportional taken jointly. (A converse to V.17.) If w:x = y:z, then (w + x):x = (y + z):z. V.19. If (w + x):(y + z) = w:y, then (w + x):(y + z) = x:z, too. V.19.Cor. Proportions in conversion. If (u + v):(x + y) = v:y, then (u + v):(x + y) = u:x. V.20 is just a preliminary proposition to V.