The possibility of the motion of a rigid figure is not a self-evident truth, or at least it is so only in the fashion of Euclid's postulate and not as an analytic judgment a priori would be.
Moreover, in studying the definitions and the demonstrations of geometry, we see that one is obliged to admit without proof not only the possibility of this motion, but some of its properties besides.
This is at once seen from the definition of the straight line. Many defective definitions have been given, but the true one is that which is implied in all the demonstrations where the straight line enters:
"It may happen that the motion of a rigid figure is such that all the points of a line belonging to this figure remain motionless while all the points situated outside of this line move. Such a line will be called a straight line." We have designedly, in this enunciation, separated the definition from the axiom it implies.
Many demonstrations, such as those of the cases of the equality of triangles, of the possibility of dropping a perpendicular from a point to a straight, presume propositions which are not enunciated, for they require the admission that it is possible to transport a figure in a certain way in space.
The Fourth Geometry.—Among these implicit axioms, there is one which seems to me to merit some attention, because when it is abandoned a fourth geometry can be constructed as coherent as those of Euclid, Lobachevski and Riemann.
To prove that a perpendicular may always be erected at a point A to a straight AB, we consider a straight AC movable around the point A and initially coincident with the fixed straight AB; and we make it turn about the point A until it comes into the prolongation of AB.
Thus two propositions are presupposed: First, that such a rotation is possible, and next that it may be continued until the two straights come into the prolongation one of the other.
If the first point is admitted and the second rejected, we are led to a series of theorems even stranger than those of Lobachevski and Riemann, but equally exempt from contradiction.
I shall cite only one of these theorems and that not the most singular: A real straight may be perpendicular to itself.