117. Differentiation of rational functions

B. Rational Functions. If $$R(x)=\frac{P(x)}{Q(x)},$$ where $P$ and $Q$ are polynomials, it follows at once from § 113, (5) that $$R^{\prime }(x)=\frac{P^{\prime }(x)Q(x)–P(x)Q^{\prime }(x)}{\{Q(x){\}}^2},$$ and this formula enables us to write down the derivative of any rational function. The form in which we obtain it, however, may or may not be the simplest possible. It will be the simplest possible if $Q(x)$ and $Q^{\prime }(x)$ have no common factor, i.e. if $Q(x)$ has no repeated factor. But if $Q(x)$ has a repeated factor then the expression which we obtain for $R^{\prime }(x)$ will be capable of further reduction.

It is very often convenient, in differentiating a rational function, to employ the method of partial fractions. We shall suppose that $Q(x)$, as in § 116, is expressed in the form $$a_0(x–{\alpha }_1{)}^{m_1}(x–{\alpha }_2{)}^{m_2}\dots (x–{\alpha }_{\nu }{)}^{m_{\nu }}.$$ Then it is proved in treatises on Algebra¹ that $R(x)$ can be expressed in the form $$\begin{array}{rl}\mathrm{\Pi }(x)& +\frac{A_{1,1}}{x–{\alpha }_1}+\frac{A_{1,2}}{(x–{\alpha }_1{)}^2}+\cdots +\frac{A_{1,m_1}}{(x–{\alpha }_1{)}^{m_1}}\\ & +\frac{A_{2,1}}{x–{\alpha }_2}+\frac{A_{2,2}}{(x–{\alpha }_2{)}^2}+\cdots +\frac{A_{2,m_2}}{(x–{\alpha }_2{)}^{m_2}}+\dots ,\end{array}$$ where $\mathrm{\Pi }(x)$ is a polynomial; i.e. as the sum of a polynomial and the sum of a number of terms of the type $$\frac{A}{(x–\alpha {)}^p},$$ where $\alpha$ is a root of $Q(x)=0$. We know already how to find the derivative of the polynomial: and it follows at once from Theorem (4) of § 113, or, if $\alpha$ is complex, from its extension indicated in § 114, that the derivative of the rational function last written is $$-\frac{pA(x-\alpha {)}^{p-1}}{(x–\alpha {)}^{2p}}=-\frac{pA}{(x–\alpha {)}^{p+1}}.$$

We are now able to write down the derivative of the general rational function $R(x)$, in the form $${\mathrm{\Pi }}^{\prime }(x)–\frac{A_{1,1}}{(x–{\alpha }_1{)}^2}–\frac{2A_{1,2}}{(x–{\alpha }_1{)}^3}–\cdots –\frac{A_{2,1}}{(x–{\alpha }_2{)}^2}–\frac{2A_{2,2}}{(x–{\alpha }_2{)}^3}–\dots .$$ Incidentally we have proved that the derivative of $x^m$ is $m{x}^{m-1}$, for all integral values of $m$ positive or negative.

The method explained in this section is particularly useful when we have to differentiate a rational function several times (see Exs. XLV).