This page has been proofread, but needs to be validated.
EUCLIDEAN]
GEOMETRY
679

the interior angles on the same side together equal to two right angles, the two straight lines shall be parallel to one another.

Hence we know that, “if two straight lines which are cut by a transversal meet, their alternate angles are not equal”; and hence that, “if alternate angles are equal, then the lines are parallel.”

The question now arises, Are the propositions converse to these true or not? That is to say, “If alternate angles are unequal, do the lines meet?” And “if the lines are parallel, are alternate angles necessarily equal?”

The answer to either of these two questions implies the answer to the other. But it has been found impossible to prove that the negation or the affirmation of either is true.

The difficulty which thus arises is overcome by Euclid assuming that the first question has to be answered in the affirmative. This gives his last axiom (12), which we quote in his own words.

Axiom 12.—If a straight line meet two straight lines, so as to make the two interior angles on the same side of it taken together less than two right angles, these straight lines, being continually produced, shall at length meet on that side on which are the angles which are less than two right angles.

The answer to the second of the above questions follows from this, and gives the theorem Prop. 29:—If a straight line fall on two parallel straight lines, it makes the alternate angles equal to one another, and the exterior angle equal to the interior and opposite angle on the same side, and also the two interior angles on the same side together equal to two right angles.

§ 14. With this a new part of elementary geometry begins. The earlier propositions are independent of this axiom, and would be true even if a wrong assumption had been made in it. They all relate to figures in a plane. But a plane is only one among an infinite number of conceivable surfaces. We may draw figures on any one of them and study their properties. We may, for instance, take a sphere instead of the plane, and obtain “spherical” in the place of “plane” geometry. If on one of these surfaces lines and figures could be drawn, answering to all the definitions of our plane figures, and if the axioms with the exception of the last all hold, then all propositions up to the 28th will be true for these figures. This is the case in spherical geometry if we substitute “shortest line” or “great circle” for “straight line,” “small circle” for “circle,” and if, besides, we limit all figures to a part of the sphere which is less than a hemisphere, so that two points on it cannot be opposite ends of a diameter, and therefore determine always one and only one great circle.

For spherical triangles, therefore, all the important propositions 4, 8, 26; 5 and 6; and 18, 19 and 20 will hold good.

This remark will be sufficient to show the impossibility of proving Euclid’s last axiom, which would mean proving that this axiom is a consequence of the others, and hence that the theory of parallels would hold on a spherical surface, where the other axioms do hold, whilst parallels do not even exist.

It follows that the axiom in question states an inherent difference between the plane and other surfaces, and that the plane is only fully characterized when this axiom is added to the other assumptions.

§ 15. The introduction of the new axiom and of parallel lines leads to a new class of propositions.

After proving (Prop. 30) that “two lines which are each parallel to a third are parallel to each other,” we obtain the new properties of triangles contained in Prop. 32. Of these the second part is the most important, viz. the theorem, The three interior angles of every triangle are together equal to two right angles.

As easy deductions not given by Euclid but added by Simson follow the propositions about the angles in polygons, they are given in English editions as corollaries to Prop. 32.

These theorems do not hold for spherical figures. The sum of the interior angles of a spherical triangle is always greater than two right angles, and increases with the area.

§ 16. The theory of parallels as such may be said to be finished with Props. 33 and 34, which state properties of the parallelogram, i.e. of a quadrilateral formed by two pairs of parallels. They are—

Prop. 33. The straight lines which join the extremities of two equal and parallel straight lines towards the same parts are themselves equal and parallel; and

Prop. 34. The opposite sides and angles of a parallelogram are equal to one another, and the diameter (diagonal) bisects the parallelogram, that is, divides it into two equal parts.

§ 17. The rest of the first book relates to areas of figures.

The theory is made to depend upon the theorems—

Prop. 35. Parallelograms on the same base and between the same parallels are equal to one another; and

Prop. 36. Parallelograms on equal bases and between the same parallels are equal to one another.

As each parallelogram is bisected by a diagonal, the last theorems hold also if the word parallelogram be replaced by “triangle,” as is done in Props. 37 and 38.

It is to be remarked that Euclid proves these propositions only in the case when the parallelograms or triangles have their bases in the same straight line.

