The trigonometry of a tetrahedron[1] explains the relationships between the lengths and various types of angles of a general tetrahedron.
Trigonometric quantities
[edit]
Classical trigonometric quantities
[edit]
The following are trigonometric quantities generally associated to a general tetrahedron:
- The 6 edge lengths - associated to the six edges of the tetrahedron.
- The 12 face angles - there are three of them for each of the four faces of the tetrahedron.
- The 6 dihedral angles - associated to the six edges of the tetrahedron, since any two faces of the tetrahedron are connected by an edge.
- The 4 solid angles - associated to each point of the tetrahedron.
Let
be a general tetrahedron, where
are arbitrary points in three-dimensional space.
Furthermore, let
be the edge that joins
and
and let
be the face of the tetrahedron opposite the point
; in other words:
![{\displaystyle e_{ij}={\overline {P_{i}P_{j}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88a416abc68c7be8e94a00bb96e1555a917e244f)
![{\displaystyle F_{i}={\overline {P_{j}P_{k}P_{l}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b232ebe614dabbfaadaf8d3632e6fac30ce7a4f)
where
and
.
Define the following quantities:
= the length of the edge ![{\displaystyle e_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b6a2274e22dc1d2778c28f3ce5b946d90ba2756)
= the face angle at the point
on the face ![{\displaystyle F_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/625a3f4307a0bffa93067aa6586102dd82a27d9d)
= the dihedral angle between two faces adjacent to the edge ![{\displaystyle e_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b6a2274e22dc1d2778c28f3ce5b946d90ba2756)
= the solid angle at the point ![{\displaystyle P_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ba1396129f7be3c7f828a571b6649e6807d10d3)
Let
be the area of the face
. Such area may be calculated by Heron's formula (if all three edge lengths are known):
![{\displaystyle \Delta _{i}={\sqrt {\frac {(d_{jk}+d_{jl}+d_{kl})(-d_{jk}+d_{jl}+d_{kl})(d_{jk}-d_{jl}+d_{kl})(d_{jk}+d_{jl}-d_{kl})}{16}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e89c417bf6c99cf2e806aceee4ededaf487068)
or by the following formula (if an angle and two corresponding edges are known):
![{\displaystyle \Delta _{i}={\frac {1}{2}}d_{jk}d_{jl}\sin \alpha _{j,i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91db950e0ef8f3f560a00411eeae84c8b3717f0b)
Let
be the altitude from the point
to the face
. The volume
of the tetrahedron
is given by the following formula:
It satisfies the following relation:[2]
![{\displaystyle 288V^{2}={\begin{vmatrix}2Q_{12}&Q_{12}+Q_{13}-Q_{23}&Q_{12}+Q_{14}-Q_{24}\\Q_{12}+Q_{13}-Q_{23}&2Q_{13}&Q_{13}+Q_{14}-Q_{34}\\Q_{12}+Q_{14}-Q_{24}&Q_{13}+Q_{14}-Q_{34}&2Q_{14}\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77603179a81a01a4aaf9e3bfefbff11f4d30f84a)
where
are the quadrances (length squared) of the edges.
Basic statements of trigonometry
[edit]
Take the face
; the edges will have lengths
and the respective opposite angles are given by
.
The usual laws for planar trigonometry of a triangle hold for this triangle.
Projective triangle
[edit]
Consider the projective (spherical) triangle at the point
; the vertices of this projective triangle are the three lines that join
with the other three vertices of the tetrahedron. The edges will have spherical lengths
and the respective opposite spherical angles are given by
.
The usual laws for spherical trigonometry hold for this projective triangle.
Laws of trigonometry for the tetrahedron
[edit]
Alternating sines theorem
[edit]
Take the tetrahedron
, and consider the point
as an apex. The Alternating sines theorem is given by the following identity:
One may view the two sides of this identity as corresponding to clockwise and counterclockwise orientations of the surface.
The space of all shapes of tetrahedra
[edit]
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.[3]
Law of sines for the tetrahedron
[edit]
See: Law of sines
Law of cosines for the tetrahedron
[edit]
The law of cosines for the tetrahedron[4] relates the areas of each face of the tetrahedron and the dihedral angles about a point. It is given by the following identity:
![{\displaystyle \Delta _{i}^{2}=\Delta _{j}^{2}+\Delta _{k}^{2}+\Delta _{l}^{2}-2(\Delta _{j}\Delta _{k}\cos \theta _{il}+\Delta _{j}\Delta _{l}\cos \theta _{ik}+\Delta _{k}\Delta _{l}\cos \theta _{ij})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79f3fdb7186ec0c20149adbae1bb40787e9fb251)
Relationship between dihedral angles of tetrahedron
[edit]
Take the general tetrahedron
and project the faces
onto the plane with the face
. Let
.
Then the area of the face
is given by the sum of the projected areas, as follows:
By substitution of
with each of the four faces of the tetrahedron, one obtains the following homogeneous system of linear equations:
This homogeneous system will have solutions precisely when:
By expanding this determinant, one obtains the relationship between the dihedral angles of the tetrahedron,[1] as follows:
Skew distances between edges of tetrahedron
[edit]
Take the general tetrahedron
and let
be the point on the edge
and
be the point on the edge
such that the line segment
is perpendicular to both
&
. Let
be the length of the line segment
.
To find
:[1]
First, construct a line through
parallel to
and another line through
parallel to
. Let
be the intersection of these two lines. Join the points
and
. By construction,
is a parallelogram and thus
and
are congruent triangles. Thus, the tetrahedron
and
are equal in volume.
As a consequence, the quantity
is equal to the altitude from the point
to the face
of the tetrahedron
; this is shown by translation of the line segment
.
By the volume formula, the tetrahedron
satisfies the following relation:
where
is the area of the triangle
. Since the length of the line segment
is equal to
(as
is a parallelogram):
where
. Thus, the previous relation becomes:
To obtain
, consider two spherical triangles:
- Take the spherical triangle of the tetrahedron
at the point
; it will have sides
and opposite angles
. By the spherical law of cosines:![{\displaystyle \cos \alpha _{i,k}=\cos \alpha _{i,j}\cos \alpha _{i,l}+\sin \alpha _{i,j}\sin \alpha _{i,l}\cos \theta _{ik}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/364230fa2140afe0301e19a27ffb04bd6c0493ef)
- Take the spherical triangle of the tetrahedron
at the point
. The sides are given by
and the only known opposite angle is that of
, given by
. By the spherical law of cosines:![{\displaystyle \cos \lambda =\cos \alpha _{i,l}\cos \alpha _{k,j}-\sin \alpha _{i,l}\sin \alpha _{k,j}\cos \theta _{ik}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/354bcc64c55c10d8851611d5b641c4cb4a38f3d5)
Combining the two equations gives the following result:
Making
the subject:
Thus, using the cosine law and some basic trigonometry:
Thus:
So:![{\displaystyle R_{ij}={\frac {12V}{\sqrt {4d_{ij}^{2}d_{kl}^{2}-(d_{ik}^{2}+d_{jl}^{2}-d_{il}^{2}-d_{jk}^{2})^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/544a6cc4a1aeb311ef10716a998b8f7be7c67d69)
and
are obtained by permutation of the edge lengths.
Note that the denominator is a re-formulation of the Bretschneider-von Staudt formula, which evaluates the area of a general convex quadrilateral.