Differentiating x to the n from first principles
The derivative of is
Raising the power by one brings the old power down in front, multiplied by raised to one less than before. This page proves that from the definition of the derivative, for every positive whole number .
Before you start
You need three facts.
- The derivative is a limit. The gradient of at a point is $$
- The binomial expansion of , for a positive whole number : $$
- A sum of terms that tend to limits. If a quantity is a finite sum of terms, and each term tends to a limit, then the whole sum tends to the sum of those limits. In particular, any term carrying a factor of tends to as .
Predict first
The rule says the derivative of is . Expanding the bracket gives
Before you do any algebra, predict: after you subtract , how many of the four remaining terms still carry an ? Then predict what the division by does to each of them, and which single term survives the limit.
The proof
Do the case in full first, then repeat the same steps with 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 . First principles gives four steps: expand, subtract, divide, then let .
Expand. The binomial expansion of a cube is
Subtract. Since , the at the front cancels:
Divide by . Every term on the right carries at least one factor of , so the division is exact:
Take the limit. As , the terms and both tend to , while does not change:
Notice where the came from. It is the term , the only term after that carried exactly one factor of . Dividing by removed that single and left standing.
The case with n left as a letter
Now take , where is a positive whole number. The binomial expansion is
The coefficients are the binomial coefficients, so the coefficient of is , and the last term is .
Subtract . The at the front cancels:
Every term on the right carries a factor of . The first carries one, the next carries , and this continues down to . Nothing is left without an . That is the whole reason the division works, so take out the common factor :
Divide by . The factor cancels:
The division is safe because while the limit is taken.
Take the limit. The first term, , contains no , so it does not change. Every other term still carries at least one factor of , so every one of them tends to . Therefore
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 . That case has terms and stops, which is what makes the last step short: finitely many terms are left carrying an , and each of them tends to .
For other values of the rule still holds. For example
which is the rule with , and
which is the rule with . This argument does not prove either of them. When is negative or a fraction, the binomial expansion of 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 and .
The honest statement of what is proved here is therefore: the power rule for a positive whole number .
Check your understanding
- Use the expansion of to differentiate from first principles. Which term survives the limit?
- The expansion of has a term . After the division by , what is this term, and what happens to it as ?
- Why does the argument above not prove the rule for ?
Answers
- . Subtracting and dividing by gives . As every term except the first tends to , so the derivative is . It came from the term .
- It becomes , which still carries an , so it tends to . It contributes nothing to the derivative.
- For the expansion of does not stop, so there are not finitely many terms left carrying an . The last step of the proof does not apply, even though the rule itself is still true.
A common error
After the division by , a term such as still carries an . It can look like the term that became the answer, so it is tempting to keep it. Do not: dividing by leaves , not a constant, and as this term vanishes. Re-check: after the limit is taken, count the terms. Only has no in it.