HOME

TheInfoList



OR:

In
trigonometry Trigonometry () is a branch of mathematics that studies relationships between side lengths and angles of triangles. The field emerged in the Hellenistic world during the 3rd century BC from applications of geometry to astronomical studies. T ...
, the law of sines, sine law, sine formula, or sine rule is an
equation In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in ...
relating the
lengths Length is a measure of distance. In the International System of Quantities, length is a quantity with dimension distance. In most systems of measurement a base unit for length is chosen, from which all other units are derived. In the Intern ...
of the sides of any
triangle A triangle is a polygon with three Edge (geometry), edges and three Vertex (geometry), vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC. In Euclidean geometry, an ...
to the
sine 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 oppo ...
s of its angles. According to the law, \frac \,=\, \frac \,=\, \frac \,=\, 2R, where , and are the lengths of the sides of a triangle, and , and are the opposite angles (see figure 2), while is the
radius In classical geometry, a radius ( : radii) of a circle or sphere is any of the line segments from its center to its perimeter, and in more modern usage, it is also their length. The name comes from the latin ''radius'', meaning ray but also the ...
of the triangle's
circumcircle In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every polyg ...
. When the last part of the equation is not used, the law is sometimes stated using the reciprocals; \frac \,=\, \frac \,=\, \frac. 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 In trigonometry and geometry, triangulation is the process of determining the location of a point by forming triangles to the point from known points. Applications In surveying Specifically in surveying, triangulation involves only angle me ...
. 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 In trigonometry, the law of cosines (also known as the cosine formula, cosine rule, or al-Kashi's theorem) relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states ...
. The law of sines can be generalized to higher dimensions on surfaces with constant curvature.


History

According to
Ubiratàn D'Ambrosio Ubiratan D'Ambrosio (December 8, 1932 – May 12, 2021) was a Brazilian mathematics educator and historian of mathematics. Life D'Ambrosio was born in São Paulo, and earned his doctorate from the University of São Paulo in 1963. He retired as ...
and
Helaine Selin Helaine Selin (born 1946) is an American librarian, historian of science, author and the editor of several bestselling books. Career Selin attended Binghamton University, where she earned her bachelor's degree. She received her MLS from SUNY Alb ...
, the spherical law of sines was discovered in the 10th century. It is variously attributed to
Abu-Mahmud Khojandi Abu Mahmud Hamid ibn al-Khidr al-Khojandi (known as Abu Mahmood Khojandi, Alkhujandi or al-Khujandi, Persian: ابومحمود خجندی, c. 940 - 1000) was a Muslim Transoxanian astronomer and mathematician born in Khujand (now part of Tajikista ...
,
Abu al-Wafa' Buzjani Abū al-Wafāʾ, Muḥammad ibn Muḥammad ibn Yaḥyā ibn Ismāʿīl ibn al-ʿAbbās al-Būzjānī or Abū al-Wafā Būzhjānī ( fa, ابوالوفا بوزجانی or بوژگانی) (10 June 940 – 15 July 998) was a Persian mathematician ...
,
Nasir al-Din al-Tusi Muhammad ibn Muhammad ibn al-Hasan al-Tūsī ( fa, محمد ابن محمد ابن حسن طوسی 18 February 1201 – 26 June 1274), better known as Nasir al-Din al-Tusi ( fa, نصیر الدین طوسی, links=no; or simply Tusi in the West ...
and
Abu Nasr Mansur Abu Nasri Mansur ibn Ali ibn Iraq ( fa, أبو نصر منصور بن علی بن عراق; c. 960 – 1036) was a Persian Muslim mathematician and astronomer. He is well known for his work with the spherical sine law.Bijli suggests that three m ...
.Sesiano just lists al-Wafa as a contributor. Sesiano, Jacques (2000) "Islamic mathematics" pp. 137–157, in
Ibn Muʿādh al-Jayyānī Abū ʿAbd Allāh Muḥammad ibn Muʿādh al-Jayyānī ( ar, أبو عبد الله محمد بن معاذ الجياني; 989, Cordova, Al-Andalus – 1079, Jaén, Al-Andalus) was an Arab, mathematician, Islamic scholar, and Qadi from Al-Andal ...
's ''The book of unknown arcs of a sphere'' in the 11th century contains the general law of sines. The plane law of sines was later stated in the 13th century by
Nasīr al-Dīn al-Tūsī Muhammad ibn Muhammad ibn al-Hasan al-Tūsī ( fa, محمد ابن محمد ابن حسن طوسی 18 February 1201 – 26 June 1274), better known as Nasir al-Din al-Tusi ( fa, نصیر الدین طوسی, links=no; or simply Tusi in the West ...
. In his ''On the Sector Figure'', he stated the law of sines for plane and spherical triangles, and provided proofs for this law. According to
Glen Van Brummelen Glen Robert Van Brummelen (born May 20th, 1965) is a Canadians, Canadian historian of mathematics specializing in historical applications of mathematics to astronomy. In his words, he is the “best trigonometry historian, and the worst trigonometr ...
, "The Law of Sines is really
Regiomontanus Johannes Müller von Königsberg (6 June 1436 – 6 July 1476), better known as Regiomontanus (), was a mathematician, astrologer and astronomer of the German Renaissance, active in Vienna, Buda and Nuremberg. His contributions were instrumental ...
'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." Regiomontanus was a 15th-century German mathematician.


Proof

The area of any triangle can be written as one half of its base times its height. Selecting one side of the triangle as the base, the height of the triangle relative to that base is computed as the length of another side times the sine of the angle between the chosen side and the base. Thus depending on the selection of the base, the area of the triangle can be written as any of: T = \frac b \left(c \sin\right) = \frac c \left(a \sin\right) = \frac a \left(b \sin\right). Multiplying these by gives \frac = \frac = \frac = \frac\,.


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 and . : Given a general triangle, the following conditions would need to be fulfilled for the case to be ambiguous: * The only information known about the triangle is the angle and the sides and . * The angle is
acute Acute may refer to: Science and technology * Acute angle ** Acute triangle ** Acute, a leaf shape in the glossary of leaf morphology * Acute (medicine), a disease that it is of short duration and of recent onset. ** Acute toxicity, the adverse eff ...
(i.e., < 90°). * The side is shorter than the side (i.e., ). * The side is longer than the altitude from angle , where (i.e., ). If all the above conditions are true, then each of angles and produces a valid triangle, meaning that both of the following are true: ' = \arcsin\frac \quad \text \quad = \pi - \arcsin\frac. From there we can find the corresponding and or and if required, where is the side bounded by vertices and and is bounded by and .


Examples

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


Example 1

Given: side , side , and angle . Angle is desired. Using the law of sines, we conclude that \frac = \frac. \alpha = \arcsin\left( \frac \right) \approx 32.39^\circ. Note that the potential solution is excluded because that would necessarily give .


Example 2

If the lengths of two sides of the triangle and are equal to , the third side has length , and the angles opposite the sides of lengths , , and are , , and respectively then \begin & \alpha = \beta = \frac= 90^\circ-\frac \\ pt& \sin \alpha = \sin \beta = \sin \left(90^\circ-\frac\right) = \cos \left(\frac\right) \\ pt& \frac=\frac=\frac \\ pt& \frac = x \end


Relation to the circumcircle

In the identity \frac = \frac = \frac, the common value of the three fractions is actually the
diameter In geometry, a diameter of a circle is any straight line segment that passes through the center of the circle and whose endpoints lie on the circle. It can also be defined as the longest chord of the circle. Both definitions are also valid for ...
of the triangle's
circumcircle In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every polyg ...
. This result dates back to
Ptolemy Claudius Ptolemy (; grc-gre, Πτολεμαῖος, ; la, Claudius Ptolemaeus; AD) was a mathematician, astronomer, astrologer, geographer, and music theorist, who wrote about a dozen scientific treatises, three of which were of importanc ...
.


Proof

As shown in the figure, let there be a circle with inscribed \triangle ABC and another inscribed \triangle ADB that passes through the circle's center O. The \angle AOD has a
central angle A central angle is an angle whose apex (vertex) is the center O of a circle and whose legs (sides) are radii intersecting the circle in two distinct points A and B. Central angles are subtended by an arc between those two points, and the arc le ...
of 180^\circ and thus \angle ABD = 90^\circ. Since \triangle ABD is a right triangle, \sin= \frac= \frac, where R= \frac is the radius of the circumscribing circle of the triangle. Angles and have the same
central angle A central angle is an angle whose apex (vertex) is the center O of a circle and whose legs (sides) are radii intersecting the circle in two distinct points A and B. Central angles are subtended by an arc between those two points, and the arc le ...
thus they are the same: = . Therefore, \sin = \sin = \frac. Rearranging yields 2R = \frac. Repeating the process of creating \triangle ADB with other points gives


Relationship to the area of the triangle

The area of a triangle is given by T = \fracab \sin \theta, where \theta is the angle enclosed by the sides of lengths and . Substituting the sine law into this equation gives T=\fracab \cdot \frac . Taking R as the circumscribing radius, It can also be shown that this equality implies \begin \frac & = \frac \\ pt& = \frac , \end where is the area of the triangle and is the
semiperimeter In geometry, the semiperimeter of a polygon is half its perimeter. Although it has such a simple derivation from the perimeter, the semiperimeter appears frequently enough in formulas for triangles and other figures that it is given a separate name ...
s = \frac. The second equality above readily simplifies to
Heron's formula In geometry, Heron's formula (or Hero's formula) gives the area of a triangle in terms of the three side lengths , , . If s = \tfrac12(a + b + c) is the semiperimeter of the triangle, the area is, :A = \sqrt. It is named after first-century ...
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 S =\frac , we have where R is the radius of the circumcircle: 2R = \frac = \frac = \frac.


The spherical law of sines

The spherical law of sines deals with triangles on a sphere, whose sides are arcs of
great circle In mathematics, a great circle or orthodrome is the circular intersection of a sphere and a plane passing through the sphere's center point. Any arc of a great circle is a geodesic of the sphere, so that great circles in spherical geomet ...
s. Suppose the radius of the sphere is 1. Let , , and be the lengths of the great-arcs that are the sides of the triangle. Because it is a unit sphere, , , and are the angles at the center of the sphere subtended by those arcs, in radians. Let , , and be the angles opposite those respective sides. These are
dihedral angle A dihedral angle is the angle between two intersecting planes or half-planes. In chemistry, it is the clockwise angle between half-planes through two sets of three atoms, having two atoms in common. In solid geometry, it is defined as the uni ...
s between the planes of the three great circles. Then the spherical law of sines says: \frac = \frac = \frac.


Vector proof

Consider a unit sphere with three unit vectors , and drawn from the origin to the vertices of the triangle. Thus the angles , , and are the angles , , and , respectively. The arc subtends an angle of magnitude at the centre. Introduce a Cartesian basis with along the -axis and in the -plane making an angle with the -axis. The vector projects to in the -plane and the angle between and the -axis is . Therefore, the three vectors have components: \mathbf = \begin0 \\ 0 \\ 1\end, \quad \mathbf = \begin\sin c \\ 0 \\ \cos c\end, \quad \mathbf = \begin\sin b\cos A \\ \sin b\sin A \\ \cos b\end. The
scalar triple product In geometry and algebra, the triple product is a product of three 3-dimensional vectors, usually Euclidean vectors. The name "triple product" is used for two different products, the scalar-valued scalar triple product and, less often, the vector- ...
, is the volume of the
parallelepiped In geometry, a parallelepiped is a three-dimensional figure formed by six parallelograms (the term ''rhomboid'' is also sometimes used with this meaning). By analogy, it relates to a parallelogram just as a cube relates to a square. In Euclidea ...
formed by the position vectors of the vertices of the spherical triangle , and . This volume is invariant to the specific coordinate system used to represent , and . The value of the
scalar triple product In geometry and algebra, the triple product is a product of three 3-dimensional vectors, usually Euclidean vectors. The name "triple product" is used for two different products, the scalar-valued scalar triple product and, less often, the vector- ...
is the determinant with , and as its rows. With the -axis along the square of this determinant is \begin \bigl(\mathbf \cdot (\mathbf \times \mathbf)\bigr)^2 & = \left(\det \begin\mathbf & \mathbf & \mathbf\end\right)^2 \\ pt& = \begin 0 & 0 & 1 \\ \sin c & 0 & \cos c \\ \sin b \cos A & \sin b \sin A & \cos b \end ^2 = \left(\sin b \sin c \sin A\right)^2. \end Repeating this calculation with the -axis along gives , while with the -axis along it is . Equating these expressions and dividing throughout by gives \frac = \frac = \frac = \frac, where is the volume of the
parallelepiped In geometry, a parallelepiped is a three-dimensional figure formed by six parallelograms (the term ''rhomboid'' is also sometimes used with this meaning). By analogy, it relates to a parallelogram just as a cube relates to a square. In Euclidea ...
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 \lim_ \frac = 1 and the same for and .


Geometric proof

Consider a unit sphere with: OA = OB = OC = 1 Construct point D and point E such that \angle ADO = \angle AEO = 90^\circ Construct point A' such that \angle A'DO = \angle A'EO = 90^\circ It can therefore be seen that \angle ADA' = B and \angle AEA' = C Notice that A' is the projection of A on plane OBC. Therefore \angle AA'D = \angle AA'E = 90^\circ By basic trigonometry, we have: AD = \sin c AE = \sin b But AA' = AD \sin B = AE \sin C Combining them we have: \sin c \sin B = \sin b \sin C \frac =\frac By applying similar reasoning, we obtain the spherical law of sine: \frac =\frac =\frac


Other proofs

A purely algebraic proof can be constructed from the
spherical law of cosines In spherical trigonometry, the law of cosines (also called the cosine rule for sides) is a theorem relating the sides and angles of spherical triangles, analogous to the ordinary law of cosines from plane trigonometry. Given a unit sphere, a "sphe ...
. From the identity \sin^2 A = 1 - \cos^2 A and the explicit expression for \cos A from the spherical law of cosines \begin \sin^2\!A &= 1-\left(\frac\right)^2\\ &=\frac \\ pt \frac &= \frac. \end Since the right hand side is invariant under a cyclic permutation of a,\;b,\;c the spherical sine rule follows immediately. The figure used in the Geometric proof above is used by and also provided in Banerjee (see Figure 3 in this paper) to derive the sine law using elementary linear algebra and projection matrices.


Hyperbolic case

In
hyperbolic geometry In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai– Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' ...
when the curvature is −1, the law of sines becomes \frac = \frac = \frac \,. In the special case when is a right angle, one gets \sin C = \frac 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 : \sin_K x = x - \frac + \frac - \frac + \cdots. The law of sines in constant curvature reads as \frac = \frac = \frac \,. By substituting , , and , one obtains respectively the Euclidean, spherical, and hyperbolic cases of the law of sines described above. Let indicate the circumference of a circle of radius in a space of constant curvature . Then . Therefore, the law of sines can also be expressed as: \frac = \frac = \frac \,. This formulation was discovered by
János Bolyai János Bolyai (; 15 December 1802 – 27 January 1860) or Johann Bolyai, was a Hungarian mathematician, who developed absolute geometry—a geometry that includes both Euclidean geometry and hyperbolic geometry. The discovery of a consisten ...
.


Higher dimensions

For an -dimensional
simplex In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
(i.e.,
triangle A triangle is a polygon with three Edge (geometry), edges and three Vertex (geometry), vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC. In Euclidean geometry, an ...
(),
tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
(),
pentatope In geometry, the 5-cell is the convex 4-polytope with Schläfli symbol . It is a 5-vertex four-dimensional object bounded by five tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid, or tetrahedral pyramid. It is ...
(), etc.) in -dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
, the
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
of the
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 Let v1, ..., v''n'' (''n'' ≥ 2) be non-zero ...
() of the
normal vector In geometry, a normal is an object such as a line, ray, or vector that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the (infinite) line perpendicular to the tangent line to the curve at ...
s of the
facet Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s that meet at a
vertex Vertex, vertices or vertexes may refer to: Science and technology Mathematics and computer science *Vertex (geometry), a point where two or more curves, lines, or edges meet *Vertex (computer graphics), a data structure that describes the position ...
, divided by the hyperarea of the facet opposite the vertex is independent of the choice of the vertex. Writing for the hypervolume of the -dimensional simplex and for the product of the hyperareas of its -dimensional facets, the common ratio is \frac. For example, a tetrahedron has four triangular facets. The absolute value of the polar sine of the normal vectors to the three facets that share a vertex, divided by the area of the fourth facet will not depend upon the choice of the vertex: \begin & \frac = \frac = \frac = \frac \\ pt= & \frac\,. \end


See also

*
Gersonides Levi ben Gershon (1288 – 20 April 1344), better known by his Graecized name as Gersonides, or by his Latinized name Magister Leo Hebraeus, or in Hebrew by the abbreviation of first letters as ''RaLBaG'', was a medieval French Jewish philosoph ...
*
Half-side formula In spherical trigonometry, the half side formula relates the angles and lengths of the sides of spherical triangles, which are triangles drawn on the surface of a sphere and so have curved sides and do not obey the formulas for plane triangles. Fo ...
for solving
spherical triangles Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are gr ...
*
Law of cosines In trigonometry, the law of cosines (also known as the cosine formula, cosine rule, or al-Kashi's theorem) relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states ...
*
Law of tangents In trigonometry, the law of tangents is a statement about the relationship between the tangents of two angles of a triangle and the lengths of the opposing sides. In Figure 1, , , and are the lengths of the three sides of the triangle, and , , ...
*
Law of cotangents In trigonometry, the law of cotangentsThe Universal Encyclopaedia of Mathematics, Pan Reference Books, 1976, page 530. English version George Allen and Unwin, 1964. Translated from the German version Meyers Rechenduden, 1960. is a relationship am ...
*
Mollweide's formula In trigonometry, Mollweide's formula is a pair of relationships between sides and angles in a triangle. A variant in more geometrical style was first published by Isaac Newton in 1707 and then by in 1746. Thomas Simpson published the now-standar ...
for checking solutions of triangles *
Solution of triangles Solution of triangles ( la, solutio triangulorum) is the main trigonometric problem of finding the characteristics of a triangle (angles and lengths of sides), when some of these are known. The triangle can be located on a plane or on a sphere. Appl ...
*
Surveying Surveying or land surveying is the technique, profession, art, and science of determining the terrestrial two-dimensional or three-dimensional positions of points and the distances and angles between them. A land surveying professional is ca ...


References


External links

*
The Law of Sines
at
cut-the-knot Alexander Bogomolny (January 4, 1948 July 7, 2018) was a Soviet-born Israeli-American mathematician. He was Professor Emeritus of Mathematics at the University of Iowa, and formerly research fellow at the Moscow Institute of Electronics and Math ...

Degree of Curvature




{{DEFAULTSORT:Law Of Sines Trigonometry Angle Articles containing proofs Theorems about triangles