I have decided to start writing some posts here, and this is my first post. I would like to introduce trig substitution by presenting an example that you have seen before. Trig substitution is one of the techniques of integration, it’s like u substitution, except that you use a trig function only.

Let’s get into the example already!

\int_{-1}^{1} \sqrt{1-x^2} dx

If you equate the integrand to y (and get x^2+y^2=1, y\geq 0), you should be able to see that this is the area of the upper half of a unit circle. The answer to this definite integral is therefore the area of the upper half of the unit circle (yes, the definite integral of f(x) from a to b gives you the net area between f(x) and the x-axis from x=a to x=b), is \frac{\pi}{2}.

We relied on the geometrical interpretation of the integral to solve the definite integral, but can we also show this algebraically?

Yes, mathematics is beautiful and does allow us to do that. Consider the part of a unit circle that is on the first quadrant (it may help to draw a diagram), if you draw a straight line from the origin to the circle at an angle of \theta and construct a triangle, you should see that hypotenuse is 1 (the radius of the unit circle), the adjacent and the opposite are x and y respectively, this makes \cos{\theta}=x, cool? If not cool, see the diagram here .

If we are going to make any trig substitution, it is natural to choose \cos{\theta}=x , ( \sin{\theta}=x would also do the job, but lets stick to the natural one for now, it will get clear later). This substitution will make the radical disappear (this is one of the top reasons why we like trig substitution, you will see later on in the course)! Please stop reading and attempt the problem with the substitution \cos{\theta}=x, and see how far you get.

Now that you have attempted the problem , let’s get to the evaluation (the fun part).

\int_{-1}^{1} \sqrt{1-x^2} dx = 2\int_{0}^{1} \sqrt{1-x^2} dx      because the integrand is an even function.

If x=\cos{\theta} then dx = -sin{\theta}d\theta this should transform our integral to

-2\int_{arccos(0)}^{arccos(1)} \sqrt{1-(cos{\theta})^2} \sin{\theta}d\theta =-2\int_{\frac{\pi}{2}}^{0} \sqrt{1-(cos{\theta})^2} \sin{\theta}d\theta  ,

we may switch the limits and introduce a negative, and get  2\int_{0}^{\frac{\pi}{2}} \sqrt{1-(cos{\theta})^2} \sin{\theta}d\theta,  this simplifies to an integral we can work with, 2\int_{0}^{\frac{\pi}{2}} \sin^2{\theta}d\theta .

Recall that \sqrt{\sin^2{\theta}} = |\sin{\theta}| but we have dropped the absolute value signs because \sin{x} \geq 0   on   [0,\frac{\pi}{2}], I am confident that you will be able to use the double angle formula to finish the question. You should find that the algebra confirms the geometry.

And, there goes my first post! This was fun! 😀

Please feel free to make suggestions and/or ask questions.


How clear is this post?