(5) Figures maybe freely moved in space without change of shape or size. This is assumed by Euclid, but not stated as an axiom.
(6) In any plane a circle may be described, having any point in that plane as centre, and its distance from any other point in that plane as radius. (Postulate 3.)
The definitions which have not been mentioned are all “nominal definitions,” that is to say, they fix a name for a thing described. Many of them overdetermine a figure.
§ 5. Euclid’s Elements (see [Euclid]) are contained in thirteen books. Of these the first four and the sixth are devoted to “plane geometry,” as the investigation of figures in a plane is generally called. The 5th book contains the theory of proportion which is used in Book VI. The 7th, 8th and 9th books are purely arithmetical, whilst the 10th contains a most ingenious treatment of geometrical irrational quantities. These four books will be excluded from our survey. The remaining three books relate to figures in space, or, as it is generally called, to “solid geometry.” The 7th, 8th, 9th, 10th, 13th and part of the 11th and 12th books are now generally omitted from the school editions of the Elements. In the first four and in the 6th book it is to be understood that all figures are drawn in a plane.
Book I. of Euclid’s “Elements.”
§ 6. According to the third postulate it is possible to draw in any plane a circle which has its centre at any given point, and its radius equal to the distance of this point from any other point given in the plane. This makes it possible (Prop. 1) to construct on a given line AB an equilateral triangle, by drawing first a circle with A as centre and AB as radius, and then a circle with B as centre and BA as radius. The point where these circles intersect—that they intersect Euclid quietly assumes—is the vertex of the required triangle. Euclid does not suppose, however, that a circle may be drawn which has its radius equal to the distance between any two points unless one of the points be the centre. This implies also that we are not supposed to be able to make any straight line equal to any other straight line, or to carry a distance about in space. Euclid therefore next solves the problem: It is required along a given straight line from a point in it to set off a distance equal to the length of another straight line given anywhere in the plane. This is done in two steps. It is shown in Prop. 2 how a straight line may be drawn from a given point equal in length to another given straight line not drawn from that point. And then the problem itself is solved in Prop. 3, by drawing first through the given point some straight line of the required length, and then about the same point as centre a circle having this length as radius. This circle will cut off from the given straight line a length equal to the required one. Nowadays, instead of going through this long process, we take a pair of compasses and set off the given length by its aid. This assumes that we may move a length about without changing it. But Euclid has not assumed it, and this proceeding would be fully justified by his desire not to take for granted more than was necessary, if he were not obliged at his very next step actually to make this assumption, though without stating it.
§ 7. We now come (in Prop. 4) to the first theorem. It is the fundamental theorem of Euclid’s whole system, there being only a very few propositions (like Props. 13, 14, 15, I.), except those in the 5th book and the first half of the 11th, which do not depend upon it. It is stated very accurately, though somewhat clumsily, as follows:—
If two triangles have two sides of the one equal to two sides of the other, each to each, and have also the angles contained by those sides equal to one another, they shall also have their bases or third sides equal; and the two triangles shall be equal; and their other angles shall be equal, each to each, namely, those to which the equal sides are opposite.
That is to say, the triangles are “identically” equal, and one may be considered as a copy of the other. The proof is very simple. The first triangle is taken up and placed on the second, so that the parts of the triangles which are known to be equal fall upon each other. It is then easily seen that also the remaining parts of one coincide with those of the other, and that they are therefore equal. This process of applying one figure to another Euclid scarcely uses again, though many proofs would be simplified by doing so. The process introduces motion into geometry, and includes, as already stated, the axiom that figures may be moved without change of shape or size.
If the last proposition be applied to an isosceles triangle, which has two sides equal, we obtain the theorem (Prop. 5), if two sides of a triangle are equal, then the angles opposite these sides are equal.