Proofs

Differentiating x to the n from first principles

The derivative of xnx^n is

ddx(xn)=nxn−1.\frac{d}{dx}\left(x^n\right) = n x^{n-1}.

Raising the power by one brings the old power down in front, multiplied by xx raised to one less than before. This page proves that from the definition of the derivative, for every positive whole number nn.

Before you start

You need three facts.

Predict first

The rule says the derivative of x4x^4 is 4x34x^3. Expanding the bracket gives

(x+h)4=x4+4x3h+6x2h2+4xh3+h4.(x + h)^4 = x^4 + 4x^3h + 6x^2h^2 + 4xh^3 + h^4.

Before you do any algebra, predict: after you subtract x4x^4, how many of the four remaining terms still carry an hh? Then predict what the division by hh does to each of them, and which single term survives the limit.

The proof

Do the case n=3n = 3 in full first, then repeat the same steps with nn left as a letter. The second run holds no new ideas; it is the first run with more letters in it.

The case n = 3

Take f(x)=x3f(x) = x^3. First principles gives four steps: expand, subtract, divide, then let h→0h \to 0.

Expand. The binomial expansion of a cube is

f(x+h)=(x+h)3=x3+3x2h+3xh2+h3.f(x + h) = (x + h)^3 = x^3 + 3x^2h + 3xh^2 + h^3.

Subtract. Since f(x)=x3f(x) = x^3, the x3x^3 at the front cancels:

f(x+h)−f(x)=3x2h+3xh2+h3.f(x + h) - f(x) = 3x^2h + 3xh^2 + h^3.

Divide by hh. Every term on the right carries at least one factor of hh, so the division is exact:

f(x+h)−f(x)h=3x2+3xh+h2.\frac{f(x + h) - f(x)}{h} = 3x^2 + 3xh + h^2.

Take the limit. As h→0h \to 0, the terms 3xh3xh and h2h^2 both tend to 00, while 3x23x^2 does not change:

f′(x)=lim⁡h→0(3x2+3xh+h2)=3x2.f'(x) = \lim_{h \to 0}\left(3x^2 + 3xh + h^2\right) = 3x^2.

Notice where the 3x23x^2 came from. It is the term 3x2h3x^2h, the only term after x3x^3 that carried exactly one factor of hh. Dividing by hh removed that single hh and left 3x23x^2 standing.

The case with n left as a letter

Now take f(x)=xnf(x) = x^n, where nn is a positive whole number. The binomial expansion is

(x+h)n=xn+nxn−1h+(n2)xn−2h2+⋯+nxhn−1+hn.(x + h)^n = x^n + n x^{n-1} h + \binom{n}{2} x^{n-2} h^2 + \cdots + n x h^{n-1} + h^n.

The coefficients are the binomial coefficients, so the coefficient of hh is (n1)=n\binom{n}{1} = n, and the last term is (nn)hn=hn\binom{n}{n}h^n = h^n.

Subtract f(x)=xnf(x) = x^n. The xnx^n at the front cancels:

f(x+h)−f(x)=nxn−1h+(n2)xn−2h2+⋯+nxhn−1+hn.f(x + h) - f(x) = n x^{n-1} h + \binom{n}{2} x^{n-2} h^2 + \cdots + n x h^{n-1} + h^n.

Every term on the right carries a factor of hh. The first carries one, the next carries h2h^2, and this continues down to hnh^n. Nothing is left without an hh. That is the whole reason the division works, so take out the common factor hh:

f(x+h)−f(x)=h(nxn−1+(n2)xn−2h+⋯+nxhn−2+hn−1).f(x + h) - f(x) = h\left(n x^{n-1} + \binom{n}{2} x^{n-2} h + \cdots + n x h^{n-2} + h^{n-1}\right).

Divide by hh. The factor hh cancels:

