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 function classification of arithmetic triangle groups (there are only finitely many) and determined when two of them are commensurable. The particular example is related to Bring's curve and the arithmetic theory implies that the triangle group for Δ contains the triangle group for the triangle Δ with angles /4, /4 and /5 as a non-normal subgroup of index 6. Doubling the triangles Δ and Δ, this implies that there should be a relation between 6 triangles Δ with angles /2, /5 and /5 and hyperbolic area /10 and a triangle Δ with angles /5, /5 and /10 and hyperbolic area 3/5.