Difference between revisions of "Euclid's Elements"
m (Euclid;Elements moved to Euclid's Elements: whoops, bad page) |
m |
||
| (13 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
| − | '''The Elements''' is a [[geometry|geometrical]] treatise that is the basis of [[Euclidean geometry]] and was compiled by [[Euclid]] in the time of ancient Greece. | + | '''The Elements''' is a [[geometry|geometrical]] treatise that is the basis of [[Euclidean geometry]] and was compiled by [[Euclid]] in the time of ancient Greece. It is divided into thirteen volumes, each consisting of definitions, "common notions" (common [[arithmetic]]al [[axiom]]s), [[postulate]]s ([[geometry|geometrical]] axioms), and "propositions", or theorems. Several propositions in fact should have been either common notions or postulates, as some of Euclid's methods of proof were faulty. |
| + | |||
| + | ==History== | ||
| + | Euclid wrote ''The Elements'' circa 300 BC, as a conglomerate of others' work and his own. It was possibly translated into Latin during the reign of the Roman Empire, but this is doubtful. The Arabs acquired copies of ''The Elements'' circa 750 AD, and it was translated into Arabic circa 800 AD. The first printed edition was printed in 1482. | ||
| + | |||
| + | Original Greek manuscripts still exist in the Bodleian Library at [[Oxford University]], and at the library of Vatican City. | ||
| + | ==Contents== | ||
| + | Euclid's work is split into thirteen volumes. It covers not only geometry, but number theory and some algebra throughout various volumes. | ||
| + | |||
| + | Each volume has "common notions" (axioms), postulates, and "propositions" (theorems). Each proposition would be derived from the axioms and the previous propositions. Additionally, the first volume defines the terms used. | ||
| + | |||
| + | Volumes 1, 3, 4, 6, 11, 12, and 13 deal with geometry; volume one notably contains the [[Pythagorean Theorem]]. The other volumes deal with a combination of algebra and number theory, though arguably volume 10 in fact lays the foundation for integral [[calculus]]. | ||
| + | |||
| + | ==Volume 1== | ||
| + | ===Definitions=== | ||
| + | *A point is that which has no part. | ||
| + | *A line is breadthless length. | ||
| + | *The ends of a line are points. | ||
| + | *A straight line is a line which lies evenly with the points on itself. | ||
| + | *A surface is that which has length and breadth only. | ||
| + | *The edges of a surface are lines. | ||
| + | *A plane surface is a surface which lies evenly with the straight lines on itself. | ||
| + | *A plane angle is the inclination to one another of two lines in a plane which meet one another and do not lie in a straight line. | ||
| + | *And when the lines containing the angle are straight, the angle is called rectilinear. | ||
| + | *When a straight line standing on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called a perpendicular to that on which it stands. | ||
| + | *An obtuse angle is an angle greater than a right angle. | ||
| + | *An acute angle is an angle less than a right angle. | ||
| + | *A boundary is that which is an extremity of anything. | ||
| + | *A figure is that which is contained by any boundary or boundaries. | ||
| + | *A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure equal one another. | ||
| + | *And the point is called the center of the circle. | ||
| + | *A diameter of the circle is any straight line drawn through the center and terminated in both directions by the circumference of the circle, and such a straight line also bisects the circle. | ||
| + | *A semicircle is the figure contained by the diameter and the circumference cut off by it. And the center of the semicircle is the same as that of the circle. | ||
| + | *Rectilinear figures are those which are contained by straight lines, trilateral figures being those contained by three, quadrilateral those contained by four, and multilateral those contained by more than four straight lines. | ||
| + | *Of trilateral figures, an equilateral triangle is that which has its three sides equal, an isosceles triangle that which has two of its sides alone equal, and a scalene triangle that which has its three sides unequal. | ||
| + | *Further, of trilateral figures, a right-angled triangle is that which has a right angle, an obtuse-angled triangle that which has an obtuse angle, and an acute-angled triangle that which has its three angles acute. | ||
| + | *Of quadrilateral figures, a square is that which is both equilateral and right-angled; an oblong that which is right-angled but not equilateral; a rhombus that which is equilateral but not right-angled; and a rhomboid that which has its opposite sides and angles equal to one another but is neither equilateral nor right-angled. And let quadrilaterals other than these be called trapezia. | ||
| + | *Parallel straight lines are straight lines which, being in the same plane and being produced indefinitely in both directions, do not meet one another in either direction. | ||
| + | |||
| + | ===Common Notions=== | ||
| + | *Things which equal the same thing also equal one another.(If a=b and c=b, then a=c) | ||
| + | *If equals are added to equals, then the wholes are equal.(If a=b and c=d, then a+c=b+d) | ||
| + | *If equals are subtracted from equals, then the remainders are equal.(If a=b and c=d, then a-c=b-d) | ||
| + | *Things which coincide with one another equal one another. | ||
| + | *The whole is greater than the part. | ||
| + | |||
| + | ===Postulates=== | ||
| + | *It is possible to draw a straight line from any point to any point. | ||
| + | *It is possible to produce a finite straight line continuously in a straight line. | ||
| + | *It is possible to describe a circle with any center and radius. | ||
| + | *All right angles equal one another. | ||
| + | *If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles. | ||
| + | |||
| + | ===Propositions=== | ||
| + | *To construct an equilateral triangle on a given finite straight line. | ||
| + | *To place a straight line equal to a given straight line with one end at a given point. | ||
| + | *To cut off from the greater of two given unequal straight lines a straight line equal to the less. | ||
| + | *If two triangles have two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, then they also have the base equal to the base, the triangle equals the triangle, and the remaining angles equal the remaining angles respectively, namely those opposite the equal sides. | ||
| + | *In isosceles triangles the angles at the base equal one another, and, if the equal straight lines are produced further, then the angles under the base equal one another. | ||
| + | *If in a triangle two angles equal one another, then the sides opposite the equal angles also equal one another. | ||
| + | *Given two straight lines constructed from the ends of a straight line and meeting in a point, there cannot be constructed from the ends of the same straight line, and on the same side of it, two other straight lines meeting in another point and equal to the former two respectively, namely each equal to that from the same end. | ||
| + | *If two triangles have the two sides equal to two sides respectively, and also have the base equal to the base, then they also have the angles equal which are contained by the equal straight lines. | ||
| + | *To bisect a given rectilinear angle. | ||
| + | *To bisect a given finite straight line. | ||
| + | *To draw a straight line at right angles to a given straight line from a given point on it. | ||
| + | *To draw a straight line perpendicular to a given infinite straight line from a given point not on it. | ||
| + | *If a straight line stands on a straight line, then it makes either two right angles or angles whose sum equals two right angles. | ||
| + | *If with any straight line, and at a point on it, two straight lines not lying on the same side make the sum of the adjacent angles equal to two right angles, then the two straight lines are in a straight line with one another. | ||
| + | *If two straight lines cut one another, then they make the vertical angles equal to one another. | ||
| + | *In any triangle, if one of the sides is produced, then the exterior angle is greater than either of the interior and opposite angles. | ||
| + | *In any triangle the sum of any two angles is less than two right angles. | ||
| + | *In any triangle the angle opposite the greater side is greater. | ||
| + | *In any triangle the side opposite the greater angle is greater. | ||
| + | *In any triangle the sum of any two sides is greater than the remaining one. | ||
| + | *If from the ends of one of the sides of a triangle two straight lines are constructed meeting within the triangle, then the sum of the straight lines so constructed is less than the sum of the remaining two sides of the triangle, but the constructed straight lines contain a greater angle than the angle contained by the remaining two sides. | ||
| + | *To construct a triangle out of three straight lines which equal three given straight lines: thus it is necessary that the sum of any two of the straight lines should be greater than the remaining one. | ||
| + | *To construct a rectilinear angle equal to a given rectilinear angle on a given straight line and at a point on it. | ||
| + | *If two triangles have two sides equal to two sides respectively, but have one of the angles contained by the equal straight lines greater than the other, then they also have the base greater than the base. | ||
| + | *If two triangles have two sides equal to two sides respectively, but have the base greater than the base, then they also have the one of the angles contained by the equal straight lines greater than the other. | ||
| + | *If two triangles have two angles equal to two angles respectively, and one side equal to one side, namely, either the side adjoining the equal angles, or that opposite one of the equal angles, then the remaining sides equal the remaining sides and the remaining angle equals the remaining angle. | ||
| + | *If a straight line falling on two straight lines makes the alternate angles equal to one another, then the straight lines are parallel to one another. | ||
| + | *If a straight line falling on two straight lines makes the exterior angle equal to the interior and opposite angle on the same side, or the sum of the interior angles on the same side equal to two right angles, then the straight lines are parallel to one another. | ||
| + | *A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the sum of the interior angles on the same side equal to two right angles. | ||
| + | *Straight lines parallel to the same straight line are also parallel to one another. | ||
| + | *To draw a straight line through a given point parallel to a given straight line. | ||
| + | *In any triangle, if one of the sides is produced, then the exterior angle equals the sum of the two interior and opposite angles, and the sum of the three interior angles of the triangle equals two right angles. | ||
| + | *Straight lines which join the ends of equal and parallel straight lines in the same directions are themselves equal and parallel. | ||
| + | *In parallelogrammic areas the opposite sides and angles equal one another, and the diameter bisects the areas. | ||
| + | *Parallelograms which are on the same base and in the same parallels equal one another. | ||
| + | *Parallelograms which are on equal bases and in the same parallels equal one another. | ||
| + | *Triangles which are on the same base and in the same parallels equal one another. | ||
| + | *Triangles which are on equal bases and in the same parallels equal one another. | ||
| + | *Equal triangles which are on the same base and on the same side are also in the same parallels. | ||
| + | *Equal triangles which are on equal bases and on the same side are also in the same parallels. | ||
| + | *If a parallelogram has the same base with a triangle and is in the same parallels, then the parallelogram is double the triangle. | ||
| + | *To construct a parallelogram equal to a given triangle in a given rectilinear angle. | ||
| + | *In any parallelogram the complements of the parallelograms about the diameter equal one another. | ||
| + | *To a given straight line in a given rectilinear angle, to apply a parallelogram equal to a given triangle. | ||
| + | *To construct a parallelogram equal to a given rectilinear figure in a given rectilinear angle. | ||
| + | *To describe a square on a given straight line. | ||
| + | *In right-angled triangles the square on the side opposite the right angle equals the sum of the squares on the sides containing the right angle. | ||
| + | *If in a triangle the square on one of the sides equals the sum of the squares on the remaining two sides of the triangle, then the angle contained by the remaining two sides of the triangle is right. | ||
{{stub}} | {{stub}} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Euclid]] | ||
| + | *[http://farside.ph.utexas.edu/euclid.html Euclid's Elements of Geometry: Translation] | ||
[[Category:Geometry]] | [[Category:Geometry]] | ||
| + | [[Category:Books]] | ||
Latest revision as of 14:42, 1 December 2015
The Elements is a geometrical treatise that is the basis of Euclidean geometry and was compiled by Euclid in the time of ancient Greece. It is divided into thirteen volumes, each consisting of definitions, "common notions" (common arithmetical axioms), postulates (geometrical axioms), and "propositions", or theorems. Several propositions in fact should have been either common notions or postulates, as some of Euclid's methods of proof were faulty.
Contents
History
Euclid wrote The Elements circa 300 BC, as a conglomerate of others' work and his own. It was possibly translated into Latin during the reign of the Roman Empire, but this is doubtful. The Arabs acquired copies of The Elements circa 750 AD, and it was translated into Arabic circa 800 AD. The first printed edition was printed in 1482.
Original Greek manuscripts still exist in the Bodleian Library at Oxford University, and at the library of Vatican City.
Contents
Euclid's work is split into thirteen volumes. It covers not only geometry, but number theory and some algebra throughout various volumes.
Each volume has "common notions" (axioms), postulates, and "propositions" (theorems). Each proposition would be derived from the axioms and the previous propositions. Additionally, the first volume defines the terms used.
Volumes 1, 3, 4, 6, 11, 12, and 13 deal with geometry; volume one notably contains the Pythagorean Theorem. The other volumes deal with a combination of algebra and number theory, though arguably volume 10 in fact lays the foundation for integral calculus.
Volume 1
Definitions
- A point is that which has no part.
- A line is breadthless length.
- The ends of a line are points.
- A straight line is a line which lies evenly with the points on itself.
- A surface is that which has length and breadth only.
- The edges of a surface are lines.
- A plane surface is a surface which lies evenly with the straight lines on itself.
- A plane angle is the inclination to one another of two lines in a plane which meet one another and do not lie in a straight line.
- And when the lines containing the angle are straight, the angle is called rectilinear.
- When a straight line standing on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called a perpendicular to that on which it stands.
- An obtuse angle is an angle greater than a right angle.
- An acute angle is an angle less than a right angle.
- A boundary is that which is an extremity of anything.
- A figure is that which is contained by any boundary or boundaries.
- A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure equal one another.
- And the point is called the center of the circle.
- A diameter of the circle is any straight line drawn through the center and terminated in both directions by the circumference of the circle, and such a straight line also bisects the circle.
- A semicircle is the figure contained by the diameter and the circumference cut off by it. And the center of the semicircle is the same as that of the circle.
- Rectilinear figures are those which are contained by straight lines, trilateral figures being those contained by three, quadrilateral those contained by four, and multilateral those contained by more than four straight lines.
- Of trilateral figures, an equilateral triangle is that which has its three sides equal, an isosceles triangle that which has two of its sides alone equal, and a scalene triangle that which has its three sides unequal.
- Further, of trilateral figures, a right-angled triangle is that which has a right angle, an obtuse-angled triangle that which has an obtuse angle, and an acute-angled triangle that which has its three angles acute.
- Of quadrilateral figures, a square is that which is both equilateral and right-angled; an oblong that which is right-angled but not equilateral; a rhombus that which is equilateral but not right-angled; and a rhomboid that which has its opposite sides and angles equal to one another but is neither equilateral nor right-angled. And let quadrilaterals other than these be called trapezia.
- Parallel straight lines are straight lines which, being in the same plane and being produced indefinitely in both directions, do not meet one another in either direction.
Common Notions
- Things which equal the same thing also equal one another.(If a=b and c=b, then a=c)
- If equals are added to equals, then the wholes are equal.(If a=b and c=d, then a+c=b+d)
- If equals are subtracted from equals, then the remainders are equal.(If a=b and c=d, then a-c=b-d)
- Things which coincide with one another equal one another.
- The whole is greater than the part.
Postulates
- It is possible to draw a straight line from any point to any point.
- It is possible to produce a finite straight line continuously in a straight line.
- It is possible to describe a circle with any center and radius.
- All right angles equal one another.
- If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles.
Propositions
- To construct an equilateral triangle on a given finite straight line.
- To place a straight line equal to a given straight line with one end at a given point.
- To cut off from the greater of two given unequal straight lines a straight line equal to the less.
- If two triangles have two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, then they also have the base equal to the base, the triangle equals the triangle, and the remaining angles equal the remaining angles respectively, namely those opposite the equal sides.
- In isosceles triangles the angles at the base equal one another, and, if the equal straight lines are produced further, then the angles under the base equal one another.
- If in a triangle two angles equal one another, then the sides opposite the equal angles also equal one another.
- Given two straight lines constructed from the ends of a straight line and meeting in a point, there cannot be constructed from the ends of the same straight line, and on the same side of it, two other straight lines meeting in another point and equal to the former two respectively, namely each equal to that from the same end.
- If two triangles have the two sides equal to two sides respectively, and also have the base equal to the base, then they also have the angles equal which are contained by the equal straight lines.
- To bisect a given rectilinear angle.
- To bisect a given finite straight line.
- To draw a straight line at right angles to a given straight line from a given point on it.
- To draw a straight line perpendicular to a given infinite straight line from a given point not on it.
- If a straight line stands on a straight line, then it makes either two right angles or angles whose sum equals two right angles.
- If with any straight line, and at a point on it, two straight lines not lying on the same side make the sum of the adjacent angles equal to two right angles, then the two straight lines are in a straight line with one another.
- If two straight lines cut one another, then they make the vertical angles equal to one another.
- In any triangle, if one of the sides is produced, then the exterior angle is greater than either of the interior and opposite angles.
- In any triangle the sum of any two angles is less than two right angles.
- In any triangle the angle opposite the greater side is greater.
- In any triangle the side opposite the greater angle is greater.
- In any triangle the sum of any two sides is greater than the remaining one.
- If from the ends of one of the sides of a triangle two straight lines are constructed meeting within the triangle, then the sum of the straight lines so constructed is less than the sum of the remaining two sides of the triangle, but the constructed straight lines contain a greater angle than the angle contained by the remaining two sides.
- To construct a triangle out of three straight lines which equal three given straight lines: thus it is necessary that the sum of any two of the straight lines should be greater than the remaining one.
- To construct a rectilinear angle equal to a given rectilinear angle on a given straight line and at a point on it.
- If two triangles have two sides equal to two sides respectively, but have one of the angles contained by the equal straight lines greater than the other, then they also have the base greater than the base.
- If two triangles have two sides equal to two sides respectively, but have the base greater than the base, then they also have the one of the angles contained by the equal straight lines greater than the other.
- If two triangles have two angles equal to two angles respectively, and one side equal to one side, namely, either the side adjoining the equal angles, or that opposite one of the equal angles, then the remaining sides equal the remaining sides and the remaining angle equals the remaining angle.
- If a straight line falling on two straight lines makes the alternate angles equal to one another, then the straight lines are parallel to one another.
- If a straight line falling on two straight lines makes the exterior angle equal to the interior and opposite angle on the same side, or the sum of the interior angles on the same side equal to two right angles, then the straight lines are parallel to one another.
- A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the sum of the interior angles on the same side equal to two right angles.
- Straight lines parallel to the same straight line are also parallel to one another.
- To draw a straight line through a given point parallel to a given straight line.
- In any triangle, if one of the sides is produced, then the exterior angle equals the sum of the two interior and opposite angles, and the sum of the three interior angles of the triangle equals two right angles.
- Straight lines which join the ends of equal and parallel straight lines in the same directions are themselves equal and parallel.
- In parallelogrammic areas the opposite sides and angles equal one another, and the diameter bisects the areas.
- Parallelograms which are on the same base and in the same parallels equal one another.
- Parallelograms which are on equal bases and in the same parallels equal one another.
- Triangles which are on the same base and in the same parallels equal one another.
- Triangles which are on equal bases and in the same parallels equal one another.
- Equal triangles which are on the same base and on the same side are also in the same parallels.
- Equal triangles which are on equal bases and on the same side are also in the same parallels.
- If a parallelogram has the same base with a triangle and is in the same parallels, then the parallelogram is double the triangle.
- To construct a parallelogram equal to a given triangle in a given rectilinear angle.
- In any parallelogram the complements of the parallelograms about the diameter equal one another.
- To a given straight line in a given rectilinear angle, to apply a parallelogram equal to a given triangle.
- To construct a parallelogram equal to a given rectilinear figure in a given rectilinear angle.
- To describe a square on a given straight line.
- In right-angled triangles the square on the side opposite the right angle equals the sum of the squares on the sides containing the right angle.
- If in a triangle the square on one of the sides equals the sum of the squares on the remaining two sides of the triangle, then the angle contained by the remaining two sides of the triangle is right.
This article is a stub. Help us out by expanding it.
