We shall now investigate more systematically the forms of the derivatives of a few of the the simplest types of functions.

A. Polynomials. If \(\phi(x) = a_{0}x^{n} + a_{1}x^{n-1} + \dots + a_{n}\), then \[\phi'(x) = na_{0}x^{n-1} + (n – 1)a_{1}x^{n-2} + \dots + a_{n-1}.\] It is sometimes more convenient to use for the standard form of a polynomial of degree \(n\) in \(x\) what is known as the binomial form, viz. \[a_{0}x^{n} + \binom{n}{1} a_{1}x^{n-1} + \binom{n}{2} a_{2}x^{n-2} + \dots + a_{n}.\] In this case \[\phi'(x) = n \left\{ a_{0}x^{n-1} + \binom{n – 1}{1} a_{1}x^{n-2} + \binom{n – 1}{2} a_{2}x^{n-3} + \dots + a_{n-1} \right\}.\]

The binomial form of \(\phi(x)\) is often written symbolically as \[(a_{0}, a_{1}, \dots, a_{n} | x, 1)^{n};\] and then \[\phi'(x) = n(a_{0}, a_{1}, \dots, a_{n-1} | x, 1)^{n-1}.\]

We shall see later that \(\phi(x)\) can always be expressed as the product of \(n\) factors in the form \[\phi(x) = a_{0}(x – \alpha_{1})(x – \alpha_{2}) \dots (x – \alpha_{n}),\] where the \(\alpha\)’s are real or complex numbers. Then \[\phi'(x) = a_{0}\sum (x – \alpha_{2})(x – \alpha_{3}) \dots (x – \alpha_{n}),\] the notation implying that we form all possible products of \(n – 1\) factors, and add them all together. This form of the result holds even if several of the numbers \(\alpha\) are equal; but of course then some of the terms on the right-hand side are repeated. The reader will easily verify that if \[\phi(x) = a_{0}(x – \alpha_{1})^{m_{1}} (x – \alpha_{2})^{m_{2}}\dots (x – \alpha_{\nu})^{m_{\nu}},\] then \[\phi'(x) = a_{0} \sum m_{1}(x – \alpha_{1})^{m_{1}-1} (x – \alpha_{2})^{m_{2}}\dots (x – \alpha_{\nu})^{m_{\nu}}.\]

Example XLI

1. Show that if \(\phi(x)\) is a polynomial then \(\phi'(x)\) is the coefficient of \(h\) in the expansion of \(\phi(x + h)\) in powers of \(h\).

2. If \(\phi(x)\) is divisible by \((x – \alpha)^{2}\), then \(\phi'(x)\) is divisible by \(x – \alpha\): and generally, if \(\phi(x)\) is divisible by \((x – \alpha)^{m}\), then \(\phi'(x)\) is divisible by \((x – \alpha)^{m-1}\).

3. Conversely, if \(\phi(x)\) and \(\phi'(x)\) are both divisible by \(x – \alpha\), then \(\phi(x)\) is divisible by \((x – \alpha)^{2}\); and if \(\phi(x)\) is divisible by \(x – \alpha\) and \(\phi'(x)\) by \((x – \alpha)^{m-1}\), then \(\phi(x)\) is divisible by \((x – \alpha)^{m}\).

4. Show how to determine as completely as possible the multiple roots of \(P(x) = 0\), where \(P(x)\) is a polynomial, with their degrees of multiplicity, by means of the elementary algebraical operations.

[If \(H_{1}\) is the highest common factor of \(P\) and \(P’\), \(H_{2}\) the highest common factor of \(H_{1}\) and \(P”\), \(H_{3}\) that of \(H_{2}\) and \(P”’\), and so on, then the roots of \(H_{1}H_{3}/H_{2}^{2} = 0\) are the double roots of \(P = 0\), the roots of \(H_{2}H_{4}/H_{3}^{2} = 0\) the treble roots, and so on. But it may not be possible to complete the solution of \(H_{1}H_{3}/H_{2}^{2} = 0\), \(H_{2}H_{4}/H_{3}^{2} = 0\), …. Thus if \(P(x) = (x – 1)^{3}(x^{5} – x – 7)^{2}\) then \(H_{1}H_{3}/H_{2}^{2} = x^{5} – x – 7\) and \(H_{2}H_{4}/H_{3}^{2} = x – 1\); and we cannot solve the first equation.]

5. Find all the roots, with their degrees of multiplicity, of \[x^{4} + 3x^{3} – 3x^{2} – 11x – 6 = 0,\quad x^{6} + 2x^{5} – 8x^{4} – 14x^{3} + 11x^{2} + 28x + 12 = 0.\]

6. If \(ax^{2} + 2bx + c\) has a double root, is of the form \(a(x – \alpha)^{2}\), then \(2(ax + b)\) must be divisible by \(x – \alpha\), so that \(\alpha = -b/a\). This value of \(x\) must satisfy \(ax^{2} + 2bx + c = 0\). Verify that the condition thus arrived at is \(ac – b^{2} = 0\).

7. The equation \(1/(x – a) + 1/(x – b) + 1/(x – c) = 0\) can have a pair of equal roots only if \(a = b = c\).

8. Show that \[ax^{3} + 3bx^{2} + 3cx + d = 0\] has a double root if \(G^{2} + 4H^{3} = 0\), where \(H = ac – b^{2}\), \(G = a^{2}d – 3abc + 2b^{3}\).

[Put \(ax + b = y\), when the equation reduces to \(y^{3} + 3Hy + G = 0\). This must have a root in common with \(y^{2} + H = 0\).]

9. The reader may verify that if \(\alpha\), \(\beta\), \(\gamma\), \(\delta\) are the roots of \[ax^{4} + 4bx^{3} + 6cx^{2} + 4dx + e = 0,\] then the equation whose roots are \[\tfrac{1}{12}a \{ (\alpha – \beta)(\gamma – \delta) – (\gamma – \alpha)(\beta – \delta) \},\] and two similar expressions formed by permuting \(\alpha\), \(\beta\), \(\gamma\) cyclically, is \[4\theta^{3} – g_{2}\theta – g_{3} = 0,\] where \[g_{2} = ae – 4bd + 3c^{2},\quad g_{3} = ace + 2bcd – ad^{2} – eb^{2} – c^{3}.\] It is clear that if two of \(\alpha\), \(\beta\), \(\gamma\), \(\delta\) are equal then two of the roots of this cubic will be equal. Using the result of Ex. 8 we deduce that \(g_{2}^{3} – 27g_{3}^{2} = 0\).

10. Rolle’s Theorem for polynomials. If \(\phi(x)\) is any polynomial, then between any pair of roots of \(\phi(x) = 0\) lies a root of \(\phi'(x) = 0\).

A general proof of this theorem, applying not only to polynomials but to other classes of functions, will be given later. The following is an algebraical proof valid for polynomials only. We suppose that \(\alpha\), \(\beta\) are two successive roots, repeated respectively \(m\) and \(n\) times, so that \[\phi(x) = (x – \alpha)^{m} (x – \beta)^{n} \theta(x),\] where \(\theta(x)\) is a polynomial which has the same sign, say the positive sign, for \(\alpha \leq x \leq \beta\). Then \[\begin{aligned} \phi'(x) &= (x – \alpha)^{m} (x – \beta)^{n} \theta'(x) + \{m(x – \alpha)^{m-1} (x – \beta)^{n} + n(x – \alpha)^{m} (x – \beta)^{n-1}\} \theta(x)\\ &= (x – \alpha)^{m-1} (x – \beta)^{n-1} [(x – \alpha) (x – \beta) \theta'(x) + \{m(x – \beta) + n(x – \alpha)\} \theta(x)]\\ &= (x – \alpha)^{m-1} (x – \beta)^{n-1} F(x),\end{aligned}\] say. Now \(F(\alpha) = m(\alpha – \beta) \theta(\alpha)\) and \(F(\beta) = n(\beta – \alpha) \theta(\beta)\), which have opposite signs. Hence \(F(x)\), and so \(\phi'(x)\), vanishes for some value of \(x\) between \(\alpha\) and \(\beta\).


$\leftarrow$115. The notation of the differential calculus Main Page 117. Differentiation of rational functions $\rightarrow$