Calculus I · The Fundamental Theorem of Calculus

Where this is heading

You have now built single-variable calculus from the ground up — limits, derivatives, the rules, the transcendental functions, the great theorems, the integral, and the Fundamental Theorem that binds the two halves into one — with every result derived and every loan repaid. Two doors stand open.

Chapter 12 stays in this book and finishes a thread from Chapter 1. We have added up infinitely many infinitesimal pieces (integrals); what about adding up infinitely many ordinary numbers — an infinite series? When does 1+12+14+⋯1 + \tfrac12 + \tfrac14 + \cdots settle to a value and 1+12+13+⋯1 + \tfrac12 + \tfrac13 + \cdots run off to infinity? The tool that decides it is the integral test, which weighs a sum against an area using the very picture this chapter is made of — and it will let us finally say, rigorously, where the Taylor series of Chapter 7 are allowed to live.

Book 3 opens the door to many dimensions: the derivative becomes the gradient, the single integral becomes a double and triple integral (volume measured exactly the way we measured area), optimization becomes the real landscape that machine learning descends, and the waves of Fourier finally get the orthogonal-basis home they were waiting for. The slope of a single point started all of this; it doesn’t stop here.


Problems

Six tiers. Fluency and Practice are doing* — evaluate definite integrals with the FTC and integrate by parts until both are automatic (plenty of drill, as in Chapter 4). Concept & counterexample and ◆ Diamond are thinking — the theorem itself and the proofs. Teach it is teaching. Looking ahead opens Chapter 12. The applications problems below ask you to set up the integral from the slicing principle — not to recall a formula. Do all of Fluency; FTC fluency is the working core of all of integral calculus.*

Fluency — evaluate with the FTC, fast

  1. ∫02x3dx\int_0^2 x^3\,dx. 2. ∫14xdx\int_1^4 \sqrt{x}\,dx. 3. ∫0πsin⁡xdx\int_0^{\pi} \sin x\,dx. 4. ∫0π/2cos⁡xdx\int_0^{\pi/2}\cos x\,dx. 5. ∫1e1xdx\int_1^e \tfrac1x\,dx.
  2. ∫01exdx\int_0^1 e^x\,dx. 7. ∫−11(x2−1)dx\int_{-1}^{1}(x^2 - 1)\,dx (and say what the sign means). 8. ∫12(3x2−2x)dx\int_1^2 (3x^2 - 2x)\,dx. 9. ∫0π/4sec⁡2xdx\int_0^{\pi/4}\sec^2 x\,dx. 10. ∫13(x+1x)dx\int_1^3 \left(x + \tfrac1x\right)dx.
  3. Use FTC Part 1 to differentiate without integrating: (a) ddx∫0xsin⁡(t2)dt\tfrac{d}{dx}\int_0^x \sin(t^2)\,dt; (b) ddx∫2xe−t2dt\tfrac{d}{dx}\int_2^x e^{-t^2}\,dt; (c) ddx∫1x11+t4dt\tfrac{d}{dx}\int_1^x \tfrac{1}{1+t^4}\,dt.
  4. Integration by parts: (a) ∫xexdx\int x e^x\,dx; (b) ∫xcos⁡xdx\int x\cos x\,dx; (c) ∫xsin⁡xdx\int x\sin x\,dx; (d) ∫xe−xdx\int x e^{-x}\,dx; (e) ∫(x+1)sin⁡xdx\int (x+1)\sin x\,dx.
  5. Integration by parts, harder: (a) ∫ln⁡xdx\int \ln x\,dx; (b) ∫xe2xdx\int x e^{2x}\,dx; (c) ∫x2exdx\int x^2 e^x\,dx (parts twice); (d) ∫x2cos⁡xdx\int x^2\cos x\,dx (parts twice); (e) ∫xln⁡xdx\int x\ln x\,dx (take u=ln⁡xu = \ln x).

Practice — multi-step, and set up the slice

  1. Evaluate ∫01xex2dx\int_0^1 x e^{x^2}\,dx two ways — by substitution, and by recognizing an antiderivative — and confirm they agree.
  2. Find the area between y=xy = x and y=x2y = x^2 from x=0x=0 to x=1x=1. (Set up top −- bottom, then integrate.)
  3. A region under y=1xy = \tfrac1x from x=1x=1 to x=4x=4 is spun around the xx-axis. Set up the volume by slicing into disks, then evaluate.
  4. Set up (do not evaluate) the length of the parabola y=x2y = x^2 from x=0x=0 to x=1x=1 using the slicing principle, and explain why you should expect not to get a clean closed form.
  5. Find the function FF with F′(x)=cos⁡xF'(x) = \cos x and F(0)=3F(0) = 3. Then use it to compute ∫0πcos⁡xdx\int_0^{\pi} \cos x\,dx two ways (antiderivative-and-subtract, and directly), confirming they match.
  6. Using ln⁡x=∫1x1tdt\ln x = \int_1^x \tfrac1t\,dt, show directly from the integral that ln⁡(2⋅3)=ln⁡2+ln⁡3\ln(2\cdot 3) = \ln 2 + \ln 3, by performing the substitution in the chapter on ∫261tdt\int_2^{6}\tfrac1t\,dt.

