Sine and cosine

From HandWiki
Short description: Fundamental trigonometric functions

Template:Infobox mathematical function

In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle (the hypotenuse), and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle [math]\displaystyle{ \theta }[/math], the sine and cosine functions are denoted simply as [math]\displaystyle{ \sin \theta }[/math] and [math]\displaystyle{ \cos \theta }[/math].[1]

More generally, the definitions of sine and cosine can be 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.

Notation

Sine and cosine are written using functional notation with the abbreviations sin and cos.

Often, if the argument is simple enough, the function value will be written without parentheses, as sin θ rather than as sin(θ).

Each of sine and cosine is a function of an angle, which is usually expressed in terms of radians or degrees. Except where explicitly stated otherwise, this article assumes that the angle is measured in radians.

Definitions

Right-angled triangle definitions

For the angle α, the sine function gives the ratio of the length of the opposite side to the length of the hypotenuse.

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 triangle ABC is the angle of interest. The three sides of the triangle are named as follows:

  • The opposite side is the side opposite to the angle of interest, in this case side a.
  • The hypotenuse is the side opposite the right angle, in this case side h. The hypotenuse is always the longest side of a right-angled triangle.
  • The adjacent side is the remaining side, in this case side b. It forms a side of (and is adjacent to) both the angle of interest (angle A) 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:[2]

[math]\displaystyle{ \sin(\alpha) = \frac {\textrm{opposite}} {\textrm{hypotenuse}}\qquad\cos(\alpha) = \frac {\textrm{adjacent}} {\textrm{hypotenuse}} }[/math]

The other trigonometric functions of the angle can be defined similarly; for example, the tangent is the ratio between the opposite and adjacent sides.[2]

As stated, the values [math]\displaystyle{ \sin(\alpha) }[/math] and [math]\displaystyle{ \cos(\alpha) }[/math] appear to depend on the choice of right triangle containing an angle of measure α. However, this is not the case: all such triangles are similar, and so the ratios are the same for each of them.

Unit circle definitions

In trigonometry, a unit circle is the circle of radius one centered at the origin (0, 0) in the Cartesian coordinate system.

Unit circle: a circle with radius one

Let a line through the origin intersect the unit circle, making an angle of θ with the positive half of the x-axis. The x- and y-coordinates of this point of intersection are equal to cos(θ) and sin(θ), respectively. This definition is consistent with the right-angled triangle definition of sine and cosine when [math]\displaystyle{ 0 \lt \theta \lt \frac{\pi}{2} }[/math]: because the length of the hypotenuse of the unit circle is always 1, [math]\displaystyle{ \sin(\theta) = \frac {\text{opposite}} {\text{hypotenuse}} = \frac {\text{opposite}} {1} = {\text{opposite}} }[/math]. The length of the opposite side of the triangle is simply the y-coordinate. A similar argument can be made for the cosine function to show that [math]\displaystyle{ \cos (\theta) = \frac {\text{adjacent}}{\text{hypotenuse}} }[/math] when [math]\displaystyle{ 0 \lt \theta \lt \frac{\pi}{2} }[/math], even under the new definition using the unit circle. tan(θ) is then defined as [math]\displaystyle{ \frac{\sin(\theta)}{\cos(\theta)} }[/math], or, equivalently, as the slope of the line segment.

Using the unit circle definition has the advantage that the angle can be extended to any real argument. This can also be achieved by requiring certain symmetries, and that sine be a periodic function.

Complex exponential function definitions

Main page: Euler's formula

The exponential function [math]\displaystyle{ e^z }[/math] is defined on the entire domain of the complex numbers. The definition of sine and cosine can be extended to all complex numbers via

[math]\displaystyle{ \sin z = \frac{e^{iz} - e^{-iz}}{2i} }[/math]
[math]\displaystyle{ \cos z = \frac{e^{iz} + e^{-iz}}{2} }[/math]

These can be reversed to give Euler's formula

[math]\displaystyle{ e^{iz} = \cos z + i \sin z }[/math]
[math]\displaystyle{ e^{-iz} = \cos z - i \sin z }[/math]

When plotted on the complex plane, the function [math]\displaystyle{ e^{ix} }[/math] for real values of [math]\displaystyle{ x }[/math] traces out the unit circle in the complex plane.

When [math]\displaystyle{ x }[/math] is a real number, sine and cosine simplify to the imaginary and real parts of [math]\displaystyle{ e^{ix} }[/math] or [math]\displaystyle{ e^{-ix} }[/math], as:

