TOPICS
Search

Hypersine


The hypersine (n-dimensional sine function) is a function of a vertex angle of an n-dimensional parallelotope or simplex. If the content of the parallelotope is P and the contents of the n facets of the parallelotope that meet at vertex V_0 are P_1,P_2,...,P_n, then the value of the n-dimensional sine of that vertex is

 sinV_0=(P^(n-1))/(product_(k=1)^(n)P_k).
(1)

Changing the length of an edge of the parallelotope by a factor changes the content P by the same factor and the contents of all but one of the facets by the same factor. Thus, a change in edge length does not affect the value of the right-hand side, and the sine function is dependent solely on the angles between the edges of the parallelotope, not their lengths. In addition, the sines of all of the vertex angles of the parallelotope are the same, since the opposite facets have the same content, and one of each pair of opposite facets meets at each vertex. If we extend the facets at a vertex, all of the 2^n vertex angles thus formed have the same sine, as they are simply translations of the vertex angles of the parallelotope.

The maximum value of the n-dimensional sine is one, when the parallelotope is an orthotope and all of its vertex angles are right angles. The minimum value of the n-dimensional sine is zero, for a parallelotope or simplex that lies in a space of lower dimension and is therefore degenerate. If a simplex has a right angle (one at which all of the edges are mutually orthogonal), it is a right simplex, and the sums of the squares of the sines of the vertex angles other than the right angle is one. The n-dimensional sine of any vertex angle of an n-dimensional right simplex is the ratio of the content of the opposite facet to the content of the facet opposite the right angle.

The vertex simplex of a vertex of an n-dimensional parallelotope is the simplex that has as its vertices that vertex and the n adjacent vertices of the parallelotope. Its content (and the content of all the other vertex simplices) is the content of the parallelotope divided by n!. If the content of an n-dimensional simplex is S, and the contents of the n facets that meet at vertex V_0 are S_1,S_2,...,S_n, the simplex can be considered a vertex simplex of a parallelotope, and the facets also vertex simplices of the facets of the parallelotope with respect to the same vertex. Substituting in equation (1) gives

 sinV_0=((n!S)^(n-1))/(product_(k=1)^(n)(n-1)!S_k).
(2)

If we label the remaining facet of the simplex S_0, we may derive

 (sinV_0)/((n-1)!S_0)=((n!S)^(n-1))/(product_(k=0)^(n)(n-1)!S_k).
(3)

Since the right-hand side is independent of which vertex of the simplex is chosen, the left-hand side is the same for all vertices, so that there is a law of sines for the n-dimensional simplex such that the ratio of the sine of a vertex to the content of the opposite facet is the same for all vertices.

For a simplex in elliptic or spherical space, the sine of a vertex of the simplex is equal to the polar sine of the facet of its polar simplex for which that vertex is a pole. The edges of that facet have an arc length in radians that is supplementary to the corresponding dihedral angle between facets of the vertex angle. Using this, we can apply a formula for the polar sine of the facet of the polar simplex in terms of its edges to calculate the n-dimensional sine from the dihedral angles between the facets that meet at that angle. If the dihedral angle between facets S_i and S_j is alpha_(ij), then

 sin^2V_0=|1 -cosalpha_(12) ... -cosalpha_(1n); -cosalpha_(21) 1 ... -cosalpha_(2n); | | ... |; -cosalpha_(n1) -cosalpha_(n2) ... 1|.
(4)

For a tetrahedron with dihedral angles alpha_(12), alpha_(13), and alpha_(23) between the facets meeting at vertex V_0, we have

 sin^2V_0=1-cos^2alpha_(12)-cos^2alpha_(13)-cos^2alpha_(23)-2cosalpha_(12)cosalpha_(13)cosalpha_(23).
(5)

The content of a parallelotope is equal to the product of the polar sine of a vertex angle and the edges meeting at that angle. If we identify V_i as the vertex angle of facet P_i of a parallelotope, we can substitute in Equation (1) and cancel out the edges to obtain

 sinV_0=(polsin^(n-1)V_0)/(product_(k=1)^(n)polsinV_k).
(6)

The polar sine is the same for all vertices of a parallelotope, and it is easily calculated from the plane angles between edges of the n-dimensional angle.

In two-dimensional space, the n-dimensional sine of the vertex of a triangle is the same as the sine of the vertex angle. In three-dimensional space, the n-dimensional sine of the vertex angle of a tetrahedron with face angles A, B, and C at that vertex is given by

 sinV_0=(sqrt(1-cos^2A-cos^2B-cos^2C+2cosAcosBcosC))/(sinAsinBsinC).
(7)

See also

Polar Sine, Sine

This entry contributed by Robert A. Russell

Explore with Wolfram|Alpha

References

Eriksson, F. "The Law of Sines for Tetrahedra and n-Simplices." Geom. Dedicata 7, 71-80, 1978.

Referenced on Wolfram|Alpha

Hypersine

Cite this as:

Russell, Robert A. "Hypersine." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Hypersine.html

Subject classifications