The phrase “the total change the rate f produces from a to b” has appeared in every lesson of this course, and a short form for it makes the rules below possible to write. The short form is built from the sums. A left sum is f(t)·h added over the pieces; the integral sign is a stretched S for the adding, f(t) is the rate, dt stands where the width h stood, and the limits a and b are the ends.
Definition · The integral from a to bFor a polynomial rate f with antiderivative F, ∫ₐᵇ f(t) dt = F(b) − F(a). It is the total change from a to b of a quantity whose rate is f, a number, and the number the sums of f approach.
The letter t is a placeholder: ∫₀² 3t² dt and ∫₀² 3s² ds are both 8, and neither depends on a variable t.
Read aloud, ∫₀² (3t² + 2t) dt is “the integral from 0 to 2 of 3 t squared plus 2 t, d t”, and in words it is the total change from 0 to 2 of a quantity whose rate is 3t² + 2t. With F = t³ + t², the value is F(2) − F(0) = 12.
∫₀² 3t² dt = 8 ∫₀² 2t dt = 4
8 + 4 = 12 = ∫₀² (3t² + 2t) dt
∫₀¹ (3t² + 2t) dt = 1 + 1 = 2
∫₁² (3t² + 2t) dt = 7 + 3 = 10
2 + 10 = 12
Theorem · LinearityFor polynomials f and g and numbers c and d, ∫ₐᵇ (c·f + d·g) dt = c·∫ₐᵇ f dt + d·∫ₐᵇ g dt.
Let F′ = f and G′ = g. By the sum and constant rules of “The Derivative as a Function”, (c·F + d·G)′ = c·f + d·g, so c·F + d·G is an antiderivative of c·f + d·g.
The left side is therefore (c·F(b) + d·G(b)) − (c·F(a) + d·G(a)), and regrouping gives c·(F(b) − F(a)) + d·(G(b) − G(a)), which is the right side.
□
Theorem · Additivity over adjacent intervalsFor m between a and b, ∫ₐᵐ f dt + ∫ₘᵇ f dt = ∫ₐᵇ f dt.
The left side is (F(m) − F(a)) + (F(b) − F(m)). The two F(m) cancel, and what is left is F(b) − F(a).
□
Both proofs lean on ∫ₐᵇ f dt = F(b) − F(a), the claim of “The Antiderivative and the Fundamental Theorem”. They are exact for the polynomials the lab accepts, and they are only as strong as that claim. On the scaled preset, 6·∫₀¹ t² dt − 2·∫₀¹ t dt = 6·(1/3) − 2·(1/2) = 2 − 1 = 1, and the lab prints both sides.
The rule that fails
Example · The integral of a productPut f = g = t on the interval from 0 to 1. The product is t·t = t², and ∫₀¹ t² dt = 1/3. Each factor has ∫₀¹ t dt = 1/2, and the product of those is 1/4.
1/3 is not 1/4. The proofs above worked because (c·F + d·G)′ = c·f + d·g. For a product, (F·G)′ is f·G + F·g by “The Product Rule”, not f·g, so F·G is not an antiderivative of f·g. The scaled preset already runs from 0 to 1 and its definite tile prints 1/3 for the rate t²; type t in its place and the tile prints 1/2.