Calculus · Fundamental theorem

Fundamental theorem of calculus

The fundamental theorem of calculus says that differentiation undoes integration: for continuous f, the area function A(x)=∫axf(t) dtA(x) = \int_a^x f(t)\,dt has slope A′(x)=f(x)A'(x) = f(x), so ∫abf(t) dt=F(b)−F(a)\int_a^b f(t)\,dt = F(b) - F(a) for any antiderivative F.

01

Fundamental theorem of calculus in this visualization

The fundamental theorem of calculus connects the derivative and the integral. Its first part says that if ff is continuous on an interval containing aa, the area function (also called the accumulation function, or an integral with a variable upper limit)

Part 1
A(x)=∫axf(t) dthasA′(x)=f(x).A(x) = \int_a^x f(t)\,dt \quad\text{has}\quad A'(x) = f(x).

A(x)A(x) is also written Φ(x)\Phi(x). Its second part follows: if FF is any antiderivative of ff, then F−AF - A has derivative 0, so it is constant, and

Part 2
∫abf(t) dt=F(b)−F(a).\int_a^b f(t)\,dt = F(b) - F(a).

The upper graph is ff; the shaded region runs from the lower limit aa to the upper limit x. The lower graph is A, drawn on the same horizontal axis. At xx, the blue segment above is the height f(x). Where ff is continuous at xx, the blue tangent below has exactly that slope: its rise over one unit is the same blue segment, because both graphs use the same scale. Where ff jumps, there is no tangent; the two one-sided slopes are drawn dashed. Over the thin strip of width Δx beside xx, the area grows by ΔA≈f(x) Δx\Delta A \approx f(x)\,\Delta x, so ΔA/Δx→f(x)\Delta A / \Delta x \to f(x): the readout bar shows this quotient, and below, the strip's secant on AA, whose slope it is, turns into the tangent as Δx→0\Delta x \to 0. Where ff jumps, a strip on each side keeps its own height however thin it gets.

02

Reading it correctly

  • The area is signed. Where f<0f < 0 the region counts negative, so AA falls; where x<ax < a the integral runs backward and every sign flips. A zero of ff where it changes sign is a peak or a valley of AA; a zero without a sign change is not.
  • The theorem needs ff to be continuous at xx. Where ff jumps, AA stays continuous but has a corner: the one-sided slopes are the one-sided limits of ff, and A′(x)A'(x) does not exist. For the step function here, AA is integrated piece by piece; no single antiderivative works across the jump.
  • Changing aa adds a constant: A(x)=F(x)−F(a)A(x) = F(x) - F(a). When ff is continuous, every area function is an antiderivative, but not every antiderivative is an area function: for f=cos⁡f = \cos, sin⁡x+5\sin x + 5 is never ∫axcos⁡t dt\int_a^x \cos t\,dt, because that would need sin⁡a=−5\sin a = -5.
  • The letter tt is only the variable of integration; xx is where the area stops. The values on this page come from formulas for the area — F(x)−F(a)F(x) - F(a), piece by piece for the step function — not from numerical sums. For e−t2e^{-t^2} the formula uses the error function erf⁡\operatorname{erf}.
03

Where it is used

  • Evaluating definite integrals: find any antiderivative and subtract, instead of taking a limit of Riemann sums.
  • Accumulation: displacement is the integral of velocity, and its rate of change is the velocity itself. (Distance travelled is the integral of the speed ∣v∣|v|.)
  • Defining new functions: ln⁡x=∫1xdtt\ln x = \int_1^x \frac{dt}{t}, and ∫0xe−t2 dt=π2erf⁡x\int_0^x e^{-t^2}\,dt = \frac{\sqrt{\pi}}{2}\operatorname{erf} x, which has no formula in elementary functions — the theorem still gives its derivative, e−x2e^{-x^2}.
04

Controls

  • Drag across either graph to move xx, and the aa mark on the upper axis to move the lower limit; under Limits each has a wheel for fine steps and keys for its usual values, which land exactly (π stays π).
  • Under Thin strip, a logarithmic fader sets the width Δx\Delta x from 1 down to 0.0001 (type it down to 0.000001), and a lever puts the strip right of xx, left of it, or on both sides. Δx → 0 makes the strip ten times narrower at each step, pausing at each, and stays at the end; pressed there, it starts again from 0.5.
  • Presentation mode opens a full-screen view for projectors (Space runs Δx → 0, ↑ ↓ make the strip ten times wider or narrower, ← → move xx, H hides the faint rest of AA, its tangent and its slope).
05

Related