4.1.23 · D2Calculus I — Limits & Derivatives

Visual walkthrough — Parametric differentiation — dy - dx, d²y - dx²

2,710 words12 min readBack to topic

Before anything, two dots of vocabulary we will lean on constantly:


Step 1 — The bug and its two speeds

WHAT. We place a moving point (the "bug") on a curve. Its position at clock-time is . In one tick it slides a little.

WHY. Because the curve has no equation — it may loop, cross itself, or stand vertical. The only handle we have is the clock . So we describe motion first, and squeeze geometry out of it afterward.

PICTURE. The little step splits into a horizontal piece (the run) and a vertical piece (the rise). In the figure, follow the teal east arrow and the orange north arrow; together they build the dashed plum step along the curve.

Figure — Parametric differentiation — dy - dx, d²y - dx²
  • — how far east the bug drifts in one tick: east-speed times the tick . If it goes right, if it backs up left.
  • — how far north it drifts in the same tick: north-speed times the same .

Step 2 — Slope is the ratio of the two speeds

WHAT. The slope of the path is rise-over-run. Divide the vertical step by the horizontal step:

WHY. Slope must not depend on how fast the bug walks — only on the shape of the road. The clock-tick appears in both rise and run, so it cancels, leaving a pure ratio of speeds.

  • (top) — north speed, the "rise per tick".
  • (bottom) — east speed, the "run per tick".
  • — the shared tick that divides out; this is why walking-speed is irrelevant.

PICTURE. Two bugs, fast and slow, on the same hill. Different arrow lengths, identical arrow angle — same slope.

Figure — Parametric differentiation — dy - dx, d²y - dx²

This first result is the whole first derivative. Call it :


Step 3 — The trap: "just do it again"

WHAT. The second derivative feels like it should be — copy the pattern from Step 2 but with accelerations on top and bottom.

WHY it's wrong. Look at the notation carefully. The symbol is shorthand for "apply the slope-taking operation to the slope ":

  • The outer says "differentiate with respect to " — not with respect to . It measures change per step east.
  • would be a ratio of time-accelerations. That answers a different question: "how does the bug's velocity vector turn per tick?", not "how does the map-slope change as I move east."

PICTURE. Two labelled boxes. The teal box is the question we actually want (slope changing per unit of eastward distance). The plum box is the seductive impostor (accelerations per tick). They are simply not the same measurement.

Figure — Parametric differentiation — dy - dx, d²y - dx²

Step 4 — Reuse the Step-2 trick on the slope itself

WHAT. We need , but we only know how to differentiate against . So apply the exact same speed-ratio idea from Step 2 (the chain-rule engine), now to the quantity instead of :

WHY. Anything that varies with obeys "rate-along-x = (rate-along-t) ÷ (x-speed)". The slope is just another passenger riding the clock. So it gets the same treatment got.

  • Numerator — how the slope changes per tick.
  • Denominator — the east speed we must divide by to convert "per tick" into "per unit east". This is the future source of the extra power.

PICTURE. A relabelled version of the Step-2 triangle: the vertical axis is now "slope value ", the horizontal axis is still . Same divide-by- move.

Figure — Parametric differentiation — dy - dx, d²y - dx²

Step 5 — Differentiate the slope with the quotient rule

WHAT. Now compute where . This is a fraction whose top and bottom both depend on , so the Quotient rule is the right tool:

WHY the quotient rule and not something simpler? Because is a ratio of two changing things. If we only differentiated the top we would pretend the bottom () is frozen — but is itself changing at rate . The quotient rule is precisely the bookkeeping that credits both changes.

Term by term:

  • — "differentiate the top, keep the bottom." The north-acceleration scaled by east-speed.
  • — "keep the top, differentiate the bottom." This is the term that vanishes only when ; drop it and the cycloid example breaks.
  • — the quotient rule always squares the denominator. First appearance of a power of .

