#REDIRECT [[Power rule]]
{{VfD}}
The basic law of differentiating functions is:
<math>f(x)=x^n</math> becomes <math>f'(x)=nx^{n-1}</math>
Below, I will try to prove this law, in several (I hope, easy) steps.
In order to differentiate it, you have to understand what differentiating is.
Differentiating is the differentiation quotient in one point.
Basic differentiation quotient calculation is basically "what's the difference in y-value between these x-values?"
When we want to get to differentiating, we just have to make a differentiation quotient for one point.
This would lead to a frequently used -although non sophisticated way- of making this differentiation function:
<math>\frac{f(x+0.0001)-f(x)}{0.0001}</math> (of course you could add more zero's, but it's kind of silly anyway, so forget about it)
What's more interesting though, because we want to find proof to the law, we seek something that always goes.
So, let's just forget about them small numbers and make it variable, so we can play with it:
<math>lim_{h\rarr0}\frac{f(x+h)-f(x)}{dx}</math> the more h approaches zero, the closer it will get to differentiated function of f(x)
In order to use this function to prove our law, we're going to use f(x)=x<sup>n</sup> on this function:
<math>lim_{h\rarr0}\frac{(x+h)^n-x^n}{h}</math>
Now, if you get the x+h out of the brackets, it would lead to something among the lines of:
<math>lim_{h\rarr0}\frac{x^n+nx^{n-1}h+nx^{n-2}h^2+ ... -x^n}{h}</math>
Now then, if we look carefully, we see that x<sup>n</sup> and -x<sup>n</sup> cancel eachother out, so it becomes:
<math>lim_{h\rarr0}\frac{nx^{n-1}h+nx^{n-2}h^2+ ...}{h}</math>
We can even work out more things out of this big sum. We see that the dx appears in alot of states, so let's get some out!
<math>lim_{h\rarr0}(nx^{n-1}+nx^{n-2}h+ ...)</math>
Right, now we'll just make h (the difference in x) go to zero, this would lead to our proof!
Explaination to statement: This would mean that all the dx variables would be 0 (because 0*x=0):
So, that would basically mean that:
<math>nx^{n-1}+nx^{n-2}*0+ ... </math>
Of course, we again here that 0*x = 0 (which is of course, plain logic).
So, this would lead to our well-proven law!
<math>f'(x)=nx^{n-1}</math>
|