[math]\displaystyle{ \sin x = \operatorname{Im}(e^{ix}) = -\operatorname{Im}(e^{-ix}) }[/math]
[math]\displaystyle{ \cos x = \operatorname{Re}(e^{ix}) = \operatorname{Re}(e^{-ix}) }[/math]

When [math]\displaystyle{ z=x+iy }[/math] for real values [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math], sine and cosine can be expressed in terms of real sines, cosines, and hyperbolic functions as

[math]\displaystyle{ \begin{align}\sin z &= \sin x \cosh y + i \cos x \sinh y\\[5pt] \cos z &= \cos x \cosh y - i \sin x \sinh y\end{align} }[/math]

Differential equation definition

[math]\displaystyle{ (\cos \theta, \sin \theta) }[/math] is the solution [math]\displaystyle{ (x(\theta), y(\theta)) }[/math] to the two-dimensional system of differential equations [math]\displaystyle{ y'(\theta) = x(\theta) }[/math] and [math]\displaystyle{ x'(\theta) = -y(\theta) }[/math] with the initial conditions [math]\displaystyle{ y(0) = 0 }[/math] and [math]\displaystyle{ x(0) = 1 }[/math]. 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 [math]\displaystyle{ y'(\theta) = x(\theta) }[/math] and [math]\displaystyle{ x'(\theta) = -y(\theta) }[/math] starting from the initial conditions [math]\displaystyle{ y(0) = 0 }[/math] and [math]\displaystyle{ x(0) = 1 }[/math].

Series definitions

The sine function (blue) is closely approximated by its Taylor polynomial of degree 7 (pink) for a full cycle centered on the origin.
This animation shows how including more and more terms in the partial sum of its Taylor series approaches a sine curve.

The successive derivatives of sine, evaluated at zero, can be used to determine its Taylor series. Using only geometry and properties of limits, it can be shown that the derivative of sine is cosine, and that the derivative of cosine is the negative of sine. This means the successive derivatives of sin(x) are cos(x), -sin(x), -cos(x), sin(x), continuing to repeat those four functions. The (4n+k)-th derivative, evaluated at the point 0:

[math]\displaystyle{ \sin^{(4n+k)}(0)=\begin{cases} 0 & \text{when } k=0 \\ 1 & \text{when } k=1 \\ 0 & \text{when } k=2 \\ -1 & \text{when } k=3 \end{cases} }[/math]

where the superscript represents repeated differentiation. This implies the following Taylor series expansion at x = 0. One can then use the theory of Taylor series to show that the following identities hold for all real numbers x (where x is the angle in radians):[3]

[math]\displaystyle{ \begin{align} \sin(x) &= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \\[8pt] & = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!}x^{2n+1} \\[8pt] \end{align} }[/math]

Taking the derivative of each term gives the Taylor series for cosine:

[math]\displaystyle{ \begin{align} \cos(x) &= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\[8pt] & = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}x^{2n} \\[8pt] \end{align} }[/math]

Continued fraction definitions

The sine function can also be represented as a generalized continued fraction:

[math]\displaystyle{ \sin(x) = \cfrac{x}{1 + \cfrac{x^2}{2\cdot3-x^2 + \cfrac{2\cdot3 x^2}{4\cdot5-x^2 + \cfrac{4\cdot5 x^2}{6\cdot7-x^2 + \ddots}}}}. }[/math]
[math]\displaystyle{ \cos (x) = \cfrac{1}{1 + \cfrac{x^2}{1 \cdot 2 - x^2 + \cfrac{1 \cdot 2x^2}{3 \cdot 4 - x^2 + \cfrac{3 \cdot 4x^2}{5 \cdot 6 - x^2 + \ddots}}}}. }[/math]

The continued fraction representations can be derived from Euler's continued fraction formula and express the real number values, both rational and irrational, of the sine and cosine functions.

Identities

Main page: List of trigonometric identities

Exact identities (using radians):

These apply for all values of [math]\displaystyle{ \theta }[/math].

[math]\displaystyle{ \sin(\theta) = \cos\left(\frac{\pi}{2} - \theta \right) = \cos\left(\theta - \frac{\pi}{2}\right) }[/math]
[math]\displaystyle{ \cos(\theta) = \sin\left(\frac{\pi}{2} - \theta \right) = \sin\left(\theta + \frac{\pi}{2}\right) }[/math]

Reciprocals

The reciprocal of sine is cosecant, i.e., the reciprocal of [math]\displaystyle{ \sin{\theta} }[/math] is [math]\displaystyle{ \csc{\theta} }[/math]. Cosecant gives the ratio of the length of the hypotenuse to the length of the opposite side. Similarly, the reciprocal of cosine is secant, which gives the ratio of the length of the hypotenuse to that of the adjacent side.

