Law of sines

Last updated
Law of Sines
Law of sines in plane trigonometry-20201220.svg
Figure 1, With circumcircle
Law of sines (simple).svg
Figure 2, Without circumcircle
Two triangles labelled with the components of the law of sines. α, β and γ are the angles associated with the vertices at capital A, B, and C, respectively. Lower-case a, b, and c are the lengths of the sides opposite them. (a is opposite α, etc.)

In trigonometry, the law of sines, sine law, sine formula, or sine rule is an equation relating the lengths of the sides of any triangle to the sines of its angles. According to the law,

Contents

where a, b, and c are the lengths of the sides of a triangle, and α, β, and γ are the opposite angles (see figure 2), while R is the radius of the triangle's circumcircle. When the last part of the equation is not used, the law is sometimes stated using the reciprocals;

The law of sines can be used to compute the remaining sides of a triangle when two angles and a side are known—a technique known as triangulation. It can also be used when two sides and one of the non-enclosed angles are known. In some such cases, the triangle is not uniquely determined by this data (called the ambiguous case) and the technique gives two possible values for the enclosed angle.

The law of sines is one of two trigonometric equations commonly applied to find lengths and angles in scalene triangles, with the other being the law of cosines.

The law of sines can be generalized to higher dimensions on surfaces with constant curvature. [1]

History

H.J.J. Wilson's book Eastern Science [2] states that the 7th century Indian mathematician Brahmagupta describes what we now know as the law of sines in his astronomical treatise Brāhmasphuṭasiddhānta. In his partial translation of this work, Colebrooke [3] translates Brahmagupta's statement of the sine rule as: The product of the two sides of a triangle, divided by twice the perpendicular, is the central line; and the double of this is the diameter of the central line.

According to Ubiratàn D'Ambrosio and Helaine Selin, the spherical law of sines was discovered in the 10th century. It is variously attributed to Abu-Mahmud Khojandi, Abu al-Wafa' Buzjani, Nasir al-Din al-Tusi and Abu Nasr Mansur. [4]

Ibn Muʿādh al-Jayyānī's The book of unknown arcs of a sphere in the 11th century contains the spherical law of sines. [5] The plane law of sines was later stated in the 13th century by Nasīr al-Dīn al-Tūsī. In his On the Sector Figure, he stated the law of sines for plane and spherical triangles, and provided proofs for this law. [6]

According to Glen Van Brummelen, "The Law of Sines is really Regiomontanus's foundation for his solutions of right-angled triangles in Book IV, and these solutions are in turn the bases for his solutions of general triangles." [7] Regiomontanus was a 15th-century German mathematician.

Proof

With the side of length a as the base, the triangle's altitude can be computed as b sin γ or as c sin β. Equating these two expressions gives

and similar equations arise by choosing the side of length b or the side of length c as the base of the triangle.

The ambiguous case of triangle solution

When using the law of sines to find a side of a triangle, an ambiguous case occurs when two separate triangles can be constructed from the data provided (i.e., there are two different possible solutions to the triangle). In the case shown below they are triangles ABC and ABC′.

PictureAmbitext (Greek angles).svg

Given a general triangle, the following conditions would need to be fulfilled for the case to be ambiguous:

If all the above conditions are true, then each of angles β and β′ produces a valid triangle, meaning that both of the following are true:

From there we can find the corresponding β and b or β′ and b′ if required, where b is the side bounded by vertices A and C and b′ is bounded by A and C′.

Examples

The following are examples of how to solve a problem using the law of sines.

Example 1

Example 1 Law of sines (example 01).svg
Example 1

Given: side a = 20, side c = 24, and angle γ = 40°. Angle α is desired.

Using the law of sines, we conclude that

Note that the potential solution α = 147.61° is excluded because that would necessarily give α + β + γ > 180°.

Example 2

Example 2 Law of sines (example 02).svg
Example 2

If the lengths of two sides of the triangle a and b are equal to x, the third side has length c, and the angles opposite the sides of lengths a, b, and c are α, β, and γ respectively then

Relation to the circumcircle

In the identity

the common value of the three fractions is actually the diameter of the triangle's circumcircle. This result dates back to Ptolemy. [8] [9]

