The cotangent function
is defined for
by
|
(1)
| |||
|
(2)
| |||
|
(3)
|
Equivalently,
wherever the tangent
is finite and nonzero. The
cotangent is implemented in the Wolfram
Language as Cot[z].
The notations
(Erdélyi et al. 1981, p. 7; Jeffrey 2000, p. 111) and
(Gradshteyn and Ryzhik 2000, p. xxix)
are sometimes used in place of
. Note that the cotangent is not in as widespread use in
Europe as are
,
, and
, although it does appear explicitly in various German and
Russian handbooks (e.g., Gradshteyn and Ryzhik 2000, p. 28). Interestingly,
is treated on par with the other
trigonometric functions in most tabulations
(Gellert et al. 1989, p. 222; Gradshteyn and Ryzhik 2000, p. 28),
while
and
are sometimes not (Gradshteyn and Ryzhik 2000, p. 28).
An important identity connecting the cotangent with the cosecant is given by
|
(4)
|
The cotangent has smallest positive fixed point such that
at 0.8603335890... (OEIS A069855;
Bertrand 1865, p. 285).
The derivative is given by
|
(5)
|
and the indefinite integral by
|
(6)
|
where is a constant
of integration and a local branch of the natural
logarithm is chosen. On a real interval between
consecutive multiples of
, a real antiderivative
is
.
Definite integrals include
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
| |||
|
(11)
| |||
|
(12)
| |||
|
(13)
|
where is Catalan's
constant,
is the natural logarithm of 2, and
is Apéry's constant.
These integrals include ones considered by Glaisher (1893). Additional integrals
include
|
(14)
|
for , where
is the digamma function,
and
|
(15)
|
for .
The Laurent series for about the origin is
|
(16)
| |||
|
(17)
|
(OEIS A002431 and A036278), where is a Bernoulli
number and
.
A sum identity for the cotangent, valid for , is given by
|
(18)
|
For an integer ,
is rational only
for
. In particular, the degrees of the
algebraic numbers
for
, 3, ... are 1, 2, 1, 4, 2, 6, 2, 6, 4, 10, 2, ... (OEIS
A089929).