Animated Solution for Mathematics - Definite Integration: Show that ∫0π/2f(sin2x)sinxdx=2∫0π/4f(cos2x)cosxdx
Visualized Solution
Define the Integral I
Let I=∫02πf(sin2x)sinxdx
Our goal is to show that I=2∫04πf(cos2x)cosxdx
Apply King's Property
Recall the reflection property (King's Property):
∫abg(x)dx=∫abg(a+b−x)dx
For our limits 0 and 2π, we replace x with 2π−x
Simplify the Integrand
I=∫02πf(sin2(2π−x))sin(2π−x)dx
Using trigonometric identities:
sin2(2π−x)=sin(π−2x)=sin2x
sin(2π−x)=cosx
Thus, I=∫02πf(sin2x)cosxdx
Add Both Forms of I
Add the two expressions for I:
I=∫02πf(sin2x)sinxdx
I=∫02πf(sin2x)cosxdx
2I=∫02πf(sin2x)(sinx+cosx)dx
Analyze Symmetry
Let g(x)=f(sin2x)(sinx+cosx)
Check symmetry about x=4π:
g(2π−x)=f(sin2(2π−x))(sin(2π−x)+cos(2π−x))
g(2π−x)=f(sin2x)(cosx+sinx)=g(x)
Apply the Symmetry Property
Using the property: ∫02ag(x)dx=2∫0ag(x)dx if g(2a−x)=g(x)
Here, 2a=2π⇒a=4π
2I=2∫04πf(sin2x)(sinx+cosx)dx
Divide by 2: I=∫04πf(sin2x)(sinx+cosx)dx
Express as a Single Sine Term
Rewrite sinx+cosx using the identity:
sinx+cosx=2(21sinx+21cosx)=2sin(x+4π)
Substitute this back into I:
I=2∫04πf(sin2x)sin(x+4π)dx
Substitution t=x+4π
Let t=x+4π⇒dx=dt
Find new limits of integration:
When x=0⇒t=4π
When x=4π⇒t=2π
Express sin2x in terms of t:
sin2x=sin2(t−4π)=sin(2t−2π)=−cos2t
Transform the Integral
Substitute these into the integral:
I=2∫4π2πf(−cos2t)sintdt
Now, apply another substitution to flip the limits:
Let t=2π−y⇒dt=−dy
When t=4π⇒y=4π
When t=2π⇒y=0
Final Simplification
I=2∫4π0f(−cos2(2π−y))sin(2π−y)(−dy)
Use the negative sign to flip the limits:
I=2∫04πf(−cos(π−2y))cosydy
Since cos(π−2y)=−cos2y, we get f(−cos(π−2y))=f(cos2y)
I=2∫04πf(cos2y)cosydy
Change dummy variable y to x:
I=2∫04πf(cos2x)cosxdxHence Proved
00:00 / 00:00
The Sigma Insight: Fundamental Theorem & Properties of Definite Integrals
Analyzing the Setup
Welcome, future IITians. Today, we are not just solving a calculus problem; we are conducting a symphony of symmetry.
When you look at an integral like I=∫02πf(sin2x)sinxdx, it is easy to feel intimidated. The function f is unknown, the limits are specific, and the structure seems rigid.
In the world of JEE Advanced, rigidity is just an invitation to find the hidden flexibility.
The King's Reflection
Our journey begins with the most powerful tool in the definite integral toolkit: the King's Property. It states that for any continuous function g(x), the integral from a to b is invariant if we replace x with a+b−x.
By replacing x with 2π−x, we transform our integral into:
I=∫02πf(sin2(2π−x))sin(2π−x)dx
Let us appreciate the beauty of trigonometry here. The argument sin2(2π−x) simplifies to sin(π−2x), which is simply sin2x. Meanwhile, sin(2π−x) becomes cosx.
Suddenly, our integral has a twin:
I=∫02πf(sin2x)cosxdx
The Power of Addition
Now, we have two expressions for I. In mathematics, when you have two paths to the same destination, adding them is often the key to unlocking the gate.
Let us add these two versions of I:
2I=∫02πf(sin2x)(sinx+cosx)dx
Look at this new integrand. It is symmetric about the midpoint x=4π. If you replace x with 2π−x, the function remains unchanged.
Because of this symmetry, we can invoke the property that the integral from 0 to 2a of a symmetric function is twice the integral from 0 to a. Here, 2a=2π, so a=4π:
2I=2∫04πf(sin2x)(sinx+cosx)dx
With a swift cancellation of the factor of 2, we arrive at:
I=∫04πf(sin2x)(sinx+cosx)dx
The Final Transformation
We are almost there. We need to reach the form involving f(cos2x)cosx. The term (sinx+cosx) is begging to be compressed.
We multiply and divide by 2 to get 2sin(x+4π):
I=2∫04πf(sin2x)sin(x+4π)dx
Now, let us perform the final substitution. Let t=x+4π. This shifts our limits from [0,4π] to [4π,2π].
The term sin2x becomes sin(2t−2π), which is −cos2t. After one more substitution to flip the limits back to [0,4π] and a final trigonometric identity check where f(−cos(π−2y))=f(cos2y), we arrive at the destination:
I=2∫04πf(cos2x)cosxdx
We have successfully navigated the complexity. Remember, in JEE Advanced, the math is rarely about brute force; it is about recognizing the symmetry and trusting the process.