|
|
The cosine function is one of the basic functions encountered in trigonometry (the others being the cosecant, cotangent, secant, sine, and tangent). Let be an angle measured counterclockwise from the x-axis along the arc of the unit circle. Then is the horizontal coordinate of the arc endpoint.
The common schoolbook definition of the cosine 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 adjacent to the angle and the hypotenuse, i.e.,
(1)
|
A convenient mnemonic for remembering the definition of the sine, 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 cosine function is periodic with period . By the Pythagorean theorem, also obeys the identity
(2)
|
The definition of the cosine function can be extended to complex arguments using the definition
(3)
|
where e is the base of the natural logarithm and i is the imaginary number. Cosine is an entire function and is implemented in the Wolfram Language as Cos[z].
A related function known as the hyperbolic cosine is similarly defined,
(4)
|
The cosine function has a fixed point at 0.739085... (OEIS A003957), a value sometimes known as the Dottie number (Kaplan 2007).
The cosine function can be defined analytically using the infinite sum
(5)
| |||
(6)
|
or the infinite product
(7)
|
A close approximation to for is
(8)
| |||
(9)
|
(Hardy 1959), where the difference between and Hardy's approximation is plotted above.
The cosine obeys the identity
(10)
|
and the multiple-angle formula
(11)
|
where is a binomial coefficient. It is related to via
(12)
|
(Trott 2006, p. 39).
Summation of from to can be done in closed form as
(13)
| |||
(14)
| |||
(15)
| |||
(16)
| |||
(17)
|
Similarly,
(18)
|
where . The exponential sum formula gives
(19)
| |||
(20)
|
The sum of can also be done in closed form,
(21)
|
The Fourier transform of is given by
(22)
| |||
(23)
|
where is the delta function.
Cvijović and Klinowski (1995) note that the following series
(24)
|
has closed form for ,
(25)
|
where is an Euler polynomial.
A definite integral involving is given by
(26)
|
for where is the gamma function (T. Drane, pers. comm., Apr. 21, 2006).