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
Hyperbolic triangle side with the corresponding letter) is strictly less than a straight angle. The difference between the measure of a straight angle and the sum of the measures of a triangle's angles is called the defect of the triangle. The area of a hyperbolic triangle is equal to its defect multiplied by the square of : This theorem, first proven by Johann Heinrich Lambert, is related to Girard's theorem in spherical geometry. In all the formulas stated below the sides , , and must be measured in absolute length, a unit so that the Gaussian curvature of the plane is −1.