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,
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;
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:
Multiplying these by gives
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:
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
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
Relation to the circumcircle
In the identity
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
and another inscribed
that passes through the circle's center O. The
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
and thus
. Since
is a right triangle,
where
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,
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 and . Substituting the sine law into this equation gives
Taking
as the circumscribing radius,
It can also be shown that this equality implies
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 ...
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
, we have
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 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:
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:
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
Repeating this calculation with the -axis along gives , while with the -axis along it is . Equating these expressions and dividing throughout by gives
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
and the same for and .
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 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
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
(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
In the special case when 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 :
The law of sines in constant curvature reads as
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:
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
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:
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 Sinesat
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