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 acute 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 a periodic function with period . By the Pythagorean theorem,
also obeys the Pythagorean
identity
|
(2)
|
The definition of the cosine function can be extended to complex numbers
using the definition
|
(3)
|
where e is the base of the natural logarithm and i is the imaginary unit. 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 and
is a nonnegative integer. It is related to
via
|
(12)
|
where is defined (Trott 2006, p. 39).
For a nonnegative integer and a real number
with
,
summation of
from
to
can be done in closed form as
|
(13)
| |||
|
(14)
| |||
|
(15)
| |||
|
(16)
| |||
|
(17)
|
When and
are real numbers,
|
(18)
|
where . The exponential
sum formula gives
|
(19)
| |||
|
(20)
|
At for an integer
, the finite sum equals
. For a nonnegative integer
and a real
number
with
, the sum of
can also be done in closed form,
|
(21)
|
At for an integer
, this sum equals
.
For a real number , the Fourier transform
of
, interpreted in the sense
of generalized functions, is given by
|
(22)
| |||
|
(23)
|
where is the delta
function.
For a real number and
on the real axis, Cvijović
and Klinowski (1995) consider the series
|
(24)
|
which has the following closed form for with
a positive integer and
,
|
(25)
|
where is an Euler
polynomial.
A definite integral involving is given by
|
(26)
|
for a real number , where
is the gamma function
(T. Drane, pers. comm., Apr. 21, 2006).
Zang et al. (2026) determined the minimum proportion of a period on which four cosines with distinct positive integer frequencies all have the same sign. For
the functions
with no phase shifts and uniformly distributed
, this proportion is at least
, with equality exactly when the frequency set is a positive
integer multiple of
.
If both odd and even frequencies occur, the minimum is
, attained exactly at odd multiples of
or
. More generally, if
is the infimum of the same-sign
proportions for
distinct positive integer frequencies, then
|
(27)
|
Zang et al. (2026) report AI assistance with mathematical discovery and verification.