Trigonometry of a tetrahedron

Classical trigonometric quantities

The following are trigonometric quantities generally associated to a general tetrahedron:

Let X = P 1 P 2 P 3 P 4 ¯ be a general tetrahedron, where P 1 , P 2 , P 3 , P 4 are arbitrary points in three-dimensional space.

Furthermore, let e i j be the edge that joins P i and P j and let F i be the face of the tetrahedron opposite the point P i ; in other words:

where i , j , k , l ∈ { 1 , 2 , 3 , 4 } and i ≠ j ≠ k ≠ l .

Define the following quantities:

Area and volume

Let Δ i be the area of the face F i . Such area may be calculated by Heron's formula (if all three edge lengths are known):

or by the following formula (if an angle and two corresponding edges are known):

Let h i be the altitude from the point P i to the face F i . The volume V of the tetrahedron X is given by the following formula:

where Q i j = d i j 2 are the quadrances (length squared) of the edges.

Affine triangle

Take the face F i ; the edges will have lengths d j k , d j l , d k l and the respective opposite angles are given by α l , i , α k , i , α j , i .

The usual laws for planar trigonometry of a triangle hold for this triangle.

Projective triangle

Consider the projective (spherical) triangle at the point P i ; the vertices of this projective triangle are the three lines that join P i with the other three vertices of the tetrahedron. The edges will have spherical lengths α i , j , α i , k , α i , l and the respective opposite spherical angles are given by θ i j , θ i k , θ i l .

The usual laws for spherical trigonometry hold for this projective triangle.

Alternating sines theorem

Take the tetrahedron X , and consider the point P i as an apex. The Alternating sines theorem is given by the following identity:

Putting any of the four vertices in the role of O yields four such identities, but at most three of them are independent; if the "clockwise" sides of three of the four identities are multiplied and the product is inferred to be equal to the product of the "counterclockwise" sides of the same three identities, and then common factors are cancelled from both sides, the result is the fourth identity.

Three angles are the angles of some triangle if and only if their sum is 180° (π radians). What condition on 12 angles is necessary and sufficient for them to be the 12 angles of some tetrahedron? Clearly the sum of the angles of any side of the tetrahedron must be 180°. Since there are four such triangles, there are four such constraints on sums of angles, and the number of degrees of freedom is thereby reduced from 12 to 8. The four relations given by the sine law further reduce the number of degrees of freedom, from 8 down to not 4 but 5, since the fourth constraint is not independent of the first three. Thus the space of all shapes of tetrahedra is 5-dimensional.

Law of sines for the tetrahedron

See: Law of sines#Higher dimensions

Law of cosines for the tetrahedron

The law of cosines for the tetrahedron relates the areas of each face of the tetrahedron and the dihedral angles about a point. It is given by the following identity:

Relationship between dihedral angles of tetrahedron

Take the general tetrahedron X and project the faces F i , F j , F k onto the plane with the face F l . Let c i j = cos ⁡ θ i j .

Then the area of the face F l is given by the sum of the projected areas, as follows:

Skew distances between edges of tetrahedron

Take the general tetrahedron X and let P i j be the point on the edge e i j and P k l be the point on the edge e k l such that the line segment P i j P k l ¯ is perpendicular to both e i j & e k l . Let R i j be the length of the line segment P i j P k l ¯ .

To find R i j :

First, construct a line through P k parallel to e i l and another line through P i parallel to e k l . Let O be the intersection of these two lines. Join the points O and P j . By construction, O P i P l P k ¯ is a parallelogram and thus O P k P i ¯ and O P l P i ¯ are congruent triangles. Thus, the tetrahedron X and Y = O P i P j P k ¯ are equal in volume.

As a consequence, the quantity R i j is equal to the altitude from the point P k to the face O P i P j ¯ of the tetrahedron Y ; this is shown by translation of the line segment P i j P k l ¯ .

By the volume formula, the tetrahedron Y satisfies the following relation:

1. Take the spherical triangle of the tetrahedron X at the point P i ; it will have sides α i , j , α i , k , α i , l and opposite angles θ i j , θ i k , θ i l . By the spherical law of cosines:
2. Take the spherical triangle of the tetrahedron X at the point P i . The sides are given by α i , l , α k , j , λ and the only known opposite angle is that of λ , given by π − θ i k . By the spherical law of cosines:

Combining the two equations gives the following result:

Making cos ⁡ λ the subject:

Note that the denominator is a re-formulation of the Bretschneider-von Staudt formula, which evaluates the area of a general convex quadrilateral.