a formula for π 3

There are many equations of $\pi$ .

 In first post of $\pi$ , we see
\[ \pi=\int_{-\infty}^{\infty}\frac{1}{1+x^2}dx   \]

If we shorten the interval of integration from $(-\infty,\infty)$ to $[0,1]$ ,then
\[  \int_0^1\frac{1}{1+x^2}dx=\frac{\pi}{4} .  \]

Because, put $x=\tan \theta$ . We know
\[ \frac{dx}{d\theta}=\frac{1}{\cos^2\theta}  \]
and if $x=0$ , then $\theta=0$, and if $x\rightarrow 1$ , then $\theta\rightarrow \frac{\pi}{4}$ .
Therefore, 
\[ \int_0^1\frac{1}{1+x^2}dx=\int_0^{\pi/4}\frac{1}{1+\tan^2\theta}\frac{1}{\cos^2\theta}d\theta=\frac{\pi}{4} .  \]

We will get easily
\[  \int_{-1}^1\frac{1}{1+x^2}dx=\frac{\pi}{2} .  \]
Thus,
\[  \int_1^{\infty}\frac{1}{1+x^2}dx=\int_{-\infty}^{-1}\frac{1}{1+x^2}dx=\frac{\pi}{4} . \]