[Math] Fundamental Theorem of Calculus with Different Variables

calculusdefinite integralsderivativesintegration

How can one explain that $$\frac{d}{dx}\left(\int_0^x{\cos(t^2+t)dt}\right) = \cos(x^2+x)$$
Without solving the integral?

I know it's related to the fundamental theorem of calculus, but here we have a derivative with respect to $x$, while the antiderivative is with respect to $t$.

Thank you.

Best Answer

Say $f(t)=\cos(t^2+t)$ and an antiderivative is $F(t)$. The integral in question is, by the fundamental theorem of calculus, $$F(x)-F(0)$$ $F(0)$ is a constant and disappears upon differentiating with respect to $x$, whereas $F(x)$ becomes $f(x)$ once again. Thus, after differentiation we must have the RHS as $\cos(x^2+x)$.

Related Question