FP3.4 - Integration
- Syllabus
- 2019
- Topic
- —
- Level
- A2
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 C to an indefinite integral.
| Integrand pattern, u=u(x) | Antiderivative |
|---|---|
| u′sinhu | coshu+C |
| u′coshu | sinhu+C |
| u′sech2u | tanhu+C |
| u′cosech2u | −cothu+C |
| u′sechutanhu | −sechu+C |
| u′cosechucothu | −cosechu+C |
Ratios lead to logarithms because d(ln∣f∣)/dx=f′/f:∫tanhxdx=ln(coshx)+C,∫cothxdx=ln∣sinhx∣+C.The absolute value is needed in the second result because sinhx may be negative; coshx is always positive.
Two useful single-function forms follow by differentiating the inverse expression:∫sechxdx=arctan(sinhx)+C,∫cosechxdx=lntanh2x+C.These apply only on intervals where the integrand is defined.
For∫(3cosh(3x)−2sech2(2x))dx,each inner derivative is already present, so the result issinh(3x)−tanh(2x)+C.Differentiate the result: 3cosh(3x)−2sech2(2x) is recovered exactly.
Expressions involving powers may need an identity before integration. For example,cosh2x=21+cosh2x,sinh2x=2cosh2x−1.Thus ∫cosh2xdx=x/2+sinh2x/4+C. Choose an identity that turns the integrand into direct patterns rather than expanding exponentials unnecessarily.
Do not integrate tanhx as ln∣sinhx∣; its numerator is the derivative of coshx, not sinhx. Preserve negative signs in reciprocal-function patterns, divide by constant inner derivatives when they are absent, and keep singular points of coth and cosech outside the interval.
An inverse trigonometric or inverse hyperbolic function is usually integrated by parts. Choose the inverse function as the part to differentiate and 1 as the part to integrate:u=f−1(x),dv=dx.Its derivative becomes an algebraic expression that can be simplified or integrated directly.
| Integral | Result |
|---|---|
| ∫arcsinxdx | xarcsinx+1−x2+C |
| ∫arctanxdx | xarctanx−21ln(1+x2)+C |
| ∫arsinhxdx | xarsinhx−1+x2+C |
| ∫arcoshxdx | xarcoshx−x2−1+C, x≥1 |
| ∫artanhxdx | xartanhx+21ln(1−x2)+C, ∣x∣<1 |
For example,∫arsinhxdx=xarsinhx−∫1+x2xdx.With w=1+x2, the remaining integral is 1+x2, givingxarsinhx−1+x2+C.Differentiating this result makes the two x/1+x2 terms cancel.
For a scaled argument, substitute first or apply integration by parts with the full argument. If a>0, then∫arctan(ax)dx=xarctan(ax)−2aln(a2+x2)+C.Terms differing only by a constant inside a logarithm are absorbed into C.
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] for arcsinx, [1,∞) for arcoshx, and (−1,1) for artanhx.
The superscript notation sinh−1x means the inverse function here, not 1/sinhx. Do not omit the xf−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.
A substitution is chosen so that a standard identity removes a quadratic expression. Assume a>0. Trigonometric substitutions are natural for a2−x2 and a2+x2; 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 |
|---|---|---|---|
| a2+x21 | x=atanθ | 1+tan2θ=sec2θ | a1arctan(x/a)+C |
| a2−x21 | x=asinθ | 1−sin2θ=cos2θ | arcsin(x/a)+C |
| a2+x21 | x=asinht | 1+sinh2t=cosh2t | arsinh(x/a)+C |
| x2−a21 | x=acosht for x≥a | cosh2t−1=sinh2t | arcosh(x/a)+C |
Use the same four moves each time: choose the identity-matching substitution; calculate dx; replace every occurrence of x; 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<a,∫0b(a2−x2)3/2dxuses x=asinθ, dx=acosθdθ, with 0≤θ<π/2. Since (a2−x2)3/2=a3cos3θ, the integral becomesa21∫0arcsin(b/a)sec2θdθ=a2a2−b2b.The range justifies replacing cos2θ by cosθ.
A hyperbolic substitution can be especially clean when a2+x2 or x2−a2 appears because the radical becomes acosht or asinht. 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: dx and all limits must change too. The equality a2cos2θ=acosθ requires a range with cosθ≥0; otherwise it is a∣cosθ∣. Check the original radical domain before choosing or evaluating bounds.
For an integral involving Ax2+Bx+C, expose the quadratic's geometry before substituting. Complete the square, factor out any positive constant, and identify one of the patterns a2−u2, a2+u2 or u2−a2. 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=asinht, u=atanθ or u=acosht. |
| 3. Transform | Find du or dx 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. |
Consider∫x2+6x+13dx.Completing the square gives (x+3)2+4. Put x+3=2sinht, so dx=2coshtdt and the denominator is 2cosht. The integral is ∫dt, hencearsinh(2x+3)+C.Differentiation recovers the original integrand.
If the numerator contains the derivative 2Ax+B of the quadratic, try the direct substitution u=Ax2+Bx+C before a trigonometric or hyperbolic substitution. For example,∫x2+4x+72x+4dx=2x2+4x+7+C.This is shorter because the numerator already supplies du.
When a non-obvious substitution is given, derive its consequences rather than guessing the target. Calculate dx, 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 by u 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.
A reduction formula rewrites an integral indexed by n 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.For n≥2, write sinnx=sinn−1xsinx and integrate by parts with u=sinn−1x, dv=sinxdx. The boundary term [−sinn−1xcosx]0π/2 is zero.
The remaining integral is(n−1)∫0π/2sinn−2xcos2xdx=(n−1)(In−2−In).ThereforenIn=(n−1)In−2,n≥2.Use I0=π/2 for even powers and I1=1 for odd powers. For instance, I4=(3/4)I2=(3/4)(1/2)I0=3π/16.
A different family needs a different derivation. IfJn=∫sinxsinnxdx,n>0,then sin((n+2)x)−sin(nx)=2cos((n+1)x)sinx. Dividing by sinx and integrating givesJn+2=n+12sin((n+1)x)+Jn.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 In, 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.
Arc length adds infinitesimal distances ds 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) | s=∫ab1+(dy/dx)2dx |
| Cartesian x=g(y) | s=∫cd1+(dx/dy)2dy |
| Parametric (x(t),y(t)) | s=∫αβ(dx/dt)2+(dy/dt)2dt |
| Curved surface about the x-axis | S=2π∫∣y∣ds |
| Curved surface about the y-axis | S=2π∫∣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)∣ unless its sign is established.
Forx=t−3t3,y=t2,0≤t≤1,we have dx/dt=1−t2 and dy/dt=2t, sodtds=(1−t2)2+4t2=1+t2.Hence the arc length is [t+t3/3]01=4/3. Rotating the curve about the x-axis gives curved area$2\pi\int_0^1t^2(1+t^2)dt=\frac{16\pi}{15}.
The formula 2π∫rds 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∣ about the x-axis and ∣x∣ about the y-axis. Polar arc length and polar surfaces are explicitly outside this FP3 requirement.