How do trigonometric and rationalising substitutions transform integrals containing square roots or awkward rational functions into standard forms?
Evaluate integrals using trigonometric substitution and the t = tan(x/2) substitution, including completing the square to reach standard inverse-trigonometric and logarithmic forms
A focused answer to the HSC Maths Extension 2 dot point on substitution integration. Trigonometric substitutions for square roots with a reference triangle, completing the square to standard forms, and the t = tan(x/2) substitution for rational trigonometric integrals, with verified worked examples.
✦ Generated by Claude Opus 4.8·12 min answer·
Reviewed by: AI editorial process; not yet individually human-reviewed
NESA wants you to evaluate integrals that are not immediately standard by choosing a substitution that simplifies the integrand. Three related techniques are examined: trigonometric substitutions that clear a square root of the form a2−x2 (and its relatives a2+x2 and x2−a2); completing the square to reduce a quadratic under a root or in a denominator to a standard inverse-trigonometric or logarithmic form; and the rationalising substitution t=tan2x, which turns a rational function of sinx and cosx into an algebraic rational function of t.
Trigonometric substitution for square roots
An integrand containing a2−x2 becomes a clean trigonometric expression under the substitution
x=asinθ,dx=acosθdθ.
The reason this works is the Pythagorean identity: a2−x2=a2(1−sin2θ)=a2cos2θ, so a2−x2=acosθ (taking θ∈[−2π,2π] so that cosine is non-negative and the square root stays positive). The substitution is engineered so that the awkward square root collapses to a single trig factor. After integrating in θ, convert back to x using either the inverse relation θ=arcsinax or, more reliably for mixed expressions, a reference right-triangle.
The reference right-triangle for converting back
The cleanest way to turn a θ-answer back into x is to draw the substitution as a right-triangle. For x=asinθ, sine is opposite over hypotenuse, so put the opposite side equal to x and the hypotenuse equal to a. Pythagoras then gives the adjacent side as a2−x2, and every trig function of θ can be read straight off the triangle.
Reading off the triangle, sinθ=ax, cosθ=aa2−x2, and tanθ=a2−x2x. So after integrating in θ you can rewrite any leftover cosθ, sin2θ=2sinθcosθ, and similar terms purely in x without wrestling with nested inverse functions. For the companion form x=atanθ you draw the same kind of triangle with opposite x, adjacent a, and hypotenuse a2+x2.
Completing the square to reach standard forms
Two standard integrals from the reference sheet are
∫a2+x2dx=a1arctanax+C,∫a2−x2dx=arcsinax+C.
When the quadratic in the denominator (or under the root) is not already in this shape, complete the square first to expose it. For instance x2+4x+13=(x+2)2+9=(x+2)2+32, so
∫x2+4x+13dx=∫(x+2)2+32dx=31arctan3x+2+C.
The substitution u=x+2 makes the standard form explicit, but with practice you can read it straight off the completed square. The same idea handles a quadratic under a root, turning it into the arcsin form, as in the 2023 HSC question above where 5−4x−x2=9−(x+2)2.
Splitting a numerator to expose the derivative of the root
A frequent exam pattern is ∫quadraticlineardx. The trick is to split the linear numerator into a piece proportional to the derivative of the quadratic plus a constant. The derivative piece integrates directly to a square root (since dxdq=2qq′), and the constant piece is finished by completing the square to an arcsin. This is exactly the structure of the 2023 HSC question, and recognising it saves you from attempting a full trig substitution where a clever split is faster.
The t = tan(x/2) substitution
For an integral that is a rational function of sinx and cosx, the rationalising substitution t=tan2x (the Weierstrass, or t-formula, substitution) converts everything to a rational function of t, which can then be finished with partial fractions or a standard form. The identities are
sinx=1+t22t,cosx=1+t21−t2,dx=1+t22dt.
After substituting, the integrand becomes algebraic. Convert back at the end using t=tan2x. For a definite integral, change the limits to t-values instead (for example x=2π gives t=tan4π=1), which avoids back-substitution entirely.
How exam questions ask about these substitutions
"Evaluate ∫a2−x2dx" or an area under a semicircle. Use x=asinθ, reduce to ∫cos2θdθ, and apply the double-angle identity.
"Find ∫a2−x2dx / ∫a2+x2dx" off the reference sheet. Quote the standard arcsin or arctan form directly.
A quadratic under a root or in a denominator that is not standard. Complete the square first, then read off the arcsin or arctan.
"Find ∫quadraticlineardx." Split the numerator into (derivative of the quadratic) plus a constant; one part gives a square root, the other an arcsin.
"Using the substitution t=tan2x, find ..." (a rational function of sinx, cosx). Apply the three t-identities, simplify to an algebraic integral, then finish and back-substitute.
"Hence find the exact value ..." (definite). Change limits to the new variable, integrate, evaluate; "exact" means surds, π, ln stay, no decimals.
Exam-style practice questions
Practice questions written in the style of NESA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.
2024 HSC3 marksEvaluate ∫0π/2sinθ+11dθ.
Show worked answer →
Use the substitution t=tan2θ, so sinθ=1+t22t and dθ=1+t22dt. When θ=0, t=0; when θ=2π, t=tan4π=1.
So the integrand times dθ becomes (t+1)21+t2⋅1+t22dt=(t+1)22dt.
Therefore the integral =∫012(t+1)−2dt=[t+1−2]01=−1−(−2)=1.
Mark notes: 1 mark for the t=tan2θ substitution and new limits, 1 mark for simplifying to (t+1)22, 1 mark for evaluating the definite integral to 1.
2023 HSC3 marksFind ∫5−4x−x21−xdx.
Show worked answer →
Split the numerator so part of it matches the derivative of the expression under the root. Note dxd(5−4x−x2)=−4−2x=2(−2−x). Write
1−x=(−2−x)+3.
So ∫5−4x−x21−xdx=∫5−4x−x2−2−xdx+∫5−4x−x23dx.
First integral: since dxd5−4x−x2=5−4x−x2−2−x, this is exactly 5−4x−x2.
Second integral: complete the square, 5−4x−x2=9−(x+2)2. Then ∫9−(x+2)23dx=3arcsin3x+2.
Combining: ∫=5−4x−x2+3arcsin3x+2+C.
Mark notes: 1 mark for splitting 1−x to expose the derivative −2−x, 1 mark for the square-root term, 1 mark for completing the square and the 3arcsin3x+2 term.
2022 HSC3 marksUsing the substitution t=tan2x, find ∫1+cosx−sinx1dx.
Show worked answer →
With t=tan2x: cosx=1+t21−t2, sinx=1+t22t, and dx=1+t22dt.
Rewrite the denominator over the common denominator 1+t2: 1+cosx−sinx=1+t2(1+t2)+(1−t2)−2t=1+t22−2t=1+t22(1−t).
So the integral becomes ∫2(1−t)/(1+t2)2/(1+t2)dt=∫1−t1dt=−ln∣1−t∣+C.
Substituting back t=tan2x: ∫=−ln1−tan2x+C.
Mark notes: 1 mark for the standard t=tan2x substitutions, 1 mark for simplifying the denominator to 1+t22(1−t), 1 mark for integrating to −ln1−tan2x+C.