Exactly as the algebra of limits (Section 2) allows the limit of a
combination of functions to be built from the limits of the simpler functions inside it, the
algebra of derivatives allows the derivative of a sum, difference, product or quotient of
two functions to be built from the derivatives of those two functions -- derived here
directly from the first-principles definition of Section 8, not merely stated.
Throughout, let u(x) and v(x) be two functions, both differentiable at x, with derivatives
u′(x) and v′(x).
Constant multiple rule. For any constant k,
dxd[ku(x)]=limh→0hku(x+h)−ku(x)=klimh→0hu(x+h)−u(x)=ku′(x).
Theorem (sum and difference rule).
dxd[u(x)+v(x)]=u′(x)+v′(x),dxd[u(x)−v(x)]=u′(x)−v′(x).
Proof (sum case). By the first-principles definition,
dxd[u(x)+v(x)]=limh→0h[u(x+h)+v(x+h)]−[u(x)+v(x)]=limh→0h[u(x+h)−u(x)]+[v(x+h)−v(x)].
By the sum rule for limits (Section 2), this splits into two separate limits:
=limh→0hu(x+h)−u(x)+limh→0hv(x+h)−v(x)=u′(x)+v′(x).
The difference case is identical, using the limit difference rule in place of the sum rule.
■
Theorem (product rule).
dxd[u(x)v(x)]=u′(x)v(x)+u(x)v′(x).
Proof. By definition,
dxd[u(x)v(x)]=limh→0hu(x+h)v(x+h)−u(x)v(x).
The key step is to subtract and add the term u(x+h)v(x) in the numerator -- a quantity
that changes nothing, since it is added right back:
u(x+h)v(x+h)−u(x)v(x)=u(x+h)[v(x+h)−v(x)]+v(x)[u(x+h)−u(x)].
So
dxd[uv]=limh→0[u(x+h)⋅hv(x+h)−v(x)+v(x)⋅hu(x+h)−u(x)].
As h→0: u(x+h)→u(x) (a differentiable function is necessarily continuous, so its own
value cannot jump as h→0); hv(x+h)−v(x)→v′(x); and
hu(x+h)−u(x)→u′(x), by definition. Hence, by the product and sum rules for
limits,
dxd[uv]=u(x)v′(x)+v(x)u′(x).■
Theorem (quotient rule). Provided v(x)=0,
dxd[v(x)u(x)]=[v(x)]2u′(x)v(x)−u(x)v′(x).
Proof. By definition,
dxd[vu]=limh→0h1[v(x+h)u(x+h)−v(x)u(x)]=limh→0hv(x+h)v(x)u(x+h)v(x)−u(x)v(x+h),
combining the two fractions over the common denominator v(x+h)v(x) first. Now apply the same
subtract-and-add trick to the numerator, this time inserting u(x)v(x):
u(x+h)v(x)−u(x)v(x+h)=v(x)[u(x+h)−u(x)]−u(x)[v(x+h)−v(x)].
So …