Sine and cosine#Relationship to complex numbers
{{Short description|Fundamental trigonometric functions}}
{{redirect2|Sine|Cosine|other uses|Sine (disambiguation)|and|Cosine (disambiguation)|text="Sine" is not to be confused with Sign, Sign (mathematics) or the sign function.}}
{{Infobox mathematical function
| name = Sine and cosine
| image = Sine_cosine_one_period.svg
| general_definition =
\begin{align}
&\sin(\theta) = \frac {\textrm{opposite}} {\textrm{hypotenuse}} \\[8pt]
&\cos(\theta) = \frac {\textrm{adjacent}} {\textrm{hypotenuse}} \\[8pt]
\end{align}
| fields_of_application= Trigonometry, Fourier series, etc.
}}
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 opposite that angle to the length of the longest side of the triangle (the hypotenuse), 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 as and .
The definitions of sine and cosine have been extended to any real value in terms of the lengths of certain line segments in a unit circle. More modern definitions express the sine and cosine as infinite series, or as the solutions of certain differential equations, allowing their extension to arbitrary positive and negative values and even to complex numbers.
The sine and cosine functions are commonly used to model periodic phenomena such as sound and light waves, the position and velocity of harmonic oscillators, sunlight intensity and day length, and average temperature variations throughout the year. They can be traced to the jyā and koṭi-jyā functions used in Indian astronomy during the Gupta period.
Elementary descriptions
= Right-angled triangle definition =
To define the sine and cosine of an acute angle , start with a right triangle that contains an angle of measure ; in the accompanying figure, angle in a right triangle is the angle of interest. The three sides of the triangle are named as follows:{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA27 27]}}
- The opposite side is the side opposite to the angle of interest; in this case, it is .
- The hypotenuse is the side opposite the right angle; in this case, it is . The hypotenuse is always the longest side of a right-angled triangle.
- The adjacent side is the remaining side; in this case, it is . It forms a side of (and is adjacent to) both the angle of interest and the right angle.
Once such a triangle is chosen, the sine of the angle is equal to the length of the opposite side divided by the length of the hypotenuse, and the cosine of the angle is equal to the length of the adjacent side divided by the length of the hypotenuse:{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA27 27]}}
\sin(\alpha) = \frac{\text{opposite}}{\text{hypotenuse}}, \qquad
\cos(\alpha) = \frac{\text{adjacent}}{\text{hypotenuse}}.
The other trigonometric functions of the angle can be defined similarly; for example, the tangent is the ratio between the opposite and adjacent sides or equivalently the ratio between the sine and cosine functions. The reciprocal of sine is cosecant, which gives the ratio of the hypotenuse length to the length of the opposite side. Similarly, the reciprocal of cosine is secant, which gives the ratio of the hypotenuse length to that of the adjacent side. The cotangent function is the ratio between the adjacent and opposite sides, a reciprocal of a tangent function. These functions can be formulated as:{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA27 27]}}
\tan(\theta) &= \frac{\sin (\theta)}{\cos (\theta)} = \frac{\text{opposite}}{\text{adjacent}}, \\
\cot(\theta) &= \frac{1}{\tan (\theta)} = \frac{\text{adjacent}}{\text{opposite}}, \\
\csc(\theta) &= \frac{1}{\sin (\theta)} = \frac {\text{hypotenuse}}{\text{opposite}}, \\
\sec(\theta) &= \frac{1}{\cos (\theta)} = \frac {\textrm{hypotenuse}} {\textrm{adjacent}}.
\end{align}
= Special angle measures =
As stated, the values and appear to depend on the choice of a right triangle containing an angle of measure . However, this is not the case as all such triangles are similar, and so the ratios are the same for each of them. For example, each leg of the 45-45-90 right triangle is 1 unit, and its hypotenuse is ; therefore, .{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA36 36]}} The following table shows the special value of each input for both sine and cosine with the domain between . The input in this table provides various unit systems such as degree, radian, and so on. The angles other than those five can be obtained by using a calculator.{{sfnp|Varberg|Purcell|Rigdon|2007|p=42}}{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA37 37], [https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA78 78]}}
class="wikitable" style="text-align:center;" |
----
! colspan="4" style="background:#ffdead;" | Angle, {{Mvar|x}} ! colspan="2" style="background:#ffdead;" | {{Math|sin(x)}} ! colspan="2" style="background:#ffdead;" | {{Math|cos(x)}} |
----
! style="background:#efefef;" | Degrees ! style="background:#efefef;" | Radians ! style="background:#efefef;" | Gradians ! style="background:#efefef;" | Turns ! style="background:#efefef;" | Exact ! style="background:#efefef;" | Decimal ! style="background:#efefef;" | Exact ! style="background:#efefef;" | Decimal |
----
| 0° | 0 | | 0 | 0 | 0 | 1 | 1 |
----
| 30° | | | | | 0.5 | | 0.866 |
----
| 45° | | | | | 0.707 | | 0.707 |
----
| 60° | | | | | 0.866 | | 0.5 |
----
| 90° | | | | 1 | 1 | 0 | 0 |
= Laws =
{{Main|Law of sines|Law of cosines}}
File:Law of sines (simple).svg
The law of sines is useful for computing the lengths of the unknown sides in a triangle if two angles and one side are known.{{sfnp|Axler|2012|p=[https://books.google.com/books?id=B5RxDwAAQBAJ&pg=PA634 634]}} Given a triangle with sides , , and , and angles opposite those sides , , and , the law states,
This is equivalent to the equality of the first three expressions below:
where is the triangle's circumradius.
The law of cosines is useful for computing the length of an unknown side if two other sides and an angle are known.{{sfnp|Axler|2012|p=[https://books.google.com/books?id=B5RxDwAAQBAJ&pg=PA634 634]}} The law states,
In the case where from which , the resulting equation becomes the Pythagorean theorem.{{sfnp|Axler|2012|p=[https://books.google.com/books?id=B5RxDwAAQBAJ&pg=PA632 632]}}
= Vector definition =
The cross product and dot product are operations on two vectors in Euclidean vector space. The sine and cosine functions can be defined in terms of the cross product and dot product. If and are vectors, and is the angle between and , then sine and cosine can be defined as:
\sin (\theta) &= \frac
\mathbb{a} \times \mathbb{b} |
a| |b |
\cos (\theta) &= \frac{\mathbb{a} \cdot \mathbb{b}}
a| |b |
\end{align}
Analytic descriptions
= Unit circle definition =
The sine and cosine functions may also be defined in a more general way by using unit circle, a circle of radius one centered at the origin , formulated as the equation of in the Cartesian coordinate system. Let a line through the origin intersect the unit circle, making an angle of with the positive half of the {{nowrap|1=-}}axis. The {{nowrap|1=-}} and {{nowrap|1=-}}coordinates of this point of intersection are equal to and , respectively; that is,{{sfnp|Varberg|Purcell|Rigdon|2007|p=41}}
This definition is consistent with the right-angled triangle definition of sine and cosine when because the length of the hypotenuse of the unit circle is always 1; mathematically speaking, the sine of an angle equals the opposite side of the triangle, which is simply the {{nowrap|1=-}}coordinate. A similar argument can be made for the cosine function to show that the cosine of an angle when , even under the new definition using the unit circle.{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA68 68]}}{{sfnp|Varberg|Purcell|Rigdon|2007|p=47}}
== Graph of a function and its elementary properties ==
File:Circle cos sin.gif (in green), at an angle of {{math|1=θ}}. The cosine (in blue) is the {{nowrap|1={{math|1=x}}-}}coordinate.]]
Using the unit circle definition has the advantage of drawing a graph of sine and cosine functions. This can be done by rotating counterclockwise a point along the circumference of a circle, depending on the input . In a sine function, if the input is , the point is rotated counterclockwise and stopped exactly on the {{nowrap|1=-}}axis. If , the point is at the circle's halfway. If , the point returned to its origin. This results that both sine and cosine functions have the range between .{{sfnp|Varberg|Purcell|Rigdon|2007|p=41–42}}
Extending the angle to any real domain, the point rotated counterclockwise continuously. This can be done similarly for the cosine function as well, although the point is rotated initially from the {{nowrap|1=-}}coordinate. In other words, both sine and cosine functions are periodic, meaning any angle added by the circumference's circle is the angle itself. Mathematically,{{sfnp|Varberg|Purcell|Rigdon|2007|p=41, 43}}
A function is said to be odd if , and is said to be even if . The sine function is odd, whereas the cosine function is even.{{sfnp|Young|2012|p=[https://books.google.com/books?id=OMrcN0a3LxIC&pg=RA1-PA165 165]}} Both sine and cosine functions are similar, with their difference being shifted by . This means,{{sfnp|Varberg|Purcell|Rigdon|2007|p=42, 47}}
\sin(\theta) &= \cos\left(\frac{\pi}{2} - \theta \right), \\
\cos(\theta) &= \sin\left(\frac{\pi}{2} - \theta \right).
\end{align}
Zero is the only real fixed point of the sine function; in other words the only intersection of the sine function and the identity function is . The only real fixed point of the cosine function is called the Dottie number. The Dottie number is the unique real root of the equation . The decimal expansion of the Dottie number is approximately 0.739085.{{Cite web|url=https://oeis.org/A003957|title=OEIS A003957|website=oeis.org|access-date=2019-05-26}}
== Continuity and differentiation ==
{{main|Differentiation of trigonometric functions}}
File:Sine quads 01 Pengo.svg]]
The sine and cosine functions are infinitely differentiable.{{sfnp|Bourchtein|Bourchtein|2022|p=[https://books.google.com/books?id=nGxOEAAAQBAJ&pg=PA294 294]}} The derivative of sine is cosine, and the derivative of cosine is negative sine:{{sfnp|Varberg|Purcell|Rigdon|2007|p=115}}
Continuing the process in higher-order derivative results in the repeated same functions; the fourth derivative of a sine is the sine itself.{{sfnp|Bourchtein|Bourchtein|2022|p=[https://books.google.com/books?id=nGxOEAAAQBAJ&pg=PA294 294]}} These derivatives can be applied to the first derivative test, according to which the monotonicity of a function can be defined as the inequality of function's first derivative greater or less than equal to zero.{{sfnp|Varberg|Purcell|Rigdon|2007|p=155}} It can also be applied to second derivative test, according to which the concavity of a function can be defined by applying the inequality of the function's second derivative greater or less than equal to zero.{{sfnp|Varberg|Purcell|Rigdon|2007|p=157}} The following table shows that both sine and cosine functions have concavity and monotonicity—the positive sign () denotes a graph is increasing (going upward) and the negative sign () is decreasing (going downward)—in certain intervals.{{sfnp|Varberg|Rigdon|Purcell|2007|p=42}} This information can be represented as a Cartesian coordinates system divided into four quadrants.
class="wikitable" style="text-align:center;" |
rowspan=2 | Quadrant
! colspan=2 | Angle ! colspan=3 | Sine ! colspan=3 | Cosine |
---|
Degrees
! Radians ! Sign ! Monotony ! Sign ! Monotony |
style="text-align:left;" | 1st quadrant, I
| | | |Increasing |Concave | |Decreasing |Concave |
style="text-align:left;" | 2nd quadrant, II
| | | |Decreasing |Concave | |Decreasing |Convex |
style="text-align:left;" | 3rd quadrant, III
| | | |Decreasing |Convex | |Increasing |Convex |
style="text-align:left;" | 4th quadrant, IV
| | | |Increasing |Convex | |Increasing |Concave |
Both sine and cosine functions can be defined by using differential equations. The pair of is the solution to the two-dimensional system of differential equations and with the initial conditions and . One could interpret the unit circle in the above definitions as defining the phase space trajectory of the differential equation with the given initial conditions. It can be interpreted as a phase space trajectory of the system of differential equations and starting from the initial conditions and .{{citation needed|date=August 2024}}
== Integral and the usage in mensuration ==
{{main|List of integrals of trigonometric functions}}
Their area under a curve can be obtained by using the integral with a certain bounded interval. Their antiderivatives are:
where denotes the constant of integration.{{sfnp|Varberg|Purcell|Rigdon|2007|p=199}} These antiderivatives may be applied to compute the mensuration properties of both sine and cosine functions' curves with a given interval. For example, the arc length of the sine curve between and is
where is the incomplete elliptic integral of the second kind with modulus . It cannot be expressed using elementary functions.{{sfnp|Vince|2023|p=[https://books.google.com/books?id=GnW6EAAAQBAJ&pg=PA162 162]}} In the case of a full period, its arc length is
where is the gamma function and is the lemniscate constant.{{sfnp|Adlaj|2012}}
== Inverse functions ==
The inverse function of sine is arcsine or inverse sine, denoted as "arcsin", "asin", or .{{sfnp|Varberg|Purcell|Rigdon|2007|p=366}} The inverse function of cosine is arccosine, denoted as "arccos", "acos", or .{{efn|1=The superscript of −1 in and denotes the inverse of a function, instead of exponentiation.}} As sine and cosine are not injective, their inverses are not exact inverse functions, but partial inverse functions. For example, , but also , , and so on. It follows that the arcsine function is multivalued: , but also , , and so on. When only one value is desired, the function may be restricted to its principal branch. With this restriction, for each in the domain, the expression will evaluate only to a single value, called its principal value. The standard range of principal values for arcsin is from , and the standard range for arccos is from to .{{sfnp|Varberg|Purcell|Rigdon|2007|p=365}}
The inverse function of both sine and cosine are defined as:{{citation needed|date=August 2024}}
where for some integer ,
\sin(y) = x \iff & y = \arcsin(x) + 2\pi k , \text{ or }\\
& y = \pi - \arcsin(x) + 2\pi k \\
\cos(y) = x \iff & y = \arccos(x) + 2\pi k , \text{ or }\\
& y = - \arccos(x) + 2\pi k
\end{align}
By definition, both functions satisfy the equations:{{citation needed|date=August 2024}}
and
\arccos(\cos(\theta)) = \theta\quad & \text{for}\quad 0 \leq \theta \leq \pi\end{align}
== Other identities ==
{{Main|List of trigonometric identities}}
According to Pythagorean theorem, the squared hypotenuse is the sum of two squared legs of a right triangle. Dividing the formula on both sides with squared hypotenuse resulting in the Pythagorean trigonometric identity, the sum of a squared sine and a squared cosine equals 1:{{sfnp|Young|2017|p=[https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA99 99]}}{{efn|1=Here, means the squared sine function .}}
Sine and cosine satisfy the following double-angle formulas:{{cite book |title=Precalculus with Calculus Previews |author1=Dennis G. Zill |edition= |publisher=Jones & Bartlett Publishers |year=2013 |isbn=978-1-4496-4515-1 |page=238 |url=https://books.google.com/books?id=dtS5M4lx7scC}} [https://books.google.com/books?id=dtS5M4lx7scC&pg=PA238 Extract of page 238]
\sin(2\theta) &= 2\sin(\theta)\cos(\theta), \\
\cos(2\theta) &= \cos^2(\theta) - \sin^2(\theta) \\
&= 2\cos^2(\theta) - 1 \\
&= 1 - 2\sin^2(\theta)
\end{align}
{{anchor|Sine squared function}}
The cosine double angle formula implies that sin2 and cos2 are, themselves, shifted and scaled sine waves. Specifically,{{cite web |title=Sine-squared function |url=https://calculus.subwiki.org/wiki/Sine-squared_function#Identities |access-date=August 9, 2019}}
The graph shows both sine and sine squared functions, with the sine in blue and the sine squared in red. Both graphs have the same shape but with different ranges of values and different periods. Sine squared has only positive values, but twice the number of periods.{{citation needed|date=August 2024}}
= Series and polynomials =
Both sine and cosine functions can be defined by using a Taylor series, a power series involving the higher-order derivatives. As mentioned in {{slink||Continuity and differentiation}}, the derivative of sine is cosine and that the derivative of cosine is the negative of sine. This means the successive derivatives of are , , , , continuing to repeat those four functions. The {{nowrap|1=-}}th derivative, evaluated at the point 0:
0 & \text{when } k=0 \\
1 & \text{when } k=1 \\
0 & \text{when } k=2 \\
-1 & \text{when } k=3
\end{cases}
where the superscript represents repeated differentiation. This implies the following Taylor series expansion at . One can then use the theory of Taylor series to show that the following identities hold for all real numbers —where is the angle in radians.{{sfnp|Varberg|Purcell|Rigdon|2007|p=491–492}} More generally, for all complex numbers:{{sfnp|Abramowitz|Stegun|1970|p=[https://books.google.com/books?id=MtU8uP7XMvoC&pg=PA74 74]}}
\sin(x) &= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \\
&= \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!}x^{2n+1}
\end{align}
Taking the derivative of each term gives the Taylor series for cosine:{{sfnp|Varberg|Purcell|Rigdon|2007|p=491–492}}{{sfnp|Abramowitz|Stegun|1970|p=[https://books.google.com/books?id=MtU8uP7XMvoC&pg=PA74 74]}}
\cos(x) &= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\
&= \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}x^{2n}
\end{align}
Both sine and cosine functions with multiple angles may appear as their linear combination, resulting in a polynomial. Such a polynomial is known as the trigonometric polynomial. The trigonometric polynomial's ample applications may be acquired in its interpolation, and its extension of a periodic function known as the Fourier series. Let and be any coefficients, then the trigonometric polynomial of a degree —denoted as —is defined as:{{sfnp|Powell|1981|p=150}}{{sfnp|Rudin|1987|p=88 }}
The trigonometric series can be defined similarly analogous to the trigonometric polynomial, its infinite inversion. Let and be any coefficients, then the trigonometric series can be defined as:{{sfnp|Zygmund|1968|p=1}}
In the case of a Fourier series with a given integrable function , the coefficients of a trigonometric series are:{{sfnp|Zygmund|1968|p=11}}
A_n &= \frac{1}{\pi} \int_0 ^{2\pi} f(x) \cos (nx) \, dx, \\
B_n &= \frac{1}{\pi} \int_0 ^{2\pi} f(x) \sin (nx) \, dx.
\end{align}
Complex numbers relationship
{{more citations needed section|date=August 2024}}
= Complex exponential function definitions =
Both sine and cosine can be extended further via complex number, a set of numbers composed of both real and imaginary numbers. For real number , the definition of both sine and cosine functions can be extended in a complex plane in terms of an exponential function as follows:{{sfnp|Howie|2003|p=[https://books.google.com/books?id=0FZDBAAAQBAJ&pg=PA24 24]}}
\sin (\theta) &= \frac{e^{i \theta} - e^{-i \theta}}{2i}, \\
\cos (\theta) &= \frac{e^{i \theta} + e^{-i \theta}}{2},
\end{align}
Alternatively, both functions can be defined in terms of Euler's formula:{{sfnp|Howie|2003|p=[https://books.google.com/books?id=0FZDBAAAQBAJ&pg=PA24 24]}}
e^{i \theta} &= \cos (\theta) + i \sin (\theta), \\
e^{-i \theta} &= \cos (\theta) - i \sin (\theta).
\end{align}
When plotted on the complex plane, the function for real values of traces out the unit circle in the complex plane. Both sine and cosine functions may be simplified to the imaginary and real parts of as:{{sfnp|Rudin|1987|p=2}}
\sin \theta &= \operatorname{Im}(e^{i \theta}), \\
\cos \theta &= \operatorname{Re}(e^{i \theta}).
\end{align}
When for real values and , where , both sine and cosine functions can be expressed in terms of real sines, cosines, and hyperbolic functions as:{{citation needed|date=August 2024}}
\sin z &= \sin x \cosh y + i \cos x \sinh y, \\
\cos z &= \cos x \cosh y - i \sin x \sinh y.
\end{align}
= Polar coordinates =
File:Sinus und Kosinus am Einheitskreis 3.svg
Sine and cosine are used to connect the real and imaginary parts of a complex number with its polar coordinates :
and the real and imaginary parts are
\operatorname{Re}(z) &= r \cos(\theta), \\
\operatorname{Im}(z) &= r \sin(\theta),
\end{align}
where and represent the magnitude and angle of the complex number .
For any real number , Euler's formula in terms of polar coordinates is stated as .
=Complex arguments=
File:Complex_sin.jpg of sin(z) in the complex plane. Brightness indicates absolute magnitude, hue represents complex argument.]]
File:Sin z vector field 02 Pengo.svg
Applying the series definition of the sine and cosine to a complex argument, z, gives:
:
\sin(z)& = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!}z^{2n+1} \\
& = \frac{e^{i z} - e^{-i z}}{2i} \\
& = \frac{\sinh \left( i z\right) }{i} \\
& = -i \sinh \left(i z\right)\\
\cos(z)& = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}z^{2n} \\
& = \frac{e^{i z} + e^{-i z}}{2} \\
& = \cosh( i z) \\
\end{align}
where sinh and cosh are the hyperbolic sine and cosine. These are entire functions.
It is also sometimes useful to express the complex sine and cosine functions in terms of the real and imaginary parts of its argument:
:
\sin (x + iy) &= \sin(x) \cos(iy) + \cos(x) \sin(iy) \\
&= \sin(x) \cosh(y) + i \cos(x) \sinh(y)\\
\cos (x + iy) &= \cos(x) \cos(iy) - \sin(x) \sin(iy) \\
&= \cos(x) \cosh(y) - i \sin(x) \sinh(y)\\
\end{align}
== Partial fraction and product expansions of complex sine ==
Using the partial fraction expansion technique in complex analysis, one can find that the infinite series
both converge and are equal to . Similarly, one can show that
Using product expansion technique, one can derive
== Usage of complex sine ==
sin(z) is found in the functional equation for the Gamma function,
:
which in turn is found in the functional equation for the Riemann zeta-function,
:
As a holomorphic function, sin z is a 2D solution of Laplace's equation:
:
The complex sine function is also related to the level curves of pendulums.{{how|reason=This does not explain how sine is related to pendulums.|date=August 2019}}{{cite web|url=https://math.stackexchange.com/q/220418|title=Why are the phase portrait of the simple plane pendulum and a domain coloring of sin(z) so similar?|website=math.stackexchange.com|access-date=2019-08-12}}{{better source needed|date=August 2019}}
= Complex graphs =
style="text-align:center"
|+ Sine function in the complex plane |File:Complex sin real 01 Pengo.svg |
Real component
|Imaginary component |Magnitude |
style="text-align:center"
|+ Arcsine function in the complex plane |File:Complex arcsin real 01 Pengo.svg |
Real component
|Imaginary component |Magnitude |
Background
= Etymology =
{{main|History of trigonometry#Etymology}}
The word sine is derived, indirectly, from the Sanskrit word {{lang|sa|jyā}} 'bow-string' or more specifically its synonym {{lang|sa|jīvá}} (both adopted from Ancient Greek {{lang|grc|χορδή}} 'string; chord'), due to visual similarity between the arc of a circle with its corresponding chord and a bow with its string (see jyā, koti-jyā and utkrama-jyā; sine and chord are closely related in a circle of unit diameter, see Ptolemy’s Theorem). This was transliterated in Arabic as {{tlit|ar|jība}}, which is meaningless in that language and written as {{tlit|ar|jb}} ({{lang|ar|جب}}). Since Arabic is written without short vowels, {{tlit|ar|jb}} was interpreted as the homograph {{tlit|ar|jayb}} (جيب), which means 'bosom', 'pocket', or 'fold'.{{sfnp|Plofker|2009|p=[https://books.google.com/books?id=DHvThPNp9yMC&pg=PA257 257]}}{{sfnp|Maor|1998|p=[https://books.google.com/books?id=r9aMrneWFpUC&pg=PA35 35]}} When the Arabic texts of Al-Battani and al-Khwārizmī were translated into Medieval Latin in the 12th century by Gerard of Cremona, he used the Latin equivalent sinus (which also means 'bay' or 'fold', and more specifically 'the hanging fold of a toga over the breast').{{sfnp|Merzbach|Boyer|2011}}{{sfnp|Maor|1998|p=35–36}}{{sfnp|Katz|2008|p=253}} Gerard was probably not the first scholar to use this translation; Robert of Chester appears to have preceded him and there is evidence of even earlier usage.{{sfnp|Smith|1958|p=202}}Various sources credit the first use of {{Lang|la-x-medieval|sinus}} to either
- Plato Tiburtinus's 1116 translation of the Astronomy of Al-Battani
- Gerard of Cremona's translation of the Algebra of al-Khwārizmī
- Robert of Chester's 1145 translation of the tables of al-Khwārizmī
See {{harvp|Merlet|2004}}. See {{harvp|Maor|1998}}, Chapter 3, for an earlier etymology crediting Gerard. See {{harvp|Katz|2008|p=210}}. The English form sine was introduced in Thomas Fale's 1593 Horologiographia.Fale's book alternately uses the spellings "sine", "signe", or "sign". {{pb}} {{cite book |last=Fale |first=Thomas |title=Horologiographia. The Art of Dialling: Teaching, an Easie and Perfect Way to make all Kindes of Dials .... |page=11, for example |url=https://archive.org/details/b30333106/page/19/mode/1up |year=1593 |place=London |publisher=F. Kingston }}
The word cosine derives from an abbreviation of the Latin {{lang|la|complementi sinus}} 'sine of the complementary angle' as cosinus in Edmund Gunter's Canon triangulorum (1620), which also includes a similar definition of cotangens.{{sfnp|Gunter|1620}}
= History =
{{Main|History of trigonometry}}
File:Khalili Collection Islamic Art sci 0040.1 CROP.jpg with axes for looking up the sine and versine of angles]]
While the early study of trigonometry can be traced to antiquity, the trigonometric functions as they are in use today were developed in the medieval period. The chord function was discovered by Hipparchus of Nicaea (180–125 BCE) and Ptolemy of Roman Egypt (90–165 CE).{{Cite journal |last=Brendan |first=T. |date=February 1965 |title=How Ptolemy constructed trigonometry tables |journal=The Mathematics Teacher |volume=58 |issue=2 |pages=141–149 |doi=10.5951/MT.58.2.0141 |jstor=27967990 }}
The sine and cosine functions are closely related to the Jyā, koti-jyā and utkrama-jyā functions used in Indian astronomy during the Gupta period (Aryabhatiya and Surya Siddhanta), via translation from Sanskrit to Arabic and then from Arabic to Latin.{{sfnp|Merzbach|Boyer|2011}}{{cite book |last=Van Brummelen |first=Glen |author-link=Glen Van Brummelen |year=2009 |title=The Mathematics of the Heavens and the Earth |chapter=India |at=Ch. 3, {{pgs|94–134}} |publisher=Princeton University Press |isbn=978-0-691-12973-0}}
All six trigonometric functions in current use were known in Islamic mathematics by the 9th century, as was the law of sines, used in solving triangles.{{cite magazine |title=Islamic Astronomy |author-first=Owen |author-last=Gingerich |magazine=Scientific American |date=1986 |volume=254 |page=74 |url=http://faculty.kfupm.edu.sa/PHYS/alshukri/PHYS215/Islamic_astronomy.htm |access-date=2010-07-13 |archive-url=https://web.archive.org/web/20131019140821/http://faculty.kfupm.edu.sa/PHYS/alshukri/PHYS215/Islamic_astronomy.htm |archive-date=2013-10-19}} Al-Khwārizmī (c. 780–850) produced tables of sines, cosines and tangents.Jacques Sesiano, "Islamic mathematics", p. 157, in {{Cite book |title=Mathematics Across Cultures: The History of Non-western Mathematics |editor1-first=Helaine |editor1-last=Selin |editor1-link=Helaine Selin |editor2-first=Ubiratan |editor2-last=D'Ambrosio |editor2-link=Ubiratan D'Ambrosio |year=2000 |publisher=Springer Science+Business Media |isbn=978-1-4020-0260-1}}{{cite web |title=trigonometry |date=17 June 2024 |url=http://www.britannica.com/EBchecked/topic/605281/trigonometry |publisher=Encyclopedia Britannica}} Muhammad ibn Jābir al-Harrānī al-Battānī (853–929) discovered the reciprocal functions of secant and cosecant, and produced the first table of cosecants for each degree from 1° to 90°.
In the early 17th-century, the French mathematician Albert Girard published the first use of the abbreviations sin, cos, and tan; these were further promulgated by Euler (see below). The Opus palatinum de triangulis of Georg Joachim Rheticus, a student of Copernicus, was probably the first in Europe to define trigonometric functions directly in terms of right triangles instead of circles, with tables for all six trigonometric functions; this work was finished by Rheticus' student Valentin Otho in 1596.
In a paper published in 1682, Leibniz proved that sin x is not an algebraic function of x.{{cite book|title=Elements of the History of Mathematics|url=https://archive.org/details/elementsofhistor0000bour|url-access=registration|author=Nicolás Bourbaki|publisher=Springer|year=1994|isbn=9783540647676}} Roger Cotes computed the derivative of sine in his Harmonia Mensurarum (1722)."[http://www.math.usma.edu/people/rickey/hm/CalcNotes/Sine-Deriv.pdf Why the sine has a simple derivative] {{webarchive|url=https://web.archive.org/web/20110720102700/http://www.math.usma.edu/people/rickey/hm/CalcNotes/Sine-Deriv.pdf |date=2011-07-20 }}", in [http://www.math.usma.edu/people/rickey/hm/CalcNotes/default.htm Historical Notes for Calculus Teachers] {{webarchive|url=https://web.archive.org/web/20110720102613/http://www.math.usma.edu/people/rickey/hm/CalcNotes/default.htm |date=2011-07-20 }} by [http://www.math.usma.edu/people/rickey/ V. Frederick Rickey] {{webarchive|url=https://web.archive.org/web/20110720102654/http://www.math.usma.edu/people/rickey/ |date=2011-07-20 }} Leonhard Euler's Introductio in analysin infinitorum (1748) was mostly responsible for establishing the analytic treatment of trigonometric functions in Europe, also defining them as infinite series and presenting "Euler's formula", as well as the near-modern abbreviations sin., cos., tang., cot., sec., and cosec.{{sfnp|Merzbach|Boyer|2011}}
Software implementations
{{more citations needed section|date=August 2024}}
{{See also|Lookup table#Computing sines}}
There is no standard algorithm for calculating sine and cosine. IEEE 754, the most widely used standard for the specification of reliable floating-point computation, does not address calculating trigonometric functions such as sine. The reason is that no efficient algorithm is known for computing sine and cosine with a specified accuracy, especially for large inputs.{{sfnp|Zimmermann|2006}}
Algorithms for calculating sine may be balanced for such constraints as speed, accuracy, portability, or range of input values accepted. This can lead to different results for different algorithms, especially for special circumstances such as very large inputs, e.g. sin(10{{sup|22}})
.
A common programming optimization, used especially in 3D graphics, is to pre-calculate a table of sine values, for example one value per degree, then for values in-between pick the closest pre-calculated value, or linearly interpolate between the 2 closest values to approximate it. This allows results to be looked up from a table rather than being calculated in real time. With modern CPU architectures this method may offer no advantage.{{citation needed|date=October 2012}}
The CORDIC algorithm is commonly used in scientific calculators.
The sine and cosine functions, along with other trigonometric functions, are widely available across programming languages and platforms. In computing, they are typically abbreviated to sin
and cos
.
Some CPU architectures have a built-in instruction for sine, including the Intel x87 FPUs since the 80387.
In programming languages, sin
and cos
are typically either a built-in function or found within the language's standard math library. For example, the C standard library defines sine functions within math.h: sin(double)
, sinf(float)
, and sinl(long double)
. The parameter of each is a floating point value, specifying the angle in radians. Each function returns the same data type as it accepts. Many other trigonometric functions are also defined in math.h, such as for cosine, arc sine, and hyperbolic sine (sinh). Similarly, Python defines math.sin(x)
and math.cos(x)
within the built-in math
module. Complex sine and cosine functions are also available within the cmath
module, e.g. cmath.sin(z)
. CPython's math functions call the C math
library, and use a double-precision floating-point format.
= Turns based implementations =
Some software libraries provide implementations of sine and cosine using the input angle in half-turns, a half-turn being an angle of 180 degrees or radians. Representing angles in turns or half-turns has accuracy advantages and efficiency advantages in some cases."[https://www.mathworks.com/help/matlab/ref/double.sinpi.html MATLAB Documentation sinpi]"[https://www.rdocumentation.org/packages/base/versions/3.5.3/topics/Trig R Documentation sinpi] These functions are called sinpi
and cospi
in MATLAB, OpenCL,"[https://www.khronos.org/registry/OpenCL/sdk/1.0/docs/man/xhtml/sin.html OpenCL Documentation sinpi] R, Julia,"[http://www.jlhub.com/julia/manual/en/function/sinpi Julia Documentation sinpi] CUDA,"[https://docs.nvidia.com/cuda/cuda-math-api/group__CUDA__MATH__DOUBLE.html CUDA Documentation sinpi] and ARM."[https://developer.arm.com/docs/100614/latest/b-opencl-built-in-functions/b2-math-functions ARM Documentation sinpi] For example, sinpi(x)
would evaluate to where x is expressed in half-turns, and consequently the final input to the function, {{math|πx}} can be interpreted in radians by {{math|sin}}.
The accuracy advantage stems from the ability to perfectly represent key angles like full-turn, half-turn, and quarter-turn losslessly in binary floating-point or fixed-point. In contrast, representing , , and in binary floating-point or binary scaled fixed-point always involves a loss of accuracy since irrational numbers cannot be represented with finitely many binary digits.
Turns also have an accuracy advantage and efficiency advantage for computing modulo to one period. Computing modulo 1 turn or modulo 2 half-turns can be losslessly and efficiently computed in both floating-point and fixed-point. For example, computing modulo 1 or modulo 2 for a binary point scaled fixed-point value requires only a bit shift or bitwise AND operation. In contrast, computing modulo involves inaccuracies in representing .
For applications involving angle sensors, the sensor typically provides angle measurements in a form directly compatible with turns or half-turns. For example, an angle sensor may count from 0 to 4096 over one complete revolution."[https://www.allegromicro.com/en/Products/Magnetic-Linear-And-Angular-Position-Sensor-ICs/Angular-Position-Sensor-ICs/AAS33051.aspx ALLEGRO Angle Sensor Datasheet] {{Webarchive|url=https://web.archive.org/web/20190417143715/https://www.allegromicro.com/en/Products/Magnetic-Linear-And-Angular-Position-Sensor-ICs/Angular-Position-Sensor-ICs/AAS33051.aspx |date=2019-04-17 }} If half-turns are used as the unit for angle, then the value provided by the sensor directly and losslessly maps to a fixed-point data type with 11 bits to the right of the binary point. In contrast, if radians are used as the unit for storing the angle, then the inaccuracies and cost of multiplying the raw sensor integer by an approximation to would be incurred.
See also
{{div col|colwidth=20em}}
- Āryabhaṭa's sine table
- Bhaskara I's sine approximation formula
- Discrete sine transform
- Dixon elliptic functions
- Euler's formula
- Generalized trigonometry
- Hyperbolic function
- Lemniscate elliptic functions
- Law of sines
- List of periodic functions
- List of trigonometric identities
- Madhava series
- Madhava's sine table
- Optical sine theorem
- Polar sine—a generalization to vertex angles
- Proofs of trigonometric identities
- Sinc function
- Sine and cosine transforms
- Sine integral
- Sine quadrant
- Sine wave
- Sine–Gordon equation
- Sinusoidal model
- SOH-CAH-TOA
- Trigonometric functions
- Trigonometric integral
{{div col end}}
References
= Footnotes =
{{notelist|group="efn"}}
= Citations =
{{Reflist}}
= Works cited =
{{refbegin|30em}}
- {{citation
| last1 = Abramowitz | first1 = Milton | author1-link = Milton Abramowitz
| last2 = Stegun | first2 = Irene A. | author2-link = Irene Stegun
| title = Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables
| publisher = Dover Publications
| location = New York
| id = Ninth printing
| year = 1970
}}
- {{citation
| last = Adlaj | first = Semjon
| year = 2012
| journal = American Mathematical Society
| url = https://www.ams.org/notices/201208/rtx120801094p.pdf
| title = An Eloquent Formula for the Perimeter of an Ellipse
| volume = 59 | issue = 8 | page = 1097
}}
- {{citation
| last = Axler | first = Sheldon
| year = 2012
| title = Algebra and Trigonometry
| url = https://books.google.com/books?id=B5RxDwAAQBAJ
| publisher = John Wiley & Sons
| isbn = 978-0470-58579-5
}}
- {{citation
| last1 = Bourchtein | first1 = Ludmila
| last2 = Bourchtein | first2 = Andrei
| year = 2022
| title = Theory of Infinite Sequences and Series
| url = https://books.google.com/books?id=nGxOEAAAQBAJ
| publisher = Springer
| doi = 10.1007/978-3-030-79431-6
| isbn = 978-3-030-79431-6
}}
- {{citation
| last = Gunter | first = Edmund | author-link = Edmund Gunter
| title = Canon triangulorum
| year = 1620
}}
- {{citation
| last = Howie | first = John M.
| year = 2003
| title = Complex Analysis
| series = Springer Undergraduate Mathematics Series
| publisher = Springer
| doi = 10.1007/978-1-4471-0027-0
| isbn = 978-1-4471-0027-0
}}
- {{citation | first1 = John C. | last1 = Traupman, Ph.D. | year = 1966 | title = The New College Latin & English Dictionary | publisher = Bantam | location = Toronto | isbn = 0-553-27619-0 | url-access = registration | url = https://archive.org/details/boysgirlsbookabo00gard_0 }}
- {{citation
| last = Katz | first = Victor J.
| year = 2008
| title = A History of Mathematics
| location = Boston
| publisher = Addison-Wesley
| edition = 3rd
| url = http://deti-bilingual.com/wp-content/uploads/2014/06/3rd-Edition-Victor-J.-Katz-A-History-of-Mathematics-Pearson-2008.pdf
| quote = The English word “sine” comes from a series of mistranslations of the Sanskrit {{lang|sa|jyā-ardha}} (chord-half). Āryabhaṭa frequently abbreviated this term to {{lang|sa|jyā}} or its synonym {{lang|sa|jīvá}}. When some of the Hindu works were later translated into Arabic, the word was simply transcribed phonetically into an otherwise meaningless Arabic word {{tlit|ar|jiba}}. But since Arabic is written without vowels, later writers interpreted the consonants {{tlit|ar|jb}} as {{lang|ar|jaib}}, which means bosom or breast. In the twelfth century, when an Arabic trigonometry work was translated into Latin, the translator used the equivalent Latin word {{lang|la|sinus}}, which also meant bosom, and by extension, fold (as in a toga over a breast), or a bay or gulf.
}}
- {{citation
| last = Maor | first = Eli
| year = 1998
| title = Trigonometric Delights
| publisher = Princeton University Press
| isbn = 1-4008-4282-4
| url = https://books.google.com/books?id=r9aMrneWFpUC
}}
- {{citation
| last = Merlet | first = Jean-Pierre
| doi = 10.1007/1-4020-2204-2
| contribution = A Note on the History of the Trigonometric Functions
| editor-last = Ceccarelli | editor-first = Marco
| title = International Symposium on History of Machines and Mechanisms
| publisher = Springer
| year = 2004
| isbn = 978-1-4020-2203-6
}}
- {{citation
| last1 = Merzbach | first1 = Uta C. | author1-link = Uta Merzbach
| last2 = Boyer | first2 = Carl B. | author2-link = Carl B. Boyer
| title = A History of Mathematics
| publisher = John Wiley & Sons
| edition = 3rd
| year = 2011
| quote = It was Robert of Chester's translation from Arabic that resulted in our word "sine". The Hindus had given the name jiva to the half-chord in trigonometry, and the Arabs had taken this over as jiba. In the Arabic language, there is also the word jaib meaning "bay" or "inlet". When Robert of Chester came to translate the technical word jiba, he seems to have confused this with the word jaib (perhaps because vowels were omitted); hence, he used the word sinus, the Latin word for "bay" or "inlet".''
}}
- {{citation
| last = Plofker
| title = Mathematics in India | title-link = Mathematics in India (book)
| publisher = Princeton University Press
| year = 2009
}}
- {{citation
| last = Powell | first = Michael J. D. | author-link = Michael J. D. Powell
| title = Approximation Theory and Methods
| publisher = Cambridge University Press
| isbn = 978-0-521-29514-7
| year = 1981
}}
- {{citation
| last = Rudin | first = Walter | author-link = Walter Rudin
| title = Real and complex analysis
| publisher = McGraw-Hill
| location = New York
| edition = 3rd
| isbn = 978-0-07-054234-1
| mr = 924157
| year = 1987
}}
- {{citation
| last = Smith | first = D. E.
| title = History of Mathematics
| volume = I
| year = 1958 | orig-year = 1925
| publisher = Dover Publications
| isbn = 0-486-20429-4
}}
- {{citation
| last1 = Varberg | first1 = Dale E.
| last2 = Purcell | first2 = Edwin J.
| last3 = Rigdon | first3 = Steven E.
| title = Calculus
| year = 2007
| publisher = Pearson Prentice Hall
| edition = 9th
| isbn = 978-0131469686
| url = https://archive.org/details/matematika-a-purcell-calculus-9th-ed/mode/2up
}}
- {{citation
| last = Vince | first = John
| year = 2023
| title = Calculus for Computer Graphics
| publisher = Springer
| url = https://books.google.com/books?id=GnW6EAAAQBAJ
| doi = 10.1007/978-3-031-28117-4
| isbn = 978-3-031-28117-4
}}
- {{citation
| last = Young | first = Cynthia | author-link = Cynthia Y. Young
| year = 2012
| title = Trigonometry
| edition = 3rd
| publisher = John Wiley & Sons
| url = https://books.google.com/books?id=OMrcN0a3LxIC
| isbn = 978-1-119-32113-2
}}
- {{citation
| last = Young | first = Cynthia | author-link = Cynthia Y. Young | author-mask = 3
| year = 2017
| title = Trigonometry
| edition = 4th
| publisher = John Wiley & Sons
| url = https://books.google.com/books?id=476ZDwAAQBAJ
| isbn = 978-1-119-32113-2
}}
- {{citation
| last = Zimmermann | first = Paul
| contribution = Can we trust floating-point numbers?
| page = 14/31
| title = Grand Challenges of Informatics
| year = 2006
| url = http://www.jaist.ac.jp/~bjorner/ae-is-budapest/talks/Sept20pm2_Zimmermann.pdf
}}
- {{citation
| last = Zygmund | first = Antoni | author-link = Antoni Zygmund
| title = Trigonometric Series
| publisher = Cambridge University Press
| edition = 2nd, reprinted
| mr = 0236587
| year = 1968
| url = https://archive.org/details/trigonometricser0012azyg/
| url-access = limited
}}
{{refend}}
External links
{{Wiktionary|sine}}
- {{Commons category-inline|Sine function}}
{{Wiktionary}}
{{Trigonometric and hyperbolic functions}}