Skip to content

Mathematics · Ch 10 — Indefinite Integration

Properties of Indefinite Integrals and Direct Applications

10.1.2

Properties of Indefinite Integrals and Direct Applications

Three simple but powerful properties let us break a complicated integrand apart and integrate it piece by piece.

Theorem 1 (sum rule). If ff and gg are integrable functions of xx, then ∫[f(x)+g(x)] dx=∫f(x) dx+∫g(x) dx\int[f(x)+g(x)]\,dx=\int f(x)\,dx+\int g(x)\,dx.

Reasoning: let ∫f(x) dx=g1(x)+c1\int f(x)\,dx=g_1(x)+c_1 and ∫g(x) dx=g2(x)+c2\int g(x)\,dx=g_2(x)+c_2. By the chain rule, ddx[(g1(x)+c1)+(g2(x)+c2)]=ddx(g1(x)+c1)+ddx(g2(x)+c2)=f(x)+g(x)\frac{d}{dx}\big[(g_1(x)+c_1)+(g_2(x)+c_2)\big]=\frac{d}{dx}(g_1(x)+c_1)+\frac{d}{dx}(g_2(x)+c_2)=f(x)+g(x). Since the derivative of (g1+c1)+(g2+c2)(g_1+c_1)+(g_2+c_2) is exactly f(x)+g(x)f(x)+g(x), this combined expression is by definition a primitive of f(x)+g(x)f(x)+g(x), which is exactly the claimed sum rule.

Theorem 2 (difference rule). ∫[f(x)−g(x)] dx=∫f(x) dx−∫g(x) dx\int[f(x)-g(x)]\,dx=\int f(x)\,dx-\int g(x)\,dx — proved by the identical argument, replacing every ++ with −-.

Theorem 3 (constant-multiple rule). For a constant kk, ∫k f(x) dx=k∫f(x) dx\int k\,f(x)\,dx=k\int f(x)\,dx — proved the same way, since ddx[k(g1(x)+c1)]=k f(x)\frac{d}{dx}\big[k(g_1(x)+c_1)\big]=k\,f(x).

Together these three rules mean an integral can be split term by term, with constant coefficients carried straight through, and each piece matched against the elementary formulae of 3.1.1. A few representative applications:

∫(x3+3x) dx\int(x^3+3x)\,dx. Split by the sum rule: ∫x3 dx+∫3x dx=x44+3xlog⁡3+c\int x^3\,dx+\int 3x\,dx = \frac{x^4}{4}+\frac{3^x}{\log 3}+c.

∫(sin⁡x+1x+1x3)dx\int\left(\sin x+\frac1x+\frac{1}{\sqrt[3]{x}}\right)dx. Term by term, using x−1/3x^{-1/3} for the cube-root term: −cos⁡x+log⁡x+x2/32/3+c=−cos⁡x+log⁡x+32x2/3+c-\cos x+\log x+\frac{x^{2/3}}{2/3}+c=-\cos x+\log x+\frac32x^{2/3}+c.

∫(tan⁡x+cot⁡x)2 dx\int(\tan x+\cot x)^2\,dx. Expand: tan⁡2x+2tan⁡xcot⁡x+cot⁡2x=tan⁡2x+2+cot⁡2x\tan^2x+2\tan x\cot x+\cot^2x = \tan^2x+2+\cot^2x (since tan⁡xcot⁡x=1\tan x\cot x=1). Rewrite tan⁡2x=sec⁡2x−1\tan^2x=\sec^2x-1 and cot⁡2x=csc⁡2x−1\cot^2x=\csc^2x-1: the expression collapses to sec⁡2x+csc⁡2x\sec^2x+\csc^2x, so the integral is tan⁡x−cot⁡x+c\tan x-\cot x+c.

∫x+1x+x dx\int\frac{\sqrt x+1}{x+\sqrt x}\,dx. Factor the denominator as x(x+1)\sqrt x(\sqrt x+1); the (x+1)(\sqrt x+1) cancels, leaving ∫1x dx=2x+c\int\frac{1}{\sqrt x}\,dx=2\sqrt x+c.

∫e4log⁡x−e5log⁡xx5 dx\int\frac{e^{4\log x}-e^{5\log x}}{x^5}\,dx. Using eklog⁡x=xke^{k\log x}=x^k, the numerator is x4−x5x^4-x^5, so the integrand simplifies to 1x−1\frac1x-1, giving log⁡x−x+c\log x-x+c.

∫2x+35x−1 dx\int\frac{2x+3}{5x-1}\,dx. An improper algebraic fraction — divide first: 2x+3=25(5x−1)+1752x+3=\frac25(5x-1)+\frac{17}{5}, so the integrand is 25+17/55x−1\frac25+\frac{17/5}{5x-1}, giving 25x+1725log⁡(5x−1)+c\frac25x+\frac{17}{25}\log(5x-1)+c.

∫13x+1−3x−5 dx\int\frac{1}{\sqrt{3x+1}-\sqrt{3x-5}}\,dx. Rationalise by multiplying top and bottom by the conjugate 3x+1+3x−5\sqrt{3x+1}+\sqrt{3x-5}; the denominator becomes (3x+1)−(3x−5)=6(3x+1)-(3x-5)=6, leaving 16∫[(3x+1)1/2+(3x−5)1/2]dx=127[(3x+1)3/2+(3x−5)3/2]+c\frac16\int\left[(3x+1)^{1/2}+(3x-5)^{1/2}\right]dx=\frac{1}{27}\left[(3x+1)^{3/2}+(3x-5)^{3/2}\right]+c. …