I am computing
$$\int_{1}^{x} \frac{1}{t^2+4}dt$$
I have firstly re-written the problem as: $$\frac{1}{4} \int_{1}^{x} \frac{1}{(\frac{t^2}{4}+1)}dt,$$ then by substitution of $u=\frac{t}{2},$ this simplifies to: $$\frac{1}{2}\int_{\frac{1}{2}}^{\frac{x}{2}} \frac{1}{(u^2+1)}$$ After this step, I was going to use substitution of say p=tan(u), and use trigonometry to simplify. However I have found the following online: $$\int \frac{u'(t)}{(1+(u(t))^2}dt=arctan(u).$$ I was wondering where this identity came from, so I could use/explain it in my answer, to save having to do the trigonometry.
Thanks :)
It is a consequence of that fact the$$(\forall x\in\mathbb{R}):\arctan'(x)=\frac1{1+x^2}$$and of the chain rule.