Everything & Anything

The prime integrator’s standard arsenal

Integration can’t be learnt in a day. Nor can you, or should you, memorise in a day all of the useful formulae, identities and other quotable results that will come in crucial throughout your adventures in integration.

You can use this page as a quick reference, refresher, roadmap, or (if you really want) crash course in the core components of integration. I wouldn’t really recommend trying to ‘learn’ something you’ve never encountered just from this page – each topic goes far too deep to adequately cover in this confined space, and you’ll almost certainly be better off, say, watching a YouTube video by 3b1b on it ;)

What will be far more long-lasting, worthwhile and rewarding than simply memorising these formulae is developing your mathematical fluency and intuition. The best way to remember them is not to recite them, or make flash cards, but to use them. Try deriving identities yourself. Only through practice, experimentation and self-discovery will you learn unforgettably.1

Enjoy 🥕

Algebra

Completing the Square

Given a quadratic with no coefficient of x2x^2

x2+bx+cx^2 + bx + c

We can “complete the square” to reduce the power of xx like so

=(xb2)2(b2)2+c= left(x - rac{b}{2} ight)^2 - left( rac{b}{2} ight)^2 + c

Power Laws

A negative exponent is equivalent to taking a reciprocal:

x1=1xxn=1xnex=1exx^{-1} = rac{1}{x} qquad x^{-n} = rac{1}{x^n} qquad e^{-x} = rac{1}{e^x}

When multiplying terms with the same base, you can add the exponents:

xpxq=x(p+q)sin(x)2sin(x)3=sin(x)5exex=exx=e0=1egin{align*} x^p cdot x^q &= x^{(p+q)} \ sin(x)^2 cdot sin(x)^3 &= sin(x)^5 \ e^x cdot e^{-x} &= e^{x-x} = e^0 = 1 end{align*}

Keep in mind this can go the other way too!

ex+1=exe1=eexe^{x+1} = e^x cdot e^1 = e cdot e^x

When dividing, you can subtract the exponents. This is equivalent to making the power negative and adding.

xpxq=xpxqx(pq) rac{x^p}{x^q} = x^p cdot x^{-q} x^{(p-q)}

Log Laws

[!Tip] Here log\log denotes a logarithm of any base, although the natural logarithm ln\ln (with base ee) is primarily used in integration. If you see a rogue log\log in the wilderness of mathematics with no base indicated, you can pretty safely assume it’s ln\ln.

An exponent inside a logarithm can be extracted as a coefficient:

log(xn)=nlogxlog(x^n) = n log{x}

Note that the exponent must be applied to the whole term. For instance

log(x2+1)2log(x+1)log(x^2 + 1) eq 2 log(x + 1)

Also, unless you intend to use a complex-valued logarithm, it’s best to wrap the leftover term with an absolute value:

log(xn)=nlogxlog(x^n) = n log{|x|}

Multiplication inside the log corresponds to addition outside:

logxy=logx+logylog{xy} = log{x} + log{y}

[!Note] Unless you are using a [complex-valued logarithm], this only holds true for positive xx and yy.

Analogous to exponents, division inside the logarithm correponds to subtraction outside:

log(xy)=log(xy1)=logx+log(y1)=logxlogyegin{align*} logleft( rac{x}{y} ight) &= log(x cdot y^{-1}) \ &= log{x} + log(y^{-1}) \ &= log{x} - log{y} end{align*}

Binomial Expansion

It looks scary, but it’s just like any other rule.

(x+y)2=x2+2xy+y2(x+y)3=x3+3x2y+3xy2+y3egin{align*} (x + y)^2 &= x^2 + 2xy + y^2 \ (x + y)^3 &= x^3 + 3x^2y + 3xy^2 + y^3 end{align*}

Watch out for the reverse, and remember the terms can come in any order!

x2+y2+2xy=(x+y)2x^2 + y^2 + 2xy = (x + y)^2

Partial Fractions

Main article: Partial Fractions

Derivatives & Antiderivatives

Integration and differentiation are inverses of each other. Learning something’s derivative is the same as learning it’s antiderivative; it might just take time to get used to going from one to the other.

Also, this stuff is really not quite linear (no pun intended). You sort of pick them up bit by bit as you go, there’s no ‘order’ to learning them. Many even toe into multiple different rules or methods, so categorising them is a somewhat overly restrictive endeavour.

