TOPICS
Search

Generalized Law of Sines


The generalized law of sines applies to a simplex in space of any dimension with constant Gaussian curvature. Let us work up to that. Initially in two-dimensional space, we define a generalized sine function for a one-dimensional simplex (line segment) with content (length) S in space of constant Gaussian curvature K as

 gsinS=S-(KS^3)/(3!)+(K^2S^5)/(5!)-(K^3S^7)/(7!)+(K^4S^9)/(9!)-(K^5S^(11))/(11!)+....
(1)

For particular values of K, we have

 gsinS={sum_(n=0)^(infty)((-1)^nS^(2n+1))/((2n+1)!)   if K=1; sum_(n=0)^(infty)((-K)^nS^(2n+1))/((2n+1)!)   if K>0; S+sum_(n=1)^(infty)0   if K=0; sum_(n=0)^(infty)((-K)^nS^(2n+1))/((2n+1)!)   if K<0; sum_(n=0)^(infty)(S^(2n+1))/((2n+1)!)   if K=-1,
(2)

giving

 gsinS={sinS   if K=1; (sinSsqrt(K))/(sqrt(K))   if K>0; S   if K=0; (sinhSsqrt(-K))/(sqrt(-K))   if K<0; sinhS   if K=-1.
(3)

Thus in elliptic space (K=1), the function is the sine function; in Euclidean space (K=0), the function is simply the content itself; and in hyperbolic space (K=-1), the function is the hyperbolic sine function. Thus for a two-dimensional simplex DeltaABC with edges of length a, b, and c, we can express the law of sines for space with any constant Gaussian curvature as

 (sinA)/(gsina)=(sinB)/(gsinb)=(sinC)/(gsinc).
(4)

For Euclidean space (K=0), equation (4) specializes to

 (sinA)/a=(sinB)/b=(sinC)/c.
(5)

For the elliptic plane or the unit sphere (K=1), equation (4) specializes to

 (sinA)/(sina)=(sinB)/(sinb)=(sinC)/(sinc).
(6)

For the hyperbolic plane (K=-1), equation (4) specializes to

 (sinA)/(sinha)=(sinB)/(sinhb)=(sinC)/(sinhc).
(7)

Our generalization for the two-dimensional law of sines is not complete, however, because we have not defined what the ratio is equal to, and that requires that we define a generalized sine function for a two-dimensional simplex.

Suppose that S is a two-dimensional simplex (triangle) in space of constant Gaussian curvature K, and that we have defined the generalized sine function for such a simplex, gsinS. Let the vertices of S be labeled V_i and the opposing edges S_i. Then the generalized law of sines is expressed as

 (sinV_i)/(gsinS_i)=(gsinS)/(gsinS_0gsinS_1gsinS_2).
(8)

This equation can be used to calculate gsinS; its value is

 gsinS=(sinV_igsinS_0gsinS_1gsinS_2)/(gsinS_i),
(9)

where the denominator on the right will cancel with one of the factors of the numerator.

For an n-dimensional simplex S in space of constant Gaussian curvature K with vertex V_i opposite facet S_i, the law of sines may be expressed as

 (sinV_i)/(gsinS_i)=(gsin^(n-1)S)/(product_(k=0)^(n)gsinS_k),
(10)

where sinV_i is the n-dimensional sine of the vertex angle of the simplex at vertex V_i, and gsinS is defined as

 gsinS=lim_(K->K)(polsinS)/(K^(n/2))=lim_(K->K)(polsinhS)/((-K)^(n/2)).
(11)

For a right simplex, the sine of the right angle is one, so that the sine of any vertex angle of a right simplex is the ratio of the generalized sine function of the opposite facet to the generalized sine function of the facet opposite the right angle.

In elliptic space (K=1), the generalized sine function is the polar sine of the simplex. In Euclidean space (K=0), the function is n! times the content of an n-dimensional simplex. In hyperbolic space (K=-1), the function is the hyperbolic polar sine of the simplex.

Thus, we can specialize equation (10) for elliptic space (K=1) to

 (sinV_i)/(polsinS_i)=(polsin^(n-1)S)/(product_(k=0)^(n)polsinS_k).
(12)

We can specialize equation (10) for Euclidean space (K=0) to

 (sinV_i)/((n-1)!S_i)=((n!S)^(n-1))/(product_(k=0)^(n)(n-1)!S_k).
(13)

Finally, we can specialize equation (10) for hyperbolic space (K=-1) to

 (sinV_i)/(polsinhS_i)=(polsinh^(n-1)S)/(product_(k=0)^(n)polsinhS_k).
(14)

See also

Law of Sines

This entry contributed by Robert A. Russell

Explore with Wolfram|Alpha

References

Coxeter, H. S. M. "Euclidean Geometry as a Limiting Case." §10.9 in Non-Euclidean Geometry, 6th ed. Washington, DC: Math. Assoc. Amer., pp. 211-212, 1988.

Referenced on Wolfram|Alpha

Generalized Law of Sines

Cite this as:

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

Subject classifications