We develop the power rule, otherwise known as the polynomial rule, to take derivatives of terms with the form for any real value .
Video Lecture
In this video we aim to develop a rule to quickly compute the derivative of for any real number . In particular we want to develop a rule that lets us avoid needing to compute the limit of the difference quotient each time!
Text and Additional Details
Often the best place to start is to just see what happens when we just go ahead and try to compute what we want. To this end, let’s see what happens when we try to determine the limit of the difference quotient for .
Definition of | ||
...? | Not sure where to go from here? | |
We’ve already run into a bit of trouble! Normally we would try to expand the term and then combine like terms. Unfortunately, since we don’t know what “” actually equals, it’s hard to know how to go about this... if we knew was 2, or 3, or 4, or any specific number, we could do it (although it could get annoying for larger values certainly!) but the entire point is that we don’t know what is specifically... so what now?
Technically, what mathematicians use here, is something called the Binomial Expansion Theorem. The specifics of this theorem however are a little outside the scope of this course, so instead we will build a somewhat intuitive understanding of what it does and how we can use it (rather than rigorously proving the full result).
Binomial Expansion Theorem.... ish.
Let’s start by thinking about what means - the product of with itself times. So we can write it as: When trying to expand this out we can think of it as choosing which of the two terms, the or the we want to multiply together from each set of parentheses; and the full expansion is multiplying together every possible combination of these choices. For example, let’s see what happens when :
Definition of exponent. | ||
All combinations using from first parentheses and from second parentheses | ||
All combinations using from first parentheses and from second parentheses | ||
All combinations of from first parentheses and in second parentheses. | ||
All combinations of from first parentheses and in second parentheses. | ||
Combine like terms. |
Here we can see that, if we select one from or in each set of parentheses and multiply them together, and do every possible combination exactly once, we get the full expansion (which we then need to combine back together by combining like terms). This is a bit of a bulky way to expand things of the form , but it works. And we can make a few key observations that will be key for using this to solve our original problem.
The first observation is that, there will be exactly one combination that is entirely the first term to the power of . In our example of , there was exactly one . Likewise, for , there will be exactly one , namely the combination where the is chosen in each set of parentheses to be multiplied together.
The second observation is that there will be exactly combinations that have a single factor. In our example, multiplying has, as factors with only a single factor, the following: , , . Thus there are terms with a single factor for , and similarly there are terms with exactly one factor in . Notice that, since each term has a total of factors in it (whichever terms you selected to multiply together when you were selecting a term from each set of parentheses) this means that the terms with a single factor must then have as the remaining factors, since they are formed by choosing “’s” and 1 from the sets of parentheses.
The final observation is that, all other terms have at least two factors. As we can see in our example, we had the single term, the 3 terms, and then the rest of the terms either had the form or ; both of which have at least two factors.
So, we can conclude then, that if we expand out we will get a single , terms of the form , and the rest of the factors (whatever they are) will have at least 2 factors. Since these extra terms all have at least 2 factors, we can factor a out from these terms without any trouble. So, that means we can write as follows: Where the leftover terms are all of the form to some non-negative power times to some non-negative power.
So, what were we doing again?
Now, believe it or not, we can return to our original problem! Recall our previous calculation, and apply our new result for expanding :
Definition of | ||
Expansion Argument | ||
Combine and . | ||
Factor out . | ||
Cancel . | ||
Evaluate and notice | ||
Leftover Terms are bounded. |
Believe it or not, we’re done! We notice that, since the powers of and are all non-negative in the “leftover terms” part, it is bounded (i.e. not going to infinity) and so the factor of outside going to zero crushes the entire term down to zero, leaving just left over. We can now formally record the polynomial rule.
Thus, after all this effort, we can conclude that for a general function , the derivative is simply . It took a surprising amount of effort to get there, but the beautiful thing is that, since we have proved the general result, we no longer need to go through this effort to do this derivative. Consider, for example, the time and effort involved in expanding something like in the difference quotient to find the derivative of ... it would certainly be doable, but a tedious nightmare. Now we simply use our rule to conclude that the derivative is . As we said, a little (or sometimes a lot) more work up front, to have much less work later!
Some useful consequences of the polynomial rule theorem are recorded next, but notice that these are just specific applications of the above theorem. There is no need to memorize these, as you get these results simply by applying the polynomial rule. Nonetheless these situations are so common (and not always intuitive) that they bear mentioning.
- Proof
- Let be a real number. Then the constant function may be written as . Thus
- Proof
- Let be any real number and form the line . Then
We have seen how we can make an argument to determine a nice and elegant rule to find the derivative for any function of the form . Strictly speaking the argument we gave is one that only works for that are non-negative integers, but actually this rule holds for any (finite) real number , including irrational and negative values.
This means we can compute the derivative of something like , which would simply be . Trying to compute this derivative using the difference quotient would be much more difficult than even one would think, but we will take it as proved for now. For those that are interested in the deeper complications in proving this kind of case (for non-integer values of ), students would be well advised to look into a real analysis course, like Advanced Calculus or Introduction to Modern Analysis.