Law of sines
where a, b, and c are the lengths of the sides of a triangle, and A, B, and C are the opposite angles (see the figure to the right), while d is the diameter of the triangle's circumcircle. When the last of these equations 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. Numerical calculation using this technique may result in a numerical error if an angle is close to 90 degrees. 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.
The area T 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 2/abc gives
The ambiguous case of triangle solutionEdit
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 AB′C′.
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 A and the sides a and c.
- The angle A is acute (i.e., A < 90°).
- The side a is shorter than the side c (i.e., a < c).
- The side a is longer than the altitude h from angle B, where h = c sin A (i.e., a > h).
If all the above conditions are true, then both angles C or C′ produce a valid triangle; meaning both of the following are true:
From there we can find the corresponding B and b or B′ and b′ if required, where b is the side bounded by angles A and C and b′ bounded by A and C′.
Without further information it is impossible to decide which is the triangle being asked for.
The following are examples of how to solve a problem using the law of sines.
Given: side a = 20, side c = 24, and angle C = 40°. Angle A is desired.
Using the law of sines, we conclude that
Note that the potential solution A = 147.61° is excluded because that would necessarily give A + B + C > 180°.
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 A, B, and C respectively then
Relation to the circumcircleEdit
In the identity
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 law of sines takes on a similar form in the presence of curvature.
In the spherical case, the formula is:
Here, α, β, and γ are the angles at the center of the sphere subtended by the three arcs of the spherical surface triangle a, b, and c, respectively. A, B, and C are the surface angles opposite their respective arcs.
Here is a simple derivation. 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:
- OA OB OC .
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 3x3 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 , while with the z-axis along OC it is . Equating these expressions and dividing throughout by gives
where is the volume of the parallelepiped formed by the position vector of the vertices of the spherical triangle.
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 β and sin γ.
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.
- See also hyperbolic triangle.
Define a generalized sine function, depending also on a real parameter K:
The law of sines in constant curvature K reads as
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π sinK r. Therefore the law of sines can also be expressed as:
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 faces that meet at a vertex, divided by the hyperarea of the face opposite the vertex is independent of the choice of the vertex. For example, a tetrahedron has four triangular faces. The absolute value of the polar sine of the normal vectors to three of the faces (which share a vertex) divided by the area of the fourth face will not depend upon the choice of the vertex:
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.
Ibn Muʿādh al-Jayyānī'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ī. 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, "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." Regiomontanus was a 15th-century German mathematician.
- "Generalized law of sines". mathworld.
- Coxeter, H. S. M. and Greitzer, S. L. Geometry Revisited. Washington, DC: Math. Assoc. Amer., pp. 1–3, 1967
- Katok, Svetlana (1992). Fuchsian groups. Chicago: University of Chicago Press. p. 22. ISBN 0-226-42583-5.
- 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
- O'Connor, John J.; Robertson, Edmund F., "Abu Abd Allah Muhammad ibn Muadh Al-Jayyani", MacTutor History of Mathematics archive, University of St Andrews.
- 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.
- 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