P l a n e G e o m e t r y
An Adventure in Language and Logic
THE THEORY OF PARALLEL LINES
Book I. Propositions 27 and 28
WE NOW BEGIN the second part of Euclid's First Book. We have accomplished the basic constructions, we have proved the basic relations between the sides and angles of a triangle, and in particular we have found conditions for triangles to be congruent. Euclid now shows when figures that are not congruent will be equal; equal areas that is. And finally we will reach the goal of Book I, which is the celebrated theorem of Pythagoras -- about the equality of the squares drawn on the sides of a right triangle.
The propositions that follow all depend on the theory of parallel lines. We begin with some terminology.
When a straight line meets two other straight lines, as EF meets AB and CD, it forms angles, which we name as follows:
We call angles 1, 2, 3, 4 the interior angles, while angles 5, 6, 7, 8 are the exterior.
Angles 1 and 3 are called alternate angles, as are angles 2 and 4. (For if we start at angle 1 and go around, those angles alternate.)
Angles 8 and 3 are adjacent angles, as are 8 and 7; 1 and 6; and so on.
We relate an exterior to an interior angle as follows: With respect to angle 7, for example, we say that angle 1 is the opposite interior angle on the same side. (With respect to angle 6, on the other hand, angle 1 is the adjacent interior angle on the same side.)
We now begin the theory of parallel lines. It depends, as it must, on the definition. We repeat it here:
Parallel lines are straight lines that are in the same plane and
do not meet, no matter how far extended in either direction.
Now, how could we possibly know whether straight lines will never meet? The following theorem will answer that. It establishes a sufficient condition for lines to be parallel. And since there is no other condition, this one will have to be proved indirectly.
PROPOSITION 27. THEOREM
So, the question "How could we possibly know whether straight lines will never meet?" -- that is, whether they are parallel -- is answered by the method of contradiction. With the hypothesis the alternate angles are equal, we assume that the straight lines would meet; Proposition 16 then forces the contradiction.
We now then have a sufficient condition for proving two lines parallel. We need only show that when a straight line meets them, the alternate angles are equal.
Proposition 28 follows directly from Proposition 27, and it gives another condition for recognizing parallel lines; actually, two conditions.
PROPOSITION 28. THEOREM
Please "turn" the page and do some Problems.
Continue on to the next proposition.
Please make a donation to keep TheMathPage online.
Copyright © 2020 Lawrence Spector
Questions or comments?