A trirectangular tetrahedron is a tetrahedron having a trihedron all of the face angles
of which are right angles. The face
opposite the vertex of the right
angles is called the base. If the edge lengths
bounding the trihedral angle are ,
, and
, then the side lengths of the base are given by
,
, and
, and so has semiperimeter
|
(1)
|
Conversely, let ,
, and
be the side lengths of the base. Solving these
relations for the three perpendicular edges
gives
|
(2)
| |||
|
(3)
| |||
|
(4)
|
A triangle is the base of a nondegenerate trirectangular tetrahedron iff it is an acute triangle. The volume of the trirectangular tetrahedron is
|
(5)
|
Using Heron's formula, the surface area is therefore
|
(6)
|
Let
be the area of the triangle
with vertices
,
, and
. The remarkable de Gua's theorem
|
(7)
|
then follows from the identity
|
(8)
|
with
defined by (1).