[math]\displaystyle{ \csc{\theta} = \frac{1}{\sin{\theta}} = \frac {\textrm{hypotenuse}} {\textrm{opposite}} }[/math]
[math]\displaystyle{ \sec{\theta} = \frac{1}{\cos{\theta}} = \frac {\textrm{hypotenuse}} {\textrm{adjacent}} }[/math]

Inverses

The usual principal values of the arcsin(x) and arccos(x) functions graphed on the Cartesian plane

The inverse function of sine is arcsine (arcsin or asin) or inverse sine (sin−1). The inverse function of cosine is arccosine (arccos, acos, or cos−1). (The superscript of −1 in sin−1 and cos−1 denotes the inverse of a function, not exponentiation.) As sine and cosine are not injective, their inverses are not exact inverse functions, but partial inverse functions. For example, sin(0) = 0, but also sin(π) = 0, sin(2π) = 0 etc. It follows that the arcsine function is multivalued: arcsin(0) = 0, but also arcsin(0) = π, arcsin(0) = 2π, etc. When only one value is desired, the function may be restricted to its principal branch. With this restriction, for each x in the domain, the expression arcsin(x) will evaluate only to a single value, called its principal value. The standard range of principal values for arcsin is from π/2 to π/2 and the standard range for arccos is from 0 to π.

[math]\displaystyle{ \theta = \arcsin \left( \frac{\text{opposite}}{\text{hypotenuse}} \right) = \arccos \left( \frac{\text{adjacent}}{\text{hypotenuse}} \right). }[/math]

where (for some integer k):

[math]\displaystyle{ \begin{align} \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} }[/math]

By definition, arcsin and arccos satisfy the equations:

[math]\displaystyle{ \sin(\arcsin(x)) = x \qquad \cos(\arccos(x)) = x }[/math]

and

[math]\displaystyle{ \begin{align}\arcsin(\sin(\theta)) = \theta\quad & \text{for}\quad -\frac{\pi}{2} \leq \theta \leq \frac{\pi}{2}\\ \arccos(\cos(\theta)) = \theta\quad & \text{for}\quad 0 \leq \theta \leq \pi\end{align} }[/math]

Pythagorean trigonometric identity

The basic relationship between the sine and the cosine is the Pythagorean trigonometric identity:[1]

[math]\displaystyle{ \cos^2(\theta) + \sin^2(\theta) = 1 }[/math]

where sin2(x) means (sin(x))2.

Double angle formulas

Sine and cosine satisfy the following double angle formulas:

[math]\displaystyle{ \sin(2\theta) = 2\sin(\theta)\cos(\theta) }[/math]
[math]\displaystyle{ \cos(2\theta) = \cos^2(\theta) - \sin^2(\theta) = 2\cos^2(\theta) - 1 = 1 - 2\sin^2(\theta) }[/math]

Sine function in blue and sine squared function in red. The X axis is in radians.

The cosine double angle formula implies that sin2 and cos2 are, themselves, shifted and scaled sine waves. Specifically,[4]

[math]\displaystyle{ \sin^2(\theta) = \frac{1 - \cos(2\theta)}{2}\qquad\cos^2(\theta) = \frac{1 + \cos(2\theta)}{2} }[/math]

The graph shows both the sine function and the sine squared function, with the sine in blue and 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.

Derivative and integrals

The derivatives of sine and cosine are:

[math]\displaystyle{ \frac{d}{dx}\sin(x) = \cos(x) \qquad \frac{d}{dx}\cos(x) = -\sin(x) }[/math]

and their antiderivatives are:

[math]\displaystyle{ \int \sin(x)\,dx = -\cos(x) + C }[/math]
[math]\displaystyle{ \int \cos(x)\,dx = \sin(x) + C }[/math]

where C denotes the constant of integration.[1]

Properties relating to the quadrants

The four quadrants of a Cartesian coordinate system

The table below displays many of the key properties of the sine function (sign, monotonicity, convexity), arranged by the quadrant of the argument. For arguments outside those in the table, one may compute the corresponding information by using the periodicity [math]\displaystyle{ \sin(\alpha + 2\pi) = \sin(\alpha) }[/math] of the sine function.

