FP3.4 - Integration

Syllabus
2019
Topic
Level
A2

Learning objectives

Integrate hyperbolic functions and expressions

Hyperbolic antiderivatives reverse the derivative patterns from FP3.3. First recognise whether the integrand contains a function together with the derivative of its argument; then account for any constant chain factor. Always add CC to an indefinite integral.

Integrand pattern, u=u(x)u=u(x) Antiderivative
usinhuu'\sinh u coshu+C\cosh u+C
ucoshuu'\cosh u sinhu+C\sinh u+C
usech2uu'\operatorname{sech}^2u tanhu+C\tanh u+C
ucosech2uu'\operatorname{cosech}^2u cothu+C-\coth u+C
usechutanhuu'\operatorname{sech}u\tanh u sechu+C-\operatorname{sech}u+C
ucosechucothuu'\operatorname{cosech}u\coth u cosechu+C-\operatorname{cosech}u+C

Ratios lead to logarithms because d(lnf)/dx=f/fd(\ln|f|)/dx=f'/f:tanhxdx=ln(coshx)+C,\int\tanh x\,dx=\ln(\cosh x)+C,cothxdx=lnsinhx+C.\int\coth x\,dx=\ln|\sinh x|+C.The absolute value is needed in the second result because sinhx\sinh x may be negative; coshx\cosh x is always positive.

Two useful single-function forms follow by differentiating the inverse expression:sechxdx=arctan(sinhx)+C,\int\operatorname{sech}x\,dx=\arctan(\sinh x)+C,cosechxdx=lntanhx2+C.\int\operatorname{cosech}x\,dx=\ln\left|\tanh\frac{x}{2}\right|+C.These apply only on intervals where the integrand is defined.

For(3cosh(3x)2sech2(2x))dx,\int\left(3\cosh(3x)-2\operatorname{sech}^2(2x)\right)dx,each inner derivative is already present, so the result issinh(3x)tanh(2x)+C.\sinh(3x)-\tanh(2x)+C.Differentiate the result: 3cosh(3x)2sech2(2x)3\cosh(3x)-2\operatorname{sech}^2(2x) is recovered exactly.

Expressions involving powers may need an identity before integration. For example,cosh2x=1+cosh2x2,sinh2x=cosh2x12.\cosh^2x=\frac{1+\cosh2x}{2},\qquad \sinh^2x=\frac{\cosh2x-1}{2}.Thus cosh2xdx=x/2+sinh2x/4+C\int\cosh^2x\,dx=x/2+\sinh2x/4+C. Choose an identity that turns the integrand into direct patterns rather than expanding exponentials unnecessarily.

Do not integrate tanhx\tanh x as lnsinhx\ln|\sinh x|; its numerator is the derivative of coshx\cosh x, not sinhx\sinh x. Preserve negative signs in reciprocal-function patterns, divide by constant inner derivatives when they are absent, and keep singular points of coth\coth and cosech\operatorname{cosech} outside the interval.

Integrate inverse trigonometric and hyperbolic functions

An inverse trigonometric or inverse hyperbolic function is usually integrated by parts. Choose the inverse function as the part to differentiate and 11 as the part to integrate:u=f1(x),dv=dx.u=f^{-1}(x),\qquad dv=dx.Its derivative becomes an algebraic expression that can be simplified or integrated directly.

Integral Result
arcsinxdx\int\arcsin x\,dx xarcsinx+1x2+Cx\arcsin x+\sqrt{1-x^2}+C
arctanxdx\int\arctan x\,dx xarctanx12ln(1+x2)+Cx\arctan x-\tfrac12\ln(1+x^2)+C
arsinhxdx\int\operatorname{arsinh}x\,dx xarsinhx1+x2+Cx\operatorname{arsinh}x-\sqrt{1+x^2}+C
arcoshxdx\int\operatorname{arcosh}x\,dx xarcoshxx21+Cx\operatorname{arcosh}x-\sqrt{x^2-1}+C, x1x\ge1
artanhxdx\int\operatorname{artanh}x\,dx xartanhx+12ln(1x2)+Cx\operatorname{artanh}x+\tfrac12\ln(1-x^2)+C, x<1|x|<1

