7
$\begingroup$

I don't understand the intuition behind this. Why can we just plug in $x$ for $t$ here and that gives us the result? I thought I was understanding the Fundamental Theorem of Calculus, but I don't see how it applies here. I thought the Theorem mainly stated that the area under a function can be found by taking the the value of the anti derivative over the specified interval. It doesn't make sense to me why we just plug in $x$ and voila that's our answer.

$$\frac {d}{dx} \int_{a}^{x} (t^3 + 1) \ dt = x^3 + 1$$

  • 3
    If $F(x)$ is the antiderivative function of $f(x)=t^3+1$, then $\int_a^x t^3+1dt=F(x)-F(a)$. So the L.H.S becomes $\frac{dy}{dx}F(x)$ which is $x^3+1$.2012-08-15
  • 0
    Evaluate that integral, and take the derivative with respect to $x$.2012-08-15

2 Answers 2

5

Since the function $\,t^3+1\,$ is continuous (and derivable) everywhere, it has a primitive function $\,G(t)\,$in any finite interval. Using the FTC , write

$$\int_a^x(t^3+1)dt=G(x)-G(a)\\\Longrightarrow \frac{d}{dx}{\left(\int_a^x(t^3+1)dt\right)}=\frac{d}{dx}{(G(x)-G(a))}=G'(x)=x^3+1$$

  • 0
    So we just get rid of the G(a) because we are differentiating with respect to x?2012-08-15
  • 0
    @Peter Tamaroff, thanks.2012-08-15
  • 0
    Of course, @ordinary.2012-08-15
  • 0
    Sorry I am very new to this2012-08-15
  • 0
    @ordinary The integral has a fixed lower bound $a$ and a changing upper bound $x$. $G(a)$ is therefore constant, and differentiating it would yield $0$.2012-08-15
  • 0
    As new as you may be, you must know that **anything** different from the variable wrt which we derivate is to be considered a constant.2012-08-15
  • 0
    @FrenzY DT Ah thanks for adding that, that makes a lot of sense.2012-08-15
4

The Fundamental Theorem of Calculus doesn't talk about geometrical results, but about the "fundamental" relation between the operation of integration and that of differentiation. Namely, it says the following:

THEOREM. Let $f$ be a continuous over $[a,b]$. Define $F$ on $[a,b]$ by

$$F(x)=\int_a^x f(t) dt$$

Then $F$ is differentiable, and $F'(x)=f(x)$.

The corollary is

COROLLARY Let $f$ be continuous over $[a,b]$ and $f=g'$ for some $g$.

Then

$$\int_a^b f(t)dt=g(b)-g(a)$$

Note we can find this reversed in the books (One is the theorem and the other the corollary, or one is called FTC 1 and the other FTC 2). I recommend you read these two questions some users already asked about FTC:

  • 0
    $F$ is differentiable at the points where $f$ is continuous.2017-12-28
  • 0
    @Masacroso Yes, of course. There. ;)2017-12-28