Es aún más bonito si se hace simple el uso de la trigonometría.
Considere la siguiente Figura, para los positivos $x$ (negativo $x$ ver editar, gracias a Steven señalado en el comentario).
$\hskip1.in$
El triángulo $OAB$ es en ángulo recto, y tal que $\overline{OA} = 1$, e $\overline{AB} = x$. Tenemos
\begin{equation}\angle BOA = 2\alpha = \arctan x\tag{1}\label{eq:0}\end{equation}
y
$$\overline{OB} = \sqrt{x^2+1}.$$
Extender $BA$ a un segmento de $BC$ tales que
$$ BC \cong OB.$$
Entonces
$$\overline{AC} = \sqrt{1+x^2}-x,$$
y así
\begin{equation}\beta = \angle AOC = \arctan\left(\sqrt{1+x^2}-x\right).\tag{2}\label{eq:0p}\end{equation}
Considerando el ángulo recto del triángulo $OAB$,
obtener
\begin{equation}\angle OBA = \frac{\pi}{2}-2\alpha,\tag{3}\label{eq:1}\end{equation}
y, considerando el triángulo isósceles $OBC$, se obtiene
\begin{equation}\angle OBA = \pi - 2(2\alpha+\beta).\tag{4}\label{eq:2}\end{equation}
La equiparación de la \eqref{eq:1} y \eqref{eq:2} rendimientos
$$\alpha = -\beta + \frac{\pi}{4}.$$
Enchufar \eqref{eq:0} y \eqref{eq:0p} y el uso de la extraña simetría de la $\arctan(\cdot )$ conduce a la función de
$$ \frac{1}{2}\cdot \arctan x = \arctan\left(x-\sqrt{1+x^2}\right) + \frac{\pi}{4},$$
el resultado deseado. $\blacksquare$
EDITAR
El mismo resultado se aplica si $x<0$. Utilice entonces la Figura de abajo.
$\hskip1.in$
Ahora $\overline{AB} = -x$, $\overline{OB} = \overline{BC} = \sqrt{1+x^2}$, e $\overline{CA} = \sqrt{1+x^2}-x$. Entonces, de nuevo el uso de ángulo recto del triángulo $OAC$ y triángulo isósceles $OBC$, obtenemos
$$\angle OCA = \frac{\pi}{2}-\beta = \beta - 2\alpha,$$
donde $2\alpha = \angle BOA$, e $\beta = \angle COA$. La igualdad de OP de la siguiente manera.