Core

xn=nxx1egin{align*} x^n &= nx^{x-1} end{align*}

Exponentials & Logarithms

exe^x is famously its own derivative and antiderivative.

ddxex=exddxekx=kekxegin{align*} rac{d}{dx} , e^x &= e^x \ rac{d}{dx} , e^{kx} &= ke^{kx} end{align*}

ln(x)\ln(x) has a very nice derivative.

ddxlnx=1x rac{d}{dx} ln{x} = rac{1}{x}

Trigonometry

The primitive trig functions sin(x)\sin(x) and cos(x)\cos(x) form a cycle when differentiated:

ddxsinx=cosxddxcosx=sinxddx(sinx)=cosxddx(cosx)=sinxegin{align*} rac{d}{dx} , sin{x} &= cos{x} \ rac{d}{dx} , cos{x} &= -sin{x} \ rac{d}{dx} left( -sin{x} ight) &= -cos{x} \ rac{d}{dx} left( -cos{x} ight) &= sin{x} end{align*}

The evolved trig functions tan(x)\tan(x) and sec(x)\sec(x) have memorable derivatives that ‘roll’ off the tongue:

ddxtanx=sec2xddxsecx=secxtanxegin{align*} rac{d}{dx} , an{x} &= sec^2{x} \ rac{d}{dx} , sec{x} &= sec{x} an{x} end{align*}

The other evolved trig functions cot(x)\cot(x) and csc(x)\csc(x) have analogous derivatives, except negative:

ddxcotx=csc2xddxcscx=cscxcotxegin{align*} rac{d}{dx} , cot{x} &= -csc^2{x} \ rac{d}{dx} , csc{x} &= -csc{x}cot{x} end{align*}

Hyperbolic Trigonometry

The hyp trig functions also form a cycle when differentiated, except the signs vanish:

ddxsinhx=coshxddxcoshx=sinhxegin{align*} rac{d}{dx} , sinh{x} &= cosh{x} \ rac{d}{dx} , cosh{x} &= sinh{x} end{align*}

The compound evolutions are analogous:

ddxtanhx=sech2xddxcothx=csch2xegin{align*} rac{d}{dx} , anh{x} &= operatorname{sech}^2{x} \ rac{d}{dx} , coth{x} &= operatorname{csch}^2{x} end{align*}

The other evolutions have a sign change:

ddxsechx=sechxtanhxddxcschx=cschxcothxegin{align*} rac{d}{dx} , operatorname{sech}{x} &= - operatorname{sech}{x} anh{x} \ rac{d}{dx} , operatorname{csch}{x} &= operatorname{csch}{x}coth{x} end{align*}

Integration

Power rule

For n1n \neq -1:

xn dx=1n+1xn+1int x^n dx = rac{1}{n+1} x^{n+1}

For n=0n = 0 this is equivalent to integrating a constant:

k dx=kxint k dx = kx

Inverse chain rule

f(g(x))g(x) dx=f(g(x))int f'(g(x)) , g'(x) dx = f(g(x))

Substitution

For an integral

f(g(x))g(x) dxint f(g(x)) , g'(x) dx

Letting g(x)=tg(x) = t gives

g(x) dx=dtg'(x) dx = dt

So

f(t) dtint f(t) dt

Or equivalently:

