Concept understanding — Properties of Definite Integrals
Twelve working properties, all provable from the Second Fundamental Theorem, that let a definite integral be simplified — often to 0 or to a much easier integral — without direct evaluation. Throughout, f,g are continuous on the relevant interval and α,β are constants.
Dummy-variable invariance: ∫abf(x)dx=∫abf(u)du — the integration variable's name never matters.
Limit reversal: ∫baf(x)dx=−∫abf(x)dx.
Additivity: ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx for a<c<b.
Every part is evaluated purely from the twelve properties of definite integrals (parity checks, the a+b−x reflect-and-add trick, half-period doubling/cancellation, the xf(x) symmetry trick) — never from a raw antiderivative. …
We evaluate all eleven integrals purely from the twelve properties of definite integrals (dummy-variable invariance, limit reversal, additivity, linearity, the a+b−x reflection, even/odd shortcuts, half-period doubling/cancellation, and the xf(x) symmetry trick) — never from a raw antiderivative. Several parts collapse instantly to 0 or a multiple of π by checking whether the integrand is even or odd; the rest use the "substitute x→a+b−x, add the two copies, solve for I" trick that recurs throughout this section.
Step 1 (i). Determine the parity of g(x)=cos(ex+1ex−1).
g(−x)=cos(e−x+1e−x−1).
Multiply numerator and denominator by ex:
e−x+1e−x−1=1+ex1−ex=−ex+1ex−1.
So g(−x)=cos(−ex+1ex−1)=cos(ex+1ex−1)=g(x) (cosine is even) — g is even.
Step 2 (i). Determine the parity of the full integrand and apply Property 9.
The integrand is f(x)=xg(x). Since x is odd and g is even, f(−x)=(−x)g(−x)=−xg(x)=−f(x), so f is odd. By Property 9 (odd-function shortcut), ∫−aaf(x)dx=0 for any odd f. Hence
∫−55xcos(ex+1ex−1)dx=0.
Step 3 (ii). Split the integral by linearity (Property 4) and classify each term's parity on [−π/2,π/2].
Step 10 (v). Evaluate each piece as a full-period total-derivative integral.
sin4xcosx=dxd(5sin5x), so ∫02πsin4xcosxdx=[5sin5x]02π=5sin5(2π)−sin5(0)=0 (since sin0=sin2π=0). Likewise sin6xcosx=dxd(7sin7x), giving ∫02πsin6xcosxdx=[7sin7x]02π=0. So
∫02πsin4xcos3xdx=0−0=0.
Step 11 (vi). Locate the sign-change point of 5x−3 on [0,1].
5x−3=0 at x=53∈[0,1]; 5x−3<0 on [0,53) and 5x−3>0 on (53,1]. By additivity (Property 3),
Adding: ∫01∣5x−3∣dx=109+52=1013 (this is exactly the sum of the two triangular areas of the V-shaped graph — base 53, height 3, plus base 52, height 2).
Step 13 (vii). Differentiate F(x)=∫0sin2xsin−1tdt+∫0cos2xcos−1tdt using the First Fundamental Theorem plus the chain rule (on 0≤x≤π/2, where sinx,cosx≥0).
Step 14 (vii). F is constant — evaluate it at the convenient point x=0.
Since F′(x)≡0 on [0,π/2], F(x)=F(0) for every x in this interval. At x=0: sin2(0)=0 and cos2(0)=1, so
F(0)=∫00sin−1tdt+∫01cos−1tdt=0+∫01cos−1tdt.
Step 15 (vii). Evaluate ∫01cos−1tdt by the substitution t=u2.
dt=2udu, u:0→1:
∫01cos−1tdt=2∫01ucos−1udu.
Integrate by parts (p=cos−1u,dq=udu): ∫01ucos−1udu=[2u2cos−1u]01+21∫011−u2u2du=0+21∫011−u2u2du (the boundary term vanishes since cos−11=0 and the u=0 term is 0). Substituting u=sinθ: ∫011−u2u2du=∫0π/2sin2θdθ=4π. So ∫01ucos−1udu=8π, and ∫01cos−1tdt=2⋅8π=4π. Hence F(x)≡4π for every x∈[0,π/2] (self-check: repeating the identical computation for ∫01sin−1tdt gives π/4 too, so F(π/2)=π/4 as well, confirming the constant is consistent at both ends).
Step 16 (viii). Convert to a trig integral via x=tanθ.
dx=sec2θdθ, 1+x2=sec2θ; x:0→1⇒θ:0→π/4. So
I=∫011+x2log(1+x)dx=∫0π/4log(1+tanθ)dθ.
Step 17 (viii). Reflect with θ→π/4−θ (Property 6) and add.
tan(4π−θ)=1+tanθ1−tanθ, so 1+tan(4π−θ)=1+tanθ(1+tanθ)+(1−tanθ)=1+tanθ2. Hence
Properties of definite integrals — parity (even/odd) shortcuts (Props 8-9), the a+b−x reflect-and-add trick (Prop 6), half-period doubling/cancellation (Props 10-11), and the xf(x) symmetry trick (Prop 12); part (vii) instead differentiates under the integral …
Missing that xcosx (part ii) is odd because x is odd and cosx is even (odd×even = odd) — wrongly treating the whole product as even.
In part (iv)/(ix)/(x), reflecting the integrand alone and forgetting the extra factor of x also transforms to (a+b−x), which is what produces the solvable 2I=… equation.
In part (xi), assuming cos2(cos(π−x))=cos2(cosx) because cos(π−x)=−cosx looks different — forgetting that squaring an EVEN function of the already-negated argument restores equality.
Quoting the reduction-formula closed form for ∫0π/2sinmcosn (part v/vi style) without checking that the limits here are 0 to 2π, not 0 to π/2, so that formula does not directly apply. …
The variable of integration in a definite integral is a dummy variable, so ∫abf(x)dx=∫abf(t)dt.
A definite integral ∫abf(x)dx depends only on the function f and the limits a,b; its value is a fixed number. The symbol used for the variable of integration (x, t, u, …) is merely a placeholder that is "integrated out," so renamin …
Apply the King's-rule substitution x→2π−x on [0,π/2]; since sin and cos swap under this substitution, the integrand becomes exactly its own negative, forcing the definite integral to be 0.
Let I=∫0π/21+sinxcosxsinx−cosxdx.
Use the standard property ∫0af(x)dx=∫0af(a−x)dx with a=π/2: replace x by 2π−x.
Since sin(2π−x)=cosx and cos(2π−x)=sinx, and sinxcosx is symmetric under this swap:
I=∫0π/21+cosxsinxcosx−sinxdx …