Deriving the ratio of the sine law equal to the circumscribing diameter. Note that triangle ADB passes through the center of the circumscribing circle with diameter d. Sinelaw radius (Greek angles).svg
Deriving the ratio of the sine law equal to the circumscribing diameter. Note that triangle ADB passes through the center of the circumscribing circle with diameter d.

Proof

As shown in the figure, let there be a circle with inscribed and another inscribed that passes through the circle's center O. The has a central angle of and thus , by Thales's theorem. Since is a right triangle,

where is the radius of the circumscribing circle of the triangle. [9] Angles and have the same central angle thus they are the same, by the inscribed angle theorem: . Therefore,

Rearranging yields

Repeating the process of creating with other points gives

Relationship to the area of the triangle

The area of a triangle is given by , where is the angle enclosed by the sides of lengths a and b. Substituting the sine law into this equation gives

Taking as the circumscribing radius, [10]

It can also be shown that this equality implies

where T is the area of the triangle and s is the semiperimeter

The second equality above readily simplifies to Heron's formula for the area.

The sine rule can also be used in deriving the following formula for the triangle's area: denoting the semi-sum of the angles' sines as , we have [11]

where is the radius of the circumcircle: .

The spherical law of sines

The spherical law of sines deals with triangles on a sphere, whose sides are arcs of great circles.

Suppose the radius of the sphere is 1. Let a, b, and c be the lengths of the great-arcs that are the sides of the triangle. Because it is a unit sphere, a, b, and c are the angles at the center of the sphere subtended by those arcs, in radians. Let A, B, and C be the angles opposite those respective sides. These are dihedral angles between the planes of the three great circles.

Then the spherical law of sines says:

Spherical trigonometry vectors.svg

Vector proof

Consider a unit sphere with three unit vectors OA, OB and OC drawn from the origin to the vertices of the triangle. Thus the angles α, β, and γ are the angles a, b, and c, respectively. The arc BC subtends an angle of magnitude a at the centre. Introduce a Cartesian basis with OA along the z-axis and OB in the xz-plane making an angle c with the z-axis. The vector OC projects to ON in the xy-plane and the angle between ON and the x-axis is A. Therefore, the three vectors have components:

The scalar triple product, OA ⋅ (OB × OC) is the volume of the parallelepiped formed by the position vectors of the vertices of the spherical triangle OA, OB and OC. This volume is invariant to the specific coordinate system used to represent OA, OB and OC. The value of the scalar triple product OA ⋅ (OB × OC) is the 3 × 3 determinant with OA, OB and OC as its rows. With the z-axis along OA the square of this determinant is

Repeating this calculation with the z-axis along OB gives (sin c sin a sin B)2, while with the z-axis along OC it is (sin a sin b sin C)2. Equating these expressions and dividing throughout by (sin a sin b sin c)2 gives

where V is the volume of the parallelepiped formed by the position vector of the vertices of the spherical triangle. Consequently, the result follows.

It is easy to see how for small spherical triangles, when the radius of the sphere is much greater than the sides of the triangle, this formula becomes the planar formula at the limit, since

and the same for sin b and sin c.

Sine law spherical small.svg

Geometric proof

Consider a unit sphere with:

Construct point and point such that

Construct point such that

It can therefore be seen that and

Notice that is the projection of on plane . Therefore

By basic trigonometry, we have:

But

Combining them we have:

By applying similar reasoning, we obtain the spherical law of sine:

Other proofs

A purely algebraic proof can be constructed from the spherical law of cosines. From the identity and the explicit expression for from the spherical law of cosines

Since the right hand side is invariant under a cyclic permutation of the spherical sine rule follows immediately.

The figure used in the Geometric proof above is used by and also provided in Banerjee [12] (see Figure 3 in this paper) to derive the sine law using elementary linear algebra and projection matrices.

Hyperbolic case

In hyperbolic geometry when the curvature is −1, the law of sines becomes

In the special case when B is a right angle, one gets

which is the analog of the formula in Euclidean geometry expressing the sine of an angle as the opposite side divided by the hypotenuse.

The case of surfaces of constant curvature

Define a generalized sine function, depending also on a real parameter K:

