Why Is Integration Difficult?

You can learn to differentiate in a day, but you can’t learn to integrate in a lifetime.

The Fundamental Theorem of Calculus says that integration and differentiation are the inverses of each other. So why is it that integration is extraordinarily, incomparably more difficult1 than differentiation?

Well, this is true for a lot of things in life: often, reversing something is much, much harder than doing it in the first place – and in many cases, pretty much impossible. For instance, smash a fragile LEGO set, and it’ll take a while to repair it. It takes considerably more effort to rebuild it than it took to break it apart.2 And if you’ve inevitably lost the instruction set, then it might not even turn out like the original.

A lot of things in maths are reversible. If we have a value xx and double it to give 2x2x, we can perform the opposite of multiplication – division – to get our original value back.

2x/2=x2x / 2 = x

If we plug a value into exe^x, we can retrieve it with the inverse of exponentation, the logarithm.

ln(ex)=xln(e^x) = x

But when we square a number, suddenly things aren’t so black-and-white. We might be inclined to say the “inverse” of squaring is the square root; however, when we have negative numbers that falls apart:

(2)2=44=222???egin{align*} & left(-2 ight)^2 = 4 \ & sqrt{4} = 2 \ & 2 eq -2 qquad ??? end{align*}

If they are inverses we would need x2\sqrt{x^2} to give xx. But as we know, \sqrt{} only gives the positive root – which means x2=x\sqrt{x^2} = |x| instead.

So why does that happen?

Think about what happens when we square 2-2. We have (2)×(2)(-2) \times (-2), so the twos multiply to give 44. But the - signs cancel out. It’s like they weren’t even there. In fact, just looking at the answer of 44, there’s absolutely no way to tell the - signs were there in the original calculation!

This is a loss of information. And unlike losing your password, it’s an unrecoverable loss.

We see the same thing in differentiation. When we have a constant term, like the 22 in x2+x+2x^2 + x + 2, it vanishes when the expression is differentiated:

ddx(x2+x+2)=2x+1 rac{d}{dx} left(x^2 + x + 2 ight) = 2x + 1

Integration is the inverse of differentiation, so integrating this expression should give us the original expression. But the +2+2 is missing, of course:

2x+1 dx=x2+xint 2x + 1 dx = x^2 + x

And this is why we need the +c+c – it’s to account for any possible constant term.

2x+1 dx=x2+x+cint 2x + 1 dx = x^2 + x + c

In this case we knew c=+2c = +2, but there’s no way to know this when evaluating an integral blind.

Now this isn’t what makes integration difficult, but it helps illustrate the idea: when we differentiate, we often lose information. This information doesn’t have to be irreversibly lost, and it may not even be essential – but when we don’t have it, it can make a solution much tougher to spot.

This is perhaps my favourite example for demonstrating this. Let’s differentiate ln(secx+tanx)\ln \left(\sec{x} + \tan{x} \right). We’ll use chain rule and quote the standard derivatives of logarithmic functions.

 ddxln(secx+tanx)= 1secx+tanx(sec2x+secxtanx)= sec2x+secxtanxsecx+tanx= secx(secx+tanx)secx+tanx= secxegin{align*} & rac{d}{dx} ln left(sec{x} + an{x} ight) \ =& rac{1}{sec{x} + an{x}} cdot left(sec^2{x} + sec{x} an{x} ight) \ =& rac{sec^2{x} + sec{x} an{x}}{sec{x} + an{x}} \ =& rac{sec{x} left(sec{x} + an{x} ight)}{sec{x} + an{x}} \ =& sec{x} end{align*}

And miraculously, at the final step secx+tanx\sec{x} + \tan{x} perfectly factors out, leaving us with just secx\sec{x}. Isn’t that beautiful. A rare instance of differentiation not being messy!

But now, suppose we do that in reverse. We want to integrate secx\sec{x}. And we have no clue of what we’ve just seen.

This is where it gets hard, because the critical factor of secx+tanx\sec{x} + \tan{x} – it’s been lost. It was cancelled out in differentiation, just like - when squaring. Without it, the integral is a whole lot more nontrivial, and the challenge lies in spotting that multiplication that allows you to apply [straight-up layer cake].

And so looking at this, one would wonder how you could ever spot the multiplication by secx+tanx\sec{x} + \tan{x} when integrating secx\sec{x}.

This is an extreme case, but the same applies to many, many integrals.3

The challenge of integration is not in carrying out the integration,4 but in manipulating the integrand into a form where we can integrate it.

And how do we do that? Continue reading at How Do We Integrate?


  1. Perhaps a better term would be nontrivial.
  2. Humour me, it was a fragile LEGO set, ok?
  3. It’s quite tough to judge how many, or what proportion, exactly. Given there are an uncountably infinite number of possible integrals.
  4. That being said, algebraic accuracy is also nontrivial. Tough in both differentiation and integration, let’s say that.