Computing every derivative directly from Definition 10.2's limit — "from first principle" — is correct but, as the book notes, "extremely laborious and difficult... in the majority of cases." The practical fix is to prove, once and for all, a small set of general rules that let any combination of known derivatives be differentiated automatically, with no limit computation needed at the point of use. This section proves the five rules that make differentiation an algebraic, rule-following process rather than a fresh limit every time: differentiating a sum, a product, a quotient, a composite (chain rule), and a constant multiple.
Throughout, u=u(x) and v=v(x) denote differentiable functions of x on a common interval I.
Theorem 10.2 (Sum Rule). dxd(u+v)=dxdu+dxdv.
Proof idea. With y=f(x)=u(x)+v(x), f(x+Δx)−f(x)=[u(x+Δx)−u(x)]+[v(x+Δx)−v(x)], so dividing by Δx and taking the limit term-by-term (each limit exists by hypothesis) gives f′(x)=u′(x)+v′(x). The rule extends by repeated application to any finite sum: (u1+u2+⋯+un)′=u1′+u2′+⋯+un′.
Theorem 10.3 (Product Rule). dxd(uv)=udxdv+vdxdu, i.e. (uv)′=uv′+vu′.
Proof idea. Write f(x)=u(x)v(x). The key algebraic trick is to insert and subtract u(x)v(x+Δx) inside f(x+Δx)−f(x):
f(x+Δx)−f(x)=v(x+Δx)[u(x+Δx)−u(x)]+u(x)[v(x+Δx)−v(x)].
Dividing by Δx and letting Δx→0: the first term's difference quotient →u′(x) while v(x+Δx)→v(x) (since v, being differentiable, is continuous by Theorem 10.1), and the second term's difference quotient →v′(x) with u(x) fixed — giving f′(x)=v(x)u′(x)+u(x)v′(x). By repeated use, (uvw)′=u′vw+uv′w+uvw′, and in general the derivative of a product of n differentiable functions is the sum of n terms, each formed by differentiating exactly one factor and leaving the rest untouched.
Theorem 10.4 (Quotient Rule). If v(x)=0, dxd(vu)=v2vdxdu−udxdv, i.e. (vu)′=v2vu′−uv′.
Proof idea. With f=u/v, the same insert-and-subtract trick on f(x+Δx)−f(x)=v(x+Δx)u(x+Δx)−v(x)u(x) produces, after combining over a common denominator v(x)v(x+Δx),
Δxf(x+Δx)−f(x)=v(x)v(x+Δx)v(x)Δxu(x+Δx)−u(x)−u(x)Δxv(x+Δx)−v(x).
Letting Δx→0 (again using continuity of v so v(x+Δx)→v(x)) gives f′(x)=[v(x)]2v(x)u′(x)−u(x)v′(x).
Theorem 10.5 (Chain Rule). If y=f(u) is a differentiable function of u, and u=g(x) is a differentiable function of x, so that y=f(g(x))=(f∘g)(x), then
dxd[f(g(x))]=f′(g(x))g′(x).
Here u=g(x) is called the inner function and f the outer function; u itself is called the intermediate argument. Proof idea. Writing Δu=g(x+Δx)−g(x) (so Δu→0 as Δx→0, since g is continuous), the difference quotient splits as a product,
ΔxΔy=Δuf(u+Δu)−f(u)×Δxg(x+Δx)−g(x)=ΔuΔy×ΔxΔu, …