x. Two right lines cannot enclose a space.
This is equivalent to the statement, “If two right lines have two points common to both, they coincide in direction,” that is, they form but one line, and this holds true even when one of the points is at infinity.
xi. All right angles are equal to one another.
This can be proved as follows:—Let there be two right lines AB, CD, and two perpendiculars to them, namely, EF, GH, then if AB, CD be made to coincide by superposition, so that the point E will coincide with G; then since a right angle is equal to its supplement, the line EF must coincide with GH. Hence the angle AEF is equal to CGH.
xii. If two right lines (AB, CD) meet a third line (AC), so as to make the sum of the two interior angles (BAC, ACD) on the same side less than two right angles, these lines being produced shall meet at some finite distance.
This axiom is the converse of Prop. xvii., Book I.
Explanation of Terms.
Axioms.—“Elements of human reason,” according to Dugald Stewart, are certain general propositions, the truths of which are self-evident, and which are so fundamental, that they cannot be inferred from any propositions which are more elementary; in other words, they are incapable of demonstration. “That two sides of a triangle are greater than the third” is, perhaps, self-evident; but it is not an axiom, inasmuch as it can be inferred by demonstration from other propositions; but we can give no proof of the proposition that “things which are equal to the same are equal to one another,” and, being self-evident, it is an axiom.
Propositions which are not axioms are properties of figures obtained by processes of reasoning. They are divided into theorems and problems.