Quadrant Angle Sine Cosine
Degrees Radians Sign Monotony Convexity Sign Monotony Convexity
1st quadrant, I [math]\displaystyle{ 0^\circ \lt x\lt 90^\circ }[/math] [math]\displaystyle{ 0 \lt x \lt \frac{\pi}{2} }[/math] [math]\displaystyle{ + }[/math] increasing concave [math]\displaystyle{ + }[/math] decreasing concave
2nd quadrant, II [math]\displaystyle{ 90^\circ \lt x \lt 180^\circ }[/math] [math]\displaystyle{ \frac{\pi}{2} \lt x \lt \pi }[/math] [math]\displaystyle{ + }[/math] decreasing concave [math]\displaystyle{ - }[/math] decreasing convex
3rd quadrant, III [math]\displaystyle{ 180^\circ \lt x \lt 270^\circ }[/math] [math]\displaystyle{ \pi \lt x \lt \frac{3\pi}{2} }[/math] [math]\displaystyle{ - }[/math] decreasing convex [math]\displaystyle{ - }[/math] increasing convex
4th quadrant, IV [math]\displaystyle{ 270^\circ \lt x \lt 360^\circ }[/math] [math]\displaystyle{ \frac{3\pi}{2} \lt x \lt 2\pi }[/math] [math]\displaystyle{ - }[/math] increasing convex [math]\displaystyle{ + }[/math] increasing concave
The quadrants of the unit circle and of sin(x), using the Cartesian coordinate system

The following table gives basic information at the boundary of the quadrants.

Degrees Radians [math]\displaystyle{ \sin(x) }[/math] [math]\displaystyle{ \cos(x) }[/math]
Value Point type Value Point type
[math]\displaystyle{ 0^\circ }[/math] [math]\displaystyle{ 0 }[/math] [math]\displaystyle{ 0 }[/math] Root, inflection [math]\displaystyle{ 1 }[/math] Maximum
[math]\displaystyle{ 90^\circ }[/math] [math]\displaystyle{ \frac{\pi}{2} }[/math] [math]\displaystyle{ 1 }[/math] Maximum [math]\displaystyle{ 0 }[/math] Root, inflection
[math]\displaystyle{ 180^\circ }[/math] [math]\displaystyle{ \pi }[/math] [math]\displaystyle{ 0 }[/math] Root, inflection [math]\displaystyle{ -1 }[/math] Minimum
[math]\displaystyle{ 270^\circ }[/math] [math]\displaystyle{ \frac{3\pi}{2} }[/math] [math]\displaystyle{ -1 }[/math] Minimum [math]\displaystyle{ 0 }[/math] Root, inflection

Fixed points

Main page: Dottie number

thumb|The fixed point iteration xn+1 = cos(xn) with initial value x0 = −1 converges to the Dottie number. 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 [math]\displaystyle{ \sin(0)=0 }[/math]. The only real fixed point of the cosine function is called the Dottie number. That is, the Dottie number is the unique real root of the equation [math]\displaystyle{ \cos (x) = x. }[/math] The decimal expansion of the Dottie number is [math]\displaystyle{ 0.739085\ldots }[/math].[5]

Arc length

The arc length of the sine curve between [math]\displaystyle{ 0 }[/math] and [math]\displaystyle{ t }[/math] is

[math]\displaystyle{ \int_0^t\!\sqrt{1+\cos^2(x)}\, dx =\sqrt{2} \operatorname{E}(t,1/\sqrt{2}), }[/math]

where [math]\displaystyle{ \operatorname{E}(\varphi,k) }[/math] is the incomplete elliptic integral of the second kind with modulus [math]\displaystyle{ k }[/math]. It cannot be expressed using elementary functions.

The arc length for a full period is[6]

[math]\displaystyle{ L = \frac{4\sqrt{2\pi ^3}}{\Gamma(1/4)^2} + \frac{\Gamma(1/4)^2}{\sqrt{2\pi}} = \frac{2\pi}{\varpi}+2\varpi = 7.640395578\ldots }[/math]

where [math]\displaystyle{ \Gamma }[/math] is the gamma function and [math]\displaystyle{ \varpi }[/math] is the lemniscate constant.[6][7]

Laws

Main pages: Law of sines and Law of cosines

The law of sines states that for an arbitrary triangle with sides a, b, and c and angles opposite those sides A, B and C:

[math]\displaystyle{ \frac{\sin A}{a} = \frac{\sin B}{b} = \frac{\sin C}{c}. }[/math]

This is equivalent to the equality of the first three expressions below:

[math]\displaystyle{ \frac{a}{\sin A} = \frac{b}{\sin B} = \frac{c}{\sin C} = 2R, }[/math]

where R is the triangle's circumradius.

It can be proved by dividing the triangle into two right ones and using the above definition of sine. 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. This is a common situation occurring in triangulation, a technique to determine unknown distances by measuring two angles and an accessible enclosed distance.

