How to prove the following in general: $\lim\limits_{x\rightarrow a} \frac{x^n-a^n}{x-a}=na^{n-1}$?

$$\begin{array}{rcl} \displaystyle \lim_{x\rightarrow a} \frac{x^n-a^n}{x-a} &=& \displaystyle \lim_{x\rightarrow a} \frac{x^{p/q}-a^{p/q}}{x-a} \\ &=& \displaystyle \lim_{x\rightarrow a} \frac{\left(x^{p/q}-a^{p/q}\right)\left(x^{(q-1)p/q} + x^{(q-2)p/q}a^{p/q} + \cdots + x^{p/q}a^{(q-2)p/q} + a^{(q-1)p/q}\right)}{\left(x-a\right) \left(x^{(q-1)p/q} + x^{(q-2)p/q}a^{p/q} + \cdots + x^{p/q}a^{(q-2)p/q} + a^{(q-1)p/q}\right)} \\ &=& \displaystyle \lim_{x\rightarrow a} \frac{x^p - a^p}{\left(x-a\right) \left(x^{(q-1)p/q} + x^{(q-2)p/q}a^{p/q} + \cdots + x^{p/q}a^{(q-2)p/q} + a^{(q-1)p/q}\right)} \\ &=& \displaystyle \lim_{x\rightarrow a} \frac{\left(x-a\right) \left(x^{p-1} + x^{p-2}a + \cdots + xa^{p-2} + a^{p-1}\right)}{\left(x-a\right) \left(x^{(q-1)p/q} + x^{(q-2)p/q}a^{p/q} + \cdots + x^{p/q}a^{(q-2)p/q} + a^{(q-1)p/q}\right)} \\ &=& \displaystyle \lim_{x\rightarrow a} \frac{x^{p-1} + x^{p-2}a + \cdots + xa^{p-2} + a^{p-1}}{x^{(q-1)p/q} + x^{(q-2)p/q}a^{p/q} + \cdots + x^{p/q}a^{(q-2)p/q} + a^{(q-1)p/q}} \\ &=& \displaystyle \frac{a^{p-1} + a^{p-2}a + \cdots + aa^{p-2} + a^{p-1}}{a^{(q-1)p/q} + a^{(q-2)p/q}a^{p/q} + \cdots + a^{p/q}a^{(q-2)p/q} + a^{(q-1)p/q}} \\ &=& \displaystyle \frac{pa^{p-1}}{qa^{(q-1)p/q}} \\ &=& \displaystyle \frac p q a^{(p-1)-(q-1)p/q} \\ &=& \displaystyle \frac p q a^{p-1-p+p/q} \\ &=& \displaystyle \frac p q a^{p/q-1} \\ &=& \displaystyle n a^{n-1} \\ \end{array}$$


One possible way to show it.

Let $x=y+a$ to change the problem to $$\lim_{x\rightarrow a} \frac{x^n-a^n}{x-a}=\lim_{y\rightarrow o} \frac{(y+a)^n-a^n}{y}$$ Now, use the generalized binomial theorem or Taylor series around $y=0$ $$(y+a)^n=a^n+n y a^{n-1}+\frac{1}{2}n (n-1) y^2 a^{n-2}+O\left(y^3\right)$$ which makes $$A=\frac{(y+a)^n-a^n}{y}=\frac{a^n+n y a^{n-1}+\frac{1}{2}n (n-1) y^2 a^{n-2}+O\left(y^3\right) -a^n}{y}$$ that is to say $$A=n a^{n-1}+\frac{1}{2}n (n-1) y a^{n-2}+O\left(y^2\right)$$ which shows the limit and also how it is approached.


If $n=p/q$, do the substitution $x=y^q$ (which is surely possible for $x>0$, with $y>0$; do the other cases separately) and $a=b^q$, so the limit becomes $$ \lim_{y\to b}\frac{y^p-b^p}{y^q-b^q}= \lim_{y\to b}\frac{y^p-b^p}{y-b}\frac{y-b}{y^q-b^q}= \frac{pa^{p-1}}{qa^{q-1}} $$ the last equality for the integer case.


I find such computations a waste of time. There's a much faster way to prove the result.

For the function $f(x)=x^{\alpha}$ (where $\alpha$ is an arbitrary real number) defined for $x>0$ we have $f(x)=\exp(\alpha\log x)$ and the chain rule says $$ f'(x)=\exp(\alpha\log x)\frac{\alpha}{x}=x^{\alpha}\frac{\alpha}{x}= \alpha x^{\alpha-1} $$ For rational $\alpha$ this might be defined also for $x\le0$, but it's easy to do the case with the help of symmetries.

Tags:

Limits