Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Methods from Trigonometric integrals

All methods from Trigonometric integrals.

Odd power of sine or cosine

To evaluate ∫cos⁡mxsin⁡nx dx\int \cos^m x \sin^n x \, dx when at least one of m,nm,n is odd:

  1. If mm is odd, factor out cos⁡x\cos x to obtain ∫cos⁡m−1xsin⁡nxcos⁡x dx\int \cos^{m-1} x \sin^n x \cos x \, dx. If nn is odd, factor out sin⁡x\sin x to obtain ∫cos⁡mxsin⁡n−1xsin⁡x dx\int \cos^m x \sin^{n-1} x \sin x \, dx.
  2. The leftover power is even. Replace it using sin⁡2x+cos⁡2x=1\sin^2 x+\cos^2 x=1.
  3. Substitute u=sin⁡xu=\sin x or u=cos⁡xu=\cos x. The binomial expansion (a+b)k(a+b)^k is usually needed before the powers of uu can be integrated.

Always peel from an odd power. Peeling from an even power leaves an odd remainder, which 1=sin⁡2x+cos⁡2x1=\sin^2 x+\cos^2 x cannot turn into a polynomial in the substitution variable. If both mm and nn are odd, either factor works, although the two antiderivatives need not look the same.

Both powers even

To evaluate ∫cos⁡mxsin⁡nx dx\int \cos^m x \sin^n x \, dx when both mm and nn are even, use

cos⁡2α=1+cos⁡2α2,sin⁡2α=1−cos⁡2α2\cos^2\alpha=\frac{1+\cos 2\alpha}{2},\qquad \sin^2\alpha=\frac{1-\cos 2\alpha}{2}

to rewrite the integrand as a sum of integrals of the form ∫cos⁡k(2x) dx\int \cos^k(2x) \, dx. Integrate any odd kk by the odd-power substitution in 2x2x; apply the double-angle identities again to any remaining even kk.

After expanding, the constant and cos⁡2x\cos 2x terms integrate immediately. Because the argument is 2x2x, the odd-power substitution is u=sin⁡2xu=\sin 2x, with du=2cos⁡2x dxdu=2\cos 2x\, dx.

Product-to-sum

Convert the product to a sum, then integrate term by term:

sin⁡Acos⁡B=12(sin⁡(A+B)+sin⁡(A−B))\sin A\cos B=\tfrac12\bigl(\sin(A+B)+\sin(A-B)\bigr)cos⁡Acos⁡B=12(cos⁡(A+B)+cos⁡(A−B))\cos A\cos B=\tfrac12\bigl(\cos(A+B)+\cos(A-B)\bigr)sin⁡Asin⁡B=−12(cos⁡(A+B)−cos⁡(A−B))\sin A\sin B=-\tfrac12\bigl(\cos(A+B)-\cos(A-B)\bigr)

The minus sign on sin⁡Asin⁡B\sin A\sin B is the one most often dropped.

Powers of tangent and secant

To evaluate ∫tan⁡mxsec⁡nx dx\int \tan^m x \sec^n x \, dx:

  • If nn is a positive even integer, factor out sec⁡2x\sec^2 x and substitute u=tan⁡xu=\tan x. Convert remaining powers of sec⁡\sec by 1+tan⁡2x=sec⁡2x1+\tan^2 x=\sec^2 x.
  • If n=0n=0, use tan⁡2x=sec⁡2x−1\tan^2 x=\sec^2 x-1 to lower the power of tan⁡\tan by two, with ∫dx\int dx and ∫tan⁡x dx\int\tan x\,dx as base cases.
  • If nn is odd:
    • If mm is odd, factor out tan⁡xsec⁡x\tan x\sec x and substitute u=sec⁡xu=\sec x. Convert remaining powers of tan⁡\tan by tan⁡2x=sec⁡2x−1\tan^2 x=\sec^2 x-1.
    • If mm is even, write tan⁡mx=(sec⁡2x−1)m/2\tan^m x=(\sec^2 x-1)^{m/2} and expand into powers of sec⁡x\sec x. Reduce odd secant powers by parts until only ∫sec⁡x dx\int\sec x\,dx remains.

The first rule needs nn even: factoring out sec⁡2x\sec^2 x when nn is odd leaves an unmatched sec⁡x\sec x, so u=tan⁡xu=\tan x does not absorb the whole integrand.

For the odd secant powers Sℓ=∫sec⁡ℓx dxS_\ell=\int\sec^\ell x\,dx, the integration by parts used below for S3S_3 gives the reduction formula

Sℓ=sec⁡ℓ−2xtan⁡xℓ−1+ℓ−2ℓ−1Sℓ−2,ℓ≥3.S_\ell=\frac{\sec^{\ell-2}x\tan x}{\ell-1}+\frac{\ell-2}{\ell-1}S_{\ell-2},\qquad \ell\ge3.

To derive it, split sec⁡ℓx=sec⁡ℓ−2xsec⁡2x\sec^\ell x=\sec^{\ell-2}x\sec^2x to get Sℓ=sec⁡ℓ−2xtan⁡x−(ℓ−2)∫sec⁡ℓ−2xtan⁡2x dxS_\ell=\sec^{\ell-2}x\tan x-(\ell-2)\int\sec^{\ell-2}x\tan^2x\,dx, substitute tan⁡2x=sec⁡2x−1\tan^2x=\sec^2x-1 and collect the resulting copy of SℓS_\ell. Stop at S1=ln⁡∣sec⁡x+tan⁡x∣S_1=\ln|\sec x+\tan x| and add one arbitrary constant at the end.

On this page