The law of cosines states that for an arbitrary triangle with sides a, b, and c and angles opposite those sides A, B and C:

[math]\displaystyle{ a^2 + b^2 - 2ab\cos(C) = c^2 }[/math]

In the case where [math]\displaystyle{ C = \pi/2 }[/math], [math]\displaystyle{ \cos(C) = 0 }[/math] and this becomes the Pythagorean theorem: for a right triangle, [math]\displaystyle{ a^2 + b^2 = c^2, }[/math] where c is the hypotenuse.

Special values

Some common angles (θ) shown on the unit circle. The angles are given in degrees and radians, together with the corresponding intersection point on the unit circle, (cos(θ), sin(θ)).

For integer multiples of 15° (that is, [math]\displaystyle{ \textstyle\frac\pi{12} }[/math] radians), the values of sin(x) and cos(x) are particularly simple and can be expressed in terms of [math]\displaystyle{ \sqrt 2,\sqrt 3, \sqrt 6 }[/math] only. A table of these angles is given below. For more complex angle expressions see Exact trigonometric values § Common angles.

Angle, x sin(x) cos(x)
Degrees Radians Gradians Turns Exact Decimal Exact Decimal
0 0g 0 0 0 1 1
15° 1/12π 16+2/3g 1/24 [math]\displaystyle{ \frac{\sqrt{6}-\sqrt{2}}{4} }[/math] 0.2588 [math]\displaystyle{ \frac{\sqrt{6}+\sqrt{2}}{4} }[/math] 0.9659
30° 1/6π 33+1/3g 1/12 1/2 0.5 [math]\displaystyle{ \frac{\sqrt{3}}{2} }[/math] 0.8660
45° 1/4π 50g 1/8 [math]\displaystyle{ \frac{\sqrt{2}}{2} }[/math] 0.7071 [math]\displaystyle{ \frac{\sqrt{2}}{2} }[/math] 0.7071
60° 1/3π 66+2/3g 1/6 [math]\displaystyle{ \frac{\sqrt{3}}{2} }[/math] 0.8660 1/2 0.5
75° 5/12π 83+1/3g 5/24 [math]\displaystyle{ \frac{\sqrt{6}+\sqrt{2}}{4} }[/math] 0.9659 [math]\displaystyle{ \frac{\sqrt{6}-\sqrt{2}}{4} }[/math] 0.2588
90° 1/2π 100g 1/4 1 1 0 0

90 degree increments:

x in degrees 90° 180° 270° 360°
x in radians 0 π/2 π 3π/2 2π
x in gons 0 100g 200g 300g 400g
x in turns 0 1/4 1/2 3/4 1
sin x 0 1 0 −1 0
cos x 1 0 −1 0 1

Relationship to complex numbers

[math]\displaystyle{ \cos(\theta) }[/math] and [math]\displaystyle{ \sin(\theta) }[/math] are the real and imaginary parts of [math]\displaystyle{ e^{i\theta} }[/math].

Sine and cosine are used to connect the real and imaginary parts of a complex number with its polar coordinates (r, φ):

[math]\displaystyle{ z = r(\cos(\varphi) + i\sin(\varphi)) }[/math]

The real and imaginary parts are:

[math]\displaystyle{ \operatorname{Re}(z) = r \cos(\varphi) }[/math]
[math]\displaystyle{ \operatorname{Im}(z) = r \sin(\varphi) }[/math]

where r and φ represent the magnitude and angle of the complex number z.

For any real number θ, Euler's formula says that:

[math]\displaystyle{ e^{i\theta} = \cos(\theta) + i \sin(\theta) }[/math]

Therefore, if the polar coordinates of z are (r, φ), [math]\displaystyle{ z = re^{i\varphi}. }[/math]

Complex arguments

Domain coloring of sin(z) in the complex plane. Brightness indicates absolute magnitude, hue represents complex argument.
sin(z) as a vector field

Applying the series definition of the sine and cosine to a complex argument, z, gives:

[math]\displaystyle{ \begin{align} \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} }[/math]

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:

[math]\displaystyle{ \begin{align} \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} }[/math]

Partial fraction and product expansions of complex sine

Using the partial fraction expansion technique in complex analysis, one can find that the infinite series

[math]\displaystyle{ \sum_{n = -\infty}^{\infty}\frac{(-1)^n}{z-n} = \frac{1}{z} -2z \sum_{n = 1}^{\infty}\frac{(-1)^n}{n^2 - z^2} }[/math]

both converge and are equal to [math]\displaystyle{ \frac{\pi}{\sin (\pi z)} }[/math]. Similarly, one can show that