For example,arsinhxdx=xarsinhxx1+x2dx.\int\operatorname{arsinh}x\,dx=x\operatorname{arsinh}x-\int\frac{x}{\sqrt{1+x^2}}\,dx.With w=1+x2w=1+x^2, the remaining integral is 1+x2\sqrt{1+x^2}, givingxarsinhx1+x2+C.x\operatorname{arsinh}x-\sqrt{1+x^2}+C.Differentiating this result makes the two x/1+x2x/\sqrt{1+x^2} terms cancel.

For a scaled argument, substitute first or apply integration by parts with the full argument. If a>0a>0, thenarctan(xa)dx=xarctan(xa)a2ln(a2+x2)+C.\int\arctan\left(\frac{x}{a}\right)dx=x\arctan\left(\frac{x}{a}\right)-\frac a2\ln(a^2+x^2)+C.Terms differing only by a constant inside a logarithm are absorbed into CC.

For a definite integral, use one antiderivative consistently and retain exact principal inverse values. Check that the complete interval lies in the real domain: [1,1][-1,1] for arcsinx\arcsin x, [1,)[1,\infty) for arcoshx\operatorname{arcosh}x, and (1,1)(-1,1) for artanhx\operatorname{artanh}x.

The superscript notation sinh1x\sinh^{-1}x means the inverse function here, not 1/sinhx1/\sinh x. Do not omit the xf1(x)x f^{-1}(x) term produced by integration by parts, and do not discard the domain merely because the final algebraic expression contains familiar logarithms or roots.

Choose trigonometric or hyperbolic substitutions

A substitution is chosen so that a standard identity removes a quadratic expression. Assume a>0a>0. Trigonometric substitutions are natural for a2x2a^2-x^2 and a2+x2a^2+x^2; hyperbolic substitutions give equally direct forms for positive sums and differences. Transform the differential and limits as well as the integrand.

Target form Useful substitution Identity used Standard antiderivative
1a2+x2\dfrac1{a^2+x^2} x=atanθx=a\tan\theta 1+tan2θ=sec2θ1+\tan^2\theta=\sec^2\theta 1aarctan(x/a)+C\dfrac1a\arctan(x/a)+C
1a2x2\dfrac1{\sqrt{a^2-x^2}} x=asinθx=a\sin\theta 1sin2θ=cos2θ1-\sin^2\theta=\cos^2\theta arcsin(x/a)+C\arcsin(x/a)+C
1a2+x2\dfrac1{\sqrt{a^2+x^2}} x=asinhtx=a\sinh t 1+sinh2t=cosh2t1+\sinh^2t=\cosh^2t arsinh(x/a)+C\operatorname{arsinh}(x/a)+C
1x2a2\dfrac1{\sqrt{x^2-a^2}} x=acoshtx=a\cosh t for xax\ge a cosh2t1=sinh2t\cosh^2t-1=\sinh^2t arcosh(x/a)+C\operatorname{arcosh}(x/a)+C

Use the same four moves each time: choose the identity-matching substitution; calculate dxdx; replace every occurrence of xx; simplify the square root with the parameter range that fixes its sign. For a definite integral, convert both bounds immediately and evaluate in the new variable without back-substituting.

For 0<b<a0<b<a,0bdx(a2x2)3/2\int_0^b\frac{dx}{(a^2-x^2)^{3/2}}uses x=asinθx=a\sin\theta, dx=acosθdθdx=a\cos\theta\,d\theta, with 0θ<π/20\le\theta<\pi/2. Since (a2x2)3/2=a3cos3θ(a^2-x^2)^{3/2}=a^3\cos^3\theta, the integral becomes1a20arcsin(b/a)sec2θdθ=ba2a2b2.\frac1{a^2}\int_0^{\arcsin(b/a)}\sec^2\theta\,d\theta=\frac{b}{a^2\sqrt{a^2-b^2}}.The range justifies replacing cos2θ\sqrt{\cos^2\theta} by cosθ\cos\theta.

