Trigonometry of a tetrahedron 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?
Special right triangle : , which follows immediately from the Pythagorean theorem. Of all right triangles, the 45°–45°–90° degree triangle has the smallest ratio of the hypotenuse to the sum of the legs, namely . Of all right triangles, the 45°–45°–90° degree triangle has the greatest ratio of the altitude from the hypotenuse to the sum of the legs, namely . Triangles with these angles are the only possible right triangles that are also isosceles triangles in Euclidean geometry. However, in spherical geometry and hyperbolic geometry, there are infinitely many different shapes of right isosceles triangles. This is a triangle whose three angles