Page:Carroll - Euclid and His Modern Rivals.djvu/74

This page has been validated.
36
MINOS AND EUCLID.
[Act I.

and are separational from a third Line, are coincidental with each other.

or,

If there be given a Line and a point without it, only one Line can be drawn, through the given point, separational from the given Line.

(c) A Pair of Lines, which have a separate point and are separational from a third Line, are separational from each other. [I. 30.]

∗16. (a) A Pair of intersectional Lines cannot both be separational from the same Line.

(b) A Line, which is intersectional with one of two separational Lines, is intersectional with the other also.

∗17. A Line cannot recede from and then approach another; nor can one approach and then recede from another while on the same side of it.

18. (a) If a side of a Triangle be produced, the exterior angle is equal to each of the interior opposite angles. [I. 32.]

(b) The angles of a Triangle are together equal to two right angles. [I. 32.]


You will find it convenient to have the Propositions, that have been proposed as Axioms, repeated in a Table by themselves.