# Thread:

1. ## How to prove that the derivative of x^n=nx^(n-1)

How do I simplify the limit as h approaches 0 of ((x+h)^n-x^n)/h to prove that the derivative of x^n=nx^(n-1)?
Thanks!

2. ## Re: How to prove that the derivative of x^n=nx^(n-1)

Originally Posted by citcat
How do I simplify the limit as h approaches 0 of ((x+h)^n-x^n)/h to prove that the derivative of x^n=nx^(n-1)?
${\left( {x + h} \right)^n} - {x^n} = \sum\limits_{k = 1}^n {\binom{n}{k}{x^{n - k}h^k}}$

$\frac{{\sum\limits_{k = 1}^n {\binom{n}{k}{x^{n - k}}{h^k}} }}{h} = \sum\limits_{k = 1}^n {\binom{n}{k}{x^{n - k}}{h^{k - 1}}}$

3. ## Re: How to prove that the derivative of x^n=nx^(n-1)

Another way. Let y = x + h; then y - x = h. We have $y^n - x^n=(y-x)(y^{n-1}+y^{n-2}x+\dots+yx^{n-2}+x^{n-1})$. Now $y^{n-1}+\dots+x^{n-1}\to nx^{n-1}$ as $y\to x$.

4. ## Re: How to prove that the derivative of x^n=nx^(n-1)

an "informal proof"

[(x+h)n - xn]/h =

(xn + nxn-1h + (other stuff with h2 terms) - xn)/h =

(nxn-1h)/h + h2(...stuff...)/h =

nxn-1 + h(...stuff...).

no matter what the "...stuff..." is, it is clearly not infinite at any particular x, so we have:

$\lim_{h \to 0} \frac{(x+h)^n - x^n}{h} = nx^{n-1} + (0)(...\text{limit of stuff}...) = nx^{n-1}$.

Plato's post makes this argument rigorous, but this gives you "the general idea".

or, you can use induction:

base case: n = 1

then $\lim_{h \to 0} \frac{(x+h) - x}{h} = \lim_{h \to 0} \frac{h}{h} = \lim_{h \to 0} 1 = 1 = x^0$.

assume that for n = k-1:

$\lim_{h \to 0} \frac{(x+h)^{k-1} - x^k}{h} = (k-1)x^{k-2}$.

then:

$\lim_{h \to 0} \frac{(x+h)^k - x^k}{h} = \lim_{h \to 0} \frac{(x+h)(x+h)^{k-1} - (x+h)x^{k-1} + (x+h)x^{k-1} - x(x^{k-1})}{h}$

$= \lim_{h \to 0}\left[ (x+h)\left(\frac{(x+h)^{k-1} - x^{k-1}}{h}\right)\right] + \lim_{h \to 0}\left[x^{k-1}\left(\frac{(x+h) - x}{h}\right)\right]$

$= \left(\lim_{h \to 0} (x+h) \right) \left(\lim_{h \to 0} \frac{(x+h)^{k-1} - x^{k-1}}{h}\right) + \left(\lim_{h \to 0} x^{k-1} \right) \left( \lim_{h \to 0} \frac{(x + h) - x}{h} \right)$

$= \left(\lim_{h \to 0} (x+h) \right)((k-1)x^{k-2}) + \left(\lim_{h \to 0} x^{k-1} \right)(1)$, by our induction hypothesis, and the base case,

$= (x)((k-1)x^{k-2}) + x^{k-1} = (k-1)x^{k-1} + x^{k-1} = (k-1+1)x^{k-1} = kx^{k-1}$, and we are done.

5. ## Re: How to prove that the derivative of x^n=nx^(n-1)

Originally Posted by emakarov
Another way. Let y = x + h; then y - x = h. We have $y^n - x^n=(y-x)(y^{n-1}+y^{n-2}x+\dots+yx^{n-2}+x^{n-1})$. Now $y^{n-1}+\dots+x^{n-1}\to nx^{n-1}$ as $y\to x$.
Is the above proof valid if, for example, $n = \sqrt{2}$?

6. ## Re: How to prove that the derivative of x^n=nx^(n-1)

No, it isn't.

Another proof, for n an integer, would be inductive: if n= 0, then $x^0= 1$ is a constant so its derivative is $0= 0x^{0-1}$. Assume that, for some k, the derivative of $x^k$ is $kx^{k-1}$. Then we can differentiate $x^{k+1}= x(x^k)$ by the product rule: the derivative is $(x)'(x^k)+ (x)(x^k)'= 1(x^k)+ x(kx^{k-1})= x^k+ x(kx^{k-1}= (k+1)x^k$.

For k not an integer, we can use "logarithmic differentiation". If $y= x^k$, then $ln(y)= ln(x^k)= kln(x)$. Now, we need the fact that the derivative of ln(x) is 1/x (which why we typically start with integer powers of x). The derivative of the left side is $\frac{1}{y}\frac{dy}{dx}$ and the derivative of the right side is $\frac{k}{x}$. Since $y= x^k$, we have $\frac{1}{x^k}\frac{dy}{dx}= \frac{k}{x}$. From that, we have $\frac{dy}{dx}= \frac{k}{x}x^k= kx^{k-1}$.

7. ## Re: How to prove that the derivative of x^n=nx^(n-1)

Originally Posted by citcat
How do I simplify the limit as h approaches 0 of ((x+h)^n-x^n)/h to prove that the derivative of x^n=nx^(n-1)?
Thanks!
You can use the Binomial Expansion to prove the result for positive integer values of n. Then you can use the chain rule to extend this result to other values of n.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 30, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8877978324890137, "perplexity_flag": "head"}