Q.Evaluate: ∫0πxsinxcos2xdx
🔒You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.
🔒 Start your 14-day free trial to unlock the full solution →Concept understanding — Definite Integral Symmetry
Definite Integral Symmetry: The Shortcut That Saves You Work
Asked to find the area under f(x)=x3 from x=−2 to x=2? You could integrate directly — but there's a much faster way if you notice the symmetry of the graph.
The Intuition: What Does "Symmetry" Mean Here?
A function can be symmetric about the y-axis (like x2 or cosx) or about the origin (like x3 or sinx). When you integrate over a symmetric interval — from −a to a — these symmetries create a predictable cancellation or doubling.
Even functions (symmetric about the y-axis): f(−x)=f(x) — think x2, x4, cosx, ∣x∣. The left side mirrors the right, so the area from −a to 0 equals the area from 0 to a. The total is double the area on one side.
Odd functions (symmetric about the origin): f(−x)=−f(x) — think x3, x5, sinx, tanx. The left side is the negative mirror of the right, so every positive area on the right is cancelled by an equal negative area on the left. The total is zero.
This only works when the limits are symmetric about zero — from −a to a. For [0,a] or [1,3], symmetry doesn't help directly.
The Precise Statement
Let f be continuous on [−a,a].
- If f is even (f(−x)=f(x)), then ∫−aaf(x)dx=2∫0af(x)dx
- If f is odd (f(−x)=−f(x)), then ∫−aaf(x)dx=0
∫−aaf(x)dx={2∫0af(x)dx0if f is evenif f is odd
Why Does This Work? (A Quick Proof)
Split at zero:
∫−aaf(x)dx=∫−a0f(x)dx+∫0af(x)dx
For the first term substitute u=−x (dx=−du; x=−a→u=a, x=0→u=0):
∫−a0f(x)dx=∫0af(−u)du
Now use symmetry:
- If f is even, f(−u)=f(u), so this becomes ∫0af(u)du; adding the second term gives 2∫0af(x)dx.
- If f is odd, f(−u)=−f(u), so this becomes −∫0af(u)du; adding the second term gives 0.
Common Mistakes to Avoid
Don't assume symmetry without checking. A "balanced"-looking function need not be even or odd — e.g. f(x)=x2+x is neither, so these formulas don't apply. Always verify f(−x)=f(x) or f(−x)=−f(x) for all x.
The interval must be [−a,a]. If the limits are [−2,3], symmetry doesn't apply directly — split the integral or shift variables.
Examples to Cement the Idea
Example 1: ∫−33x4dx — x4 is even, so
∫−33x4dx=2∫03x4dx=2[5x5]03=2⋅5243=5486 …
The key idea is Definite Integral Symmetry — using the substitution x→π−x to exploit the symmetry of sinx and cos2x over [0,π].
Let I=∫0πxsinxcos2xdx.
Substitute x=π−t, so dx=−dt, and when x=0, t=π; when x=π, t=0:
I=∫π0(π−t)sin(π−t)cos2(π−t)(−dt)=∫0π(π−t)sintcos2tdt
Since sin(π−t)=sint and cos(π−t)=−cost (so cos2 is unchanged), we have:
I=π∫0πsintcos2tdt−I
Thus 2I=π∫0πsintcos2tdt. …
Using the symmetry property ∫0af(x)dx=∫0af(a−x)dx simplifies the integral to a standard form. The value is 3π.
Why symmetry works here
When you see an integral from 0 to π with a product of x and a trigonometric function, your first instinct should be: can I use the property ∫0af(x)dx=∫0af(a−x)dx? This is one of the most powerful tricks for definite integrals where the integrand involves x multiplied by something symmetric.
The key insight: the factor x is "antisymmetric" about π/2 (it increases from 0 to π), while sinxcos2x is symmetric about π/2 (check: sin(π−x)=sinx, cos(π−x)=−cosx, so cos2 is unchanged). When you replace x by π−x, the x becomes π−x, and the trigonometric part stays the same. Adding the original and transformed integrals lets you replace the troublesome x with a constant π/2.
Let's work through it.
-
Set up the transformation
Let I=∫0πxsinxcos2xdx.
Use the property: ∫0af(x)dx=∫0af(a−x)dx. Here a=π, so replace x by π−x:
I=∫0π(π−x)sin(π−x)cos2(π−x)dx
-
Simplify the trigonometric terms
Recall: sin(π−x)=sinx and cos(π−x)=−cosx, so cos2(π−x)=(−cosx)2=cos2x.
Therefore:
I=∫0π(π−x)sinxcos2xdx
-
Add the two expressions for I
We now have two forms of I:
I=∫0πxsinxcos2xdx
I=∫0π(π−x)sinxcos2xdx
Add them:
2I=∫0π[x+(π−x)]sinxcos2xdx=∫0ππsinxcos2xdx
The x terms cancel beautifully, leaving only a constant π times the trigonometric part.
2I=π∫0πsinxcos2xdx
-
Evaluate the remaining integral
Let J=∫0πsinxcos2xdx. …
Method: King Property for ∫0πxf(sinx,cos2x)dx
Use this for definite integrals of x times a function that is symmetric under x→π−x. The reflection removes the x-factor and leaves a routine trig integral.
Steps
Step 1: Apply the King Property x→π−x.
I=∫0πxg(x)dx=∫0π(π−x)g(π−x)dx.
Step 2: Simplify g(π−x).
Here g(x)=sinxcos2x; since sin(π−x)=sinx and cos2(π−x)=cos2x, we get g(π−x)=g(x).
Step 3: Add the two forms to cancel x.
2I=π∫0πg(x)dx=π∫0πsinxcos2xdx. …
Common Mistakes
Mistake 1: Not using the King Property.
Why it's wrong: integrating xsinxcos2x directly needs by-parts twice; the reflection x→π−x is far cleaner. Correct approach: replace x with π−x and add.
Mistake 2: Mishandling g(π−x).
Why it's wrong: it works only because sin(π−x)=sinx and cos2(π−x)=cos2x; assuming cos(π−x)=cosx (it is −cosx) is a trap, though squaring rescues it. Correct approach: check each factor's reflection, noting the square removes the sign. …
- KCET 2022Set C-41 markMCQQ.∫0π/21+sinxcosxsinxdx is equal to (A) log2 (B) −log2 (C) 1−log2 (D) log2−1
›Reveal solutionSolution
The cosxdx sitting next to a function of sinx is the signal for the substitution t=sinx.
Step 1 — Spot the structure.
I=∫0π/21+sinxcosxsinxdx
Everything except cosxdx is a function of sinx — the classic cue for t=sinx.
Step 2 — Substitute, changing the limits too.
Let t=sinx⇒dt=cosxdx.
- When x=0: t=sin0=0.
- When x=2π: t=sin2π=1.
I=∫011+ttdt
Step 3 — Handle the improper rational function.
The degree of the numerator equals that of the denominator, so split it first:
1+tt=1+t(1+t)−1=1−1+t1.
Step 4 — Integrate and apply the limits. …
- COMEDK 2026Set 2026-M1 markMCQQ.
[!FORMULA] ∫−2π2πsin5xcos7xdx=
(A) π (B) 0 (C) 4π (D) 2π›Reveal solutionSolution
The integrand is an odd function over a symmetric interval, so the definite integral is zero. The correct answer is (B).
The key insight here is symmetry. When you integrate an odd function over an interval symmetric about zero, the positive and negative contributions cancel exactly, giving zero. This is one of the most powerful shortcuts in definite integration — it saves you from doing any messy polynomial expansion or trigonometric substitution.
Let’s check if the integrand is odd.
- Recall the definition of an odd function A function f(x) is odd if f(−x)=−f(x) for all x in its domain. For such a function,
∫−aaf(x)dx=0.
- Examine the integrand Let
f(x)=sin5xcos7x.
Replace x with −x:
f(−x)=sin5(−x)cos7(−x).
Since sin(−x)=−sinx and cos(−x)=cosx, we get
f(−x)=(−sinx)5(cosx)7=(−sin5x)(cos7x)=−sin5xcos7x=−f(x).
-
Conclusion about parity
Because f(−x)=−f(x), the function is odd.
-
Apply the symmetry property
The integration limits are −2π to 2π, which is symmetric about zero. Therefore,
∫−π/2π/2sin5xcos7xdx=0. …
- COMEDK 2021Set 20211 markMCQQ.
[!FORMULA] ∫−π/2π/2sinxdx
(A) 2 (B) 3 (C) 0 (D) 5›Reveal solutionSolution
Direct check: integral of sin x dx = -cos x, evaluated from -pi/2 to pi/2: (-cos(pi/2)) - (-cos(-pi/2)) = -0 + 0 = 0.
Concept: if f is an odd function, the integral of f over a symmetric interval [-a, a] is zero.
sin(-x) = -sin(x), so sin x is odd, and the interval [-pi/2, pi/2] is symmetric about 0. …
- KCET 2019Set A-11 markMCQQ.∫−33cot−1xdx= (A) 3π (B) 0 (C) 6π (D) 3
›Reveal solutionSolution
The key idea is to use the property cot−1(−x)=π−cot−1x to simplify the integral over a symmetric interval. The final value is 3π.
The relevant concept here is the odd/even function trick for definite integrals, but with a twist. cot−1x is neither odd nor even. However, it has a useful symmetry: for any x, cot−1(−x)=π−cot−1x. This lets us rewrite the integral over [−3,3] in a way that cancels the "odd part" and leaves only a constant times the length of the interval.
Let’s work through it step by step.
- Set up the integral and split the interval. We have I=∫−33cot−1xdx. A standard trick for symmetric limits is to split at 0:
I=∫−30cot−1xdx+∫03cot−1xdx.
- Use the substitution x→−t on the first integral. Let x=−t, so dx=−dt. When x=−3, t=3; when x=0, t=0. Then
∫−30cot−1xdx=∫30cot−1(−t)(−dt)=∫03cot−1(−t)dt.
- Apply the symmetry property. For any t, cot−1(−t)=π−cot−1t. So the first integral becomes
∫03(π−cot−1t)dt=∫03πdt−∫03cot−1tdt.
- Combine with the second integral. The original I is now I=(∫03πdt−∫03cot−1tdt)+∫03cot−1tdt. …
- KCET 2025Set A-11 markMCQQ.∫01log(x1−1)dx is (A) 1 (B) 0 (C) loge2 (D) loge(21)
›Reveal solutionSolution
The integrand is antisymmetric about x=21 — replacing x by 1−x flips its sign — so the integral over [0,1] must vanish.
Step 1 — Simplify the integrand.
x1−1=x1−x ⇒ f(x)=log(x1−x)=log(1−x)−logx.
Method 1 — King's property (the elegant route).
The property states ∫0af(x)dx=∫0af(a−x)dx. With a=1:
I=∫01log(x1−x)dx,I=∫01log(1−x1−(1−x))dx=∫01log(1−xx)dx.
But log1−xx=−logx1−x, so the second expression is −I. Hence
I=−I ⇒ 2I=0 ⇒ I=0.
Method 2 — Evaluate the two pieces directly (the check).
I=∫01log(1−x)dx−∫01logxdx.
For the second, integrate by parts: …
- KCET 2024Set A-11 markMCQQ.∫15(∣x−3∣+∣1−x∣)dx= (A) 12 (B) 65 (C) 21 (D) 10
›Reveal solutionSolution
Split each modulus at its sign-change point inside [1,5] and integrate the resulting linear pieces.
Step 1 — The concept
∣f(x)∣ equals f(x) where f≥0 and −f(x) where f<0. So before integrating we must find where each expression inside the modulus changes sign within the limits [1,5], and use additivity of the integral to split there.
- ∣x−3∣ changes sign at x=3, which is inside [1,5] → must split.
- ∣1−x∣ changes sign at x=1, which is the left endpoint → no interior split needed; on all of (1,5] we have x>1, so 1−x<0 and ∣1−x∣=x−1.
Step 2 — First integral: ∫15∣x−3∣dx
∫15∣x−3∣dx=x<3 ⇒ ∣x−3∣=3−x∫13(3−x)dx+x>3 ⇒ ∣x−3∣=x−3∫35(x−3)dx
∫13(3−x)dx=[3x−2x2]13=(9−29)−(3−21)=29−25=2
∫35(x−3)dx=[2x2−3x]35=(225−15)−(29−9)=−25+29=2
⇒∫15∣x−3∣dx=2+2=4 …
- KCET 2026Set UNKNOWN1 markMCQQ.One of the possible functions f(x) which satisfies ∫−22f(x)dx=0 is (A) log(2−x2+x) (B) sin(2+x) (C) 2x3+2x+1 (D) 2xtanx
›Reveal solutionSolution
A function odd about x=0 integrates to zero over a symmetric interval like [−2,2]; test each option for oddness.
Step 1 — Recall the odd-function property
If g(−x)=−g(x) for all x in [−2,2], then ∫−22g(x)dx=0.
Step 2 — Test option (A)
g(x)=log(2−x2+x)
g(−x)=log(2+x2−x)=−log(2−x2+x)=−g(x)
So (A) is odd, and its integral over [−2,2] is 0.
Step 3 — Rule out the remaining options …
🎓Unlock everything free for 14 days
- ✓Full step-by-step solutions
- ✓Concept-first explanations
- ✓Methods, shortcuts & mistakes
- ✓PYQ mapping + timed mock tests
Full access for 14 days. No credit card required.