The law of sines in constant curvature K reads as [1]

By substituting K = 0, K = 1, and K = −1, one obtains respectively the Euclidean, spherical, and hyperbolic cases of the law of sines described above.

Let pK(r) indicate the circumference of a circle of radius r in a space of constant curvature K. Then pK(r) = 2π sinKr. Therefore, the law of sines can also be expressed as:

This formulation was discovered by János Bolyai. [13]

Higher dimensions

A tetrahedron has four triangular facets. The absolute value of the polar sine (psin) of the normal vectors to the three facets that share a vertex of the tetrahedron, divided by the area of the fourth facet will not depend upon the choice of the vertex: [14]

More generally, for an n-dimensional simplex (i.e., triangle (n = 2), tetrahedron (n = 3), pentatope (n = 4), etc.) in n-dimensional Euclidean space, the absolute value of the polar sine of the normal vectors of the facets that meet at a vertex, divided by the hyperarea of the facet opposite the vertex is independent of the choice of the vertex. Writing V for the hypervolume of the n-dimensional simplex and P for the product of the hyperareas of its (n − 1)-dimensional facets, the common ratio is

See also

Related Research Articles

<span class="mw-page-title-main">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.

Unit quaternions, known as versors, provide a convenient mathematical notation for representing spatial orientations and rotations of elements in three dimensional space. Specifically, they encode information about an axis-angle rotation about an arbitrary axis. Rotation and orientation quaternions have applications in computer graphics, computer vision, robotics, navigation, molecular dynamics, flight dynamics, orbital mechanics of satellites, and crystallographic texture analysis.

<span class="mw-page-title-main">Law of tangents</span> Relates tangents of two angles of a triangle and the lengths of the opposing sides

In trigonometry, the law of tangents or tangent rule is a statement about the relationship between the tangents of two angles of a triangle and the lengths of the opposing sides.

<span class="mw-page-title-main">Morley's trisector theorem</span> 3 intersections of any triangles adjacent angle trisectors form an equilateral triangle

In plane geometry, Morley's trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the first Morley triangle or simply the Morley triangle. The theorem was discovered in 1899 by Anglo-American mathematician Frank Morley. It has various generalizations; in particular, if all the trisectors are intersected, one obtains four other equilateral triangles.

In rotordynamics, the rigid rotor is a mechanical model of rotating systems. An arbitrary rigid rotor is a 3-dimensional rigid object, such as a top. To orient such an object in space requires three angles, known as Euler angles. A special rigid rotor is the linear rotor requiring only two angles to describe, for example of a diatomic molecule. More general molecules are 3-dimensional, such as water, ammonia, or methane.

<span class="mw-page-title-main">Hyperbolic triangle</span> Triangle in hyperbolic geometry

In hyperbolic geometry, a hyperbolic triangle is a triangle in the hyperbolic plane. It consists of three line segments called sides or edges and three points called angles or vertices.

<span class="mw-page-title-main">Ptolemy's theorem</span> Relates the 4 sides and 2 diagonals of a quadrilateral with vertices on a common circle

In Euclidean geometry, Ptolemy's theorem is a relation between the four sides and two diagonals of a cyclic quadrilateral. The theorem is named after the Greek astronomer and mathematician Ptolemy. Ptolemy used the theorem as an aid to creating his table of chords, a trigonometric table that he applied to astronomy.

In geometry, the circumscribed circle or circumcircle of a triangle is a circle that passes through all three vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumradius. The circumcenter is the point of intersection between the three perpendicular bisectors of the triangle's sides, and is a triangle center.

<span class="mw-page-title-main">Sine and cosine</span> Fundamental trigonometric functions

In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle, and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted simply as and .

The Wigner D-matrix is a unitary matrix in an irreducible representation of the groups SU(2) and SO(3). It was introduced in 1927 by Eugene Wigner, and plays a fundamental role in the quantum mechanical theory of angular momentum. The complex conjugate of the D-matrix is an eigenfunction of the Hamiltonian of spherical and symmetric rigid rotors. The letter D stands for Darstellung, which means "representation" in German.

<span class="mw-page-title-main">Biarc</span>

