Proof of the Power Rule
Proof of the Power Rule to accompany
Calculus Applied to the Real World Derivatives Topic Summary Derivatives Review Exercises
Index of Calculus Proofs
Return to Main Page Everything for Calculus
The proof is divided into several steps. However, you can skip to the last step for a quick proof that uses the formula for the derivative of exponential functions.
Step 1: Proof of the Power Rule for Non-Negative Integer Exponents
In this step, we assume that f(x) = x n, where n is some positive integer: 0, 1, 2, 3, ....
First, if n happens to be zero, f(x) = x0 = 1, a constant, and so its derivative is zero, by the result we proved in the text.
Thus, assume that n is a positive integer. To follow the proof of this step you must recognize a nice little algebraic fact. First look at these identities.
a1- b1 = (a-b)
a2- b2 = (a-b)(a+b)
a3- b3 = (a-b)(a2 + ab + b2)
a4- b4 = (a-b)(a3 + a2b + ab2 + b2)
. . . etc.
(Use the distributive law to expand the right-hand side in each case.) These examples generalize to give us the following formula
Now let us turn back to the proof at hand. Write f(x) = x n . Then
f '(x) =
lim h 0
f(x+h) - f(x) h
=
lim h 0
(x+h)n - x n
h)
We now rewrite the numerator using the identity above with "a" replaced by the quantity (x+h) and "b" by x, getting
= lim h
0 [(x+h) - x][(x+h)n -1 + (x+h)n -2x + . . . + x n -1]
h
=
lim h 0
h[(x+h)n -1 + (x+h)n -2x + . . . + x n -1] h
Since (x+h)-x = h
= lim h 0
[(x+h)n -1 + (x+h)n -2x + . . . + x n -1] Cancel the h
Now that we have canceled the h from the denominator, we have a closed-form function, so we can evaluate the limit by substituting h = 0. Each term in the sum becomes x n -1 if we do that, so we get
f '(x) = x n -1 + x n -1 + . . . + x n -1.
There are n terms, so f '(x) = nx n -1, completing the proof of this step.
Step 2: Proof of the Power Rule for Negative Integer Exponents Here, we assume that f(x) = x -n , where n = 0, 1, 2, 3, ... . Since we are required here to justify the power rule for negative integers, we can't simply go ahead and use it! "Officially," all we can use are the power
rule for positive integers (Step 1), and the product and quotient rules. (The product rule is proved in the text, and the quotient rule is proved here.)
What we can do is this: write x-n as 1/x n and use the quotient rule. Applying the quotient rule to 1/x n gives
d dx 1
x n
=
(0)(x n) - (1)(nx n-1)
(x n)2
=
-nx n-1
x2n
= -nx n-1-2n = -nx-n-1,
and we are done with this step.
Step 3: Proof of the Power Rule for Rational Exponents
For this step, we assume that f(x) = x p/q, where p and q are integers (positive or negative), and we must show that
f'(x) =
p
q
x p/q - 1.
To prove this, let y = x p/q. Thus, the problem is to calculate dy/dx without assuming the power rule for anything but integer exponents. Before we do anything, we raise both sides to the power q in order to get integer exponents everywhere.
y q = (x p/q)q = x p
Now we take the equation y q = x p and differentiate both sides with respect to x. By the chain rule,
d dx (y q ) = qy q -1 dy
dx , whereas
d
dx
(x p ) = px p -1 . Equating these derivatives gives
qy q -1 dy dx
= px p -1.
Now remember that we want dy/dx by itself. We can solve for dy/dx by dividing both sides by the quantity qy q -1:
dy dx = px p -1
qy q -1
. But y = x p/q , and so
d dx (x p/q ) = px p -1 q(x p/q )q -1
=
px p -1
qx p - p/q
= p q
x p -1-(p -p/q)
= p x p/q - 1.
q
Done!
Step 4: Proof of the Power Rule for Arbitrary Real Exponents (The General Case)
Actually, this step does not even require the previous steps, although it does rely on the use of exponential functions and their derivatives. First, we need the equality x n = e nlnx . (You can check this by taking the natural logarithm of both sides.)
d dx x n = d dx
e nlnx = e
nlnx
d
dx
[n lnx]
By the derivative rule for exponential
functions
= e nlnx
n
x
By the derivative rule for logarithmic functions
= x n
n
x
By the equality x n = e nlnx
= nx n -1.
This proves the power rule for all real powers.