Definition:Inverse Cotangent/Complex/Arccotangent

Definition

The principal branch of the complex inverse cotangent function is defined as:

$\map \arccot z := \dfrac 1 {2 i} \, \map \Ln {\dfrac {z + i} {z - i} }$

where $\Ln$ denotes the principal branch of the complex natural logarithm.

Also denoted as

The symbol used to denote the arccotangent function is variously seen as:

• $\arccot$
• $\operatorname {acot}$
• $\operatorname {actn}$

Also see

• Derivation of Complex Arctangent from Inverse Cotangent Multifunction

Sources

• 1981: Murray R. Spiegel: Theory and Problems of Complex Variables (SI ed.) ... (previous) ... (next): $2$: Functions, Limits and Continuity: The Elementary Functions: $7$