I saw a formula that would be really useful in a proof for the general form of differentiation and I was wondering if it actually held true and if so how it has been derived. I haven't been able to find it anywhere on the internet as google isn't a good tool for formula searching.
Anyways, the formula states,
lim_x->0 (x^m-a^m)/(x^n-a^n) = (m/n)*a^(m-n)
Now I am thinking that you could prove the general form of derivatives from definition by adding and subtracting an x on the bottom of the quotient so the denominator is in the form (x + h) - x which then can be used in this formula to show that f'(x) = n * a^n-1 for f(x) = a^n
Does this work?
And if so does this work for any real number? The only proofs that I've seen using the definition require that the value 'n' has to be an integer, and I haven't seen this formula used to prove a general form equation either.
Does anyone know where this formula comes from or want to guess at where it is derived from?