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?
Schwarz triangle of the reciprocals of these integers: This is simply a way of saying that in Euclidean space the interior angles of a triangle sum to , while on a sphere they sum to an angle greater than , and on hyperbolic space they sum to less. A Schwarz triangle is represented graphically by a triangular graph. Each node represents an edge (mirror) of the Schwarz triangle. Each edge is labeled by a rational value corresponding to the reflection order, being π/vertex angle. Order-2 edges represent perpendicular mirrors that can be ignored in this diagram. The Coxeter-Dynkin diagram represents this triangular