Suppose we have the function f(x)=xn, for any integer n. We would like to find the antiderivative of f.
Let us review some differentiation formulas; reversing these formulas will instantly give us what we want.
First, we will differentiate f(x)=xn, for n≥0:
dxdf(x)=h→0limhg(x+h)−g(x)
dxdxn=h→0limh(x+h)n−xn
dxdxn=h→0limh∑k=0n(kn)xkhn−k−xn
dxdxn=h→0limk=0∑n−1(kn)xkhn−k−1
dxdxn=h→0lim(nxn−1+2n(n−1)xn−2h+...)
dxdxn=nxn−1
Now, we will differentiate g(x)=xn1, for n≥0:
dxdxn1=−(xn)2dxdxn
dxdxn1=−x2nnxn−1
dxdx−n=−nx−n−1
In fact, if we replace −n with n in the above equation, we get:
dxdxn=nxn−1
This is actually exactly the same as for nonnegative integers!
Now, we are ready to integrate. Let g(x)=f′(x). Then we have the following:
f(x)=xn
f′(x)=g(x)=nxn−1
∫g(x)dx=f(x)+C
∫nxn−1dx=xn+C
Replacing n−1 with n and dividing by n, we obtain the desired antiderivative:
∫xndx=n+1xn+1+C
And now, we run into the only flaw: what if n+1=0?
Indeed, this is an issue. We must find something else for the antiderivative of f(x)=x−1.
Our savior will just so happen to come in the form of the natural logarithm function.
Recall the following derivation of its derivative:
g(x)=lnx
x=eg(x)
dxdx=dxdeg(x)
1=eg(x)dxdg(x)
1=xdxdg(x)
dxdg(x)=x1
The derivative of the logarithm function is the reciprocal function! Thus, we may say the following:
∫xdx=lnx+C
But the logarithm function is only defined for x>0, so we do the following for maximal generality:
∫xdx=ln∣x∣+C
Thus, we have our desired integration formulas:
∫xndx=n+1xn+1+C (n=−1)
∫xdx=ln∣x∣+C