Why a Secant Substitution Fits This Radical
The expression \(x^2-a^2\) has a difference-of-squares structure. The trigonometric identity \(\sec^2\theta-1=\tan^2\theta\) has the same structure, so it can convert the radical into a multiple of a tangent. The substitution is useful only when its angle range is chosen to match the real domain and sign of \(x\).
Throughout, assume \(a>0\). Since the square root denotes the nonnegative root, \(\sqrt{x^2-a^2}\) is real exactly when \(x^2-a^2\geq 0\), or \(|x|\geq a\). The open intervals \(x>a\) and \(x<-a\) are the two regions where the radicand is positive. At \(x=\pm a\), the radical is zero; these boundary points may be included when an integral is defined there, but they are not interior points of either substitution branch.
Deriving the Relationships from a Right Triangle
Begin with \(x>a>0\). Imagine a right triangle whose hypotenuse has length \(x\), whose adjacent leg has length \(a\), and whose opposite leg has length \(\sqrt{x^2-a^2}\). The Pythagorean theorem verifies that these lengths fit:
Let \(\theta\) be the acute angle between the adjacent leg and the hypotenuse. By the right-triangle definitions of secant and tangent, hypotenuse divided by adjacent side is \(\sec\theta\), and opposite side divided by adjacent side is \(\tan\theta\). Thus
Rearranging gives \(x=a\sec\theta\) and \(\sqrt{x^2-a^2}=a\tan\theta\). The triangle determines the positive signs here: all three side lengths are positive, and \(\theta\) is acute.
The same result follows directly from the identity \(\sec^2\theta-1=\tan^2\theta\). Substituting \(x=a\sec\theta\) gives
Taking square roots requires attention to signs. In general, \(\sqrt{a^2\tan^2\theta}=a|\tan\theta|\), because \(a>0\) and the principal square root is nonnegative. On the acute branch, \(\tan\theta>0\), so this is \(a\tan\theta\), as claimed. The absolute value is not optional if the angle can lie in another quadrant.
Deriving the Differential
Differentiate \(x=a\sec\theta\) with respect to \(\theta\). The constant \(a\) remains unchanged, and the derivative of \(\sec\theta\) is \(\sec\theta\tan\theta\). Therefore
This derivative is positive on \(0<\theta<\pi/2\). Consequently \(x=a\sec\theta\) increases from \(a\) toward infinity as \(\theta\) increases from \(0\) toward \(\pi/2\). Each \(x>a\) corresponds to exactly one angle in this interval, so the substitution does not fold the positive domain back over itself.
Worked Examples
Worked Example: Building the Triangle on the Positive Branch
Let \(a=3\) and \(x=5\). First verify that this value belongs to the positive branch: \(5>3\). The triangle has hypotenuse \(5\) and adjacent leg \(3\). Its opposite leg is
These are the sides of a \(3\)-\(4\)-\(5\) right triangle. Thus \(\sec\theta=5/3\) and \(\tan\theta=4/3\) for the acute angle. Substitution recovers the original values:
The derivative at this angle is \(dx/d\theta=a\sec\theta\tan\theta\), so
Check: \(x=a\sec\theta\) gives \(5\), the radical formula gives \(\sqrt{25-9}=4\), and the derivative is positive as required on the acute branch.
Worked Example: Choosing the Correct Sign for Negative x
Let \(a=3\) and \(x=-5\). The value is in the real domain because \(-5<-3\), but it is not on the positive branch. If we retain \(x=a\sec\theta\), we need a quadrant-II angle, where \(\sec\theta<0\) and \(\tan\theta<0\). From the triangle side lengths, the hypotenuse is \(5\), the adjacent length is \(3\), and the opposite length is \(4\). The signed ratios are therefore
Indeed, \(3\sec\theta=3(-5/3)=-5\). But the radical is positive:
Since \(\tan\theta<0\), the correct relation on this quadrant-II branch is \(\sqrt{x^2-a^2}=-a\tan\theta\), which gives \(-3(-4/3)=4\). The derivative is
Check: the substitution gives \(x=-5\), the signed radical formula gives \(4\), and the derivative is positive on \(\pi/2<\theta<\pi\).
Worked Example: Transforming a Differential Expression
On the positive branch, consider the differential expression \(\frac{x\,dx}{\sqrt{x^2-4}}\), where \(a=2\) and \(x>2\). Use \(x=2\sec\theta\), \(\sqrt{x^2-4}=2\tan\theta\), and \(dx=2\sec\theta\tan\theta\,d\theta\). Substituting each factor gives
The cancellation is valid because \(0<\theta<\pi/2\), so \(\tan\theta\ne 0\). To check the transformation, start from \(x=2\sec\theta\), which implies \(dx=2\sec\theta\tan\theta\,d\theta\), and the identity gives \(\sqrt{x^2-4}=2\tan\theta\) on this branch. Substituting those expressions into the original differential expression reproduces \(2\sec^2\theta\,d\theta\).
Two Valid Ways to Handle the Negative Branch
For \(x<-a\), the radical is real, but the acute-angle formulas cannot be used unchanged with \(x=a\sec\theta\): an acute angle has positive secant, whereas \(x/a<0\). There are two consistent choices.
- Keep \(x=a\sec\theta\): take \(\pi/2<\theta<\pi\). Then \(\sec\theta<0\), \(\tan\theta<0\), and \(x=a\sec\theta\). Since the radical must be nonnegative, \(\sqrt{x^2-a^2}=-a\tan\theta\). The derivative remains \(dx=a\sec\theta\tan\theta\,d\theta\), which is positive because both trigonometric factors are negative.
- Use an acute angle: write \(x=-a\sec\phi\) with \(0<\phi<\pi/2\). Then \(\sqrt{x^2-a^2}=a\tan\phi\) and \(dx=-a\sec\phi\tan\phi\,d\phi\). Here \(x\) decreases as \(\phi\) increases, which is reflected by the negative differential.
Either choice describes the negative component of the real domain, \((-\infty,-a)\). Choose one convention for a calculation and use it consistently for the variable, radical, differential, and angle limits. A substitution that is valid on one component should not be assumed valid across the gap \([-a,a]\), where the radical is not real except at its endpoints.
Common Sign Error
A frequent mistake is to write \(\sqrt{x^2-a^2}=a\tan\theta\) without checking the sign of \(\tan\theta\). For the example \(a=3\), \(x=-5\), and \(\theta\) in quadrant II, this incorrect calculation gives
But a principal square root cannot equal \(-4\); direct evaluation gives \(\sqrt{(-5)^2-3^2}=4\). The correction is to use \(\sqrt{x^2-a^2}=a|\tan\theta|\), or, on this specific quadrant-II range, \(\sqrt{x^2-a^2}=-a\tan\theta=4\). On the positive branch, the tangent is positive, so the familiar formula \(a\tan\theta\) is correct.
When the Derivation Is Useful
The secant substitution is useful when an expression involving \(\sqrt{x^2-a^2}\) appears and \(x\) lies in one of the real intervals outside \([-a,a]\). It converts the quadratic difference into a trigonometric square, and its differential supplies the factors needed to rewrite an integrand. The important work is not merely replacing \(x\): the domain, angle range, sign of the radical, and differential all belong to the substitution.
Check Your Understanding
Use the domain and angle restrictions in each question to justify the signs, not only the algebra.
- For \(a>0\) and \(x>a\), derive \(\sqrt{x^2-a^2}=a\tan\theta\) from \(x=a\sec\theta\) and \(0<\theta<\pi/2\).
- Differentiate \(x=a\sec\theta\) and state why the resulting derivative is positive on the positive branch.
- If \(x=a\sec\theta\) with \(\pi/2<\theta<\pi\), should the radical equal \(a\tan\theta\) or \(-a\tan\theta\)? Explain.
- For \(a=4\) and \(x=5\), find the opposite side of the triangle and the values of \(\sec\theta\) and \(\tan\theta\) on the acute branch.
- Why is the substitution not a real substitution for values strictly between \(-a\) and \(a\)?