[math]\displaystyle{ \frac{\pi^2}{\sin^2 (\pi z)} = \sum_{n=-\infty}^\infty \frac{1}{(z - n)^2}. }[/math]

Using product expansion technique, one can derive

[math]\displaystyle{ \sin(\pi z) = \pi z \prod_{n = 1}^\infty \left( 1 - \frac{z^2}{n^2} \right). }[/math]

Alternatively, the infinite product for the sine can be proved using complex Fourier series.

Proof of the infinite product for the sine

Using complex Fourier series, the function [math]\displaystyle{ \cos (zx) }[/math] can be decomposed as

[math]\displaystyle{ \cos (zx) = \frac{z\sin (\pi z)}{\pi}\displaystyle\sum_{n=-\infty}^\infty \frac{(-1)^n \, e^{inx}}{z^2 - n^2}, \, z\in\Complex \setminus \mathbb{Z}, \, x\in [-\pi ,\pi]. }[/math]

Setting [math]\displaystyle{ x = \pi }[/math] yields

[math]\displaystyle{ \cos (\pi z) = \frac{z\sin (\pi z)}{\pi}\displaystyle\sum_{n=-\infty}^\infty \frac{1}{z^2 - n^2} = \frac{z\sin (\pi z)}{\pi}\left(\frac{1}{z^2} + 2\displaystyle\sum_{n=1}^\infty \frac{1}{z^2 - n^2}\right). }[/math]

Therefore, we get

[math]\displaystyle{ \pi \cot (\pi z) = \frac{1}{z} + 2\displaystyle\sum_{n=1}^\infty \frac{z}{z^2 - n^2}. }[/math]

The function [math]\displaystyle{ \pi \cot (\pi z) }[/math] is the derivative of [math]\displaystyle{ \ln (\sin (\pi z)) + C_0 }[/math]. Furthermore, if [math]\displaystyle{ \frac{df}{dz} = \frac{z}{z^2 - n^2} }[/math], then the function [math]\displaystyle{ f }[/math] such that the emerged series converges on some open and connected subset of [math]\displaystyle{ \mathbb{C} }[/math] is [math]\displaystyle{ f = \frac{1}{2}\ln \left(1 - \frac{z^2}{n^2}\right) + C_1 }[/math], which can be proved using the Weierstrass M-test. The interchange of the sum and derivative is justified by uniform convergence. It follows that

[math]\displaystyle{ \ln (\sin (\pi z)) = \ln (z) + \displaystyle\sum_{n=1}^\infty \ln \left(1 - \frac{z^2}{n^2}\right) + C. }[/math]

Exponentiating gives

[math]\displaystyle{ \sin (\pi z) = ze^C \displaystyle\prod_{n=1}^\infty \left(1 - \frac{z^2}{n^2}\right). }[/math]

Since [math]\displaystyle{ \lim_{z\to 0}\frac{\sin (\pi z)}{z} = \pi }[/math] and [math]\displaystyle{ \lim_{z\to 0}\prod_{n=1}^\infty \left(1 - \frac{z^2}{n^2}\right) = 1 }[/math], we have [math]\displaystyle{ e^C = \pi }[/math]. Hence

[math]\displaystyle{ \sin (\pi z) = \pi z\displaystyle\prod_{n=1}^\infty \left(1 - \frac{z^2}{n^2}\right) }[/math]

for some open and connected subset of [math]\displaystyle{ \mathbb{C} }[/math]. Let [math]\displaystyle{ a_{n}(z) = -\frac{z^2}{n^2} }[/math]. Since [math]\displaystyle{ \sum_{n=1}^\infty |a_{n}(z)| }[/math] converges uniformly on any closed disk, [math]\displaystyle{ \prod_{n=1}^\infty (1 + a_{n}(z)) }[/math] converges uniformly on any closed disk as well.[8] It follows that the infinite product is holomorphic on [math]\displaystyle{ \mathbb{C} }[/math]. By the identity theorem, the infinite product for the sine is valid for all [math]\displaystyle{ z\in\mathbb C }[/math], which completes the proof. [math]\displaystyle{ \blacksquare }[/math]

Usage of complex sine

sin(z) is found in the functional equation for the Gamma function,

[math]\displaystyle{ \Gamma(s)\Gamma(1 - s) = {\pi\over\sin(\pi s)}, }[/math]

which in turn is found in the functional equation for the Riemann zeta-function,

[math]\displaystyle{ \zeta(s) = 2(2\pi)^{s-1}\Gamma(1 - s)\sin\left(\frac{\pi}{2} s\right)\zeta(1 - s). }[/math]

