Throughout the theorems which follow we assume that the functions f(x) and F(x) have derivatives f(x) and F(x) for the values of x considered.

(1) If ϕ(x)=f(x)+F(x), then ϕ(x) has a derivative ϕ(x)=f(x)+F(x).

(2) If ϕ(x)=kf(x), where k is a constant, then ϕ(x) has a derivative ϕ(x)=kf(x).

We leave it as an exercise to the reader to deduce these results from the general theorems stated in Ex. XXXV. 1.

(3) If ϕ(x)=f(x)F(x), then ϕ(x) has a derivative ϕ(x)=f(x)F(x)+f(x)F(x).

For ϕ(x)=limf(x+h)F(x+h)f(x)F(x)h=lim{f(x+h)F(x+h)F(x)h+F(x)f(x+h)f(x)h}=f(x)F(x)+F(x)f(x).

(4) If ϕ(x)=1f(x), then ϕ(x) has a derivative ϕ(x)=f(x){f(x)}2.

In this theorem we of course suppose that f(x) is not equal to zero for the particular value of x under consideration. Then ϕ(x)=lim1h{f(x)f(x+h)f(x+h)f(x)}=f(x){f(x)}2.

(5) If ϕ(x)=f(x)F(x), then ϕ(x) has a derivative ϕ(x)=f(x)F(x)f(x)F(x){F(x)}2.

This follows at once from (3) and (4).

(6) If ϕ(x)=F{f(x)}, then ϕ(x) has a derivative ϕ(x)=F{f(x)}f(x).

For let f(x)=y,f(x+h)=y+k. Then k0 as h0, and k/hf(x). And ϕ(x)=limF{f(x+h)}F{f(x)}h=lim{F(y+k)F(y)k}×lim(kh)=F(y)f(x).

This theorem includes (2) and (4) as special cases, as we see on taking F(x)=kx or F(x)=1/x. Another interesting special case is that in which f(x)=ax+b: the theorem then shows that the derivative of F(ax+b) is aF(ax+b).

Our last theorem requires a few words of preliminary explanation. Suppose that x=ψ(y), where ψ(y) is continuous and steadily increasing (or decreasing), in the stricter sense of § 95, in a certain interval of values of y. Then we may write y=ϕ(x), where ϕ is the ‘inverse’ function (§ 109) of ψ.

(7) If y=ϕ(x), where ϕ is the inverse function of ψ, so that x=ψ(y), and ψ(y) has a derivative ψ(y) which is not equal to zero, then ϕ(x) has a derivative ϕ(x)=1ψ(y).

For if ϕ(x+h)=y+k, then k0 as h0, and ϕ(x)=limh0ϕ(x+h)ϕ(x)(x+h)x=limk0(y+k)yψ(y+k)ψ(y)=1ψ(y). The last function may now be expressed in terms of x by means of the relation y=ϕ(x), so that ϕ(x) is the reciprocal of ψ{ϕ(x)}. This theorem enables us to differentiate any function if we know the derivative of the inverse function.


110-112. Derivatives Main Page 114. Derivatives of complex functions