Skip to content

The fundamental theorem of calculus

The fundamental theorem of calculus

The area under a line

The example below calculates the accumulation function of f(t)=at+b\displaystyle {f(t)}={at+b} from 0, where the line is above the x\displaystyle x-axis: the area between 0 and x\displaystyle x is a trapezium whose parallel sides are f(0)=b\displaystyle {f(0)}={b} and f(x)=ax+b\displaystyle {f(x)}={ax+b} and whose height is x\displaystyle x:

F0(x)=b+(ax+b)2⋅x=12ax2+bxF_0(x)=\frac{b+(ax+b)}{2}\cdot x=\frac{1}{2}ax^2+bx
  • F0′(x)=ax+b=f(x)\displaystyle {F_0'(x)}={ax+b}={f(x)}: the accumulation function is an antiderivative of f\displaystyle f.
  • Does this happen for every function? The theorem below says it does.
f(x)=x+2\displaystyle f(x)=x+2
The fundamental theorem

The fundamental theorem of calculus: if f\displaystyle f is continuous, the derivative of its accumulation function is f\displaystyle f:

Fa′(x)=f(x)\displaystyle F_{a}'(x)=f(x)

That is: the rate of change of the accumulated quantity is the given rate. For example, the derivative of the distance is the speed.

The proof

The proof below assumes that f\displaystyle f is positive and rising, and shows that the difference quotient of Fa\displaystyle F_a tends to f(x)\displaystyle f(x) (when the function falls, or changes sign, the proof is similar).

  • Fa(x+h)−Fa(x)\displaystyle F_a(x+h)-F_a(x), for h>0\displaystyle h>0, is the area under the graph over the small piece [x,x+h]\displaystyle [x,x+h].
  • f\displaystyle f rises, so on that piece f(x)≤f≤f(x+h)\displaystyle f(x)\le f\le f(x+h): the area is more than the rectangle of height f(x)\displaystyle f(x) and less than the rectangle of height f(x+h)\displaystyle f(x+h):
f(x)⋅h≤Fa(x+h)−Fa(x)≤f(x+h)⋅hf(x)\cdot h\le F_a(x+h)-F_a(x)\le f(x+h)\cdot h
  • Divide by h\displaystyle h:
f(x)≤Fa(x+h)−Fa(x)h≤f(x+h)f(x)\le\frac{F_a(x+h)-F_a(x)}{h}\le f(x+h)
  • As h→0\displaystyle h\to0, f(x+h)→f(x)\displaystyle f(x+h)\to f(x), because f\displaystyle f is continuous. The quotient in the middle is trapped between two expressions that tend to f(x)\displaystyle f(x), so it tends to f(x)\displaystyle f(x) too.
  • The limit of the difference quotient is the derivative, so Fa′(x)=f(x)\displaystyle {F_a'(x)}={f(x)}.
Calculating with an antiderivative

The accumulation function is an antiderivative of f\displaystyle f, and the antiderivatives of f\displaystyle f are all F(x)+C\displaystyle F(x)+C. Of them, Fa\displaystyle F_a is the one whose value at a\displaystyle a is 0:

  • Fa(x)=F(x)+C\displaystyle {F_a(x)}={F(x)+C}, and Fa(a)=0\displaystyle {F_a(a)}={0}, so F(a)+C=0\displaystyle {F(a)+C}={0} and C=−F(a)\displaystyle {C}={-F(a)}.
  • So, for any antiderivative F\displaystyle F of f\displaystyle f:
∫axf(t) dt=F(x)−F(a)\displaystyle \int_{a}^{x}f(t)\,dt=F(x)-F(a)
∫abf(x) dx=F(b)−F(a)\displaystyle \int_{a}^{b}f(x)\,dx=F(b)-F(a)
  • In short, write [F(x)]ab=F(b)−F(a)\displaystyle {\left[F(x)\right]_a^b}={F(b)-F(a)}.
  • Any antiderivative will do: C\displaystyle C cancels in the difference.
The toy car’s distance

In the last lesson the graph of F0(x)=∫0x(4t−t2)dt\displaystyle {F_0(x)}={\int_0^x\left(4t-t^2\right)dt} was given with no formula. The example below finds the formula, and the distance the car covered in the 4 seconds:

  • An antiderivative of 4t−t2\displaystyle 4t-t^2: 2t2−t33\displaystyle 2t^2-\frac{t^3}{3}.
  • F0(x)=[2t2−t33]0x=2x2−x33−0=2x2−x33\displaystyle {F_0(x)}={\left[2t^2-\frac{t^3}{3}\right]_0^x}={2x^2-\frac{x^3}{3}-0}={2x^2-\frac{x^3}{3}}.
  • F0(4)=2⋅16−643=323\displaystyle {F_0(4)}={2\cdot16-\frac{64}{3}}={\frac{32}{3}}: the car covered 1023\displaystyle 10\frac{2}{3} metres.
Exercise 1

Calculate the accumulation functions.

a

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

    b

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

      c

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        Exercise 2

        Calculate the definite integrals.

        a

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          b

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

            c

              / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

              / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

              Exercise 3

              The board below shows the graph of f(x)=2x\displaystyle {f(x)}={2x}.
              F(x)=∫1xf(t) dt\displaystyle {F(x)}={\int_1^x f(t)\,dt}.
              Write F(x)\displaystyle F(x) on the board, and make sure its graph passes through the point (1,0)\displaystyle (1,0).

              f(x)=2x\displaystyle f(x)=2x

              Exercise 4

              G(x)=∫2xt2+5 dt\displaystyle {G(x)}={\int_2^x\sqrt{t^2+5}\,dt}.
              G(x)\displaystyle G(x) cannot be written with the functions you have learnt, but its derivative can be found by the fundamental theorem.

              a

              Find G′(x)\displaystyle G'(x).

              G(x)=∫2xt2+5 dt\displaystyle G(x)=\int_{2}^{x}\sqrt{t^{2}+5}\,dt

                / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

                / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

                b

                Calculate G′(2)\displaystyle G'(2) and G(2)\displaystyle G(2).

                G(x)=∫2xt2+5 dt\displaystyle G(x)=\int_{2}^{x}\sqrt{t^{2}+5}\,dt

                  / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

                  / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

                  G(x)=∫2xt2+5 dt\displaystyle G(x)=\int_{2}^{x}\sqrt{t^{2}+5}\,dt

                    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

                    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power