Concept & counterexample — think; true/false with justification, or build the example

    1. ddx∫axf(t)dt=f(x)\tfrac{d}{dx}\int_a^x f(t)\,dt = f(x). (b) ∫abf′(x)dx=f(b)−f(a)\int_a^b f'(x)\,dx = f(b) - f(a). (c) If FF and GG are both antiderivatives of ff, then ∫abf=F(b)−F(a)=G(b)−G(a)\int_a^b f = F(b)-F(a) = G(b)-G(a). (d) Every continuous function has an antiderivative.
  1. Explain, in your own words and citing FTC Part 1, why ∫axf(t)dt\int_a^x f(t)\,dt is guaranteed to be an antiderivative of ff even when no elementary antiderivative of ff exists (as for e−t2e^{-t^2}).
  2. Find the error. A student computes ∫−111x2dx=[−1x]−11=−1−1=−2\int_{-1}^{1}\tfrac{1}{x^2}\,dx = \left[-\tfrac1x\right]_{-1}^1 = -1 - 1 = -2, a negative number for a positive function. What went wrong? (Where does 1x2\tfrac1{x^2} fail the FTC’s hypotheses on [−1,1][-1,1]?)
  3. The two parts of the FTC say differentiation and integration undo each other. State precisely what “undo” means in each part — which operation is done first, and what you get back.
  4. Is it possible? Two different functions f≠gf \ne g with ∫axf(t)dt=∫axg(t)dt\int_a^x f(t)\,dt = \int_a^x g(t)\,dt for all xx. (Differentiate both sides — what must be true?)

◆ Diamond — the theorem and the capstone

  1. ◆ Prove FTC Part 1 rigorously using the strip argument: bound A(x+h)−A(x)A(x+h) - A(x) between mh⋅hm_h\cdot h and Mh⋅hM_h\cdot h, divide by hh, and squeeze as h→0h\to 0 (citing the Extreme Value and Squeeze Theorems of Chapter 2).
  2. ◆ Prove FTC Part 2 from Part 1, using the fact (Chapter 6) that two antiderivatives differ by a constant. Identify the exact step where A(a)=0A(a) = 0 is used.
  3. ◆ Derive integration by parts from the product rule, and use it to evaluate ∫ln⁡xdx\int \ln x\,dx, explaining the unusual choice dv=dxdv = dx.
  4. ◆◆ From the definition ln⁡x=∫1x1tdt\ln x = \int_1^x \tfrac1t\,dt, prove the power law ln⁡(xr)=rln⁡x\ln(x^r) = r\ln x for the case rr a positive integer. (Hint: use the product law repeatedly, or substitute.)
  5. ◆◆ Prove that ee, defined as the number with ln⁡e=1\ln e = 1, exists and is unique, citing the Intermediate Value Theorem (existence) and the fact that ln\ln is strictly increasing (uniqueness). Explain how this discharges the loan first taken in Chapter 1.
  6. ◆◆ Define E(x)E(x) as the inverse function of ln\ln. Using the inverse-function rule (Chapter 4) and ln⁡′x=1x\ln' x = \tfrac1x, prove E′(x)=E(x)E'(x) = E(x) — i.e., the inverse of the log-integral is its own derivative, which is why it deserves the name exe^x.

Teach it — explain it, write it up, or fix it

  1. In three or four sentences with the moving-edge picture, teach a friend why differentiating an area gives back the curve (FTC Part 1).
  2. Debug your classmate. They evaluate ∫0πsin⁡xdx\int_0^{\pi}\sin x\,dx as [cos⁡x]0π=cos⁡π−cos⁡0=−2[\cos x]_0^\pi = \cos\pi - \cos 0 = -2. Find both errors (the antiderivative and the sign) and give the correct value.
  3. Write a complete worked solution to ∫x2exdx\int x^2 e^x\,dx (integration by parts, applied twice), narrating why each step reduces the power, so a peer could do ∫x3exdx\int x^3 e^x\,dx.
  4. In a few sentences, teach the slicing principle — how area-between-curves, volume, and arc length are all “what does one thin piece contribute, summed up” — and why that means you never need to memorize their formulas.
  5. Teach the capstone. In a short paragraph, explain to someone who has finished Chapter 5 why defining ln⁡x=∫1x1tdt\ln x = \int_1^x \tfrac1t\,dt is more honest than just asserting ln⁡′x=1x\ln' x = \tfrac1x — what does the definition give you that the assertion didn’t?

Looking ahead — Chapter 12 in your hands early

  1. The integral ∫1∞1xdx\int_1^\infty \tfrac1x\,dx is the area under 1x\tfrac1x stretching out forever. Using ∫1b1xdx=ln⁡b\int_1^b \tfrac1x\,dx = \ln b, decide whether this area is finite or infinite as b→∞b\to\infty. (You’ve just decided whether the series 1+12+13+⋯1 + \tfrac12 + \tfrac13 + \cdots converges — Chapter 12 makes the link exact.)
  2. Compare ∫1∞1x2dx\int_1^\infty \tfrac{1}{x^2}\,dx (compute it, as b→∞b\to\infty) with the previous problem. One area is finite, the other infinite. Predict which of ∑1n2\sum \tfrac1{n^2} and ∑1n\sum \tfrac1n converges, and articulate the rule you’re sensing: a sum and the matching area live or die together. (That rule is Chapter 12’s integral test, and it is made of this chapter’s pictures.)

Questions to talk about

No answer key. These are for arguing over, with someone who read the same chapter.

  1. Finding an area is the same as undoing a derivative. Before reading the proof, why should those two have anything to do with each other?
  2. The whole chapter rests on one picture: let the right edge of an area move, and watch how fast the area grows. Draw it. What is the rate of growth, and why?
  3. The logarithm is finally defined as an integral, and every loan taken on e and ln is repaid. Why does a book that could have simply asserted those facts care so much about settling the debt?

All 12 chapters of Calculus I · Foundations · All courses