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 Power Rule

If $a$ is any real number, and $f(x) = x^a,$ then

    $f^{'}(x) = ax^{a-1}.$

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) = x^0 = 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.

(Use the distributive law to expand the right-hand side in each case.)

These examples generalize to give us the following formula

Difference of Two n th Powers

If $a$ and $b$ are real numbers, and $n$ is a positive integer, then

    $a^n - b^n = (a-b)(a^{n-1} + a^{n-2} b + a^{n-3} b^2 + . . . + ab^{n-2} + b^{n-1}).$

Now let us turn back to the proof at hand. Write $f(x) = x^n.$ Then

We now rewrite the numerator using the identity above with $"a"$ replaced by the quantity $(x+h)$ and $"b"$ by $x,$ getting

Now that we have canceled the $h$ from the denominator, we have a closed-form function of $h$ with $h=0$ in its domain, 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

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) = x6{-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 $\frac{1}{x^{n}}$ and use the quotient rule. Applying the quotient rule to $\frac{1}{x^{n}}$ gives

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

To prove this, let $y = x^{p/q}.$ Thus, the problem is to calculate $\frac{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.

Now we take the equation $y^q = x^p$ and differentiate both sides with respect to $x.$ By the chain rule,


Equating these derivatives gives

Now remember that we want $\frac{dy}{dx}$ by itself. We can solve for $\frac{dy}{dx}$ by dividing both sides by the quantity $qy^{q-1}:$

But $y = x^{\frac{p}{q}},$ and so


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).

This proves the power rule for all real powers.