A biarc is a smooth curve formed from two circular arcs. In order to make the biarc smooth, the two arcs should have the same tangent at the connecting point where they meet.

Morrie's law is a special trigonometric identity. Its name is due to the physicist Richard Feynman, who used to refer to the identity under that name. Feynman picked that name because he learned it during his childhood from a boy with the name Morrie Jacobs and afterwards remembered it for all of his life.

<span class="mw-page-title-main">Law of cosines</span> Property of all triangles on a Euclidean plane

In trigonometry, the law of cosines relates the lengths of the sides of a triangle to the cosine of one of its angles. For a triangle with sides and opposite respective angles and , the law of cosines states:

In hyperbolic geometry, the "law of cosines" is a pair of theorems relating the sides and angles of triangles on a hyperbolic plane, analogous to the planar law of cosines from plane trigonometry, or the spherical law of cosines in spherical trigonometry. It can also be related to the relativistic velocity addition formula.

<span class="mw-page-title-main">Mollweide's formula</span> Relation between sides and angles of a triangle

In trigonometry, Mollweide's formula is a pair of relationships between sides and angles in a triangle.

Solution of triangles is the main trigonometric problem of finding the characteristics of a triangle, when some of these are known. The triangle can be located on a plane or on a sphere. Applications requiring triangle solutions include geodesy, astronomy, construction, and navigation.

<span class="mw-page-title-main">Pythagorean theorem</span> Relation between sides of a right triangle

In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides.

<span class="mw-page-title-main">Law of cotangents</span> Trigonometric identity relating the sides and angles of a triangle

In trigonometry, the law of cotangents is a relationship among the lengths of the sides of a triangle and the cotangents of the halves of the three angles.

References

  1. 1 2 "Generalized law of sines". mathworld.
  2. Wilson, H.J.J., Eastern Science, John Murray Publishers, 1952, p46.
  3. Colebrooke, Henry Thomas, Algebra, with Arithmetic and Mensuration from the Sanscrit of Brahmegupta and Bhascara, London John Murray, 1817, pp. 299-300, URL: https://archive.org/details/algebrawitharith00brahuoft/page/298/mode/2up
  4. Sesiano just lists al-Wafa as a contributor. Sesiano, Jacques (2000) "Islamic mathematics" pp. 137–157, in Selin, Helaine; D'Ambrosio, Ubiratan (2000), Mathematics Across Cultures: The History of Non-western Mathematics, Springer, ISBN   1-4020-0260-2
  5. O'Connor, John J.; Robertson, Edmund F., "Abu Abd Allah Muhammad ibn Muadh Al-Jayyani", MacTutor History of Mathematics Archive , University of St Andrews
  6. Berggren, J. Lennart (2007). "Mathematics in Medieval Islam". The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook. Princeton University Press. p. 518. ISBN   978-0-691-11485-9.
  7. Glen Van Brummelen (2009). " The mathematics of the heavens and the earth: the early history of trigonometry ". Princeton University Press. p.259. ISBN   0-691-12973-8
  8. Coxeter, H. S. M. and Greitzer, S. L. Geometry Revisited. Washington, DC: Math. Assoc. Amer., pp. 1–3, 1967
  9. 1 2 "Law of Sines". www.pballew.net. Retrieved 2018-09-18.
  10. Mr. T's Math Videos (2015-06-10), Area of a Triangle and Radius of its Circumscribed Circle, archived from the original on 2021-12-11, retrieved 2018-09-18
  11. Mitchell, Douglas W., "A Heron-type area formula in terms of sines," Mathematical Gazette 93, March 2009, 108–109.
  12. Banerjee, Sudipto (2004), "Revisiting Spherical Trigonometry with Orthogonal Projectors" (PDF), The College Mathematics Journal, Mathematical Association of America, 35 (5): 375–381, doi:10.1080/07468342.2004.11922099
  13. Katok, Svetlana (1992). Fuchsian groups . Chicago: University of Chicago Press. p.  22. ISBN   0-226-42583-5.
  14. Eriksson, Folke (1978). "The law of sines for tetrahedra and n-simplices". Geometriae Dedicata. 7 (1): 71–80. doi:10.1007/bf00181352.