These properties evaluate definite integrals without finding an anti-derivative — often turning a hopeless-looking integral into a one-line answer.
P0 (dummy variable):∫abf(x)dx=∫abf(t)dt — the variable of integration is a placeholder; renaming it changes nothing. Proof: substitute x=t.
P1 (flip the limits):∫abf(x)dx=−∫baf(x)dx. In particular ∫aaf(x)dx=0. Proof: by the Second FTC both sides are ±[F(b)−F(a)].
P2 (split the interval):∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx. Proof:[F(c)−F(a)]+[F(b)−F(c)]=F(b)−F(a). This is the property that handles modulus integrands: split at every point where the expression inside ∣⋅∣ changes sign.
P3 (reflect across the midpoint):∫abf(x)dx=∫abf(a+b−x)dx. Proof: substitute t=a+b−x (so dt=−dx, limits swap), then apply P1 and P0.
P4 (the King's rule — P3 with a=0):∫0af(x)dx=∫0af(a−x)dx.
Key Point: P3/P4 replace the integrand by its mirror image without changing the value. The winning move is almost always add the two versions: 2I=∫0a[f(x)+f(a−x)]dx, and the sum inside is often a constant or something elementary.
[JEE Tip] The King's rule is the single most-used property in JEE definite integrals. Whenever you see x multiplying a symmetric trigonometric block on [0,π] — like ∫0π1+cos2xxsinxdx — apply P4, add, and the naked x disappears, leaving 2π∫0π(trig part).
Doubling and Vanishing: P5, P6, P7
P5 (split [0,2a] and reflect):∫02af(x)dx=∫0af(x)dx+∫0af(2a−x)dx. Proof: split at a by P2, then substitute t=2a−x in the second piece.
∫−aaf(x)dx=⎩⎨⎧2∫0af(x)dx,0,if f is even: f(−x)=f(x)if f is odd: f(−x)=−f(x)
Proof sketch of P7: split ∫−aa at 0 by P2, substitute t=−x in the left piece to get ∫0af(−x)dx, then use f(−x)=±f(x).
Recognising even and odd quickly
Powers: even powers of x are even; odd powers are odd. sinx, tanx, xcosx, x2sinx are odd; cosx, xsinx, sin2x, ∣x∣ are even.
Products: odd × odd = even; odd × even = odd; even × even = even — same rules as signs.
Mixed sums: split term by term. In ∫−aa(x3+xcosx+tan5x+1)dx, the first three terms are odd (each integrates to 0) and only the constant survives.
Key Point: Before integrating anything on a symmetric interval [−a,a] or [0,2a], spend ten seconds on a symmetry check — P6/P7 may finish the whole problem, or at least kill most of the terms.
[JEE Tip] JEE Main loves the sum-of-terms trap of Exercise 7.10 Q20: a long integrand on [−2π,2π] where every term but one is odd. Also memorise the two famous results proved by these properties: ∫0π/2logsinxdx=−2πlog2 and ∫0π/4log(1+tanx)dx=8πlog2 — both appear directly as questions.
Solved Examples
Example 1: Splitting a modulus
Evaluate ∫−12x3−xdx.
Solution:
Find the sign pattern:x3−x=x(x−1)(x+1) is ≥0 on [−1,0], ≤0 on [0,1], and ≥0 on [1,2].
Split by P2:I=∫−10(x3−x)dx+∫01−(x3−x)dx+∫12(x3−x)dx.
Integrate each piece with F(x)=4x4−2x2: pieces give 41, 41, and 49 respectively.
Final Answer:41+41+49=411.
Takeaway: A modulus integral is really several ordinary integrals in disguise — the sign chart of the inside expression tells you where to cut.
Example 2: Even function shortcut
Evaluate ∫−π/4π/4sin2xdx.
Solution:
Symmetry check:sin2(−x)=sin2x — even. By P7(i), I=2∫0π/4sin2xdx.
Takeaway: Whenever numerator and denominator swap roles under x↦a−x, adding the two copies gives ∫0a1dx=a, so I=2a — regardless of the powers involved.
Example 6: Mirror on a shifted interval
Evaluate ∫π/6π/31+tanxdx.
Solution:
Rewrite:1+tanx1=cosx+sinxcosx.
Apply P3 with a+b=6π+3π=2π: the mirrored integrand is sinx+cosxsinx.