Throughout the theorems which follow we assume that the functions and have derivatives and for the values of considered.
(1) If , then has a derivative
(2) If , where is a constant, then has a derivative
We leave it as an exercise to the reader to deduce these results from the general theorems stated in Ex. XXXV. 1.
(3) If , then has a derivative
For
(4) If , then has a derivative
In this theorem we of course suppose that is not equal to zero for the particular value of under consideration. Then
(5) If , then has a derivative
This follows at once from (3) and (4).
(6) If , then has a derivative
For let Then as , and . And
This theorem includes (2) and (4) as special cases, as we see on taking or . Another interesting special case is that in which : the theorem then shows that the derivative of is .
Our last theorem requires a few words of preliminary explanation. Suppose that , where is continuous and steadily increasing (or decreasing), in the stricter sense of § 95, in a certain interval of values of . Then we may write , where is the ‘inverse’ function (§ 109) of .
(7) If , where is the inverse function of , so that , and has a derivative which is not equal to zero, then has a derivative
For if , then as , and The last function may now be expressed in terms of by means of the relation , so that is the reciprocal of . This theorem enables us to differentiate any function if we know the derivative of the inverse function.