FP1 2.5 - The Weierstrass substitution
Turn rational expressions in sine and cosine into rational functions of , then integrate using familiar algebra. You will handle indefinite and definite integrals, retain original exclusions and split intervals when the half-angle tangent jumps.
Sine, cosine and the differential become rational
How can become a rational integral, when both endpoints give ? Those matching values look as though they should give zero. The missing detail is a jump halfway through the interval. Track that jump and the exact answer is .
You already know
From FP1 1.1, gives and , with odd multiples of omitted by finite . From A-level Mathematics, change the differential and the bounds when substituting. Core Pure supplies partial fractions, logarithmic integrals and , for .
The extra ingredient is the differential. Differentiate the half-angle tangent:
Combining this with the two t-formulae replaces every sine, cosine and differential by rational expressions in the same variable. This is the Weierstrass substitution.
The Weierstrass substitution
On an interval where is defined,
The substitution is continuous and strictly increasing on each interval
Within one such interval, . Preserve every exclusion from the original integrand as well.
Not in the formula booklet: learn it.
The denominator is positive for real , so it introduces no real poles. However, denominators in the original integrand may vanish, and the substitution itself still misses . Algebraic cancellation cannot erase those restrictions.
Key idea
Change the whole integrand into one variable: sine, cosine and the differential must all become expressions in . Keep the original domain restrictions as well as the substitution's omitted points.
This is why the method is so useful: a fraction built from sine and cosine becomes a fraction of polynomials, so partial fractions and completing the square become available. A simpler substitution may still be shorter when one derivative is already present; the half-angle substitution is particularly helpful when neither sine nor cosine alone will do.
Watch out
Wrong: change the trigonometric functions but keep . Right: replace the differential too, and simplify only after every part of the integrand is expressed in .
Check the differential before using the method.
Integrate the resulting quadratic fraction
When the denominator is a constant plus a cosine term, the common factor often cancels neatly with the differential. What remains is an inverse-tangent integral.
Return an indefinite answer to . A primitive obtained on one substitution interval has an arbitrary constant on that interval; do not assume a principal inverse tangent automatically joins correctly across an omitted point.
Worked example 1: a positive quadratic denominator
Question. Use to find .
Plan. Substitute cosine and the differential, cancel the common denominator and use the inverse-tangent integral.
Why this step? The factor from writing the denominator as a single fraction cancels the one in . It should not survive as an extra numerator.
Answer.
on each interval avoiding an odd multiple of .
Check. Differentiating gives , which equals . The original denominator is always at least ; its apparent break at an odd multiple of comes from this expression for the primitive.
Change only the cosine sign. The resulting quadratic is still positive, but its coefficients swap.
Worked example 2: changing the cosine sign
Question. Use to find .
Plan. Use the same substitution, retaining the minus sign when clearing the denominator.
Why this step? In , differentiation brings out a factor , so the outside coefficient must be .
Answer. , on each substitution interval.
Check. Differentiation gives .
The standard inverse-tangent integral is in the formula booklet. These particular trigonometric primitives are derived results and are not printed there.
Watch out
Wrong: interpret the inverse tangent's jump as an infinite value of the original integrand. Right: check the original denominator. A substitution can have a break where the original function is smooth.
Change the constant term while retaining the minus sign.
Use partial fractions and keep excluded points
Logarithms appear when the rational denominator has real linear factors. The simple cosecant case illustrates the mechanism:
The cosecant primitive, including this half-angle logarithmic form, is in the formula booklet; here the substitution derives it. The original condition remains. Next, rational expressions involving cosecant give both quadratic and repeated linear factors.
For an irreducible quadratic, start with a linear numerator in the partial-fraction setup. For a repeated linear factor, include each power. Finding that one coefficient is zero is a conclusion from the algebra.
Worked example 3: a repeated factor after substitution
Question. Use the Weierstrass substitution to find , retaining the original exclusions.
Plan. First express the integrand as , then decompose the rational function.
Coefficient comparison gives , , . Therefore
Why this step? Replacing by requires . The simplified fraction has a value at some formerly excluded points, but the original integral still excludes them.
Answer. , on each interval where the original expression and the substitution are defined. Retain and ; in finite , these exclude .
Check. The decomposition numerator is . Differentiating the answer gives , on the original domain.
Change only the sign before cosecant. The repeated factor changes from to .
Worked example 4: the changed repeated factor
Question. Use the Weierstrass substitution to find , retaining the original exclusions.
Plan. Use and the same full partial-fraction structure with the new linear factor.
Why this step? The original denominator is , so multiplying top and bottom by sine produces , not . That sign controls the rational numerator.
Answer. , on each valid interval. Keep and ; in finite , exclude .
Check. Combining the partial fractions gives numerator . Differentiation of the final answer gives .
Continue this lesson.
You’re previewing NovaLearn without an account. Create a free account to read the rest.
Create free account