The Two Questions Are One Question
Last timeAdding Up Thin Slices
Accumulating a rate gives back the quantity it came from. That single fact turns a limit of sums into a subtraction, and it is why rates and totals are studied together.
Two lessons ago a rate was computed: the rate of the squaring rule is the doubling
rule. One lesson ago a total was computed: the total of the doubling rule up to an edge
is the squaring rule. Those were separate pieces of work using separate methods, and
they came out as exact mirror images of each other.
That is not luck. It happens every time, and this lesson is about why, because once it
is believed, almost every total anybody ever needs becomes a subtraction.
- the running total: how much has accumulated from the fixed start a up to the movable position x. It is a rule in its own right, built from f
- the rule being accumulated, at the position the running total has reached. The claim is that this is the rate at which the running total is growing
- any rule whose rate is f. There are infinitely many, all differing from each other by a constant, and the theorem does not care which one is used
- the subtraction that replaces the limit. Any constant added to F appears in both terms and cancels, which is why any choice of F works
The one-line reason
Let the running total be how much has accumulated from a fixed start up to a movable
position. Now push the position forward by a small width. What does the accumulation
gain? One thin sliver. Its width is the small width, and its height is whatever the
rule is doing there, which across a thin enough sliver is nearly a single value.
So the gain is about the current value of the rule times the width. Divide the gain by
the width, exactly as the definition of a rate requires, and the width cancels, leaving
the current value of the rule. Let the width go and the word nearly becomes exact,
because a continuous rule varies by less and less across a vanishing sliver.
The rate of the running total is the rule. That is the whole argument, and it is worth
noticing how much it resembles the first lesson on rates: write the change in full,
cancel the width, then let the width go.
| step | position | total accumulated so far | gain over the next hundredth | gain per unit width | the rule here | what happened |
|---|---|---|---|---|---|---|
| 1 | 0.5 | 0.25 | 0.0101 | 1.01 | 1 | The gain divided by the width is one and one hundredth; the rule here is one. |
| 2 | 1 | 1 | 0.0201 | 2.01 | 2 | Two and one hundredth against two. The same overshoot of one hundredth. |
| 3 | 1.5 | 2.25 | 0.0301 | 3.01 | 3 | Three and one hundredth against three. The pattern is the width itself. |
| 4 | 2 | 4 | 0.0401 | 4.01 | 4 | Four and one hundredth against four, and shrinking the width would shrink the gap. |
- the total between the two ends: by definition a limit of sums over thinning slices, which nobody wants to compute
- a height times a width, which is what every term in those sums was. The notation keeps the memory of the construction
- any rule whose rate is f, evaluated at the far end
- the same rule at the near end. Subtracting removes any constant that was added to F, so the choice of F is free
The constant, and why it is free
Suppose two rules both have the doubling rule as their rate. Their difference then has
a rate of zero everywhere, and something whose rate is always zero never changes, so
the difference is a constant. All the candidates are therefore the same curve at
different heights.
The lesson stops here
2 more paragraphs to go
You have read the opening. The rest of the argument, the problems that check whether it landed, and the lines worth keeping at the end all come with a plan.
The first lesson of every course in the library reads the whole way through, free, so you can see exactly what the rest of them are.
See the planThe contentsThis is the reading half
Starting the course gives you your own copy of it. Every idea on every page has problems standing under it, marked with a reason rather than a tick, and any sentence you do not believe can be opened and argued with. None of that can happen on a page nobody owns.
The contents