This lesson evaluates the definite integral
I=∫0πa2cos2x+b2sin2xxdx.
It is the last question of the miscellaneous exercise and a frequently asked high-mark question. The idea is to first remove the x in the numerator using a symmetry property, then reduce the limits and finish with two standard substitutions.
Removing the x with the king property
Apply ∫0af(x)dx=∫0af(a−x)dx with a=π. Since cos2(π−x)=cos2x and sin2(π−x)=sin2x, the denominator is unchanged, so
I=∫0πa2cos2x+b2sin2x(π−x)dx.
Split the numerator into π and −x:
I=π∫0πa2cos2x+b2sin2xdx−I.
The second term is the original integral I. Transposing it to the left gives
2I=π∫0πa2cos2x+b2sin2xdx.
Halving the limits
Let f(x)=a2cos2x+b2sin2x1. Because f(π−x)=f(x), the property ∫02af(x)dx=2∫0af(x)dx applies (here 2a=π, so a=2π):
2I=π⋅2∫0π/2a2cos2x+b2sin2xdx,
so
I=π∫0π/2a2cos2x+b2sin2xdx.
Splitting at pi over 4
Use ∫ab=∫ac+∫cb with c=4π, writing I=I1+I2 where
I1=π∫0π/4a2cos2x+b2sin2xdx,I2=π∫π/4π/2a2cos2x+b2sin2xdx.
First piece: substitute tan x
Divide numerator and denominator of I1 by cos2x:
I1=π∫0π/4a2+b2tan2xsec2xdx.
Put t=tanx, so dt=sec2xdx. The limits become t=0 at x=0 and t=1 at x=4π:
I1=π∫01a2+b2t2dt=b2π∫01(ba)2+t2dt.
Using ∫p2+t2dt=p1tan−1pt with p=ba:
I1=b2π⋅ab[tan−1abt]01=abπtan−1ab.
Second piece: substitute cot x
For I2, divide numerator and denominator by sin2x:
I2=π∫π/4π/2a2cot2x+b2csc2xdx.
Put u=cotx, so −csc2xdx=du. The limits become u=1 at x=4π and u=0 at x=2π. The minus sign and the swap of limits cancel:
I2=π∫01a2u2+b2du=a2π∫01u2+(ab)2du.
With p=ab:
I2=a2π⋅ba[tan−1bau]01=abπtan−1ba.
Combining the pieces
Add the two results:
I=I1+I2=abπ(tan−1ab+tan−1ba).
Since tan−1ab=cot−1ba, this becomes
I=abπ(cot−1ba+tan−1ba).
Using tan−1θ+cot−1θ=2π:
I=abπ⋅2π=2abπ2.
Key takeaways
- Replacing x with π−x turns the x in the numerator into a copy of I, which you transpose to solve for I.
- Because the remaining integrand is even about 2π, the limits halve to 0 to 2π.
- Splitting at 4π and substituting tanx and cotx gives two inverse-tangent terms whose sum collapses to 2abπ2.