The theorems converse to the last form the contents of the next three propositions, viz.: Props, 40 and 41.—Equal triangles, on the same or on equal bases, in the same straight line, and on the same side of it, are between the same parallels.

That the two cases here stated are given by Euclid in two separate propositions proved separately is characteristic of his method.

§ 18. To compare areas of other figures, Euclid shows first, in Prop. 42, how to draw a parallelogram which is equal in area to a given triangle, and has one of its angles equal to a given angle. If the given angle is right, then the problem is solved to draw a “rectangle&rrdquo; equal in area to a given triangle.

Next this parallelogram is transformed into another parallelogram, which has one of its sides equal to a given straight line, whilst its angles remain unaltered. This may be done by aid of the theorem in

Prop. 43. The complements of the parallelograms which are about the diameter of any parallelogram are equal to one another.

Thus the problem (Prop. 44) is solved to construct a parallelogram on a given line, which is equal in area to a given triangle, and which has one angle equal to a given angle (generally a right angle).

As every polygon can be divided into a number of triangles, we can now construct a parallelogram having a given angle, say a right angle, and being equal in area to a given polygon. For each of the triangles into which the polygon has been divided, a parallelogram may be constructed, having one side equal to a given straight line and one angle equal to a given angle. If these parallelograms be placed side by side, they may be added together to form a single parallelogram, having still one side of the given length. This is done in Prop. 45.

Herewith a means is found to compare areas of different polygons. We need only construct two rectangles equal in area to the given polygons, and having each one side of given length. By comparing the unequal sides we are enabled to judge whether the areas are equal, or which is the greater. Euclid does not state this consequence, but the problem is taken up again at the end of the second book, where it is shown how to construct a square equal in area to a given polygon.

Prop. 46 is: To describe a square on a given straight line.

§ 19. The first book concludes with one of the most important theorems in the whole of geometry, and one which has been celebrated since the earliest times. It is stated, but on doubtful authority, that Pythagoras discovered it, and it has been called by his name. If we call that side in a right-angled triangle which is opposite the right angle the hypotenuse, we may state it as follows:—

Theorem of Pythagoras (Prop. 47).—In every right-angled triangle the square on the hypotenuse is equal to the sum of the squares of the other sides.

And conversely—

Prop. 48. If the square described on one of the sides of a triangle be equal to the squares described on the other sides, then the angle contained by these two sides is a right angle.

On this theorem (Prop. 47) almost all geometrical measurement depends, which cannot be directly obtained.

Book II.

§ 20. The propositions in the second book are very different in character from those in the first; they all relate to areas of rectangles and squares. Their true significance is best seen by stating them in an algebraic form. This is often done by expressing the lengths of lines by aid of numbers, which tell how many times a chosen unit is contained in the lines. If there is a unit to be found which is contained an exact number of times in each side of a rectangle, it is easily seen, and generally shown in the teaching of arithmetic, that the rectangle contains a number of unit squares equal to the product of the numbers which measure the sides, a unit square being the square on the unit line. If, however, no such unit can be found, this process requires that connexion between lines and numbers which is only established by aid of ratios of lines, and which is therefore at this stage altogether inadmissible. But there exists another way of connecting these propositions with algebra, based on modern notions which seem destined greatly to change and to simplify mathematics. We shall introduce here as much of it as is required for our present purpose.

At the beginning of the second book we find a definition according to which “a rectangle is said to be ‘contained’ by the two sides which contain one of its right angles”; in the text this phraseology is extended by speaking of rectangles contained by any two straight lines, meaning the rectangle which has two adjacent sides equal to the two straight lines.

We shall denote a finite straight line by a single small letter, a, b, c, . . . x, and the area of the rectangle contained by two lines a and b by ab, and this we shall call the product of the two lines a and b. It will be understood that this definition has nothing to do with the definition of a product of numbers.

We define as follows:—

The sum of two straight lines a and b means a straight line c which may be divided in two parts equal respectively to a and b. This sum is denoted by a + b.

The difference of two lines a and b (in symbols, ab) means a line c which when added to b gives a; that is,

ab = c if b + c = a.

The product of two lines a and b (in symbols, ab) means the area