How do we show $(1)$ is correct? $$\int_{0}^{1}\ln\left({1+x\over 1-x}\right){\mathrm dx\over 1+x^2}=C\tag1$$
Where C is the Catalan constant
$u={1+x\over 1-x}$ then $du={2dx\over (1-x)^2}$
$${1\over 2}\int_{1}^{\infty}(1-x)^2\ln(u){\mathrm du\over 1+x^2}=C\tag2$$
$x={u-1\over u+1}$
$${1\over 2}\int_{1}^{\infty}{4\over (u+1)^2}\ln(u){\mathrm (u+1)^2du\over 2(u^2+1)}=C\tag3$$
$$\int_{1}^{\infty}\ln(u){\mathrm du\over 1+u^2}=C\tag4$$
As you noticed, it is enough to prove $(4)$. By enforcing the substitution $u\mapsto \frac{1}{v}$ we are left with
$$ \int_{0}^{1}\frac{-\log v}{1+v^2}\,dv \stackrel{?}{=}\sum_{n\geq 0}\frac{(-1)^n}{(2n+1)^2} $$ which is almost trivial since $\frac{1}{1+v^2}=1-v^2+v^4-v^6+\ldots$ for $v\in(0,1)$ and $$ \int_{0}^{1}v^{2k}\left(-\log v\right)\,dv = \frac{1}{(2k+1)^2} $$ is straightforward to prove through the substitution $v\mapsto e^{-z}$ and the $\Gamma$ function, or just by differentiation under the integral sign (Feynman's trick, see Chapter 4 of these notes).