Porisma

Worked solution

Recover an integral from a derivative

Show that ddx(tan⁡3x)=3sec⁡4x−3sec⁡2x\dfrac d{dx}(\tan^3x)=3\sec^4x-3\sec^2x. Hence find ∫sec⁡4x dx\displaystyle\int\sec^4x\,dx.

CJC · Discussion · Question 2

Answer

ddxtan⁡3x=3sec⁡4x−3sec⁡2x\dfrac d{dx}\tan^3x=3\sec^4x-3\sec^2x; hence ∫sec⁡4x dx=tan⁡3x/3+tan⁡x+C\int\sec^4x\,dx=\tan^3x/3+\tan x+C.

Show

ddx(tan⁡3x)=3tan⁡2xsec⁡2x\dfrac d{dx}(\tan^3x)=3\tan^2x\sec^2x. Using tan⁡2x=sec⁡2x−1\tan^2x=\sec^2x-1 gives 3(sec⁡2x−1)sec⁡2x=3sec⁡4x−3sec⁡2x3(\sec^2x-1)\sec^2x=3\sec^4x-3\sec^2x, as required.

How did this part go?

Hence

Integrate the displayed derivative: 3∫sec⁡4x dx−3∫sec⁡2x dx=tan⁡3x+C′′3\int\sec^4x\,dx-3\int\sec^2x\,dx=\tan^3x+C^{\prime\prime}. Thus 3∫sec⁡4x dx−3tan⁡x=tan⁡3x+C′3\int\sec^4x\,dx-3\tan x=\tan^3x+C^\prime. Rearrange and absorb the factor into the arbitrary constant: ∫sec⁡4x dx=13tan⁡3x+tan⁡x+C\int\sec^4x\,dx=\dfrac13\tan^3x+\tan x+C.

How did this part go?

Common mistakes

Changing the scale of an arbitrary integration constant does not change the family of antiderivatives.

Read the hint