Polar sine

In geometry, the polar sine generalizes the sine function of angle to the vertex angle of a polytope. It is denoted by psin.

Definition

n vectors in n-dimensional space

The interpretations of 3d volumes for left: a parallelepiped (Ω in polar sine definition) and right: a cuboid (Π in definition). The interpretation is similar in higher dimensions.

Let v₁, ..., v_n, for n ≥ 2, be non-zero Euclidean vectors in n-dimensional space (ℝⁿ) that are directed from a vertex of a parallelotope, forming the edges of the parallelotope. The polar sine of the vertex angle is:

${\displaystyle \operatorname {psin} (\mathbf {v} _{1},\dots ,\mathbf {v} _{n})={\frac {\Omega }{\Pi }},}$

where the numerator is the determinant

${\displaystyle {\begin{aligned}\Omega &=\det {\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{n}\end{bmatrix}}={\begin{vmatrix}v_{11}&v_{21}&\cdots &v_{n1}\\v_{12}&v_{22}&\cdots &v_{n2}\\\vdots &\vdots &\ddots &\vdots \\v_{1n}&v_{2n}&\cdots &v_{nn}\\\end{vmatrix}}\end{aligned}}}$

equal to the hyper volume of the parallelotope with vector edges[1]

${\displaystyle {\begin{aligned}\mathbf {v} _{1}&=(v_{11},v_{12},\cdots v_{1n})^{T}\\\mathbf {v} _{2}&=(v_{21},v_{22},\cdots v_{2n})^{T}\\&\,\,\,\vdots \\\mathbf {v} _{n}&=(v_{n1},v_{n2},\cdots v_{nn})^{T}\\\end{aligned}}}$

and in the denominator the n-fold product

${\displaystyle \Pi =\prod _{i=1}^{n}\|\mathbf {v} _{i}\|}$

of the magnitudes ||v_i|| of the vectors equals the hypervolume of the n-dimensional hyperrectangle, with edges equal to the magnitudes of the vectors ||v₁||, ||v₂||, ... ||v_n|| (not the vectors themselves). Also see Ericksson.[2]

The parallelotope is like a "squashed hyperrectangle", so it has less hypervolume than the hyperrectangle, meaning (see image for the 3d case):

${\displaystyle \Omega \leq \Pi \Rightarrow {\frac {\Omega }{\Pi }}\leq 1}$

and since this ratio can be negative, psin is always bounded between −1 and +1 by the inequalities:

${\displaystyle -1\leq \operatorname {psin} (\mathbf {v} _{1},\dots ,\mathbf {v} _{n})\leq 1,\,}$

as for the ordinary sine, with either bound only being reached in case all vectors are mutually orthogonal.

In case n = 2, the polar sine is the ordinary sine of the angle between the two vectors.

n vectors in m-dimensional space for m ≥ n

A non-negative version of the polar sine exists, which works in any m-dimensional space for m ≥ n. In this case, the numerator in the definition is given as

${\displaystyle \Omega ={\sqrt {\det \left({\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{n}\end{bmatrix}}^{T}{\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{n}\end{bmatrix}}\right)}}\,,}$

where the superscript T indicates matrix transposition. In the case that m=n, the value of Ω for this non-negative definition of the polar sine is the absolute value of the Ω from the signed version of the polar sine given previously.

Properties

Interchange of vectors

If the dimension of the space is more than n then the polar sine is non-negative and is unchanged whenever two of the vectors v_j and v_k are interchanged. Otherwise, it changes sign whenever two vectors are interchanged - due to the antisymmetry of row-exchanging in the determinant:

${\displaystyle {\begin{aligned}\Omega &=\det {\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{i}&\cdots &\mathbf {v} _{j}&\cdots &\mathbf {v} _{n}\end{bmatrix}}\\&=-\det {\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{j}&\cdots &\mathbf {v} _{i}&\cdots &\mathbf {v} _{n}\end{bmatrix}}\\&=-\Omega \end{aligned}}}$

Invariance under scalar multiplication of vectors

The polar sine does not change if all of the vectors v₁, ..., v_n are multiplied by positive constants c_i, due to factorization:

${\displaystyle {\begin{aligned}\operatorname {psin} (c_{1}\mathbf {v} _{1},\dots ,c_{n}\mathbf {v} _{n})&={\frac {\det {\begin{bmatrix}c_{1}\mathbf {v} _{1}&c_{2}\mathbf {v} _{2}&\cdots &c_{n}\mathbf {v} _{n}\end{bmatrix}}}{\prod _{i=1}^{n}\|c_{i}\mathbf {v} _{i}\|}}\\[6pt]&={\frac {\prod _{i=1}^{n}c_{i}}{\prod _{i=1}^{n}|c_{i}|}}\cdot {\frac {\det {\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{n}\end{bmatrix}}}{\prod _{i=1}^{n}\|\mathbf {v} _{i}\|}}\\[6pt]&=\operatorname {psin} (\mathbf {v} _{1},\dots ,\mathbf {v} _{n})\end{aligned}}}$

If an odd number of these constants are instead negative, then the sign of the polar sine will change; however, its absolute value will remain unchanged.

Vanishes with linear dependences

If the vectors are not linearly independent, the polar sine will be zero. This will always be so in the degenerate case that the number of dimensions m is strictly less than the number of vectors n.

History

Polar sines were investigated by Euler in the 18th century.[3]

See also

• Trigonometric functions
• List of trigonometric identities
• Solid angle
• Simplex
• Law of sines
• Cross product and Seven-dimensional cross product
• Graded algebra
• Exterior derivative
• Differential geometry
• Volume integral
• Measure (mathematics)
• Product integral

References

1. Lerman, Gilad; Whitehouse, J. Tyler (2009). "On d-dimensional d-semimetrics and simplex-type inequalities for high-dimensional sine functions". Journal of Approximation Theory. 156: 52–81. arXiv:0805.1430. doi:10.1016/j.jat.2008.03.005.
2. Eriksson, F (1978). "The Law of Sines for Tetrahedra and n-Simplices". Geometriae Dedicata. 7: 71–80. doi:10.1007/bf00181352.
3. Euler, Leonhard. "De mensura angulorum solidorum". Leonhardi Euleri Opera Omnia. 26: 204–223.

External links

• Weisstein, Eric W. "Polar Sine". MathWorld.