I am currently learning calculus, have not learned much about antiderivatives, and nothing about indefinite integrals. I came by the 2nd Fundamental Theorem of Calculus: $$\int_a^b f(t)dt = F(b) - F(a)$$ where $F$ is the antiderivative of $f$. I was trying to understand why this theorem works and I came up with a possible proof, albeit informal, of the above theorem. Assuming (1) the antiderivative, F(x), is equivalent to $\int_c^x f(t)dt$ where $c$ is any constant and (2) $f(t)$ is continuous and therefore integratable everywhere: $$F(b) - F(a) = \int_c^b f(t)dt - \int_c^a f(t)dt = \int_c^b f(t)dt + \int_a^c f(t)dt = \int_a^b f(t)dt$$ I think that this proof might be too simple, possibly neglecting important facts. My questions are: (1) Is the proof above correct or incorrect and why? (2) Is it true that any antiderivative $F(x) = \int_c^x f(t)dt$, given $f$ is continuous?

  • $\begingroup$ As the name "anti-derivative" suggests, the defining property of $F$ is that $F'(x)=f(x)$ for all $x$. I don't see where you use this. $\endgroup$ Jul 27 '21 at 19:26
  • 2
    $\begingroup$ the "second fundamental theorem of calculus" is much easier to derive when you have proved the first $\endgroup$
    – Tortar
    Jul 27 '21 at 19:29
  • 1
    $\begingroup$ I don't know if I put a fine enough point on it in my post, so I'm leaving this comment. It follows by definition that if $F(x) = \int_c^x f(t) dt$, then $F(b) - F(a) = \int_a^b f(t) dt$. The interesting part of the fundamental theorem is that $F$ is in fact an antiderivative for $f$. $F$ is an antiderivative of $f$ iff $F' = f$. It is not obvious that functions defined like $F$ should be antiderivatives. Indeed, as I remark in my post, it isn't always true that for such an $F$ we have $F' = f$. We need $f$ to be continuous for that to be true. $\endgroup$ Jul 28 '21 at 1:40

What you have written is true, but it is not the fundamental theorem of calculus. You've just rearranged the definition $$ F(x) = \int_c^x f(t) dt $$ using integral properties.

The First Fundamental Theorem of Calculus

If we define $F(x) = \int_c^x f(t) dt$, then one result worthy of the name "fundamental theorem of calculus" says $$ F'(c) = f(c) $$ whenever $f$ is continuous at $c$. Note that we need $f$ to be continuous at $c$ or else the result can fail to be true.

Why is this true? You've made the key insight. $$ F'(c) = \lim_{h \to 0} \frac{F(c + h) - F(c)}{h} = \lim_{h \to 0} \frac{\int_c^{c + h} f(t) dt}{h} $$ To finish the proof, you just need to explain why that last limit is equal to $f(c)$. This is where you will have to use continuity at $c$.

The Second Fundamental Theorem of Calculus

The other result that goes by the name "fundamental theorem of calculus" says that if we have a function $F$ such that $F' = f$ and $f$ is integrable on $[a,b]$, then $$ \int_a^b f(t) dt = F(b) - F(a) $$ The classic proof uses a completely different trick. We use the mean value theorem with $F$ and $f$ and the integrability of $f$ to set up a telescoping sum.

People will often give a simpler proof which is more properly a corollary of the first fundamental theorem. If we assume $f$ is continuous on $[a,b]$, then we can argue as in RafGaming's answer to prove the same result. But note that the mean value theorem proof, though more complicated, proves the result without making any assumptions about the continuity of $f$.

Comparing the Two Theorems

Suppose $f$ is integrable on $[a,b]$ and $c \in (a,b)$

Schematically, in the first theorem, we have $$ \left[ F(x) = \int_c^x f(t) dt \quad \& \quad \lim_{x \to c} f(x) = f(c) \right] \implies F'(c) = f(c) $$ Note, again, that we need continuity of $f$ at $c$. The statement $F(x) = \int_c^x f(t) dt \implies F'(c) = f(c)$ is not true.

In the second theorem, we have $$ F' = f \quad \implies \int_a^b f(t) dt = F(b) - F(a) $$ Though similar looking, these results are not the same. In fact, they are not even exactly converses. They're two distinct results that both formalize the intuition that "differentiation undoes integration and vice versa."

  • 1
    $\begingroup$ $\int_a^b f(t)dt = F(b) - F(a)$ is referred in many text as the second fundamental theorem of calculus basically I think because is what you use when you solve definite integrals $\endgroup$
    – Tortar
    Jul 27 '21 at 19:35
  • 1
    $\begingroup$ @Tortar see my edits. Hopefully my post is clearer now. $\endgroup$ Jul 27 '21 at 19:39
  • $\begingroup$ Charles Hudgins Thank you, I just made edits to my question but I beleive your answer still holds. If I understand correctly, the main reason my proof of $\int_a^b f(t)dt = F(b)−F(a)$ is 'inferior' is because I must assume that $f$ is continuous. Is that correct? $\endgroup$
    – Farhaan
    Jul 27 '21 at 23:35
  • $\begingroup$ @Farhaan I wouldn't say inferior. It's interesting and worth knowing that a theorem with the same conclusion as FTC 2 follows directly from FTC 1. That said, a stronger version (which does not assume continuity) does hold and, somewhat curiously, has a completely different proof from FTC 1. $\endgroup$ Jul 28 '21 at 1:25
  • $\begingroup$ If you've never seen that FTC 1 fails without continuity: consider the function $f$ which is $0$ for $x < 0$ and $1$ for $ x \geq 0$. Then $f$ is integrable on any compact set, but $F'(0)$ doesn't even exist for $F(x) = \int_c^x f(t) dt$. $\endgroup$ Jul 28 '21 at 1:26

$\int_{a}^{b}f(t)dt$ expresses the area below the curve $y=f(t)$ between the lines perpendicular to the $x$-axis at points $P(a, 0), Q(b, 0)$. You can define a function $G(t)$ to denote the area between points $P(a, 0)$ and $Q(x, 0)$: \begin{equation*}G(t)=\int_{a}^{x}f(t)dt\end{equation*} Also let $F(t)$ be an antiderivative of $f(x)$ ($F'(x)=f(x)$). Now, if you remember the 1st fundamental theorem of calculus, you'll know that two andiderivatives of the same function only differ by a constant. Thus, $G(x)=F(x)+C$. If $x=a$, $G(a)=0$ so $F(x)=-C$. If $x=b$, $G(b)=F(b)+C=F(b)-F(a)$. Hence \begin{equation*}\int_{a}^{b}f(t)dt=F(b)-F(a)\end{equation*}


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.