The earlier lessons added a rate piece by piece and compared every sum with an exact total printed beside it. That total came from a different method, and this lesson is the method. It runs the derivative backwards: given the rate f, find a function F whose rate of change is f. If you can, the total change the rate f produces over an interval is read from the two ends of F.
Definition · AntiderivativeA function F is an antiderivative of f when F′ = f. For a polynomial it is found term by term: a term c·tⁿ becomes c·tⁿ⁺¹/(n + 1), and a constant term c becomes c·t.
The power rule of “The Derivative as a Function” is the same rule read from right to left.
Take the rate t². Raise the power to get t³, divide by the new power to get t³/3, and check: (t³/3)′ = 3t²/3 = t². Then F(1) − F(0) = 1/3 − 0 = 1/3. The sums of “Refining the Partition” were 7/32, 35/128, 155/512, each a little nearer a third, and none of them equal to it.
t² on [0, 1] Lₙ Rₙ
n = 4 7/32 15/32
n = 8 35/128 51/128
n = 16 155/512 187/512
n = 32 651/2048 715/2048
F(1) − F(0) = 1/3, between every pair
Why the claim is plausible
Cut the interval into pieces. The change of F across one piece is F(t + h) − F(t), and those changes add up to F(b) − F(a) exactly, because every interior value is added once and subtracted once. For the ramp 2t, with F = t² and four pieces of width 1/2, the piece changes are 1/4, 3/4, 5/4, 7/4, and they add to 4.
The left sum charges each piece at the rate at its left end, 0, 1, 2, 3, so the pieces contribute 0, 1/2, 1, 3/2, adding to the 3 of “Total Change from a Rate”. Each of those contributions is a flat guess at the matching change of F, and it is a good guess because F′ = f: over a short piece, F changes by about its rate times the width. Shorter pieces make each guess better. That is the whole argument, and it is an argument, not a proof.
Theorem · The fundamental theorem, as the lab demonstrates itIf F′ = f on the interval from a to b, the left and right sums of f approach F(b) − F(a) as the number of pieces grows, and F(b) − F(a) is the total change, over the interval, of the quantity whose rate is f.
The identity that the piece changes of F telescope to F(b) − F(a) is algebra and holds exactly. The claim that the sums approach that number is what the tables of the earlier lessons show for particular rates and particular piece counts. Neither the tables nor the lab prove it for every rate; a first analysis course does, and this Subject states it and uses it.
A constant added to F changes nothing here. If G = F + 5 then G(b) − G(a) = (F(b) + 5) − (F(a) + 5) = F(b) − F(a), so the total does not depend on which antiderivative was chosen. Where a constant does matter is the subject of the next lesson.
Example · A rate with three termsThe rate 3t² − 4t + 1 on the interval from 1 to 3. Term by term, F = t³ − 2t² + t, and the check F′ = 3t² − 4t + 1 passes. Then F(3) = 27 − 18 + 3 = 12 and F(1) = 1 − 2 + 1 = 0.
The total change is 12 − 0 = 12. The lab prints 12 on the mixed preset, and the same value would appear however many pieces you chose, because no pieces were used.