4.1.14 · D1Calculus I — Limits & Derivatives

Foundations — Product rule — proof

1,680 words8 min readBack to topic

This page assumes you know nothing. Before we can even read the parent statement , we must earn every mark on that line. We go one symbol at a time, and each one gets a plain meaning, a picture, and a reason the topic needs it.


1. A function — the symbol

The letter is just a name for the machine (like calling a dog "Rex"). The in brackets is the number you put in. So means "the machine that squares whatever you give it": feed in , get .

Why the topic needs it. The parent note talks about a rectangle whose width changes as changes. "A width that depends on " is exactly a function — we call it . The height is another function, .

Figure — Product rule — proof

Look at the picture: as the input slides along the bottom, the machine produces a height on the vertical axis. That curve is the function.


2. A tiny nudge — the symbol

We care about : the machine's output after we nudge the input by . If is small, is close to , so is close to — but not exactly equal, because the machine reacted to the nudge.

Why the topic needs it. The whole proof asks: "when I nudge by a hair , how much does the area change?" You cannot ask about change without a nudge to change by. That nudge is .


3. How much the output moved — the symbol

is one number: how far the machine's answer jumped when we stepped the input by .

Figure — Product rule — proof

Look at the red vertical gap in the figure — that gap is . When is small the gap is small; shrink toward zero and the gap shrinks too.

Why the topic needs it. In the parent's rectangle, the right strip has area and the top strip has area . The whole geometric story is told in and .


4. The rate of change — the derivative

Now the star of the whole chapter.

The little tick mark is the whole notation: means "the derivative of ". Two more marks you'll meet:

  • is called a difference quotient — the average steepness across one step.
  • As shrinks, that average becomes the instantaneous steepness.
Figure — Product rule — proof

The blue line through two points is the average slope . As the second point slides toward the first (the yellow arrows), the line tips into the green tangent — the steepness right at . That limiting slope is . This picture is the entire engine of the parent proof; see Limit definition of the derivative for the full build.

Why the topic needs it. The product rule is a statement about derivatives: it tells you and combine into . Without the derivative there is nothing to prove.


5. The limit — the symbol

We can't just set in , because dividing by zero is forbidden. The limit is the honest way to ask "where is this ratio going?" while is still a hair above zero.

Why the topic needs it. Every derivative in the proof is a limit. And a key move in the proof, , is a limit statement that only works because is continuous — see Differentiability implies continuity.


6. Continuity — "no sudden jumps"

Picture a curve you can draw without lifting your pen. That is continuity. A staircase with a jump is not continuous at the jump.

Why the topic needs it. In the proof, one factor is , and we let hoping it becomes . That hope is only justified if is continuous. Luckily, being differentiable forces continuity, so we get it for free — but the parent note rightly insists we name it.


7. Product of two functions — the symbol

If is a width and is a height, then is the area of the rectangle they form. That single product is the object the whole topic differentiates.

Figure — Product rule — proof

The figure shows why the area change has four pieces: original block, right strip , top strip , and the tiny corner . Everything the product rule says lives in this picture.


8. Multiplying out — algebra we lean on

Two small algebra habits the proof uses:


Prerequisite map

Function u&(x&)

Nudge x by h

Change delta u = u&(x+h&) - u&(x&)

Difference quotient delta u over h

Limit as h goes to 0

Derivative u prime

Continuity: no jumps

Product u times v = area

Product rule proof

Add and subtract zero


Equipment checklist

What does mean in plain words?
A machine that turns an input number into one output number.
What is ?
A tiny step we add to the input, giving the nearby input .
What does stand for?
The change in output, .
Why do we divide by instead of using alone?
To get change per unit step — the steepness — instead of a number that just reflects how big the step was.
What is ?
The derivative: the limit of as , i.e. the instantaneous steepness.
What does ask?
The value the expression heads toward as shrinks to zero (without being zero).
What does it mean for to be continuous at ?
A small nudge in input gives only a small nudge in output — no jumps — so .
What object does represent geometrically?
The area of a rectangle with width and height .
Why is it legal to add inside the proof's numerator?
The net addition is , so the value is unchanged, but the terms regroup into two useful difference quotients.

Connections

  • Limit definition of the derivative — where and the limit come from.
  • Differentiability implies continuity — why is allowed.
  • Power rule — the first rule these foundations bootstrap.
  • Quotient rule — the same machinery for division.
  • Chain rule — the same machinery for composition.
  • Leibniz rule (nth derivative of a product) — the grand generalisation of the parent.