Schläfli orthoscheme

 

• All 2-faces are right triangles.
• All facets of a d-dimensional orthoscheme are (d − 1)-dimensional orthoschemes.
• The ${\displaystyle d}$  dihedral angles that are disjoint from edges of the path have acute angles; the remaining ${\displaystyle {\tbinom {d}{2}}}$  dihedral angles are all right angles.^[3]
• The midpoint of the longest edge is the center of the circumscribed sphere.
• The case when ${\displaystyle |v_{0}v_{1}|=|v_{1}v_{2}|=\cdots =|v_{d-1}v_{d}|}$  is a generalized Hill tetrahedron.
• Every hypercube in d-dimensional space can be dissected into d! congruent orthoschemes. A similar dissection into the same number of orthoschemes applies more generally to every hyperrectangle but in this case the orthoschemes may not be congruent.
• Every regular polytope can be dissected radially into g congruent orthoschemes that meet at its center, where g is the order of the regular polytope's symmetry group.^[5]
• In 3- and 4-dimensional Euclidean space, every convex polytope is scissor congruent to an orthoscheme.
• Every orthoscheme can be trisected into three smaller orthoschemes.^[1]
• In 3-dimensional hyperbolic and spherical spaces, the volume of orthoschemes can be expressed in terms of the Lobachevsky function, or in terms of dilogarithms.^[6]

Hugo Hadwiger conjectured in 1956 that every simplex can be dissected into finitely many orthoschemes.^[7] The conjecture has been proven in spaces of five or fewer dimensions,^[8] but remains unsolved in higher dimensions.^[9]

Hadwiger's conjecture implies that every convex polytope can be dissected into orthoschemes.

Coxeter identifies various orthoschemes as the characteristic simplexes of the polytopes they generate by reflections.^[10] The characteristic simplex is the polytope's fundamental building block. It can be replicated by reflections or rotations to construct the polytope, just as the polytope can be dissected into some integral number of it. The characteristic simplex is chiral (it comes in two mirror-image forms which are different), and the polytope is dissected into an equal number of left- and right-hand instances of it. It has dissimilar edge lengths and faces, instead of the equilateral triangle faces of the regular simplex. When the polytope is regular, its characteristic simplex is an orthoscheme, a simplex with only right triangle faces.

Every regular polytope has its characteristic orthoscheme which is its fundamental region, the irregular simplex which has exactly the same symmetry characteristics as the regular polytope but captures them all without repetition.^[11] For a regular k-polytope, the Coxeter-Dynkin diagram of the characteristic k-orthoscheme is the k-polytope's diagram without the generating point ring. The regular k-polytope is subdivided by its symmetry (k-1)-elements into g instances of its characteristic k-orthoscheme that surround its center, where g is the order of the k-polytope's symmetry group. This is a barycentric subdivision.

We proceed to describe the "simplicial subdivision" of a regular polytope, beginning with the one-dimensional case. The segment 𝚷₁ is divided into two equal parts by its centre 𝚶₁. The polygon 𝚷₂ = {p} is divided by its lines of symmetry into 2p right-angled triangles, which join the center 𝚶₂ to the simplicially subdivided sides. The polyhedron 𝚷₃ = {p, q} is divided by its planes of symmetry into g quadrirectangular tetrahedra (see 5.43), which join the centre 𝚶₃ to the simplicially subdivided faces. Analogously, the general regular polytope 𝚷_n is divided into a number of congruent simplexes ([orthoschemes]) which join the centre 𝚶_n to the simplicially subdivided cells.^[5]

• 3-orthoscheme (tetrahedron with right-triangle faces)
• 4-orthoscheme (5-cell with right-triangle faces)
• Goursat tetrahedron
• Order polytope