All the general theorems of § 113 may of course also be stated as theorems in integration. Thus we have, to begin with, the formulae \[\begin{equation*} \int \{f(x) + F(x)\}\, dx = \int f(x) dx + \int F(x) dx, \tag{1}\end{equation*}\] \[\begin{equation*} \int kf(x)\, dx = k\int f(x) dx. \tag{2} \end{equation*}\]

Here it is assumed, of course, that the arbitrary constants are adjusted properly. Thus the formula (1) asserts that the sum of any integral of \(f(x)\) and any integral of \(F(x)\) is an integral of \(f(x) + F(x)\).

These theorems enable us to write down at once the integral of any function of the form \(\sum A_{\nu} f_{\nu}(x)\), the sum of a finite number of constant multiples of functions whose integrals are known. In particular we can write down the integral of any polynomial: thus \[\int (a_{0}x^{n} + a_{1}x^{n-1} + \dots + a_{n})\, dx = \frac{a_{0}x^{n+1}}{n + 1} + \frac{a_{1}x^{n}}{n} + \dots + a_{n}x.\]

$\leftarrow$ 127-128. Integration. The logarithmic function Main Page 130-131. Integration of rational functions $\rightarrow$