Geometry of Four Dimensions
Geometry of Four Dimensions
OF FOUR DIMENSIONS
BY
Nelxj gfltk
THE MACMILLAN COMPANY
Copyright, 1914,
Norhjoob iPress
J, So Cushing Co. —Berwick & Smith Coo
Norwood, Mass., U.S.A.
PREFACE
PAGE
Introduction.i
CHAPTER I
CHAPTER II
Introductory . 73
I. Lines Perpendicular to a Hyperplane ... 74
II. Absolutely Perpendicular Planes .... 80
III. Simply Perpendicular Planes.85
IV. Perpendicular Planes and Hyperplanes . . 90
V. Hyperplane Angles.95
vii
Vlll CONTENTS
CHAPTER III
CHAPTER IV
CHAPTER V
CHAPTER VI
I. Parallels.221
PAGE
V. Hypercylinders.253
CHAPTER VII
CHAPTER VHI
OF Polyhedroids.303
PECHNICAL TERMS.327
[NDEX.. • • • 335
INTRODUCTION
were a concept gained a posteriori ... we should not be able to say any more than
that, so far as hitherto observed, no space has yet been found having more than three
dimensions” (translation by F. Max Muller, 2d ed. revised, Macmillan, 1905, p. 19).
C. H. Hinton finds in four-dimensional space illustration and interpretation of
the ideas of Plato, Aristotle, and other Greek philosophers (see Fourth Dimension,
London, 1904, chap. iv).
* p. 223; (Euvres, vol. IX, Paris, 1881, p. 337.
t See paper by R. C. Archibald, “Time as a Fourth Dimension,” Bulletin of the
American Mathematical Society, vol. 20, 1914, pp. 409-412.
i He states very clearly the analogy with symmetrical figures in a plane and
symmetrical groups of points on a line. Reasoning from this analogy, he says that
the coincidence of two symmetrical, figures in space would require that we should
be able to let one of them, make a rptation in space of four dimensions. Then he
adds, “Da aber ein solcher Raum nicht gedacht werden kann, so ist auch die Coin-
BEGINNINGS OF THIS GEOMETRY 5
the Congress at St. Louis, he says, “Une seule objection pouvait etre faite . . .
I’absence de toute base r^ele, de tout substratum,” etc. {Bulletin des sciences mathe-
matiques, ser, 2, vol. 28, p. 261, Congress of Arts and Sciences, edited by H. J. Rogers,
Houghton, Mifflin and Co., Boston, vol. I, 1905, p. 557). But Darboux himself has
made important contributions to the geometry of n dimensions: see, for example, his
Leqons sur les systemes orthogonaux, 2d ed., Paris, 1910; in particular, Bk. I, chap. 6,
and Bk. II, chap. i.
Poincare, in speaking of the representation of two complex variables in space of
four dimensions, says, “On est expose a rebuter la plupart des lecteurs et de plus
on ne possede que I’avantage d’un langage commode, mais incapable de parler aux
sens.” Acta Mathematica, vol. 9, 1886-1887, p. 324.
On the other hand, we have the following from Sylvester: “There are many who
regard the alleged notion of a generalized space as only a disguised form of algebraic
formulization; but the same might be said with equal truth of our notion of infinity,
or of impossible lines, or lines making a zero angle in geometry, the utility of dealing
with which no one will be found to dispute. Dr. Salmon in his extension of Chasles’
theory of characteristics to surfaces, Mr. Clifford in a question of probability, and
myself in my theory of partitions, and also in my paper on barycentric projection,
have all felt and given evidence of the practical utility of handling space of four
dimensions as if it were conceivable space” (“A Plea for the Mathematician,”
Nature, vol. i, 1869, p. 237; Mathematical Papers, vol. II, p. 716).
A statement of Cayley’s has been given in a previous footnote (p. 5). For
other expressions of his views we may refer to the first paragraph of the “Memoir
on Abstract Geometry ” mentioned above, and to a statement quoted by Forsyth
in his “Biographical Notice,” Cayley’s Mathematical Papers, vol. VIII, 1895, p.xxxv.
As to the existence of a higher space. Gauss also is said to have considered it
a possibility (W. Sartorius von Waltershausen, “Gauss zum Gedachtniss,” Gauss
Werhe, Gottingen, vol. VIII, 1900, p. 267).
Segre, referring to the first of the two remarks that we have quoted from Darboux,
says, “Maintenant nous faisons usage de I’espace a quatre dimensions sans nous
pr6occuper de la question de son existence, que nous regardons comme une question
tout-a-fait secondaire, et personne ne pense qu’on vienne ainsi a perdre de la rigeur.”
Mathematische Annalen, vol. 24, 1884, p. 318.
* See Emory McClintock, “On the Non-Euclidean Geometry,” Bulletin of the
New York Mathematical Society, vol. 2, 1892, pp. 21-33.
EXTENT AND VARIETY OF APPLICATIONS II
these elements are divided into two classes; the lines of one class, less inclined to
the ^axis, represent possible motions, while the lines of the other class can represent
only imaginary motions. The system may be regarded as a non-Euclidean geometry
in which the conical hypersurface plays the part of absolute for angles, while dis¬
tances along lines of the two classes are independent and cannot be compared. Now
a point moving uniformly may be regarded as stationary, and the points which are
really stationary as moving uniformly in the opposite space-direction. This change
of view is represented by a transformation of coordinates, the new /-axis being the
line representing the given uniform motion. In this theory the angles of planes
play an important part, and line and plane vectors are freely used.
This application of four-dimensional geometry was developed by Minkowski. For
further elaboration see article by E. B. Wilson and G. N. Lewis, “The Space-time
Manifold of Relativity. The Non-Euclidean Geometry of Mechanics and Electro¬
magnetics,” Proceedings of the American Academy of Arts and Sciences, vol. 48,
No. II, Nov., 1912.
* On the projective theory of measurement see d’Ovidio, “Le funzione metriche
fondamentali negli spazii di quantesivogliano dimensioiii e di curvatura costante,”
Atti della Accademia de Lincei, ser. 3, vol. i, 1876, pp. 133-193; abstract in the
Mathematische Annalen, vol. 12, 1877, pp. 403-418.
On analysis situs there is an important series of memoirs by Poincare : Journal de
VEcole Poly technique, vol. 100, 1894; Rendiconti del Circolo Matematico di Palermo,
vol. 13, 1899; Proceedings of the London Mathematical Society, vol. 32, 1900; Bulletin
de la Societe Mathematique de France, vol. 3O5 1902 ; Journal de mathematiques pures
et appliquees, ser. 5, vol. 8, 1902; Rendiconti di Palermo, vol. 18, 1904; Comptes
Rendus, vol. 133, 1901.
The enumerative geometry has been developed chiefly by Schubert. He has
ESSENTIAL PART OF GEOMETRY 13
two classes are identical: the line consists only of the points
collinear with the two given points, and there are no addi¬
tional points to be obtained by taking any two of these
points. In fact, any two points of a line determine the
same class of points as collinear with them, and the same
line. But until we have adopted these axioms we must
suppose that the line might be a much more extended class :
that, if we have the points collinear with two given points,
the class of points collinear with any two of these might
be quite different; and that, while a line must contain
every point of the line determined by any two of its points,
the latter might not contain every point of the former.
Thus we make a distinction at the beginning between the
notion of collinear points and the notion of points of a line,
and this distinction makes line analogous to plane and
hyperplane, and to spaces of more than three dimensions.
But after we have adopted our first two axioms we are
able to employ the word collinear in its commonly accepted
sense, and thus to avoid the introduction of a new term for
one of these two relations.
A careful distinction has been made between the points
of a closed figure and the points of its interior. Thus
a triangle is made to consist of three vertices and the points
of its sides, a tetrahedron of its vertices and the points of
its edges and faces, and so on. This is only carrying to
the limit the tendency to regard a circle as a curve rather
than as the portion of the plane enclosed by the curve, and
a sphere as a surface. The figure of one-dimensiohal
geometry corresponding to the triangle and tetrahedron,
the one-dimensional simplex, is the segment. Therefore, we
have defined segment as consisting of two points, and let
that the line contains the two points, or that no other line contains them. A figure
may be determined in various ways. Thus a line in the ordinary plane geometry
may be determined by two points as the locus of points equidistant from them.
FIGURE iVNU :i:ts interior 21
* In the ordinary interpretation of these terms, line alone is used for straight line,
and the complete line is meant, not that part of a line which we shall speak of as the
interior of a segment (Art. 5).
2, 3] x^XIOMS OF COLLINEARITY 25
* If the points of a set are absolutely independent, each point will be independent
of the rest; and in this geometry we shall find that the points of a set are absolutely
independent if each point is independent of the rest (Art. 4, Th. 2; Art. 10, Th. 2 ;
etc.). We may, therefore, speak of such points simply as independent points.
t Halsted calls this a sect [Elements of Geometry, New York, 1885, p. g). He
also uses the word straight for line, taking these terms from the German Strecke
and Gerade (see Rational Geometry, New York, 1907, pp. i and 6).
t In the Elliptic Non-Euclidean Geometry this is assumed with certain re¬
strictions. Thus on the sphere, whose geometry is the elliptic two-dimensional
geometry, collinear meaning ^‘on a great circle with,” the statement given here as
Axiom 2 is not true when A and B are opposite points.
26 POINTS AND LINES [I. I.
II. TRIANGLES
* The points of a circle are in cyclical order. Indeed, the points of a line are in
cyclical order in Projective Geometry and in the Elliptic Non-Euclidean Geometry.
We do not wish to exclude the Elliptic Geometry by assuming that the points of the
entire line are not in cyclical order. In many cases of cyclical order there will be
an “opposite” to every element, and on a line of this kind we can determine the
two directions at any point by regarding the line as cut at the opposite point (see,
for example, the definition of “between” and “side produced” in Art. 122); or we
can suppose that we are considering only a “restricted” portion of the line; that is
one of the sub-classes determined by two points suitably chosen in any given case.
t See Veblen, “ System of Axioms,” p. 351.
30 TRIANGLES [i. 11.
The two parts into which any line of a plane divides the
rest of the plane are said to lie on opposite sides of the line,
and the line is said to lie between them.
* This is one of the theorems of order referred to in Art. 5.
12, 13] HALF-PLANES AND TRIANGLE 39
points divide the rest of the polygon will intersect the line,
for in each portion there will be a vertex on the line or a
side that has points on both sides of the line.
A polygon is a simple polygon when no point occurs twice
as a point of the polygon. By polygon we shall always mean
a simple plane polygon.
A convex polygon is a simple plane polygon no point of
which is a point of a side produced.
V. TETRAHEDRONS
17. Tetrahedrons. Intersection of a plane and a tetra¬
hedron. A tetrahedron consists of four non-coplanar
points and the sides and interiors of the four triangles whose
vertices are these points taken three at a time.
The four points are the vertices of the tetrahedron, the
sides of the triangles are the edges, and the interiors of the
triangles are the faces. Any four non-coplanar points are
the vertices of a tetrahedron.
We shall sometimes speak of the vertices and sides of
a face, but it should always be remembered that a face of a
tetrahedron is the interior of a triangle and does not include
the triangle itself.
Theorem i. The plane of three non-collinear points of
a tetrahedron, if not itself the plane of one of the faces, inter¬
sects the tetrahedron in a triangle or a convex quadrilateral.
46 TETRAHEDRONS [i. V.
If F is a point of the line H' K', the given plane will pass
through A. Let us suppose that F lies on the opposite
side of this line from C. We have a point G common to
the interiors of the segments CF and H'K' (Art. 12, Th. i,
and Art. 8, Definition and Ths.) ; then in connection with
the triangle AH'K' we have a point M common to the
interiors of the segments AG and HK (Art. 8, Th. i);
and finally, with M in the interior of the triangle ACF^
we have in FM produced a point L of the side AC. But F
and the segment H K lie in the plane of the given intersec¬
tion. Therefore, the line FM lies in this plane, and L
itself is a point of the given intersection.
Now assuming that the given plane does not pass through
a vertex, we have the following cases:
First, if the three given points lie in three different faces,
we can take any one of these points for the point H and
obtain a point of the intersection in one side of this face,
and then a line in which the given plane intersects the plane
of this face. These lines will intersect the edges of the tet¬
rahedron in three points or in four points, and the inter¬
section will be a triangle or a quadrilateral. The given
plane cannot intersect the three sides of a triangle (Art.
7, Th.), and therefore it cannot intersect more than four
of the edges of the tetrahedron.
Again, if two of the given points lie in two different faces
and the third lies in the edge which is not a side of either
of these faces, there will be lines in the planes of these two
faces intersecting in their common side, and intersecting
two other edges of the tetrahedron in two points which,
with the third given point, determine the rest of the inter¬
section. The intersection will in this case be a quadri¬
lateral.
In the third place, if one of the given points lies in a face
and the other two in edges which are not sides of this face.
48 TETRx\HEDRONS [i. v.
VI. HYPERPLANES
20. Hyperplanes. Only one hyperplane contains four
given non-coplanar points. Our space a hyperplane. A
hyperplane consists of the points that we get if we take
four points not points of one plane, all points collinear
with any two of them, and all points collinear with any two
obtained by this process.
Given four non-coplanar points. A, B, C, and D, the
19, 2o] DETERMINATION OF A HYPERPLANE 51
two of them, and all points collinear with any two obtained
by this process.
The word hyperspace is used for any space of more than
three dimensions, but as the only hyperspace that we shall
consider is the space of four dimensions we shall use these
terms interchangeably.
The planes a and (3 are covered with these lines, and might
be said to consist of them. We shall call them the linear
elements of the two planes. When the two planes have a
point in common, the linear elements all pass through this
point. If any plane intersects the two planes in lines,
these lines are linear elements.
62 SPACE OF FOUR DIMENSIONS [l. VIII.
triangle CDE and the points A and B (Art. 28), and which
therefore cut these tetrahedrons in triangles. The hyper¬
planes of the other three tetrahedrons are cut by a in planes
which pass between their common edge AB and the op¬
posite edges CD, DE, and CE, and which therefore cut
these tetrahedrons in quadrilaterals. If we suppose the
triangles to be C'D'E' and C"D"E", the quadrilaterals
will be C^D'C"D", D'E'D"E", and CE'C^E", and the
section of the pentahedroid will be C'D'E'-C"D''E".
If a intersects the line AB m. 2i point P, the three lines
C'C", D'D", and E'E" will pass through P, and the section
will be a polyhedron which may be called a truncated
tetrahedron. In any case the section will be a figure of
this type (see Introduction, p. 14, and the exercise at
the end of Art. 128).
can be turned so that their ends come together at a point, and with
the faces of the given tetrahedron determine the other four tetrahe¬
drons and the complete figure.
These planes have only the point in common, and do not intersect
in a line. We can never see both planes in a single hyperplane like
the space in which we live. The most that we could see would be
one plane and a single line of the other.
V. HYPERPLANE ANGLES
CD^ <|5.
Therefore the distance of C' from the foot of the per¬
pendicular drawn to b through D is less than / + 5 (one
side of a triangle less than the sum of the other two).
That is, the distance of from one point of &, and there-
M'Q = PN'.
no COMMON PERPENDICULAR OF TWO LINES [m. i.
= MQ = PN,
ZM'Q'Q = ZPNN\
ZM^N^Q^ = ZPQN.
The last theorem is true and the proof holds good for
two lines in the same plane.
62, 63] OF A LINE AND PLANE III
and the half-line c', forming a trihedral angle with m' and
the projection of m' upon makes with the projection an
angle less than the sum of the other two face angles of the
trihedral angle, that is, less than 0 + 5. Thus c' makes
with one half-line of /5, and therefore certainly with (3, an
angle less than 0 + 5, whereas we have assumed this
angle to be equal to 0 + 5.
This proves that the angle which c' makes with (3 is
exactly 0, and is less than or equal to the angle made with
/3 by any other half-line of a.
Il8 THE ANGLES OF TWO PLANES [iii. iii.
This figure is not all visible in any one hyperplane. Only four
points taken at random at the given distance from O could be seen at
any one time; or along with a complete view of one spherical triangle
would appear only those points of the figure which lie on the sphere
of this triangle. The entire figure does, however, lie in a hypersphere
(chap. V), and it is not difi&cult to imagine a figure lying in a portion
of a hypersphere as a slightly curved space.
right angles mm' and nn' lay off equal acute angles mp
and nq. The right trihedral angles 0-mnp and 0-mnq
have the face angles including the right dihedral angle of
one equal respectively to the face angles including the right
dihedral angle of the other. Therefore
Zmq = Zpn.
In the same way we prove
Zm'q = Zpn'.
Now supposing 0' to be equal to (/>, we take the half-line
q' in the same direction (around 0) from n' that ^ is from
n, so that
Zn'q' = Znq^
and therefore so that
Zqq' = Znn'.
Then we have right trihedral angles 0-mnq and 0-m'n'q',
in which the face angles including the right dihedral angle
of one are equal respectively to the face angles including
the right dihedral angle of the other. Therefore
Z m'q' = Z mq = Z pn.
68] COMMON PERPENDICULAR PLANES I2I
Z pq < Z mn.
When the angles of two planes are equal the planes have
an infinite number of common perpendicular planes, but
they cut out the same angle on them all. The two planes
them and the half-line bisecting the angle between their pro-
jections upon will lie in one of the planes perpendicular to
a and /5.
Proof. Let p and p' be the half-lines in a, and q and q'
their projections upon (3, so that the angles pq and p'q'
are equal. Then if m is the half-line bisecting the angle
p m g
/5
q ^1 c '
pp' and n the half-line bisecting the angle qq'^ the plane
mn will be one of the common perpendicular planes of a
and 13.
To prove this we consider in succession the following
pairs of trihedral angles:
0-pqq' and O-p'q'q,
0-p'pq " 0-pp'q',
0-pqn " 0-p'q'n^
0-pmn " 0-p'mn,
0-mpq " 0-mp'q\
0-mnq " 0-mnq'.
In each case two face angles and the included dihedral
angle of one trihedral angle are equal respectively to two
face angles and the included dihedral angle of the other,
or the three face angles of one trihedral angle are equal
respectively to the three face angles of the other.
This requires that 0' shall be greater than 0 and the magnitude of
the angle pq is always between 0 and 0'.
Now instead of taking ^ p
m a
q as the projection of p
upon 13, let us take p and
q as in Art. 68, so that f
Amp — Anq. Then we 0 0
shall have equal dihe¬
dral angles at p and q,
namely. n c1
Z PKQ = Z P'K'Q',
PQ = P'Q'.
V. PLANO-POLYHEDRAL ANGLES
Half-planes which lie within the cells and have the vertex-
edge for edge, and those which are the faces of the piano-
134 PLANO-POLYHEDRAL ANGLES [ill. V.
The area of any face of a tetrahedron is less than the sum of the
areas of the other three faces.
Any trihedral angle in a tetrahedroidal angle is less than the sum
of the other three.
II. SYMMETRY!
83. Symmetrical positions. Symmetry in a plane. Two
points are symmetrically situated with respect to the point
which lies midway between them. The point midway is
called their centre of symmetry. Two points are symmetri¬
cally situated with respect to a line, plane, or hyperplane
which is perpendicular to the line of the two points at their
centre of s3Tnmetry. Such a line, plane, or hyperplane is
called the line, plane, or hyperplane of symmetry.
* For the points not on the line of translation the character of the motion depends
on the theory of parallels:
In the Elliptic Geometry translation along a line is a rotation around the pole,
polar line, or polar plane of this line, so that translation is not different from rotation.
In the Euclidean Geometry the translation takes place along a system of parallel
lines.
In the Hyperbolic Geometry points which are not on the line of translation move
along a system of equidistant-curves. In the Hyperbolic Geometry we can also
have translation along a system of boundary-curves, the curves cutting orthogonally
a system of parallel lines, planes, or hyperplanes. In this case there is no line of
translation nor centre or axis of rotation (see the author’s Non -Euclidean Geometry
chap. II, II).
t See Veronese on order and symmetry, GrundzUge, §§ 146, 147, and references.
82-84] IN A PLANE OR HYPERPLANE 147
We can take for a and any two planes which are abso¬
lutely perpendicular at 0. Either figure can be rotated
around one of these two planes, and then the same figure
or the other figure can be rotated around the other plane.
In a single hyperplane we can see A, A', Ai, the plane a, the line
of symmetry c, and the line 00' in /3; but we cannot see the rest of
and of the hyperplane 0 we can see only the plane determined by
c and O'.
III. ORDER
and Si A OC;
and by hypothesis
Given the right and left sides of a line BC^ we can assume
that I holds true of this line. Then by II we can determine
the right and left sides of all lines intersecting BC, I will
hold true of all these lines, and II will hold true of any
half-lines drawn from a common point along two of
these lines.
Now if a line AD does not intersect BC, we can draw a
transversal, say the line AB, and determine the right and
left sides of this new line by applying II to the half-line AB
and the two opposite half-lines drawn from A along this
line. If we draw any other transversal DC, II, being true
oi AD and AC and of CA and CD (Art. 90, Th. 2), will
hold true of DA and DC, as also of the opposite half-line,
AD produced, and DC. Thus the right and left sides of
the line AD are determined by means of the line BC and
any transversal.
We shall say, therefore, that I and II constitute a defi¬
nition of right and left for all lines of the plane, given the
right and left sides of one particular line.
a'
AB ^ BC ^ CD,
and
A ABC = A BCD.
Proof. The proof need be given here only for the case
where the four points are non-coplanar and their positions
are in different hyperplanes or in opposite orders in the
same hyperplane. Then
AB = BC = CD = DE,
Z ABC = Z BCD = Z CDE,
V. RECTANGULAR SYSTEMS
Given any two planes a and (3, with their common per¬
pendicular planes y and y', we can take for be the plane /5
and for ba and cd the planes y and 7'. ad will be the plane
absolutely perpendicular to and the angles (j) and <f)'
will be laid off as above in the planes ha and cd.
When we say that the plane a makes with be the angles
0 and 0', we imply a sense of rotation in a corresponding
to the order be. If p and q are the terminal half-lines of
these angles, then a is the plane pq^ with a sense of rotation
which turns p through 90° to the position of q. <p and 0'
can then be any angles whatever, positive or negative.
With a particular plane a (of order pq) each of the angles
0 and 0' can be changed by any multiples of 2 tt, or both
at the same time by odd multiples of tt. 0 and 0' ■+- tt
are angles made with be by the plane qp.
i82 ISOCLINE PLANES [IV. VI.
In fact, if we rotate
the rectangular system
around the plane which
passes through b and
bisects the angle ac, we
shall interchange a and
c and the planes ba and
be. d will have its direction reversed so that the plane ad will
coincide with the original position of dc, not with the original
position of cd. One of the angles xp (of Art. 105) is now laid
off in the direction, of, ofie of the angles 0 in the original
position of the figure, while the present position of the
i86 ISOCLINE PLANES [iv. VI.
other angle xj/ and the original position of the other angle
(j> are opposite.
Two absolutely perpendicular planes are isocline in both
senses, but in only one sense when we distinguish in each
a particular direction of rotation. Thus in the rectangular
system ad and da are isocline to he in opposite senses.
A mq = /. m'q',
Again, the dihedral angle along p formed by the half-
planes containing n and q, is equal to the dihedral angle
along p' formed by the half-planes containing n' and q'^
since /5 and y are isocline to a in the same sense (Art. 108,
Th. i). Therefore, the trihedral angles npq and n'p'q'
192 ISOCLINE PLANES [iv. VI.
lines in common with (3, and every plane of the first series
has one pair of opposite half-lines in common with y, and
these half-lines all make an angle of 45° with a and the same
angle with a'. Therefore, all the planes of both series
are isocline to a and a' at an angle of 45°.
Theorem 2. All the planes isocline to a given plane at
an angle of 4lie in two conjugate series.
Prooe. Two planes which are isocline to a plane a in
Z aa' = Z hh';
* Stringham calls a series of planes an ordinal system, and the set of planes isocline
to a given plane at a given angle forms with him a cardinal system. He uses these
terms, however, with reference to a particular pair of absolutely perpendicular planes.
They correspond to meridian and parallel circle taken on the sphere with reference
to a particular axis. See p. 212 of the paper referred to on p. 114.
CHAPTER V
that portion of the cone which lies on one side of it, we shall
have all of a right spherical hypercone except that portion which
makes up the section of the cone hy the plane.
* See the author’s Non-Euclidean Geometry, chap. III. This book has been
very properly criticised for giving only the Single Elliptic Geometry; but in any
‘‘restricted region” the two geometries are the same.
In the Double Elliptic Geometry two lines in the same plane intersect in two
points, and a line meets any plane in which it does not lie in two points, the distance
between the two points in each of these cases being one-half of the entire length
of the line. The length of the line is most conveniently taken as 2n.
If we start at an intersection of two lines and follow one of them until we come
again to the other, we shall come, not to the same intersection point, but to an
“opposite” point. We have traversed only one-half of the line, and we arrive at
the starting point only when we have gone the same distance further. The geome¬
try of the sphere is the same as the Double Elliptic Geometry of Two Dimensions.
In the Double Elliptic Geometry a line divides a plane in which it lies, and a plane
divides space of three dimensions, into two entirely separate parts, which is not the
case with the Single Elliptic Geometry. Symmetrical figures in the Single Elliptic
Geometry can be made to coincide by moving one of them along the entire length of
a line, but in the Double Elliptic Geometry a movement from intersection point
to intersection point of two lines only puts a figure into the opposite region of space,
and two symmetrical figures can never be made to coincide.
Two polar lines are still everywhere at a quadrant’s distance from each other,
and the locus of points at a given distance from a given line is also the locus of points
2i6 THE HYPERSPHERE [v. HI.
at the complementary distance from its polar line, namely, a surface of double revo¬
lution with the two polar lines for axes. But a line intersecting the axes meets the
surface in four points instead of two; and a plane through one axis, and so perpendic¬
ular to the other, cuts the surface in two circles instead of one.
123] AND POINT GEOMETRY 217
There are two distances between two great circles^ the dis¬
tances not greater than a quadrant measured along a polar
pair of common perpendicular great circles.
When the distances are equal the given circles are parallel
in the sense used by Clifford.* Parallel great circles, there¬
fore, correspond to isocline planes of the Point Geometry.
There are two senses in which great circles can be parallel,
and two great circles perpendicular to both of two parallel
great circles (which are not polar) are themselves parallel
in the opposite sense. Through any point not a point of a
given great circle nor a point of its polar great circle pass
two great circles parallel in the two senses to the given
circle and to its polar. Two great circles parallel to a given
great circle in the same sense are parallel to each other in
this sense also; and the set of all the great circles parallel
to a given great circle in a given sense completely fills the
hypersphere, one and only one such circle passing through
each point.
We can prove in another way that the geometry of the
h3q3ersphere and the Double Elliptic Geometry of Three
Dimensions are the same: f
The geometry of the hypersphere is the same as the Point
Geometry at its centre. But Point Geometry is the same
whatever our theory of parallels, and therefore the geometry
of the hypersphere is the same whatever our theory of par¬
allels.
Now in the Double Elliptic Geometry of Four Dimensions
all the lines perpendicular to a hyperplane meet in a pair
of opposite points, the poles of the hyperplane. This is true
because any two of these lines lie in a plane (Art. 39, Th. 2)
in which they are perpendicular to a line, and therefore
they meet in two points each at a given distance on both
* See the author’s Non-Euclidedn Geometry, p. 68.
t See the author’s Non~BucUdem Geometry, pp. 63 and 26.
2i8 THE HYPERSPHERE [V. III.
* See the author’s Non-Euclidean Geometry, p. 68. The surface of double revolu¬
tion is somewhat like the anchor ring of the ordinary geometry. This surface is
of importance in the theory of functions of two complex variables. See Poincare,
“ Sur les residus des integrales doubles,” Acta Mathematica, vol, 9, 1886-1887, p, 359.
220 THE HYPERSPHERE [v. III.
I. PARALLELS
* Two parallel half-lines extend in the same direction when in their plane they
lie on the same side of the line determined by their extremities.
t The proof given in our text-books that the two dihedral angles are equal does
not require that the trihedral angles shall lie in one hyper plane.
128, 129] ISOCLINE PROJECTION 229
Six squares which can be folded so as Eight cubes which can be folded so as
to form a cube. to form a hypercube.
If we place six equal cubes upon the six faces of a cube, and one
more outside of one of these, just as we put together four prisms and
two tetrahedrons in the note in Art. 135, we can turn these cubes
around the faces upon which they rest and bring them together so
as to form a hypercube. This is analogous to the process of forming
a cube by folding six squares together.
136-138] PLANO-PRISMATIC HYPERSURFACES 241
There are two ways of projecting a hypercube that will both assist
us in forming some conception of it. One is by an oblique projec¬
tion, and the other is by projection from a point at a little distance
from the hypercube in the line of one of its axes. We can think of
the first as representing the appearance of the hypercube when we
stand a little to one side, and the second as we look down into it. In
each case we can pick out the projections of the eight cubes whose
interiors form the cells of the hypercube.
The hypercube has become one of the most familiar of the figures
of hyperspace. The reader will find it mentioned in nearly all popu¬
lar descriptions of the fourth dimension. See, for example. Fourth
Dimension Simply Explained, pp. 46, 72, 88, 92, and 113.
The parallel planes are faces and the layers are cells of the
hypersurface. If a, (3, y, . . . are the faces in order, the
cells can be described as the layers I3y, . . . , and
the hypersurface as the piano-prismatic hypersurface a^y
. . . . The faces and all parallel planes within the layers
are the elements of the hypersurface, and are in cyclical
order (Art. 6).
The hypersurface is a simple piano-prismatic hypersurface
when no plane occurs twice as an element. It is convex
when, also, the hyperplane of each cell contains no element
except those of this cell and the two which are its faces.
We shall consider only hypersurfaces which are simple
and convex.
In a right double prism the prisms of each set can be put together
in one hyperplane so as to form a single right prism with lateral edge
equal to the perimeter of the base of the prisms of the other set. In
forming the double prism these two single prisms
are folded towards each other in such a way that
the upper base of each occupies the same position
as its lower base and the lateral surface of one
coincides as a whole with the lateral surface of
the other. Thus one single prism alone, folded
in this way until the ends come together, gives
us the other prism and the entire figure.
When we have an oblique double prism and
spread out the prisms of one set in a single
hyperplane, we have, not a prism, but a set of
prisms with equal bases resting upon one another
somewhat like a broken column. The upper
base of the highest prism, however, and the
I4I, 142] THE INTERIOR 249
lower base of the lowest prism will lie in parallel planes and will be
so placed that each is the projection of the other.
V. HYPERCYLINDERS
to the ends of the bases, and these can be taken as the bases
and the given bases as parts of the lateral hypersurface.
In fact, the two lateral cylinders are congruent and lie
in parallel hyperplanes, with the elements of one parallel
to the elements of the other and the planes of the bases of
one parallel to the corresponding planes of the other.
Moreover, those elements of the hypercylinder whose
lines intersect any element of one of its bases lie in the
interior of a parallelogram which bears the same relation
to both pairs of cylinders. This figure is a particular case
of a prism cylinder, and will be studied in the next section
(see Art. 150).
Taking the point of view of Art. 130, we can say that a
hypercylindrical hypersurface is a hyperconical hypersur¬
face with vertex at infinity (see Art. 153).
For the points of this surface, being all at the same dis¬
tance from each of the axis-circles of the surface, are in
hyperspace all at the same distance from each of the planes
of these circles, and lie, therefore, in two piano-cylindrical
hypersurfaces of revolution which have these planes for
axis-planes.
I. VOLUME
154. Lateral volumes of hyperprisms and hyperpyramids.
Volume of the double prism. The cells of the polyhedroids
that we have studied are polyhedrons of three-dimensional
geometry, and it is only necessary to state the theorems
which concern their volumes.
Theorem i. The lateral volume of a hyperprism is equal
to the area of a right section multiplied by the lateral edge.
The lateral volume of a right hyperprism is equal to the
area of the surface of the base * multiplied by the altitude.
Theorem 2. The lateral volume of a regular hyperpyramid
is equal to the area of the surface of the base multiplied by one-
third of the slant height, the common altitude of the lateral
pyramids.
Theorem 3. The lateral volume of a frustum of a regular
hyperpyramid is equal to the sum of the surface areas of the
bases plus a mean proportional between them, multiplied by
one-third of the slant height.
Theorem 4. In a double prism the total volume of one
set of prisms is equal to the common area of their bases multi¬
plied by the perimeter of a right directing-polygon of the
hypersurface around which the set of prisms extends.
* Area of the polyhedron whose interior is the base. Many forms of expression
commonly used in mensuration will be employed freely in this chapter.
265
266 VOLUME [VII. I.
Proof. Any prism of the given set has its bases in the
two faces of a cell of the hypersurface around which this
set of prisms extends, and its altitude is the distance be¬
tween these two faces. Now a right directing-polygon
of the hypersurface is a polygon whose plane is absolutely
perpendicular to the elements, and the side which lies in
this cell is perpendicular to the faces and measures the dis¬
tance between them. Therefore the volum_e of this prism
is equal to the area of its base multiplied by this side of
the right directing-polygon of the hypersurface, and the
total volume of the given set of prisms is equal to the
common area of their bases multiplied by the perimeter
of the right directing-polygon.
Corollary. The total volume of a right double prism
is equal to the area of one directing-polygon multiplied by the
perimeter of the other, plus the area of the second multiplied
by the perimeter of the first,
_ H
K J (fi + ^2)
or
2 KE
ri + =
= 4 R^§r,+
For an inscribed hyper cone with vertex at B and ri the
radius of the base, we have only to make ^2 = o in all of
these expressions.
If we take two arcs symmetrically situated on the arc
AB with respect to P, the middle point of this arc, we shall
have two right triangles with hypothenuse equal to H'
symmetrically situated with respect to the radius OP,
and therefore equal. But the legs denoted by H are non-
homologous sides in the two triangles, and so the sum of
156] THE HYPERSPHERE 269
* Here again we omit details involving essentially a definition of the volume of the
hypersphere.
270 HYPERVOLUME [VII. II.
4 7ri?2 ,
4
and the volume of the hypersphere is
2
are equal and parallel, and in the second, third, and fourth
they are perpendicular to the corresponding bases, and
therefore to all the other edges. The edges of the second
set in the second, third, and fourth hyperparallelopipeds
are equal and parallel, and in the third and fourth they
are perpendicular to the corresponding bases, and there¬
fore to all the other edges. The edges of the third set in
the third and fourth hyperparallelopipeds are equal and
taken along the same lines, and in the fourth they are
perpendicular to the corresponding bases.
Therefore, in the fourth hyperparallelopiped the edges
of each set are perpendicular to the edges of all the other
sets, and the hyperparallelopiped is rectangular.
Now the hyperplanes of the fourth pair of bases remain
the same throughout this process, and with these bases
the four hyperparallelopipeds all have the same altitude
(Art. 128, Th. 12). Moreover, these bases do not differ
in volume, and in the last two they are congruent; they
are, in fact, parallelepipeds formed by this same process
of producing successively different sets of edges.
We have constructed an equivalent rectangular hyper¬
parallelopiped with base equivalent to the base and alti¬
tude equal to the altitude of the given hyperparallelopiped,
and this is sufheient to prove the theorem.
I HB{i + f +
ABC
T' B' C
A" C",
A B C and A
B' C A' B' C
B" C" A" C".
^ttR^E.
163-165] CURVED HYPERSURFACES 285
^ wHifi + r2)(ri^ +
Now
= x^ + r\ = (x + HY + f2^.
Hence
2 xH = — r2 —
2{x + H)H = ri^ - r2^ + H\
and
That is,
XTi^ — {x + H)r2^
n + r2
5 (ri - f2)^(^i^ + rir2 + ^2^)
2 H
- rir2 + ^2^)
But
\ 2
3H
+ + nn +
— — nr2 + ^2^) \
= iTKH'(r^^ + rir2 + r,-^).
^TrH\r^ + + f2^),
so that the hypervolume of our hypersolid is equal to the
lateral volume of the frustum multiplied by | K,
Consider now all the subdivisions of the arc AB. When
the number of subdivisions is increased indefinitely the
sum of the hypervolumes will, as we have assumed, ap¬
proach as limit the hypervolume of the half-hypersphere,
the sum of the lateral volumes will approach what we have
called the volume of the half-hypersphere, and K will
approach R. Therefore, passing to the limit and express¬
ing the result for the entire hypersphere, we have the
hypervolume of the hypersphere equal to its volume
multiplied by one-fourth of the radius.
find that there are eleven equations connecting the sixteen different
hypervolumes of a set of associated pentahedroids with the measures
of the five hyperplane angles. If he introduces also what we may
call the hypervolumes of the five tetrahedroidal angles, he will have
five more equations, so that he can express the hypervolume of the
pentahedroid in terms of the hyperplane angles and the tetrahedroidal
angles.* But a tetrahedroidal angle is like a spherical tetrahedron:
we cannot measure it directly, and we have no simple formula for its
hypervolume.
* M. Dehn, “ Die Eulersche Formel in Zusammenhang mit dem Inhalt in der Nicht-
Euklidische Geometrie,” Mathematische Annalen, vol. 6i, 1905, pp. 561-586, in par¬
ticular, pp. 583-584.
CHAPTER VIII
8X6
-= 24.
2
I — Nq + Ni — N2 + 1=0,
I — NQ -j- Nx — A^2 ~ o.
I — Ao + Ni — N2 + A3 = o.
302 THE POLYHEDROID FORMULA [VIII. II.
ic (( o': ((
20
6 octahedrons
12 ikosahedrons
X
3o6 reciprocal POLYHEDROIDS AND NETS [viii. iii.
But in the triangle AOD the angles are 36°, 60°, and 90°,
* The theorem is true in Elliptic Geometry of four dimensions, since any two
lines in a plane of Elliptic Geometry intersect. It can also be proved in Hyperbolic
Geometry.
310 RECIPROCAL POLYHEDROIDS AND NETS [viii. m.
-= s A.
4
The first polyhedroid is, then, a ^ N-hedroid^ containing
5 N tetrahedrons.
The dodekahedron has twelve faces, and in the A-hedroid
each face is common to two dodekahedrons. Therefore
the number of faces in the A-hedroid is
I — N + 6A — loA + sA —1=0,
cc
SN- “ 20-
cc
N- “ tetrahedroidal
Therefore the only sets of regular polyhedroids that can be
used to form nets are
5 pentahedroids, hypercubes, or N-hedroids at a point.
cc
SN
cc
8 24-hedroids
cc
24 16-
The number of vertices in a polyhedroid of one of two re¬
ciprocal nets is equal to the number of polyhedroids of the
other at a point. These nets of polyhedroids are associated,
therefore, as follows:
3i6 reciprocal POLYHEDROIDS and nets [viil hi.
20 tetrahedrons a,
I vertex A and 12 vertices J5,
12 edges AB “ 30 edges BB,
30 faces ABB “ 20 faces BBB.
The term double pyramid is not used here in the technical sense defined in
Art. 32. However, this may be regarded as a limiting case, obtained by rotating
the end-pyramids around the plane of their common base until they come into a
hyperplane with their vertices on opposite sides of this plane.
600-HEDROID 319
60 tetrahedrons
60 edges EE,
60 faces CEE and 60 faces DEE,
[
Tetrahedrons Vertices Edges Faces
a 20 A I AB 12 ABB 30
B 12 BB 30 BBB 20
20 C 20 BC 60 BBC 60
7 30 CC 30 BCC 60
8 60 D 12 BD 12 BCD 60
45 CD 60 CCD 60
2
90
€ 60 E 30 CE 60 CCE 30
DE 60 CDE 120
324
2
648
60 EE 60 CEE 60
DEE 60
560
1120
v 20
270 EEE 20
2
S40
e 60 DD' 12 DED' 60
2 X 45 + 30 = 120.
® I A 20 AA 30 AA , . . 12
^ 12 B 20 AB 20 AA . .C 30
C 30 BC 60 B . . DD 60
D 60 1 CD 60 DD . . . 12
DD 60
7 20 E 60 DE 60 C , .EE 30
F 60 EE 30 DD ..F 60
G 20 EF 120 EE . .G 60
270 FG 60
S40
h 12 E 60 FH 60 E.. EE 60
45 S6o 324
2 2 2
90 1120 648
EH 60 EE .. . 12
6 30 GG' 20 G . .G' 60
Achtzell, Zs, regulate, hyper cube; tions are placed together, Schoute,
-netz; Schoute, II, 202, 242. I, 88, 124.
See Zell. Bipiano (Ital.), Rn-2 in Ra, Pascal,
Allomorph, allomorphic, two poly¬ 577-
hedrons having the same number
of vertices and edges, and the C\ Cl®, C24, C120, c®®®, the six
same number of faces of each regular polyhedroids, Jouffret, 103.
kind that they have; similarly Case, cell; hypercase, corresponding
of polyhedroids; Schoute, II, term in space of five dimensions;
22-23. See Isomorph. Poincar6, 278. See Jouffret, 96,
Ankugel, Ankugelraum, Anradius, see 103.
Kugel. Cell, case, Grenzraum, Seitenraum,
Apothema (of a hypercone), slant Zell; (of a hyperplane angle)
height, Schoute, II, 302. Schenkelraum.
Arete, edge, Jouffret, 96. -cell, -hedroid, Maschke, Am. Jour.
Axe (of a piano-polyhedral angle), Math., vol. 18, 181.
vertex-edge, see Kant. Configuration, Cayley-Veronese (p.s).
Carver, Trans. Am. Math. So., vol.
Basis, base, of a pyramid, hyperpyra¬ 6
, 534-
mid, etc., Schoute, II, 35; — Confine, poly hedroid of n dimensions;
-raum, Schoute, II, 242; used also face of a —, {n—i)-boundary;
of the base of a linear system of prime —, simplex; rectangular
spaces {e.g., the line common to prime —, with edges at one vertex
the linear system formed from the equal and perpendicular to one
equations of three hyperplanes in another; Clifford, 603.
i?4), Schoute, I, 141. Cylinderraum, (Cy)j;, of k dimen¬
Bildraum, the space of the figure of sions, hy per cylinder ; spharisch,
descriptive geometry, the space with spherical bases; — zweiter
in which all the different projec¬ Stufe, with cylinders for bases (Art.
328 TECHNICAL TERMS
are polygons of the same num¬ from the Educational Times, vol.
ber of sides with one side in com¬ 10: 100.
mon (Ferse) and the remaining
sides of one connected with the Icosatetraedroide, 24-hedroid,
remaining sides of the other by Jouffret, 105, 137.
two triangles and by quadri¬ Ideal, improper, uneigentlich.
laterals ; in Rn Si polyhedroid Inkugel, see Kugel.
formed in a similar way. Partic¬ Ineunt points, the points of a locus,
ular cases are the Prismenkeil Cayley, VI, 469. In the same way
and the Pyramidenkeil. Schoute, he uses the expression, “tangent
II, 26, 41, 43. omals of an envelope.”
Hundertzwanzigzell, Z120, 120-he- Inhalt, volume, hypervolume, etc.,
droid, Schoute, II, 213. Schoute, II, 94.
Hyper-; hyperlocus, Sylvester, 1851, Iper- (Ital.), hyper-, Loria, 302.
8, 12; — plane, — planar,— Isocline planes, plans d^angles egaux,
pyramid, — pyramidal, — geome¬ plans a une infinite d^ angles,
try, — theory, — ontological, gleichwinklige Ebene.
Sylvester, 1863, 172-177; Ital. Isomorph, isomorphic, allomorphic
iper-. polyhedrons or polyhedroids are
Hypercone, hypercone de premiere isomorphic when faces or cells
espece, Kegelraum. which come together in one always
Hypercone de premiere espece, hy¬ correspond to faces or cells which
percone; de seconde espece, double come together in the other.
cone; Jouffret, 92. Schoute, II, 22-23. See Allo-
Hypercube, tessaract, octaedro'ide, morph.
Achtzell, Masspolytop, Oktaschem Isomorphic geometries are different
(see -schem). interpretations of the same ab¬
Hypercylinder, Cylinderraum. stract geometry (see p. 15).
Hyperebene, Rn-i (or En-i, Pascal,
577)- Kt,, Kugelraum, see this word.
Hyperparallelopiped, parallelepipMe Kant, edge, Schoute, I, 9; Dreikant,
d quatre dimensions, Parallelotop, trihedral angle, Schoute, I, 271;
Paralleloschem (see -schem). Vierkant, tetrahedroidal angle,
Hyperplane, lineoid, quasi-plane, es- Schoute, I, 267 ; w-Kant, Vielkant,
pace, plan, Hyperebene, Raum. Schoute, I, 279, 286; Scheitelkant,
Hyperplane angle, diMre d’espaces, vertex-edge, Schoute, I, 268; Drei¬
Raumwinkel. kant zweiter Art, piano-trihedral
Hyperprism, Prisma. angle. Axe, its vertex-edge, Veronese,
Hyperpyramid, Pyramide. 540, 544; regulare w-Kant p-tQX
Hypersolid, Confine, Polytop. Art, Schoute, II, 140.
Hyperspace, 4-space, Ventendue, Hy- Kantenwinkel (of a Vierkant), face
perraum (Pascal, 577). angle, Schoute, I, 268.
Hypersphere, quasi-sphere, Kugel- Kegel: Kreiskegel erster Art, piano-
raum, n-Sphdre, Polysph'dre. conical hyper surf ace of revolution;
(Hyper)®"^ surface, of ^ — i dimen¬ zweiter Art, conical hypersurface of
sions in space of p dimensions; double revolution (Art. 112), Vero¬
e.g., in space of five dimensions, nese, 557.
hyper-hyper-surface. H. R. Greer, Kegelraum, {Ke)t, of k dimensions,
“Question 2503,” Math. Questions hypercone; — zweiter Stufe, double
330 TECHNICAL TERMS
Distance between a point and a hy¬ surface of, 197; with plane ele¬
perplane, 78; the minimum be¬ ments, 206; its Interior all con¬
tween two lines, 105; in a hyper¬ nected, 207; cylinder of, 263, see
sphere, 208; at infinity, 232. Double cylinder; surface of, in a
Distances between two great circles hypersphere, its importance in the
in a hyper sphere, 217; two lines theory of functions, 219; the in¬
at Infinity, 235. tersection of the hypersphere with
Dodekahedrons, the net, four at a an inscribed cylinder of double
point, 324. revolution and with an Inscribed
Double cone, 70; vertex-edge, base, conical hypersurface of double
elements, end-cones, 71; cut from revolution, 263.
a piano-conical hypersurface, 72; Double rotation, 145; in the hyper¬
circular, axis-element, right, isos¬ sphere, 218.
celes, generated by the rotation of Doubly triangular prism, 251.
a tetrahedron, 205. Duality in the hypersphere, recipro¬
Double cylinder, directing-curves, cal figures, 212.
interior, right, generated by the
directing-curves and their interiors, Edge Geometry, the elements half¬
spread out in a hyperplane, 262; planes with a common edge, 138;
cylinder of double revolution. applied to the theory of motion
Inscribed in a hypersphere, 263; with two points fixed, 173.
relation to infinity, 264; volume, Edge of a polyhedron, how defined,
267 ; hyper volume, 285 ; ratio to 21; of a half-plane, 39; hemi¬
circumscribed and to inscribed sphere, 209.
hypersphere, 287. Edges of a tetrahedron, 45 ; pyramid,
Double Elliptic Geometry, 215; see 55; pentahedroid, 57; polyhe-
Elliptic Non-Euclidean Geometry. droid, 63.
Double prism, the two sets of prisms, Elements, linear, of two planes, 61.
246; right, regular, its cells spread Elements of geometry, points, 19,
out in a hyperplane, 248; interior, 23; of Point Geometry, 113.
directing-polygons, 249; generated Elements of a double pyramid,
by the directing-polygons and their 67 ; hyperconical hypersurface, hy¬
interiors, cut into two double percone, 69; piano-conical hyper¬
prisms, 250; doubly triangular, surface, double cone, 71; poly-
251; hyperprisms with prisms hedroidal angle, 126; plano-poly-
for bases as double prisms, rela¬ hedral angle, 134; piano-prismatic
tion to infinity, 252 ; volume, 265 ; hypersurface, 242; piano-cylindri¬
doubly triangular double prisms cal hyper surf ace, 256.
cut into six equivalent pentahe- Elliptic Non-Euclidean Geometry:
drolds, 280; hypervolume, 282. due to Rlemann, 7 ; restrictions to
Double pyramid, 66; vertex-edge, the axioms of collinearity, 25 ; the
base, elements, end-pyramids, lat¬ points of a line are in cyclical order,
eral faces, lateral cells, intersection 29; modification of proof of min¬
with a plane, 67; with a hyper¬ imum distance between two lines,
plane, 68; cut from a plano-poty- 105; lines with more than one
hedral angle, 138; axis-element, common perpendicular line, 108;
right, isosceles, regular, 204; in a lines and planes with more than
hyperplane, 318. one common perpendicular line,
Double revolution, conical hyper¬ planes with more than one common
INDEX
base and vertex edge, 274; hyper¬ double revolution, 263; volume,
volume of any hyperprism, 275. 267 ; hyper volume, 285.
Hyperpyramid, 63; base, interior, Hypersurface, 69 ; of a pentahedroid,
sections, 64; with a pyramid for 62.
base, different ways of regarding it, Hypervolume, 270; of a rectangular
66; cut from a polyhedroidal angle, hyperparallelopiped, 271; any
127; axis, regular, 203; lateral hyperparallelopiped, 272; hyper¬
volume, of a frustum, 265; hy¬ prism with prisms for bases, 273;
pervolume, 276; frustum cut with tetrahedral bases, 274; any
into pentahedroids, hypervolume, hyperprism, 275; hyperpyramid,
278. 276; frustum, 278; double prism,
Hyper solid, the interior of a pentahe- 280; cylindrical and conical hy¬
droid as a hypersolid, 62; boun¬ persurfaces, 284; hyper sphere,
daries are three-dimensional, 64; 285; ratio of the hyper sphere to
hypervolume, ratio of two, equiva¬ inscribed and to circumscribed
lent hypersolids, 270. double cylinders, 287; pentahe¬
Hyper space, term used to denote the droid in elliptic hyper space, 287.
space of four dimensions, 60; di¬
vided by a hyperplane, not di¬ Ideal points, lines, etc., at infinity,
vided by a plane, 62. 230.
Hyper sphere, great spheres and small Ikosatetrahedroid, 296, see 24-he-
spheres, 207; great circles and droid.
small circles, 208; distance in a Independent points, 24.
hypersphere, tangent hyperplanes, Infinity, sense in which the term is
208; spherical dihedral angle, its used, 230; points, lines, etc,, at
volume, 209; tetrahedron, the infinity, all points at infinity
sixteen associated tetrahedrons, in a single hyperplane, 231; dis¬
their volumes, 210; axis and poles tance, angle, 232; dihedral angle,
of a sphere, axis-plane and polar cir¬ 233; the geometry at infinity is
cle of a circle, 211; their motion in the Single Elliptic, generalizations
a rotation of the hyper sphere, 212 ; made possible by the use of these
duality, reciprocal figures, 212; forms of expression, 233; dis¬
the geometry of the hypersphere as tances between two lines, 235;
an independent three-dimensional relation to infinity of the prismoidal
geometry, 212; it is the Double hypersurface, 241; h}q)erparallelo-
Elliptic Non-Euclidean Geometry, piped, 241, 253; piano-prismatic
215; the Point Geometry at the hyper surf ace, double prism, 252;
centre, 216; the distances between hypercylindrical hyper surface, 256;
two great circles, parallel great piano-cylindrical hypersurface,
circles, 217; proof from Point prism cylinder, double cylinder,
Geometry that the geometry of the 264.
hypersphere is the Double Elliptic, Interior of a figure as distinguished
217; rotation, double rotation, from the figure itself, 20; see Seg¬
screw motion, parallel motion, 218; ment, Triangle, Polygon, etc.
curvature constant, 218; inter¬ Intersect, intersection, 23,
section with a conical hypersurface Isoclinal angle (Stringham), 125.
of double revolution, 220; inter¬ Isocline planes, 123, 180; have an
section with an inscribed cylinder infinite number of common per¬
of double revolution a surface of pendicular planes, 123, 182; series
INDEX 341
lines and planes, 224; their mini¬ two planes intersecting in a line,
mum distance, their linear ele¬ 87; perpendicular planes and hy¬
ments, 225; lines and planes par¬ perplanes, perpendicular along a
allel to a hyperplane, parallel line, 90; the planes perpendicular
h3^erplanes, 226. or absolutely perpendicular to
Pasch, Axiom, 30. planes lying in the hyperplanes, gi;
Pentahedroid, edges, faces, cells, 57; lines lying in either and perpendic¬
intersection with a plane, 57, 60; ular to the other, 92; planes with
interior, collinear with, 58; pass¬ linear elements all perpendicular
ing from cell to cell, 59 ; intersection to a hyperplane, 94; perpendicular
with a line, 60; the five half-hy¬ hyperplanes, 98; lines or planes
perspaces and the interior, 62; lying in one and perpendicular to
sections, 65; its cells or its edges the other, 101; the common per¬
spread out in a hyperplane, 68; pendicular line of two lines not in
the point equidistant from its one plane; lines with more than
vertices, 199; the point equidis¬ one common perpendicular line,
tant from its cells, 200; its centre 108; the common perpendicular
of gravity, 201; pentahedroids line of a line and plane; the com¬
with corresponding edges equal, mon perpendicular plane of two
202 ; hypervolume in elliptic hyper¬ planes which have a common
space, 287; regular, 203, 289; perpendicular hyperplane, in;
radii of circumscribed and in¬ the common perpendicular planes
scribed hyperspheres, reciprocal of two planes which intersect
pentahedroids, 289. only in a point, 118; planes
Perpendicularity: lines perpendicular with an infinite number of com¬
to a line at a point, 74; perpen¬ mon perpendicular planes, 119,
dicular line and hyperplane, 75; 182.
planes perpendicular to a line at a Plan and object of this book, 16, 73.
point; two lines perpendicular Plane, 24; “plane ABC,’’ only one
to a hyperplane lie in a plane, 76; contains three given non-collinear
lines perpendicular to a plane at a points, 35 ; divided by a line, 37 ;
point, 80; absolutely perpendicu¬ two planes with only odd point in
lar planes, 81; if two planes inter¬ common, 51, 81; intersection of
sect in a line, their absolutely per¬ two in a hyperplane, 53 ; opposite
pendicular planes at any point of sides of a plane in a hyperplane,
this line intersect in a line, 82; 54; intersection with" a hyper¬
two planes absolutely perpendicular plane, 60; linear elements of two
to a third lie in a hyperplane, 83; planes, 61; absolutely perpendicu¬
perpendicular planes, simply per¬ lar planes, 81; perpendicular, 85 ;
pendicular, half-perpendicular, or see Perpendicularity; if two not in a
perpendicular in a hyperplane; hyperplane have a common per¬
a plane perpendicular to one of two pendicular line, they have a common
absolutely perpendicular planes perpendicular hyperplane, 94;
at their point of intersection is per¬ isocline planes, 123; see Isocline
pendicular to the other, 85; a planes; planes at infinity, 231.
plane intersecting two absolutely Plane angle of a hyperplane angle, 96;
perpendicular planes in lines is see Hyperplane angle.
perpendicular to both, 86; the Plano-conical hypersurface, vertex-
common perpendicular planes of edge, directing-curve, elements,
344 INDEX