Proofs of the Sum, Difference, Product, and Quotient Rules

The Sum Rule

We begin with S(x)=f(x)+g(x). We can write S'(x)=lim(x->a)(S(x)-S(a))/(x-a). The limit can be rewritten as lim(x->a)((f(x)+g(x))-(f(a)+g(a)))/(x-a), or lim(x->a)(f(x)-f(a)+g(x)-g(a))/(x-a). The fraction can be split up into lim(x->a)((f(x)-f(a))/(x-a)+(g(x)-g(a))/(x-a)). We then apply the sum law to split the limit into lim(x->a)(f(x)-f(a))/(x-a)+lim(x->a)(g(x)-g(a))/(x-a), which is simply f'(x)+g'(x), so d/dx (f(x)+g(x)) = df/dx + dg/dx: the derivative of a sum is the sum of the derivatives.

The Difference Rule

In the last lesson we showed that d/dx (cf(x))=c df/dx (this is a degenerate case of the Product Rule, proven below), so we can find d/dx (f(x)-g(x)) simply by regarding the second term as a constant of ‒1 times g(x), so the difference rule is simply d/dx (f(x)-g(x))=df/dx - dg/dx; the derivative of a difference is the difference of the derivatives.

The Product Rule

Working out d/dx (f(x)g(x)) requires a bit of ingenuity. We begin the differentiation by writing the problem as a difference quotient: P'(x)=lim(x->a)(f(x)g(x)-f(a)g(a))/(x-a). Now, we play with the numerator, making the limit lim(x->a)(f(x)g(x)-f(a)g(x)+f(a)g(x)-f(a)g(a))/(x-a). This is valid, since we are both adding and subtracting the term f(a)g(x) for a zero net change. We factor the numerator to give lim(x->a)(g(x)(f(x)-f(a))+f(a)(g(x)-g(a)))/(x-a). Now we split the fraction and split the limit, just as we did to prove the sum rule; the expression left is lim(x->a)(g(x)(f(x)-f(a)))/(x-a)+lim(x->a)(f(a)(g(x)-g(a)))/(x-a). We know that lim(x->a)g(x)=g(a) since g(x) is continuous, and we can remove f(a) from the limit since it does not change as x approaches a. Now we have g(x)lim(x->a)(f(x)-f(a))/(x-a)+f(x)lim(x->a)(g(x)-g(a))/(x-a). The two limits each represent derivatives, so this expression is equal to g(x)f'(x)+f(x)g'(x). Therefore the product rule states that d/dx (fg)=f'g+fg'. (The constant multiple rule is a degenerate case of the product rule, since the derivative of a constant is zero.)

The Quotient Rule

Given Q(x)=f(x)/g(x), we know that Q'(x)=lim(h->0)(Q(x+h)-Q(x))/h, a limit which can of course be written as lim(h->0)(1/h)(f(x+h)/g(x+h)-f(x)/g(x)). We combine the two parts of the second term into one fraction, so we have lim(h->0)(1/h)(f(x+h)g(x)-f(x)g(x+h))/(g(x+h)g(x)). Now we use a similar technique to that used in solving for the product rule: we add and subtract f(x)g(x) to and from the numerator. Now the limit is lim(h->0)(1/h)(f(x+h)g(x)-f(x)g(x)-f(x)g(x+h)+f(x)g(x))/(g(x+h)g(x)), which we factor to give lim(h->0)(1/h)(g(x)(f(x+h)-f(x))-f(x)(g(x+h)-g(x)))/(g(x+h)g(x)). Now we move the 1/h around a bit: lim(h->0)(1/h * g(x)(f(x+h)-f(x))-1/h * f(x)(g(x+h)-g(x))/(g(x+h)g(x)), which we rewrite as lim(h->0)(g(x)(f(x+h)-f(x))/h-f(x)(g(x+h)-g(x))/h)/(g(x+h)g(x)). It’s apparent now that there are some difference quotients in there, so we can make the limit into lim(h->0)(g(x)f'(x)-f(x)g'(x))/(g(x+h)g(x)). And since lim(h->0)g(x+h)=g(x), we rewrite the denominator to give (g(x)f'(x)-f(x)g'(x))/g(x)^2.

Valid XHTML 1.1!
Valid CSS!