The integrand is defined for x in(-oo,-3) uu (3,+oo)x∈(−∞,−3)∪(3,+∞). Let us focus for the moment on x in (3,+oo)x∈(3,+∞) and substitute:
x = 3sectx=3sect
with t in (0,pi/2)t∈(0,π2)
so that:
dx = 3sect tant dtdx=3secttantdt
and:
int x^2/sqrt(x^2-9)dx = int ((3sect)^2(3sect tant) dt)/sqrt((3sect)^2-9)∫x2√x2−9dx=∫(3sect)2(3secttant)dt√(3sect)2−9
int x^2/sqrt(x^2-9)dx = 27 int (sec^3t tant dt)/sqrt(9sec^2t-9)∫x2√x2−9dx=27∫sec3ttantdt√9sec2t−9
int x^2/sqrt(x^2-9)dx = 9 int (sec^3t tant dt)/sqrt(sec^2t-1)∫x2√x2−9dx=9∫sec3ttantdt√sec2t−1
Use now the trigonometric identity:
sec^2t -1 = tan^2tsec2t−1=tan2t
and considering that for t in (0,pi/2)t∈(0,π2) the tangent is positive:
sqrt(sec^2t -1) = tant√sec2t−1=tant
so:
int x^2/sqrt(x^2-9)dx = 9 int (sec^3t tant dt)/tant∫x2√x2−9dx=9∫sec3ttantdttant
int x^2/sqrt(x^2-9)dx = 9 int sec^3tdt∫x2√x2−9dx=9∫sec3tdt
Now write sec^3tsec3t as sect xx sec^2tsect×sec2t, and as d/dt tant = sec^2tddttant=sec2t we can integrate by parts:
int sec^3tdt = int sect d(tant)∫sec3tdt=∫sectd(tant)
int sec^3tdt = sect tant - int tant d(sect )∫sec3tdt=secttant−∫tantd(sect)
int sec^3tdt = sect tant - int tan^2tsect dt∫sec3tdt=secttant−∫tan2tsectdt
using the same identity again:
int sec^3tdt = sect tant - int (sec^2t-1)sect dt∫sec3tdt=secttant−∫(sec2t−1)sectdt
and based in the linearity of the integral:
int sec^3tdt = sect tant - int sec^3t+ int sect dt∫sec3tdt=secttant−∫sec3t+∫sectdt
The integral now appears on both sides of the equation and we can solve for it:
2int sec^3tdt = sect tant + int sect dt2∫sec3tdt=secttant+∫sectdt
and finally :
int sec^3tdt = (sect tant)/2 + 1/2 ln abs (sect+tant)+C∫sec3tdt=secttant2+12ln|sect+tant|+C
Undo now the substitution:
int x^2/sqrt(x^2-9)dx = (9sect tant)/2 + 9/2 ln abs (sect+tant)+C∫x2√x2−9dx=9secttant2+92ln|sect+tant|+C
int x^2/sqrt(x^2-9)dx = (3xsqrt((x/3)^2-1) )/2 + 9/2 ln abs (x/3+sqrt((x/3)^2-1))+C∫x2√x2−9dx=3x√(x3)2−12+92ln∣∣∣x3+√(x3)2−1∣∣∣+C
int x^2/sqrt(x^2-9)dx = (xsqrt(x^2-9))/2 +9/2ln abs (x +sqrt(x^2-9)) +C∫x2√x2−9dx=x√x2−92+92ln∣∣x+√x2−9∣∣+C
By direct differentiation we can see that the solution is valid also for x in (-oo,-3)x∈(−∞,−3).