|
|
The sine function
is one of the basic functions encountered in trigonometry
(the others being the cosecant, cosine,
cotangent, secant, and tangent). Let
be an angle measured counterclockwise
from the x-axis along an arc
of the unit circle. Then
is the vertical coordinate of the arc endpoint, as
illustrated in the left figure above.
The common schoolbook definition of the sine of an angle in a right triangle
(which is equivalent to the definition just given) is as the ratio of the lengths
of the side of the triangle opposite the angle and the hypotenuse,
i.e.,
(1)
|
A convenient mnemonic for remembering the definition of the sine, as well as the cosine and tangent, is SOHCAHTOA (sine equals opposite over hypotenuse, cosine equals adjacent over hypotenuse, tangent equals opposite over adjacent).
As a result of its definition, the sine function is periodic with period . By the Pythagorean theorem,
also obeys the identity
(2)
|
![]() |
The definition of the sine function can be extended to complex arguments , illustrated above, using the definition
(3)
| |||
(4)
|
where e is the base of the natural logarithm and i is the imaginary number. Sine is an entire function and is implemented in the Wolfram Language as Sin[z].
A related function known as the hyperbolic sine is similarly defined,
(5)
|
The sine function can be defined analytically by the infinite sum
(6)
|
It is also given by the imaginary part of the complex exponential
(7)
|
The multiplicative inverse of the sine function is the cosecant, defined as
(8)
|
The sine function is also given by the limit
(9)
|
where is the Möbius
function and
is the fractional part (M. Trott).
The derivative of is
(10)
|
and its indefinite integral is
(11)
|
where is a constant
of integration.
Using the results from the exponential sum formulas
(12)
| |||
(13)
| |||
(14)
| |||
(15)
| |||
(16)
|
Similarly,
(17)
| |||
(18)
| |||
(19)
|
The sum of can also be done in closed form,
(20)
|
A related sum identity is given by
(21)
|
(T. Drane, pers. comm., Apr. 19, 2006).
Product identities include
(22)
|
which is more commonly written as an identity for the sinc function or in the form
(23)
|
(Edwards 2001, pp. 18 and 47; Borwein et al. 2004, p. 5). Another product formula is
(24)
|
(T. Drane, pers. comm., Apr. 19, 2006).
The sine function obeys the identity
(25)
|
and the multiple-angle formula
(26)
|
where is a binomial
coefficient. It is related to
via
(27)
|
(Trott 2006, p. 39).
A curious identity is given by
(28)
|
for all and
(Calogero 1999; Beylkin and Mohlenkamp 2002;
Trott 2005, pp. 5-6).
Cvijović and Klinowski (1995) show that the sum
(29)
|
has closed form for ,
(30)
|
where is an Euler
polynomial.
A continued fraction representation of is
(31)
|
(Olds 1963, p. 138).
The value of
is irrational for all integers
except 2, 4, and 12, for which
,
,
and
, respectively, a result
that is essentially known as Niven's theorem.
The Fourier transform of is given by
(32)
| |||
(33)
|
A definite integral involving is given by
(34)
|
for where
is the gamma function
(R. Mabry, pers. comm., Dec. 15, 2005; T. Drane, pers. comm., Apr. 21,
2006).