Proposition I.33
The straight lines joining equal and parallel straight lines (at the extremities which are) in the same directions (respectively) [^I.33:1] are themselves also equal and parallel.
Let AB
, CD
be equal and parallel, and let the straight lines AC
, BD
join them (at the extremities which are) in the same directions (respectively); I say that AC
, BD
are also equal and parallel.
Let BC
be joined.
Then, since AB
is parallel to CD
, and BC
has fallen upon them,
- the alternate angles
ABC
,BCD
are equal to one another. I.29
And, since AB
is equal to CD
,
- and
BC
is common, the two sidesAB
,BC
are equal to the two sidesDC
,CB
; 1 and the angleABC
is equal to the angleBCD
; therefore the baseAC
is equal to the baseBD
, and the triangleABC
is equal to the triangleDCB
, and the remaining angles will be equal to the remaining angles respectively, namely those which the equal sides subtend; I.4 therefore the angleACB
is equal to the angleCBD
.
And, since the straight line BC
falling on the two straight lines AC
, BD
has made the alternate angles equal to one another,
AC
is parallel toBD
. I.27
And it was also proved equal to it.
Therefore etc.
- Q. E. D.
References
Footnotes
[^I.33:1]. joining...(at the extremities which are) in the same directions (respectively).
I have for clearness' sake inserted the words in brackets though they are not in the original Greek, which has joining...in the same directions
or on the same sides,
tiwards the same parts,
though usage has sanctioned it, is perhaps not quite satisfactory.
-
DC, CB
and 18.DCB
. The Greek hasBC
,CD
in these places respectively. Euclid is not always careful to write in corresponding order the letters denoting corresponding points in congruent figures. On the contrary, he evidently prefers the alphabetical order, and seems to disdain to alter it for the sake of beginners or others who might be confused by it. In the case of angles alteration is perhaps unnecessary; but in the case of triangles and pairs of corresponding sides I have ventured to alter the order to that which the mathematician of to-day expects. ↩BCD