The Toolkit: Properties P0 to P7

These properties evaluate definite integrals without finding an anti-derivative — often turning a hopeless-looking integral into a one-line answer.

Card listing properties P0 to P7 of definite integrals

P0 (dummy variable): ∫abf(x) dx=∫abf(t) dt\displaystyle\int_a^b f(x)\,dx = \int_a^b f(t)\,dt — the variable of integration is a placeholder; renaming it changes nothing. Proof: substitute x=tx = t.

P1 (flip the limits): ∫abf(x) dx=−∫baf(x) dx\displaystyle\int_a^b f(x)\,dx = -\int_b^a f(x)\,dx. In particular ∫aaf(x) dx=0\displaystyle\int_a^a f(x)\,dx = 0. Proof: by the Second FTC both sides are ±[F(b)−F(a)]\pm[F(b) - F(a)].

P2 (split the interval): ∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx\displaystyle\int_a^b f(x)\,dx = \int_a^c f(x)\,dx + \int_c^b f(x)\,dx. Proof: [F(c)−F(a)]+[F(b)−F(c)]=F(b)−F(a)[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 ∣⋅∣|\cdot| changes sign.

P3 (reflect across the midpoint): ∫abf(x) dx=∫abf(a+b−x) dx\displaystyle\int_a^b f(x)\,dx = \int_a^b f(a + b - x)\,dx. Proof: substitute t=a+b−xt = a + b - x (so dt=−dxdt = -dx, limits swap), then apply P1 and P0.

P4 (the King's rule — P3 with a=0a = 0): ∫0af(x) dx=∫0af(a−x) dx\displaystyle\int_0^a f(x)\,dx = \int_0^a f(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)] dx2I = \int_0^a [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 xx multiplying a symmetric trigonometric block on [0,π][0, \pi] — like ∫0πxsin⁡x1+cos⁡2xdx\int_0^{\pi}\frac{x\sin x}{1+\cos^2 x}dx — apply P4, add, and the naked xx disappears, leaving π2∫0π(trig part)\frac{\pi}{2}\int_0^{\pi}(\text{trig part}).

Doubling and Vanishing: P5, P6, P7

P5 (split [0,2a][0, 2a] and reflect): ∫02af(x) dx=∫0af(x) dx+∫0af(2a−x) dx\displaystyle\int_0^{2a} f(x)\,dx = \int_0^a f(x)\,dx + \int_0^a f(2a - x)\,dx. Proof: split at aa by P2, then substitute t=2a−xt = 2a - x in the second piece.

P6 (the [0,2a][0, 2a] shortcut):

∫02af(x) dx={2∫0af(x) dx,if f(2a−x)=f(x)0,if f(2a−x)=−f(x)\int_0^{2a} f(x)\,dx = \begin{cases} 2\displaystyle\int_0^a f(x)\,dx, & \text{if } f(2a - x) = f(x) \\[2mm] 0, & \text{if } f(2a - x) = -f(x) \end{cases}

P7 (even/odd symmetry on [−a,a][-a, a]):

∫−aaf(x) dx={2∫0af(x) dx,if f is even: f(−x)=f(x)0,if f is odd: f(−x)=−f(x)\int_{-a}^{a} f(x)\,dx = \begin{cases} 2\displaystyle\int_0^a f(x)\,dx, & \text{if } f \text{ is even: } f(-x) = f(x) \\[2mm] 0, & \text{if } f \text{ is odd: } f(-x) = -f(x) \end{cases}

Even function with equal areas and odd function with cancelling areas on symmetric interval

Proof sketch of P7: split ∫−aa\int_{-a}^{a} at 00 by P2, substitute t=−xt = -x in the left piece to get ∫0af(−x) dx\int_0^a f(-x)\,dx, then use f(−x)=±f(x)f(-x) = \pm f(x).

Recognising even and odd quickly

  1. Powers: even powers of xx are even; odd powers are odd. sin⁡x\sin x, tan⁡x\tan x, xcos⁡xx\cos x, x2sin⁡xx^2\sin x are odd; cos⁡x\cos x, xsin⁡xx\sin x, sin⁡2x\sin^2 x, ∣x∣|x| are even.
  2. Products: odd × odd = even; odd × even = odd; even × even = even — same rules as signs.
  3. Mixed sums: split term by term. In ∫−aa(x3+xcos⁡x+tan⁡5x+1) dx\int_{-a}^{a}(x^3 + x\cos x + \tan^5 x + 1)\,dx, the first three terms are odd (each integrates to 00) and only the constant survives.

Key Point: Before integrating anything on a symmetric interval [−a,a][-a, a] or [0,2a][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][-\frac{\pi}{2}, \frac{\pi}{2}] where every term but one is odd. Also memorise the two famous results proved by these properties: ∫0π/2log⁡sin⁡x dx=−π2log⁡2\int_0^{\pi/2}\log\sin x\,dx = -\frac{\pi}{2}\log 2 and ∫0π/4log⁡(1+tan⁡x) dx=π8log⁡2\int_0^{\pi/4}\log(1 + \tan x)\,dx = \frac{\pi}{8}\log 2 — both appear directly as questions.

Solved Examples

Example 1: Splitting a modulus

Evaluate ∫−12∣x3−x∣dx\displaystyle\int_{-1}^{2} \left|x^3 - x\right|dx.

Solution:

  1. Find the sign pattern: x3−x=x(x−1)(x+1)x^3 - x = x(x-1)(x+1) is ≥0\geq 0 on [−1,0][-1, 0], ≤0\leq 0 on [0,1][0, 1], and ≥0\geq 0 on [1,2][1, 2].
  2. Split by P2: I=∫−10(x3−x)dx+∫01−(x3−x)dx+∫12(x3−x)dxI = \int_{-1}^{0}(x^3 - x)dx + \int_0^1 -(x^3 - x)dx + \int_1^2 (x^3 - x)dx.
  3. Integrate each piece with F(x)=x44−x22F(x) = \frac{x^4}{4} - \frac{x^2}{2}: pieces give 14\frac14, 14\frac14, and 94\frac94 respectively.

Final Answer: 14+14+94=114\dfrac{1}{4} + \dfrac{1}{4} + \dfrac{9}{4} = \dfrac{11}{4}.

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π/4sin⁡2x dx\displaystyle\int_{-\pi/4}^{\pi/4} \sin^2 x\,dx.

Solution:

  1. Symmetry check: sin⁡2(−x)=sin⁡2x\sin^2(-x) = \sin^2 x — even. By P7(i), I=2∫0π/4sin⁡2x dxI = 2\int_0^{\pi/4}\sin^2 x\,dx.
  2. Power-reduce: 2∫0π/41−cos⁡2x2dx=∫0π/4(1−cos⁡2x) dx2\int_0^{\pi/4}\frac{1 - \cos 2x}{2}dx = \int_0^{\pi/4}(1 - \cos 2x)\,dx.
  3. Evaluate: [x−sin⁡2x2]0π/4=π4−12\left[x - \frac{\sin 2x}{2}\right]_0^{\pi/4} = \frac{\pi}{4} - \frac{1}{2}.

Final Answer: π4−12\dfrac{\pi}{4} - \dfrac{1}{2}.

Example 3: The King's rule classic

Evaluate ∫0πxsin⁡x1+cos⁡2x dx\displaystyle\int_0^{\pi} \frac{x\sin x}{1 + \cos^2 x}\,dx.

Solution:

  1. Apply P4 with a=πa = \pi: I=∫0π(π−x)sin⁡(π−x)1+cos⁡2(π−x)dx=∫0π(π−x)sin⁡x1+cos⁡2xdxI = \int_0^{\pi}\frac{(\pi - x)\sin(\pi - x)}{1 + \cos^2(\pi - x)}dx = \int_0^{\pi}\frac{(\pi - x)\sin x}{1 + \cos^2 x}dx.
  2. Add the two versions: 2I=π∫0πsin⁡x1+cos⁡2xdx2I = \pi\int_0^{\pi}\frac{\sin x}{1 + \cos^2 x}dx — the xx vanished.
  3. Substitute t=cos⁡xt = \cos x (dt=−sin⁡x dxdt = -\sin x\,dx; limits 1→−11 \to -1): 2I=π∫−11dt1+t22I = \pi\int_{-1}^{1}\frac{dt}{1 + t^2}.
  4. Even integrand (P7): 2I=2π∫01dt1+t2=2π⋅π42I = 2\pi\int_0^1\frac{dt}{1+t^2} = 2\pi\cdot\frac{\pi}{4}.

Final Answer: I=π24I = \dfrac{\pi^2}{4}.

Example 4: Odd function, zero work

Evaluate ∫−11sin⁡5xcos⁡4x dx\displaystyle\int_{-1}^{1} \sin^5 x\cos^4 x\,dx.

Solution:

  1. Symmetry check: f(−x)=sin⁡5(−x)cos⁡4(−x)=−sin⁡5xcos⁡4x=−f(x)f(-x) = \sin^5(-x)\cos^4(-x) = -\sin^5 x\cos^4 x = -f(x) — odd.
  2. Apply P7(ii): the integral over the symmetric interval [−1,1][-1, 1] is 00.

Final Answer: 00.

Example 5: The self-complementary trick

Evaluate ∫0π/2sin⁡4xsin⁡4x+cos⁡4x dx\displaystyle\int_0^{\pi/2} \frac{\sin^4 x}{\sin^4 x + \cos^4 x}\,dx.

Solution:

  1. Apply P4 with a=π2a = \frac{\pi}{2}: since sin⁡(π2−x)=cos⁡x\sin\left(\frac{\pi}{2} - x\right) = \cos x, the mirrored integral is ∫0π/2cos⁡4xcos⁡4x+sin⁡4xdx\int_0^{\pi/2}\frac{\cos^4 x}{\cos^4 x + \sin^4 x}dx.
  2. Add: 2I=∫0π/2sin⁡4x+cos⁡4xsin⁡4x+cos⁡4xdx=∫0π/21 dx=π22I = \int_0^{\pi/2}\frac{\sin^4 x + \cos^4 x}{\sin^4 x + \cos^4 x}dx = \int_0^{\pi/2} 1\,dx = \frac{\pi}{2}.

Final Answer: I=π4I = \dfrac{\pi}{4}.

Takeaway: Whenever numerator and denominator swap roles under x↦a−xx \mapsto a - x, adding the two copies gives ∫0a1 dx=a\int_0^a 1\,dx = a, so I=a2I = \frac{a}{2} — regardless of the powers involved.

Example 6: Mirror on a shifted interval

Evaluate ∫π/6π/3dx1+tan⁡x\displaystyle\int_{\pi/6}^{\pi/3} \frac{dx}{1 + \sqrt{\tan x}}.

Solution:

  1. Rewrite: 11+tan⁡x=cos⁡xcos⁡x+sin⁡x\frac{1}{1 + \sqrt{\tan x}} = \frac{\sqrt{\cos x}}{\sqrt{\cos x} + \sqrt{\sin x}}.
  2. Apply P3 with a+b=π6+π3=π2a + b = \frac{\pi}{6} + \frac{\pi}{3} = \frac{\pi}{2}: the mirrored integrand is sin⁡xsin⁡x+cos⁡x\frac{\sqrt{\sin x}}{\sqrt{\sin x} + \sqrt{\cos x}}.
  3. Add: 2I=∫π/6π/31 dx=π3−π6=π62I = \int_{\pi/6}^{\pi/3} 1\,dx = \frac{\pi}{3} - \frac{\pi}{6} = \frac{\pi}{6}.

Final Answer: I=π12I = \dfrac{\pi}{12}.

Example 7: The famous log-sine integral

Evaluate ∫0π/2log⁡sin⁡x dx\displaystyle\int_0^{\pi/2} \log\sin x\,dx.

Solution:

  1. Apply P4: I=∫0π/2log⁡sin⁡(π2−x)dx=∫0π/2log⁡cos⁡x dxI = \int_0^{\pi/2}\log\sin\left(\frac{\pi}{2} - x\right)dx = \int_0^{\pi/2}\log\cos x\,dx.
  2. Add: 2I=∫0π/2log⁡(sin⁡xcos⁡x) dx=∫0π/2log⁡sin⁡2x dx−∫0π/2log⁡2 dx2I = \int_0^{\pi/2}\log(\sin x\cos x)\,dx = \int_0^{\pi/2}\log\sin 2x\,dx - \int_0^{\pi/2}\log 2\,dx (using sin⁡xcos⁡x=sin⁡2x2\sin x\cos x = \frac{\sin 2x}{2}).
  3. Substitute t=2xt = 2x in the first piece: 12∫0πlog⁡sin⁡t dt=12⋅2∫0π/2log⁡sin⁡t dt=I\frac12\int_0^{\pi}\log\sin t\,dt = \frac12\cdot 2\int_0^{\pi/2}\log\sin t\,dt = I (by P6, since sin⁡(π−t)=sin⁡t\sin(\pi - t) = \sin t).
  4. Solve the loop: 2I=I−π2log⁡22I = I - \frac{\pi}{2}\log 2, so I=−π2log⁡2I = -\frac{\pi}{2}\log 2.

Final Answer: ∫0π/2log⁡sin⁡x dx=−π2log⁡2\displaystyle\int_0^{\pi/2}\log\sin x\,dx = -\dfrac{\pi}{2}\log 2.

Example 8: Modulus with a simple kink

Evaluate ∫−55∣x+2∣ dx\displaystyle\int_{-5}^{5} |x + 2|\,dx.

Solution:

  1. Find the kink: x+2=0x + 2 = 0 at x=−2x = -2; split there by P2.
  2. Left piece: ∫−5−2−(x+2) dx=[−(x+2)22]−5−2=0+92\int_{-5}^{-2} -(x+2)\,dx = \left[-\frac{(x+2)^2}{2}\right]_{-5}^{-2} = 0 + \frac{9}{2}.
  3. Right piece: ∫−25(x+2) dx=[(x+2)22]−25=492\int_{-2}^{5}(x+2)\,dx = \left[\frac{(x+2)^2}{2}\right]_{-2}^{5} = \frac{49}{2}.

Final Answer: 92+492=29\dfrac{9}{2} + \dfrac{49}{2} = 29.

Example 9: The log(1 + tan x) gem

Evaluate ∫0π/4log⁡(1+tan⁡x) dx\displaystyle\int_0^{\pi/4} \log(1 + \tan x)\,dx.

Solution:

  1. Apply P4 with a=π4a = \frac{\pi}{4}: I=∫0π/4log⁡(1+tan⁡(π4−x))dxI = \int_0^{\pi/4}\log\left(1 + \tan\left(\frac{\pi}{4} - x\right)\right)dx.
  2. Simplify the inside: tan⁡(π4−x)=1−tan⁡x1+tan⁡x\tan\left(\frac{\pi}{4} - x\right) = \frac{1 - \tan x}{1 + \tan x}, so 1+tan⁡(π4−x)=21+tan⁡x1 + \tan\left(\frac{\pi}{4} - x\right) = \frac{2}{1 + \tan x}.
  3. Add the two copies: 2I=∫0π/4log⁡[(1+tan⁡x)⋅21+tan⁡x]dx=∫0π/4log⁡2 dx=π4log⁡22I = \int_0^{\pi/4}\log\left[(1 + \tan x)\cdot\frac{2}{1 + \tan x}\right]dx = \int_0^{\pi/4}\log 2\,dx = \frac{\pi}{4}\log 2.

Final Answer: I=π8log⁡2I = \dfrac{\pi}{8}\log 2.

Example 10: Odd powers vanish, even powers don't

Evaluate (i) ∫−π/2π/2sin⁡2x dx\displaystyle\int_{-\pi/2}^{\pi/2} \sin^2 x\,dx (ii) ∫−π/2π/2sin⁡7x dx\displaystyle\int_{-\pi/2}^{\pi/2} \sin^7 x\,dx.

Solution:

  1. (ii) first: sin⁡7x\sin^7 x is odd (odd power of an odd function), so by P7(ii) the integral is 00 — no computation.
  2. (i): sin⁡2x\sin^2 x is even, so I=2∫0π/2sin⁡2x dx=∫0π/2(1−cos⁡2x) dxI = 2\int_0^{\pi/2}\sin^2 x\,dx = \int_0^{\pi/2}(1 - \cos 2x)\,dx.
  3. Evaluate: [x−sin⁡2x2]0π/2=π2−0\left[x - \frac{\sin 2x}{2}\right]_0^{\pi/2} = \frac{\pi}{2} - 0.

Final Answer: (i) π2\dfrac{\pi}{2}; (ii) 00.

Example 11: A beta-style polynomial

Evaluate ∫01x(1−x)n dx\displaystyle\int_0^1 x(1 - x)^n\,dx.

Solution:

  1. King's rule (P4) with a=1a = 1: I=∫01(1−x)(1−(1−x))ndx=∫01(1−x)xn dxI = \int_0^1 (1 - x)\left(1 - (1 - x)\right)^n dx = \int_0^1 (1 - x)x^n\,dx.
  2. Expand: I=∫01(xn−xn+1)dx=1n+1−1n+2I = \int_0^1\left(x^n - x^{n+1}\right)dx = \frac{1}{n+1} - \frac{1}{n+2}.

Final Answer: 1(n+1)(n+2)\dfrac{1}{(n+1)(n+2)}.

Takeaway: P4 converted the awkward x(1−x)nx(1-x)^n into plain powers of xx — reflecting the integrand is often easier than expanding a binomial to nn terms.