Prove formula $\operatorname{arctanh} x = \frac12\,\ln \left(\frac{1+x}{1-x}\right)$ Problem
Prove formula $\operatorname{arctanh} x = \frac{1}{2} \ln \left(\frac{1+x}{1-x}\right)$
 Attempt to solve 
To start off with definition of functions $\sinh(x)$ and $\cosh(x)$
$$ \cosh(x)=\frac{e^x+e^{-x}}{2} $$
$$ \sinh(x) = \frac{e^x-e^{-x}}{2} $$
Hyperbolic tangent is defined as:
$$ \tanh(x)=\frac{\sinh(x)}{\cosh(x)}=\frac{e^x-e^{-x}}{e^{x}+e^{-x}} $$
Notation $\text{arctanh}(x)$ means area tangent which is inverse of hyperbolic tangent. 
$$ \operatorname{arctanh}(x)=\tanh^{-1}(x) $$
Trying to invert the $\tanh(x)$ we get:
$$\begin{align}
\frac{e^x-e^{-x}}{e^x+e^{-x}} &= y &\implies\\
 e^x-e^{-x}&=y(e^x+e^{-x}) &\implies\\
 e^x-e^{-x}&=ye^{x}+ye^{-x} &\implies\\
 e^x(1-y)&=e^{-x}(1+y) &\implies\\
 \ln(e^x(1-y)) &= \ln(e^{-x}(1+y)) &\implies\\
 \ln(e^x)+\ln(1-y) &= \ln(e^{-x})+\ln(1+y) &\implies\\
 x + \ln(1-y) &= -x + \ln(1+y) &\implies\\
 2x &= \ln(1+y)-\ln(1-y)&\implies\\
 x &= \frac{1}{2} \ln \frac{1+y}{1-y} 
\end{align}
$$
By switching variables we get:
$$ \implies \operatorname{arctanh}(y) = \frac{1}{2} \ln \left(\frac{1+y}{1-y}\right) $$

Just to add to the responses already here. You can also show this by solving this integral two different ways, one with trigonometric substitutions and the other with partial fraction decomposition.
$$ \int \frac {dx}{x^2+1} = \int \frac {dx}{x^2+1}$$
$\qquad x \mapsto \tan u$
$$ \int\frac{dx}{(1+ix)(1-ix)}= \int \frac {\sec^2 u}{1+ \tan^2u}du$$
$$ \int \Big(\frac{\frac 12}{1+ix}+\frac{\frac 12}{1-ix}\Big)dx\ = \int du$$
$$\frac 1{2i}\big(\ln(1+ix)- \ln(1-ix)\big)=u+C$$
$$\arctan x=\frac i2\ln \Big( \frac{1-ix}{1+ix} \Big)$$
Plug in $x=ix.$
$$\arctan(ix)=\frac i2 \ln\Big(\frac{1+x}{1-x} \Big)$$
Now use the identity$ \space\operatorname {arctanh}(x)=-i\arctan(ix).$
