PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] derivative of $x^n$ (Theorem)

Recall the typical derivative formula is $$ \frac{df}{dx}=\lim_{h\rightarrow 0}\frac{f(x+h)-f(x)}{h} $$ The derivative of $x^n$ can be computed directly from this formula utilizing the binomial theorem, see for instance an alternative proof of the deriviative of $x^n$ .

However, to avoid invoking the binomial theorem one can often make use of alternative definitions of the derivative which are justified by inspecting a diagrams and/or through the use of algebra. Instead of using $h$ , use $h=x-a$ so that $a\rightarrow x$ is the same as $h\rightarrow 0$ . This gives the formula $$ \frac{df}{dx}=\lim_{a\rightarrow x}\frac{f(x)-f(a)}{x-a} $$ This is the standard slope formula between the two points $(a,f(a))$ and $(x,f(x))$ only now we let $a$ approach $x$ .

From this formula the casual rule $$ \frac{d}{dx}(x^n)=nx^{n-1 $$ for positive integer values of $n$ can be easily derived.

First notice that $$ (x-a)(x^{n-1}+x^{n-2}a+\cdots + x a^{n-2}+ a^{n-1})=x^n - a^n $$ Therefore \begin{equation*} \frac{d}{dx}(x^n)=\lim_{a\rightarrow x} \frac{x^n-a^n}{x-a} =\lim_{a\rightarrow x} (x^{n-1}+x^{n-2}a+\cdots + xa^{n-2}+ a^{n-1}) =nx^{n-1}. \end{equation*} When $n$ is not a positive integer the proof typically depends on implicit differentiation as follows: $$ y=x^n;\quad \ln y=\ln x^n=n\ln x;\quad \frac{y'}{y}=n\frac{1}{x};\quad y'=n\frac{y}{x}=nx^{n-1} $$ For the theoretically inclined this solution can be disappointing because it depends on a proof for the derivative of $\ln x$ . Most texts simply redefine $\ln x$ as the integral of $1/x$ or in some similar fashion delay an honest proof.

For this reason it is often instructive to prove the power rule in stages depending on the type of exponents. Having proven the result for $n$ a positive integer, one can extend this to $-n$ using the product rule.

To begin with observe $1=x^n x^{-n}$ . Therefore \begin{eqnarray*} 0 & = & \frac{d}{dx}(1)=\frac{d}{dx}(x^n x^{-n})=\frac{d}{dx}(x^n) x^{-n}+x^n \frac{d}{dx}(x^{-n})\\ & = & nx^{n-1} x^{-n}+x^n\frac{d}{dx}(x^{-n})=\frac{n}{x}+x^n\frac{d}{dx}(x^{-n}). \end{eqnarray*}Now solve for $\frac{d}{dx}(x^{-n})$ . $$ \frac{d}{dx}(x^{-n})=-\frac{n}{x}\frac{1}{x^n}=(-n)x^{(-n)-1} $$

Likewise fractional powers can also be accommodated without the use of $\ln x$ by beginning with the property: given $1/b$ a rational number then $$ x= (x^{1/b})^{b} $$ Using the chain rule we can prove the power rule for $x^{1/b}$ as follows. $$ 1 = \frac{d}{dx}(x) = \frac{d}{dx}((x^{1/b})^b) = b(x^{1/b})^{b-1} \frac{d}{dx}(x^{1/b}). $$ Once again solve for $\frac{d}{dx}(x^{1/b})$ $$ \frac{d}{dx}(x^{1/b})=\frac{1}{b (x^{1/b})^{b-1}}=\frac{1}{b} x^{1/b} x^{-1} =\frac{1}{b} x^{1/b-1}. $$

Finally, the derivative of $x^{a/b}$ for any fraction $a/b$ is done by observing that $x^{a/b}=(x^a)^{1/b}$ so indeed the chain rule once again solves the problem.




"derivative of $x^n$" is owned by Algeboy. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: derivatives by pure algebra, alternative proof of derivative of $x^n$

Other names:  Power rule

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: fraction, chain rule, rational number, property, fractional powers, product rule, exponents, type, similar, integral, solution, implicit differentiation, proof, integer, positive, points, slope, algebra, diagrams, definitions, binomial theorem, formula, derivative
There are 7 references to this entry.

This is version 13 of derivative of $x^n$, born on 2006-04-08, modified 2006-09-06.
Object id is 7811, canonical name is DerivativeOfXn.
Accessed 5187 times total.

Classification:
AMS MSC26A24 (Real functions :: Functions of one variable :: Differentiation : general theory, generalized derivatives, mean-value theorems)
 26B05 (Real functions :: Functions of several variables :: Continuity and differentiation questions)

Pending Errata and Addenda
None.
[ View all 9 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)