, la cotangente inversa o arcocotangente, invierte 1. Es la única función trigonométrica inversa cuyo valor principal está realmente discutido. El convenio que se usa aquí toma el rango , lo que da la fórmula siguiente.
El dominio es el conjunto de todos los números reales. Como aplica el intervalo de forma monótona sobre toda la recta real, su inversa admite cualquier número real y devuelve valores en . Como el rango de es , restarlo de cae exactamente en .
La derivada se diferencia de la de solo en el signo.
Al ser siempre negativa, la función decrece en toda la recta y no tiene extremos.
Las rectas e son asíntotas horizontales.
La gráfica tiene simetría de rotación respecto de , heredada de la simetría de respecto del origen tras darle la vuelta y elevarla en .
La segunda derivada es , que lleva el signo de , así que la curva es cóncava hacia abajo para y cóncava hacia arriba para , y el centro de simetría es su único punto de inflexión.
| Convenio | Fórmula | Rango | Continuidad |
|---|---|---|---|
| Valor principal en | continua en toda la recta | ||
| A través de la recíproca | sin el | salta en el origen |
Las dos definiciones coinciden para y se diferencian en exactamente para . Muchos sistemas de álgebra computacional y bibliotecas numéricas adoptan la segunda, y también lo hace el motor de fórmulas de este sitio: escribir acot(x) en el campo de la fórmula dibuja la curva discontinua y no la que se muestra aquí.
Cuando se quiere una función continua y decreciente, por ejemplo para escribir una primitiva en la forma siguiente, el rango resulta cómodo.
Cuando se prefiere definirla a través de una recíproca, como las demás funciones trigonométricas inversas, o calcularla mecánicamente a partir de , la forma es más cómoda. Los libros de texto y el software se dividen en la cuestión, así que siempre que aparezca conviene comprobar qué rango se pretende.
Con esta quedan colocadas las seis funciones trigonométricas inversas. Tres parejas suman cada una , una disposición de simetría muy limpia.
| Pareja | Relación |
|---|---|
| y | |
| y | |
| y |