PICTURE — read it like this. In the figure the two ingredients sit at the corners: (orange, top) and (teal, bottom). Each diagonal arrow differentiates the corner it leaves from:

  • the arrow from down to the -corner builds the product (top differentiated, times bottom);
  • the arrow from up to the -corner builds (bottom differentiated, times top). Then — crucially — the order of subtraction is "top-diagonal minus bottom-diagonal": . Reverse them and every concavity sign flips, so mind the minus.
Figure — Parametric differentiation — dy - dx, d²y - dx²

Step 6 — Divide once more: the cube is born

WHAT. Put Step 4 and Step 5 together. Step 4 said "divide by ." Step 5 gave that numerator. So:

WHY the cube. Two divisions stack:

  • from the quotient rule (Step 5),
  • from converting "per tick" to "per unit east" (Step 4).

. That is the entire origin of the fingerprint cube. No cube ⇒ you forgot one of the two divisions.

PICTURE — read it bottom-up. The figure is a stack. The lowest tile is the quotient-rule denominator . Directly above it sits the second tile, the extra from Step 4. Follow the downward arrow that merges the two tiles: collapses into the single label in the basement, and the finished formula is printed beneath. The point of the picture is that there are two separate floors of division, not one.

Figure — Parametric differentiation — dy - dx, d²y - dx²

Step 7 — The degenerate case:

WHAT. Every step above quietly divided by . What if the bug's east-speed is zero at some instant?

WHY it matters. means the bug is moving straight up or down for that tick — the tangent is vertical. Then:

  • is undefined (slope ),
  • has underneath, also undefined.

This is geometry telling the truth, not a bug in the formula: on a vertical tangent there is genuinely no finite "rise per run". See Tangents and normals for how to handle such points (swap roles: use instead).

PICTURE. A unit circle . At the point is , the arrow points straight up, — vertical tangent, formula undefined. At the point is , , slope (flat top). Both cases shown.

Figure — Parametric differentiation — dy - dx, d²y - dx²

The one-picture summary

Figure — Parametric differentiation — dy - dx, d²y - dx²

This single diagram compresses all seven steps: start with four raw numbers (), form the slope by one division, differentiate that slope with the quotient rule (giving ), then divide once more (giving the total ).

Recall Feynman retelling — the whole walk in plain words

A bug crawls on a road drawn on a map. Its GPS reports two speeds: east-speed and north-speed. Divide north by east and you get the slope of the road — the shared tiny time-step cancels, so how fast the bug crawls doesn't matter (Steps 1–2). That division is the chain rule: north-speed = slope × east-speed, so slope = north ÷ east. Now you want to know how the slope itself changes as you move east — is the road bending up or down (Step 3)? You cannot just divide the two accelerations; that answers a different question. Instead, treat the slope like a new passenger and use the same trick: find how the slope changes per tick, then divide by the east-speed to turn "per tick" into "per unit east" (Step 4). Finding "slope-change per tick" needs the quotient rule, because the slope is a fraction whose top and bottom both wiggle — that produces an east-speed squared on the bottom (Step 5). Then the extra "divide by east-speed" from Step 4 adds one more, giving east-speed cubed — the famous (Step 6). Finally, if the east-speed is ever zero, the road is momentarily vertical: there's no honest "rise per run", so both formulas politely say "undefined" (Step 7). And if the bug walks the same road backwards, every speed flips sign at once, so the concavity you read out stays the same — flip only by hand and you'd fool yourself.


Active recall

Why can't be ?
That ratio measures acceleration-per-tick, but we want the slope's change per unit ; the outer differentiates against , not .
Where do the three powers of come from?
Two from the quotient rule () plus one from the final conversion of "per tick" to "per unit " ().
What does mean geometrically, and what happens to both formulas?
A vertical tangent; both and become undefined because you'd divide by zero.
If a curve is walked westward (), why doesn't the concavity flip even though ?
Reversing direction flips the numerator too; a genuine reparametrisation changes every velocity/acceleration at once, leaving unchanged.
On the circle , why is negative on top and positive on bottom?
It equals ; up top (concave down), below (concave up).
Which two tools power the whole derivation?
The Chain rule (per- to per- conversion) and the Quotient rule (differentiating ).

Connections