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 f and g are integrable functions of x, then ∫[f(x)+g(x)]dx=∫f(x)dx+∫g(x)dx.
Reasoning: let ∫f(x)dx=g1(x)+c1 and ∫g(x)dx=g2(x)+c2. By the chain rule, dxd[(g1(x)+c1)+(g2(x)+c2)]=dxd(g1(x)+c1)+dxd(g2(x)+c2)=f(x)+g(x). Since the derivative of (g1+c1)+(g2+c2) is exactly f(x)+g(x), this combined expression is by definition a primitive of 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 — proved by the identical argument, replacing every + with −.
Theorem 3 (constant-multiple rule). For a constant k, ∫kf(x)dx=k∫f(x)dx — proved the same way, since dxd[k(g1(x)+c1)]=kf(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. Split by the sum rule: ∫x3dx+∫3xdx=4x4+log33x+c.
∫(sinx+x1+3x1)dx. Term by term, using x−1/3 for the cube-root term: −cosx+logx+2/3x2/3+c=−cosx+logx+23x2/3+c.
∫(tanx+cotx)2dx. Expand: tan2x+2tanxcotx+cot2x=tan2x+2+cot2x (since tanxcotx=1). Rewrite tan2x=sec2x−1 and cot2x=csc2x−1: the expression collapses to sec2x+csc2x, so the integral is tanx−cotx+c.
∫x+xx+1dx. Factor the denominator as x(x+1); the (x+1) cancels, leaving ∫x1dx=2x+c.
∫x5e4logx−e5logxdx. Using eklogx=xk, the numerator is x4−x5, so the integrand simplifies to x1−1, giving logx−x+c.
∫5x−12x+3dx. An improper algebraic fraction — divide first: 2x+3=52(5x−1)+517, so the integrand is 52+5x−117/5, giving 52x+2517log(5x−1)+c.
∫3x+1−3x−51dx. Rationalise by multiplying top and bottom by the conjugate 3x+1+3x−5; the denominator becomes (3x+1)−(3x−5)=6, leaving 61∫[(3x+1)1/2+(3x−5)1/2]dx=271[(3x+1)3/2+(3x−5)3/2]+c. …