y=arctan⁡1xy = \arctan\dfrac{1}{x}

Gráfica de la función y=arctan⁡1xy = \arctan\dfrac{1}{x}

y=arctan⁡1xy = \arctan\dfrac{1}{x} es el arcotangente aplicado a una función recíproca. Sus valores se mantienen entre −π2-\dfrac{\pi}{2} y π2\dfrac{\pi}{2} y, aun así, salta π\pi en el origen, lo que da lugar a un comportamiento especialmente instructivo.

Dominio y rango

El dominio es x≠0x \neq 0. Como 1x\dfrac{1}{x} no vale nunca 00, tampoco lo hace arctan⁡1x\arctan\dfrac{1}{x}, así que la rama con x>0x > 0 queda en (0,π2)\left( 0, \dfrac{\pi}{2} \right) y la rama con x<0x < 0 en (−π2,0)\left( -\dfrac{\pi}{2}, 0 \right).

El salto del origen

Aproximación1x\dfrac{1}{x}yy
x→0+x \to 0^{+}→+∞\to +\infty→π2\to \dfrac{\pi}{2}
x→0−x \to 0^{-}→−∞\to -\infty→−π2\to -\dfrac{\pi}{2}

Los dos límites laterales existen pero no coinciden, así que se trata de una discontinuidad de salto, de tamaño exactamente π\pi. Ningún valor asignado en x=0x = 0 podría hacer continua la función.

Como los valores se mantienen acotados, el eje yy no es una asíntota vertical. La diferencia entre una discontinuidad en la que la función se dispara y otra en la que solo salta se ve aquí con claridad1.

Simetría y asíntota

De f(−x)=−f(x)f(-x) = -f(x) se sigue que la función es impar, con simetría de rotación respecto del origen. Cuando x→±∞x \to \pm\infty se tiene 1x→0\dfrac{1}{x} \to 0 y por tanto y→0y \to 0, lo que hace del eje xx una asíntota horizontal, a la que se acerca por arriba a la derecha y por abajo a la izquierda.

Monotonía

La regla de la cadena da una derivada que se simplifica limpiamente.

y′=11+(1x)2⋅(−1x2)=−11+x2\begin{align*} y' &= \frac{1}{1 + \left(\dfrac{1}{x}\right)^2} \cdot \left(-\frac{1}{x^2}\right) \\ &= -\frac{1}{1 + x^2} \end{align*}

El segundo miembro simplificado admite x=0x = 0 y toma allí el valor −1-1. La función salta y, sin embargo, la fórmula de su derivada parece atravesar el origen sin sobresaltos. Las dos ramas llegan al origen con pendiente −1-1 y están sencillamente desplazadas una de otra en π\pi.

Relación con el arcotangente

Como esta derivada es exactamente la opuesta de 11+x2\dfrac{1}{1+x^2}, la derivada de arctan⁡x\arctan x, la suma arctan⁡x+arctan⁡1x\arctan x + \arctan\dfrac{1}{x} es constante en cada rama. Evaluar en un punto de cada una da lo siguiente.

arctan⁡x+arctan⁡1x={π2(x>0)−π2(x<0)\arctan x + \arctan\frac{1}{x} = \begin{cases} \dfrac{\pi}{2} & (x > 0) \\ -\dfrac{\pi}{2} & (x < 0) \end{cases}

Esta gráfica es, por tanto, la curva continua arctan⁡x\arctan x puesta del revés y desplazada π2\dfrac{\pi}{2} hacia arriba a la derecha y π2\dfrac{\pi}{2} hacia abajo a la izquierda. Los dos desplazamientos difieren en π\pi, y esa diferencia es precisamente el salto del origen.

Concavidad

La segunda derivada es y′′=2x(1+x2)2y'' = \dfrac{2x}{(1+x^2)^2}, positiva para x>0x > 0 y negativa para x<0x < 0, así que la rama derecha es cóncava hacia arriba y la izquierda, cóncava hacia abajo. El signo cambia en x=0x = 0, que queda fuera del dominio, de modo que no hay punto de inflexión.

Dos convenios para la arcocotangente

Hay dos definiciones en competencia de arccot⁡\operatorname{arccot}.

ConvenioFórmulaRangoContinuidad
Valor principal en (0,π)(0, \pi)π2−arctan⁡x\dfrac{\pi}{2} - \arctan x(0,π)(0, \pi)continua en toda la recta
A través de la recíprocaarctan⁡1x\arctan\dfrac{1}{x}(−π2,π2)\left( -\dfrac{\pi}{2}, \dfrac{\pi}{2} \right) sin el 00salta en el origen

El segundo es esta gráfica. Se diferencia del primero en π\pi para x<0x < 0, así que siempre conviene comprobar qué convenio ha adoptado un libro de texto o un sistema de álgebra computacional.

Aplicaciones

Cuando un programa recupera un ángulo a partir de unas coordenadas, usar arctan⁡yx\arctan\dfrac{y}{x} por sí solo no permite distinguir el primer cuadrante del tercero, ni el segundo del cuarto. Por eso casi todos los lenguajes ofrecen una función aparte de dos argumentos, atan2, que evita esta discontinuidad y devuelve todo el rango (−π,π](-\pi, \pi]2. Esta gráfica hace visible de un vistazo esa necesidad.

  1. Classification of discontinuities, Wikipedia
  2. atan2, Wikipedia