f(g(x)) dx=f(t)1g(x) dtint f(g(x)) dx = int f(t) cdot rac{1}{g'(x)} dt

Layer cake

For the degenerate case of power rule where n=1n = -1, the integral is different:

1x=lnxint rac{1}{x} = ln{x}

Combining this with substitution provides a useful abstraction:

f(x)f(x) dx=ln(f(x))int rac{f'(x)}{f(x)} dx = ln(f(x))

Parts

When integrating a product of 2 expressions

fg dx=fgfg dxint fg' dx = fg - int f'g dx

Arctan

1x2+1=tan1xint rac{1}{x^2 + 1} = an^{-1}{x}

In the general case

1x2+a2=1atan1(xa)int rac{1}{x^2 + a^2} = rac{1}{a} an^{-1}left( rac{x}{a} ight)

Any integral of the form

1ax2+b dxint rac{1}{ax^2 + b} dx

can be reduced to this form by factoring out 1a\frac{1}{a}.

Artanh

Analogous to arctan, but negative.

11x2=tanh1xint rac{1}{1 - x^2} = anh^{-1}{x}

And in the general case

1a2x2=1atanh1(xa)int rac{1}{a^2 - x^2} = rac{1}{a} anh^{-1}left( rac{x}{a} ight)

Trigonometry

Functions

Trigonometric functions aren’t unique to integration, but they damn well show up a lot. Fluency in the relationships between them will take you far.

It’s super useful to visualise trigonometric functions with a right triangle. If we let the hypotenuse be 11, then the side opposite θ\theta becomes sinθ\sin{\theta}, and the side adjacent becomes cosθ\cos{\theta}.

Periodicity

Values

Identities

The primitive trigonometric identity is:

sin2x+cos2x=1sin^2{x} + cos^2{x} = 1

Dividing through by cos2x\cos^2{x} gives the evolved identity:

tan2x+1=sec2x an^2{x} + 1 = sec^2{x}

Dividing through by sin2x\sin^2{x} gives the other evolved identity:

1+cot2x=csc2x1 + cot^2{x} = csc^2{x}

The angle addition (compound angle) formulae for sin(x)\sin(x) is:

sin(x+y)=sin(x)cos(y)+cos(x)sin(y)sin(xy)=sin(x)cos(y)cos(x)sin(y)egin{align*} sinleft( x extcolor{#4d9dcd}{+} y ight) &= sin(x)cos(y) extcolor{#4d9dcd}{+} cos(x)sin(y) \ sinleft( x extcolor{#f07d1c}{-} y ight) &= sin(x)cos(y) extcolor{#f07d1c}{-} cos(x)sin(y) end{align*}

And for cos(x)\cos(x):

cos(x+y)=cos(x)cos(y)sin(x)sin(y)cos(xy)=cos(x)cos(y)+sin(x)sin(y)egin{align*} cosleft( x extcolor{#4d9dcd}{+} y ight) &= cos(x)cos(y) extcolor{#f07d1c}{-} sin(x)sin(y) \ cosleft( x extcolor{#f07d1c}{-} y ight) &= cos(x)cos(y) extcolor{#4d9dcd}{+} sin(x)sin(y) end{align*}

For x=yx = y we have the double angle formulae:

sin(2x)=2sinxcosxcos(2x)=cos2xsin2xegin{align*} sin(2x) &= 2sin{x}cos{x} \ cos(2x) &= cos^2{x} - sin^2{x} end{align*}

Rearranging the latter identity gives alternate double angle formulae:

cos(2x)=12sin2xcos(2x)=2cos2x1egin{align*} cos(2x) &= 1 - 2sin^2{x} \ cos(2x) &= 2cos^2{x} - 1 end{align*}

Rearranging these gives the power reduction formulae:

sin2x=12(1cos2x)cos2x=12(1+cos2x)egin{align*} sin^2{x} &= rac{1}{2} left( 1 extcolor{#f07d1c}{-} cos{2x} ight) \ cos^2{x} &= rac{1}{2} left( 1 extcolor{#4d9dcd}{+} cos{2x} ight) end{align*}

Hyperbolic Trigonometry

You don’t need to even understand hyperbolic trig to use it in integration. Effectively, it’s just redressed trig with some sign changes.

Functions

The hyp trig functions can be defined in terms of exe^x:

sinhx=exex2coshx=ex+ex2egin{align*} sinh{x} &= rac{e^x - e^{-x}}{2} \ cosh{x} &= rac{e^x + e^{-x}}{2} end{align*}

Identities

It’s also worth noting that any question which can be solved with hyp trig sub can also be solved with plain trig sub, using the identity tan2x+1=sec2x\tan^2{x} + 1 = \sec^2{x}.

Series

Sum of Geometric Series

For a geometric series with first term aa and common ratio rr

aarar2ar3ar4...a quad ar quad ar^2 quad ar^3 quad ar^4 quad ...

If r<1\left| r \right| < 1 then the infinite summation of the series converges:

S=a1rS_{infin} = rac{a}{1-r}

This shows up everywhere.


  1. See What Do I Do? for more.