As a holomorphic function, sin z is a 2D solution of Laplace's equation:

[math]\displaystyle{ \Delta u(x_1, x_2) = 0. }[/math]

The complex sine function is also related to the level curves of pendulums.[9][better source needed]

Complex graphs

Sine function in the complex plane
Complex sin real 01 Pengo.svg
Complex sin imag 01 Pengo.svg
Complex sin abs 01 Pengo.svg
real component imaginary component magnitude


Arcsine function in the complex plane
Complex arcsin real 01 Pengo.svg
Complex arcsin imag 01 Pengo.svg
Complex arcsin abs 01 Pengo.svg
real component imaginary component magnitude

History

Main page: History of trigonometry
Quadrant from 1840s Ottoman Turkey 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).[10]

The sine and cosine functions can be traced to the jyā and koṭi-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.[11]

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.[12] With the exception of the sine (which was adopted from Indian mathematics), the other five modern trigonometric functions were discovered by Arabic mathematicians, including the cosine, tangent, cotangent, secant and cosecant.[12] Al-Khwārizmī (c. 780–850) produced tables of sines, cosines and tangents.[13][14] 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°.[14]

The first published use of the abbreviations sin, cos, and tan is by the 16th-century French mathematician Albert Girard; 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.[15] Roger Cotes computed the derivative of sine in his Harmonia Mensurarum (1722).[16] 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.[11]

Etymology

Etymologically, the word sine derives from the Sanskrit word jyā 'bow-string'[17][18] or more specifically its synonym jīvá (both adopted from Ancient Greek χορδή 'string'[19]), 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ā). This was transliterated in Arabic as jība, which is however meaningless in that language and abbreviated jb (جب). Since Arabic is written without short vowels, jb was interpreted as the homograph jaib, jayb (جيب), which means 'bosom', 'pocket', 'fold'. 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').[11][20][21] 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.[22][23] The English form sine was introduced in the 1590s.[24]

The word cosine derives from an abbreviation of the Latin complementi sinus 'sine of the complementary angle' as cosinus in Edmund Gunter's Canon triangulorum (1620), which also includes a similar definition of cotangens.[25][26][27]

Software implementations

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.[28]

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(1022).

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]

The CORDIC algorithm is commonly used in scientific calculators.

The sine and cosine functions, along with other trigonometric functions, is 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 [math]\displaystyle{ \pi }[/math] radians. Representing angles in turns or half-turns has accuracy advantages and efficiency advantages in some cases.[29][30] In MATLAB, OpenCL, R, Julia, CUDA, and ARM, these functions are called sinpi and cospi.[29][31][30][32][33][34] For example, sinpi(x) would evaluate to [math]\displaystyle{ \sin(\pi x), }[/math] where x is expressed in half-turns, and consequently the final input to the function, πx can be interpreted in radians by 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 [math]\displaystyle{ 2\pi }[/math], [math]\displaystyle{ \pi }[/math], and [math]\displaystyle{ \frac{\pi}{2} }[/math] 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 [math]\displaystyle{ \frac{\pi}{2} }[/math] involves inaccuracies in representing [math]\displaystyle{ \frac{\pi}{2} }[/math].

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.[35] 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 [math]\displaystyle{ \frac{\pi}{2048} }[/math] would be incurred.

See also