A hyperbolic substitution can be especially clean when a2+x2\sqrt{a^2+x^2} or x2a2\sqrt{x^2-a^2} appears because the radical becomes acoshta\cosh t or asinhta\sinh t. A trigonometric route may instead be preferable when exact angle values make definite limits simple. The valid method is the one whose identity matches the sign pattern and whose range is controlled.

Do not transform only the radical: dxdx and all limits must change too. The equality a2cos2θ=acosθ\sqrt{a^2\cos^2\theta}=a\cos\theta requires a range with cosθ0\cos\theta\ge0; otherwise it is acosθa|\cos\theta|. Check the original radical domain before choosing or evaluating bounds.

Use substitution with quadratic surds

For an integral involving Ax2+Bx+C\sqrt{Ax^2+Bx+C}, expose the quadratic's geometry before substituting. Complete the square, factor out any positive constant, and identify one of the patterns a2u2a^2-u^2, a2+u2a^2+u^2 or u2a2u^2-a^2. In more complicated cases the required substitution may be supplied, but every algebraic change must still be shown.

Step Required action
1. Normalise Complete the square and factor constants from the surd.
2. Choose Match the sign pattern to u=asinθu=a\sin\theta, u=asinhtu=a\sinh t, u=atanθu=a\tan\theta or u=acoshtu=a\cosh t.
3. Transform Find dudu or dxdx and rewrite the entire integrand.
4. Integrate Simplify using the matching identity and integrate in the new variable.
5. Return/check Back-substitute, or transform bounds for a definite integral; differentiate to verify.

Considerdxx2+6x+13.\int\frac{dx}{\sqrt{x^2+6x+13}}.Completing the square gives (x+3)2+4(x+3)^2+4. Put x+3=2sinhtx+3=2\sinh t, so dx=2coshtdtdx=2\cosh t\,dt and the denominator is 2cosht2\cosh t. The integral is dt\int dt, hencearsinh(x+32)+C.\operatorname{arsinh}\left(\frac{x+3}{2}\right)+C.Differentiation recovers the original integrand.

If the numerator contains the derivative 2Ax+B2Ax+B of the quadratic, try the direct substitution u=Ax2+Bx+Cu=Ax^2+Bx+C before a trigonometric or hyperbolic substitution. For example,2x+4x2+4x+7dx=2x2+4x+7+C.\int\frac{2x+4}{\sqrt{x^2+4x+7}}\,dx=2\sqrt{x^2+4x+7}+C.This is shorter because the numerator already supplies dudu.

When a non-obvious substitution is given, derive its consequences rather than guessing the target. Calculate dxdx, rewrite the surd, state the parameter range needed for its sign, and simplify systematically. For definite integrals, translate endpoints before cancellation so that orientation and sign remain visible.

Completing the square changes form, not domain. Never replace u2\sqrt{u^2} by uu without a range or sign statement, and do not divide by a substituted factor that may be zero. This objective covers substitution for quadratic surds; unrelated rational substitutions and numerical integration are outside this card.

Derive and use reduction formulae

A reduction formula rewrites an integral indexed by nn in terms of the same family with a smaller index. It is derived from the definition of the indexed integral, usually by integration by parts and an identity. State the definition, restrictions and base cases before using the recurrence.

LetIn=0π/2sinnxdx.I_n=\int_0^{\pi/2}\sin^n x\,dx.For n2n\ge2, write sinnx=sinn1xsinx\sin^n x=\sin^{n-1}x\sin x and integrate by parts with u=sinn1xu=\sin^{n-1}x, dv=sinxdxdv=\sin x\,dx. The boundary term [sinn1xcosx]0π/2[-\sin^{n-1}x\cos x]_0^{\pi/2} is zero.

