## Content

### Properties of the derivative

We now consider various properties of differentiation. As we proceed, we will be able to differentiate wider and wider classes of functions.

Throughout this section and the next, we will be manipulating limits as we compute derivatives. We therefore recall some basic rules for limits; see the module Limits and continuity for details. The following hold provided the limits \(\lim\limits_{x \to a} f(x)\) and \(\lim\limits_{x \to a} g(x)\) exist.

- The limit of a sum (or difference) is the sum (or difference) of the limits: \[ \lim_{x \to a} \bigl(f(x) \pm g(x)\bigr) = \lim_{x \to a} f(x) \pm \lim_{x \to a} g(x). \]
- The limit of a product is the product of the limits: \[ \lim_{x \to a} f(x)\,g(x) = \bigl(\lim_{x \to a} f(x)\bigr)\,\bigl(\lim_{x \to a} g(x)\bigr). \] This includes the case of multiplication by a constant \(c\): \[ \lim_{x \to a} c\,f(x) = c\,\lim_{x \to a} f(x). \]

#### The derivative of a constant multiple

Suppose we want to differentiate \(4x^7\). Rather than returning to the definition of a derivative, we can use the following theorem.

###### Theorem

Let \(f\) be a differentiable function and let \(c\) be a constant. Then the derivative of \(cf(x)\) is \(cf'(x)\). That is,

\[ \dfrac{d}{dx} \bigl[ cf(x) \bigr] = cf'(x). \]This fact can also be written in Leibniz notation as

\[ \dfrac{d}{dx} \bigl( cf \bigr) = c\,\dfrac{df}{dx}. \]###### Proof

The derivative of \(cf(x)\) is given by

\[ \lim_{\Delta x \to 0} \dfrac{cf(x+\Delta x) - cf(x)}{\Delta x} = c\,\lim_{\Delta x \to 0} \dfrac{f(x+\Delta x) - f(x)}{\Delta x} = cf'(x). \]We may factor out the \(c\), since it is just a constant.

\(\Box\)

#### Example

What is the derivative of \(4x^7\)?

#### Solution

The theorem tells us that the derivative of \(4x^7\) is 4 times the derivative of \(x^7\). Hence,

\begin{align*} \dfrac{d}{dx} \bigl( 4x^7 \bigr) &= 4\,\dfrac{d}{dx} \bigl( x^7 \bigr) \\ &= 4 \cdot 7x^6 \\ &= 28x^6. \end{align*}#### The derivative of a sum

A function like \(f(x) = x^3 + 5x^2\) can be differentiated from first principles; alternatively, we can use the following theorem.

###### Theorem

Suppose both \(f\) and \(g\) are differentiable functions. Then the derivative of \(f(x) + g(x)\) is \(f'(x) + g'(x)\) and, similarly, the derivative of \(f(x) - g(x)\) is \(f'(x) - g'(x)\). That is,

\[ \dfrac{d}{dx} \bigl[ f(x) + g(x) \bigr] = f'(x) + g'(x), \qquad \dfrac{d}{dx} \bigl[ f(x) - g(x) \bigr] = f'(x) - g'(x). \]In Leibniz notation, these statements can be written as

\[ \dfrac{d}{dx} \bigl( f + g \bigr) = \dfrac{df}{dx} + \dfrac{dg}{dx}, \qquad \dfrac{d}{dx} \bigl( f - g \bigr) = \dfrac{df}{dx} - \dfrac{dg}{dx}. \]###### Proof

We prove the first statement. The derivative of \(f(x) + g(x)\) is given by

\begin{align*} & \lim_{\Delta x \to 0} \dfrac{\bigl( f(x+\Delta x) + g(x + \Delta x) \bigr) - \bigl( f(x) + g(x) \bigr)}{\Delta x} \\ ={}& \lim_{\Delta x \to 0} \dfrac{f(x+\Delta x) - f(x)}{\Delta x} + \lim_{\Delta x \to 0} \dfrac{g(x+\Delta x) - g(x)}{\Delta x} \\ ={}& f'(x) + g'(x). \end{align*}Note that, as both the limits in the second line exist, we are retrospectively justified in splitting the first limit into two pieces.

\(\Box\)

##### Exercise 6

Adapt the above proof to prove the second statement of the theorem: the derivative of the difference of two functions is the difference of the derivatives.

#### Example

Find the derivative of \(f(x) = x^3 + 5x^2\).

#### Solution

We have, using the above theorems,

\begin{alignat*}{2} f'(x) &= \dfrac{d}{dx} \bigl(x^3+5x^2\bigr) \\ &= \dfrac{d}{dx} \bigl(x^3\bigr) + \dfrac{d}{dx} \bigl(5x^2\bigr) &\qquad&(\text{derivative of a sum}) \\ &= \dfrac{d}{dx} \bigl(x^3\bigr) + 5\,\dfrac{d}{dx} \bigl(x^2\bigr) &&(\text{derivative of a constant multiple}) \\ &= 3x^2 + 10 x &&(\text{derivative of } x^n). \end{alignat*}*Notes.* The solution to the previous example shows every individual step explicitly and states which theorems are used. Once proficient with these properties of the derivative, however, there is no need to justify each step in this way. It is common, for instance, to go straight from

#### Linearity of the derivative

The two previous theorems (for the derivative of a sum and the derivative of a constant multiple) can be summarised as follows. If \(f,g\) are differentiable functions and \(a,b\) are constants, then

\[ \dfrac{d}{dx} \bigl[ a\,f(x) + b\,g(x) \bigr] = a\,f'(x) + b\,g'(x). \]The same fact can be written in Leibniz notation as

\[ \dfrac{d}{dx} \bigl( af + bg \bigr) = a\,\dfrac{df}{dx} + b\,\dfrac{dg}{dx}. \]This property is sometimes expressed by saying that 'differentiation is linear'.