Citations

  1. 1.0 1.1 1.2 Weisstein, Eric W.. "Sine" (in en). https://mathworld.wolfram.com/Sine.html. 
  2. 2.0 2.1 Trigonometry. John Wiley & Sons. 2017. p. 27. ISBN 978-1-119-32113-2. https://books.google.com/books?id=476ZDwAAQBAJ&pg=PA27. 
  3. Ahlfors, Lars (January 1, 1979). Complex Analysis (3 ed.). pp. 43-44. 
  4. "Sine-squared function". https://calculus.subwiki.org/wiki/Sine-squared_function#Identities. 
  5. "OEIS A003957". https://oeis.org/A003957. 
  6. 6.0 6.1 "A105419 - Oeis". http://oeis.org/A105419. 
  7. Adlaj, Semjon (2012). "An Eloquent Formula for the Perimeter of an Ellipse". p. 1097. https://www.ams.org/notices/201208/rtx120801094p.pdf. 
  8. Rudin, Walter (1987). Real and Complex Analysis (Third ed.). McGraw-Hill Book Company. ISBN 0-07-100276-6.  p. 299, Theorem 15.4
  9. "Why are the phase portrait of the simple plane pendulum and a domain coloring of sin(z) so similar?". https://math.stackexchange.com/q/220418. 
  10. Brendan, T. (February 1965). "How Ptolemy constructed trigonometry tables". The Mathematics Teacher 58 (2): 141-149. https://www.jstor.org/stable/27967990. 
  11. 11.0 11.1 11.2 Merzbach, Uta C.; Boyer, Carl B. (2011), A History of Mathematics (3rd ed.), John Wiley & Sons : It was Robert of Chester's translation from the 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".
  12. 12.0 12.1 "Islamic Astronomy". Scientific American 254: 74. 1986. http://faculty.kfupm.edu.sa/PHYS/alshukri/PHYS215/Islamic_astronomy.htm. Retrieved 2010-07-13. 
  13. Jacques Sesiano, "Islamic mathematics", p. 157, in Selin, Helaine; D'Ambrosio, Ubiratan, eds (2000). Mathematics Across Cultures: The History of Non-western Mathematics. Springer Science+Business Media. ISBN 978-1-4020-0260-1. 
  14. 14.0 14.1 "trigonometry". Encyclopedia Britannica. http://www.britannica.com/EBchecked/topic/605281/trigonometry. 
  15. Nicolás Bourbaki (1994). Elements of the History of Mathematics. Springer. ISBN 9783540647676. https://archive.org/details/elementsofhistor0000bour. 
  16. "Why the sine has a simple derivative ", in Historical Notes for Calculus Teachers by V. Frederick Rickey
  17. "How the Trig Functions Got their Names". Ask Dr. Math. Drexel University. http://mathforum.org/library/drmath/view/54053.html. 
  18. J J O'Connor and E F Robertson (June 1996). "The trigonometric functions". http://www-history.mcs.st-andrews.ac.uk/HistTopics/Trigonometric_functions.html. 
  19. See Plofker, Mathematics in India, Princeton University Press, 2009, p. 257
    See "Clark University". http://www.clarku.edu/~djoyce/trig/. 
    See Maor (1998), chapter 3, regarding the etymology.
  20. Eli Maor (1998), Trigonometric Delights, Princeton: Princeton University Press, p. 35-36.
  21. Victor J. Katz (2008), A History of Mathematics, Boston: Addison-Wesley, 3rd. ed., p. 253, sidebar 8.1. "A History of Mathematics". http://deti-bilingual.com/wp-content/uploads/2014/06/3rd-Edition-Victor-J.-Katz-A-History-of-Mathematics-Pearson-2008.pdf. : The English word “sine” comes from a series of mistranslations of the Sanskrit jyā-ardha (chord-half). Āryabhaṭa frequently abbreviated this term to jyā or its synonym 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 jiba. But since Arabic is written without vowels, later writers interpreted the consonants jb as 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 sinus, which also meant bosom, and by extension, fold (as in a toga over a breast), or a bay or gulf.
  22. Smith, D.E. (1958), History of Mathematics, I, Dover, p. 202, ISBN 0-486-20429-4 
  23. Various sources credit the first use of [sinus] error: {{lang}}: unrecognized private tag: medieval (help) 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 Merlet, A Note on the History of the Trigonometric Functions in Ceccarelli (ed.), International Symposium on History of Machines and Mechanisms, Springer, 2004
    See Maor (1998), chapter 3, for an earlier etymology crediting Gerard.
    See Katx, Victor (July 2008) (in en). A history of mathematics (3rd ed.). Boston: Pearson. p. 210 (sidebar). ISBN 978-0321387004. 
  24. The anglicized form is first recorded in 1593 in Thomas Fale's Horologiographia, the Art of Dialling.
  25. Canon triangulorum. 1620. 
  26. Roegel, Denis, ed (6 December 2010). "A reconstruction of Gunter's Canon triangulorum (1620)". HAL. https://hal.inria.fr/inria-00543938/document. 
  27. "cosine". https://www.etymonline.com/word/cosine. 
  28. Zimmermann, Paul (2006), "Can we trust floating-point numbers?", Grand Challenges of Informatics, p. 14/31, http://www.jaist.ac.jp/~bjorner/ae-is-budapest/talks/Sept20pm2_Zimmermann.pdf, retrieved 2010-09-11 
  29. 29.0 29.1 "MATLAB Documentation sinpi
  30. 30.0 30.1 "R Documentation sinpi
  31. "OpenCL Documentation sinpi
  32. "Julia Documentation sinpi
  33. "CUDA Documentation sinpi
  34. "ARM Documentation sinpi
  35. "ALLEGRO Angle Sensor Datasheet

References

External links

no:Trigonometriske funksjoner#Sinus, cosinus og tangens