The remaining integral is(n1)0π/2sinn2xcos2xdx=(n1)(In2In).(n-1)\int_0^{\pi/2}\sin^{n-2}x\cos^2x\,dx=(n-1)(I_{n-2}-I_n).ThereforenIn=(n1)In2,n2.nI_n=(n-1)I_{n-2},\qquad n\ge2.Use I0=π/2I_0=\pi/2 for even powers and I1=1I_1=1 for odd powers. For instance, I4=(3/4)I2=(3/4)(1/2)I0=3π/16I_4=(3/4)I_2=(3/4)(1/2)I_0=3\pi/16.

A different family needs a different derivation. IfJn=sinnxsinxdx,n>0,J_n=\int\frac{\sin nx}{\sin x}\,dx,\qquad n>0,then sin((n+2)x)sin(nx)=2cos((n+1)x)sinx\sin((n+2)x)-\sin(nx)=2\cos((n+1)x)\sin x. Dividing by sinx\sin x and integrating givesJn+2=2sin((n+1)x)n+1+Jn.J_{n+2}=\frac{2\sin((n+1)x)}{n+1}+J_n.This is an indefinite relation, so use a consistent arbitrary constant convention.

For an unfamiliar indexed family, choose integration by parts so that one factor differentiates toward the lower-index integrand. Rewrite leftover powers using an identity, isolate every occurrence of the original InI_n, and only then divide to obtain the recurrence. To evaluate, step down repeatedly until a directly calculable base integral is reached.

A recurrence is not valid outside the stated index range, and even/odd chains can have different base cases. Do not use a printed formula without matching its definition and limits. In a derivation, include the boundary term and justify why it vanishes; in an indefinite recurrence, remember that constants of integration are not independent at each line.

Calculate arc length and surfaces of revolution

Arc length adds infinitesimal distances dsds along a curve. A surface of revolution adds circumference times arc length, so the radius is the perpendicular distance from the curve to the axis. The specification covers Cartesian and parametric curves, not polar forms.

Situation Formula on the stated interval
Cartesian y=f(x)y=f(x) s=ab1+(dy/dx)2dxs=\int_a^b\sqrt{1+(dy/dx)^2}\,dx
Cartesian x=g(y)x=g(y) s=cd1+(dx/dy)2dys=\int_c^d\sqrt{1+(dx/dy)^2}\,dy
Parametric (x(t),y(t))(x(t),y(t)) s=αβ(dx/dt)2+(dy/dt)2dts=\int_\alpha^\beta\sqrt{(dx/dt)^2+(dy/dt)^2}\,dt
Curved surface about the xx-axis S=2πydsS=2\pi\int |y|\,ds
Curved surface about the yy-axis S=2πxdsS=2\pi\int |x|\,ds

First differentiate and simplify the speed factor under the square root. Then determine the radius and parameter interval. Use absolute values or split the interval if the signed coordinate crosses the axis. The square root denotes non-negative speed, so h(t)2=h(t)\sqrt{h(t)^2}=|h(t)| unless its sign is established.

Forx=tt33,y=t2,0t1,x=t-\frac{t^3}{3},\qquad y=t^2,\qquad 0\le t\le1,we have dx/dt=1t2dx/dt=1-t^2 and dy/dt=2tdy/dt=2t, sodsdt=(1t2)2+4t2=1+t2.\frac{ds}{dt}=\sqrt{(1-t^2)^2+4t^2}=1+t^2.Hence the arc length is [t+t3/3]01=4/3[t+t^3/3]_0^1=4/3. Rotating the curve about the xx-axis gives curved area$2\pi\int_0^1t^2(1+t^2)dt=\frac{16\pi}{15}.

The formula 2πrds2\pi\int r\,ds gives only the curved surface swept out by the curve. If a solid's total surface area is requested and the endpoints generate circular end faces, add the appropriate disc or annulus areas separately. Read the geometry and endpoint radii before deciding whether end faces exist.

Length has units of length and surface area has squared units. Both must be non-negative. For a definite calculation, verify that the parameter traces the intended piece once; retracing a segment would count its length or swept area again.

Do not confuse arc length with area under a curve, and do not omit the speed factor in a surface integral. The radius is y|y| about the xx-axis and x|x| about the yy-axis. Polar arc length and polar surfaces are explicitly outside this FP3 requirement.