f(x+h)−f(x)h=nxn−1+(n2)xn−2h+⋯+nxhn−2+hn−1.\frac{f(x + h) - f(x)}{h} = n x^{n-1} + \binom{n}{2} x^{n-2} h + \cdots + n x h^{n-2} + h^{n-1}.

The division is safe because h≠0h \neq 0 while the limit is taken.

Take the limit. The first term, nxn−1n x^{n-1}, contains no hh, so it does not change. Every other term still carries at least one factor of hh, so every one of them tends to 00. Therefore

ddx(xn)=lim⁡h→0(nxn−1+(n2)xn−2h+⋯+hn−1)=nxn−1.\frac{d}{dx}\left(x^n\right) = \lim_{h \to 0}\left(n x^{n-1} + \binom{n}{2} x^{n-2} h + \cdots + h^{n-1}\right) = n x^{n-1}.

That is the power rule.

What the argument needs, and what it does not

The expansion at the centre of the proof is the binomial expansion for a positive whole number nn. That case has n+1n + 1 terms and stops, which is what makes the last step short: finitely many terms are left carrying an hh, and each of them tends to 00.

For other values of nn the rule nxn−1n x^{n-1} still holds. For example

ddx(1x)=ddx(x−1)=−x−2,\frac{d}{dx}\left(\frac{1}{x}\right) = \frac{d}{dx}\left(x^{-1}\right) = -x^{-2},

which is the rule with n=−1n = -1, and

ddx(x)=ddx(x1/2)=12x−1/2,\frac{d}{dx}\left(\sqrt{x}\right) = \frac{d}{dx}\left(x^{1/2}\right) = \tfrac{1}{2}x^{-1/2},

which is the rule with n=12n = \tfrac{1}{2}. This argument does not prove either of them. When nn is negative or a fraction, the binomial expansion of (x+h)n(x + h)^n does not stop. It runs on forever, so the short last step above no longer describes what is happening. Those cases are proved later in the course, by writing the power in another form and using the derivatives of exe^x and ln⁡x\ln x.

The honest statement of what is proved here is therefore: the power rule for a positive whole number nn.

Check your understanding

  1. Use the expansion of (x+h)5(x + h)^5 to differentiate x5x^5 from first principles. Which term survives the limit?
  2. The expansion of (x+h)n(x + h)^n has a term (n2)xn−2h2\binom{n}{2}x^{n-2}h^2. After the division by hh, what is this term, and what happens to it as h→0h \to 0?
  3. Why does the argument above not prove the rule for n=−2n = -2?
Answers
  1. (x+h)5=x5+5x4h+10x3h2+10x2h3+5xh4+h5(x + h)^5 = x^5 + 5x^4h + 10x^3h^2 + 10x^2h^3 + 5xh^4 + h^5. Subtracting x5x^5 and dividing by hh gives 5x4+10x3h+10x2h2+5xh3+h45x^4 + 10x^3h + 10x^2h^2 + 5xh^3 + h^4. As h→0h \to 0 every term except the first tends to 00, so the derivative is 5x45x^4. It came from the term 5x4h5x^4h.
  2. It becomes (n2)xn−2h\binom{n}{2}x^{n-2}h, which still carries an hh, so it tends to 00. It contributes nothing to the derivative.
  3. For n=−2n = -2 the expansion of (x+h)−2(x + h)^{-2} does not stop, so there are not finitely many terms left carrying an hh. The last step of the proof does not apply, even though the rule itself is still true.

A common error

After the division by hh, a term such as (n2)xn−2h\binom{n}{2}x^{n-2}h still carries an hh. It can look like the term that became the answer, so it is tempting to keep it. Do not: dividing h2h^2 by hh leaves hh, not a constant, and as h→0h \to 0 this term vanishes. Re-check: after the limit is taken, count the terms. Only nxn−1n x^{n-1} has no hh in it.

Settings

Colour scheme

Applies to every book you read here.

Reading theme

Applies to every book you read here.