Try to integrate .
Go on, try your usual moves. U-substitution needs a derivative of the inside sitting outside, and there isn't one. Power rule doesn't apply to a square root of a difference. Even the reverse chain rule stalls out immediately.
Nothing works. And that's strange, because isn't some exotic function. It's just the top half of a circle.
That's the clue. Circles, right triangles, and the Pythagorean theorem all speak the same language. If we can translate our square root into that language, the problem should get easier. That's exactly what trigonometric substitution does.
Why does a circle equation break every rule you know?
Here's the thing about : it comes from the circle equation , solved for . And circles are built out of angles, not out of and directly. Every point on a circle of radius 3 can be written as for some angle .
So if is really a stand-in for an angle in disguise, our integral is fighting the wrong variable. Swap it out. Let instead of treating as free.
That one substitution is the entire idea behind trig substitution. When you see a square root shaped like a circle, an ellipse-ish expansion, or a hyperbola, replace with the trig function that matches that shape, and the square root collapses.
The fix: let the Pythagorean identity do the work
Watch what happens when . Substitute directly into the radical:
And here's the payoff: is just . That's the Pythagorean identity, the same one you memorized in trig class, now doing real work for us.
The square root is gone. No radical, just a plain cosine. That's not a coincidence and it's not a party trick. It's true for every value of , and you can check it yourself.
Drag θ around the semicircle. The point's height and the value of √(9−x²) computed directly stay locked together the entire time.
Drag anywhere on that semicircle. The point's height, computed two completely different ways, one from the raw square root and one from , never disagrees by more than a rounding error. The identity isn't an approximation. It's exact, always.
Three shapes, three substitutions
is one shape. But radicals come in three flavors, and each one matches a different Pythagorean identity:
- calls for , because
- calls for , because
- calls for , because
You don't need to memorize these as separate rules. Each one comes from a right triangle with sides , , and the radical. Once you draw that triangle, the substitution falls out on its own.
Pick the shape of the radical you're stuck on. Each one builds a different right triangle, and the triangle tells you exactly which substitution to use.
Notice that all three triangles have the exact same skeleton: an adjacent side, an opposite side, a hypotenuse, and sitting at the same corner. The only thing that changes is which side is , which is , and which is the radical. Match the radical in front of you to one of these three shapes, and you already know which substitution to use.
Does swapping variables actually preserve the area?
This is the part that should bother you a little. We just replaced with , a completely different variable with a completely different range. Is the integral we're computing after the swap still measuring the same area we started with?
Yes. And you can watch it happen instead of taking it on faith.
Same integral, two different shapes. Watch both Riemann sums climb toward the exact same number as n grows.
The left panel is , computed the ordinary way, rectangle by rectangle, in . The right panel is what that same integral turns into after the substitution: , rectangles in . Hit play and watch both sums climb toward , the exact area of a quarter circle of radius 3. Different variable, different-looking curve, same number. That's what makes the substitution legal, not just convenient.
Finishing the problem without leaving an angle in your answer
Now let's actually solve . With and :
That's a standard integral. Using the identity :
We've got an antiderivative. But it's written in , and the original problem was written in . We need to translate back, and this is exactly where that right triangle earns its keep. From , we know . The other two sides of the triangle give us directly, no extra algebra required.
Once you've integrated in θ, you still owe an answer in x. Drag x/a and read every ratio straight off the triangle you already built.
Drag and watch every ratio update at once: , , , and itself. That's the whole back-substitution step. You're not solving anything new here, just reading numbers off a triangle you already built.
Plugging and back in:
No angle left anywhere. Just , exactly as the original problem asked.
The other two triangles, briefly
The and cases follow the identical playbook, just with a different triangle. For , you'd spot the shape, set , and the identity turns the radical into . For , you'd spot , set , and does the collapsing.
Same three moves every time: match the shape, substitute, simplify with the identity, integrate, then read the answer back off the triangle.
The short version
A square root of , , or resists ordinary integration because it's secretly a circle, a hyperbola, or an ellipse-shaped identity wearing algebra as a disguise. Trig substitution unmasks it: replace with , , or to match the shape, and the corresponding Pythagorean identity collapses the radical into a single clean trig term. The substitution doesn't just simplify the symbols, it preserves the actual area, which you can verify numerically by comparing Riemann sums before and after. And when you're done integrating in , the same right triangle that motivated the substitution hands you every ratio you need to write the final answer back in terms of .
The whole technique is really just one triangle, built once, used twice: once going in, once coming back out.
All visualizations are interactive React components running entirely in your browser, computed live with no lookup tables. The area comparison uses midpoint Riemann sums with up to 90 rectangles per side. No libraries beyond React.