Trigonometry of a 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. See: Law of sines The law of cosines for the tetrahedron
Triangle group of these relations and that Δ("l,m,n") is a discrete group of motions of the corresponding space. Thus a triangle group is a reflection group that admits a group presentation An abstract group with this presentation is a Coxeter group with three generators. Given any natural numbers "l", "m", "n" > 1 exactly one of the classical two-dimensional geometries (Euclidean, spherical, or hyperbolic) admits a triangle with the angles (π/l, π/m, π/n), and the space is tiled by reflections of the triangle. The sum of the angles of the triangle determines the type of the geometry by the Gauss–Bonnet theorem: it