Last time: | Next time: |
Here we go! For the following proofs, assume that functions $f$ and $g$ are differentiable at $x$.
This one is obvious, "by slopes".
This one is also obvious, "by slopes".
This is a consequence of the sum rule and constant multiple rules.
Once we've proven a rule, we can put it to use!
Sadly this is about all that some people retain from calculus. If you're going to retain something, retain the limit definition of the derivative, because the power rule is proven based off the limit definition (and mathematical induction). Or remember the linear approximation, using tangent lines; but this, on it's own, is not nearly as swell!
Let $F(x)=x^n$, where $n$ is an integer, \(n \ge 1\). \[ \frac{d}{dx}[F(x)]=\frac{d}{dx}(x^n)=nx^{n-1} \]
This proof will also make use of one of our new tools (the product rule). Once you build and prove a tool, it becomes a power tool:).
The proof is actually "by dominoes" (or rather, the principle of mathematical induction....):
A more mathematical version of induction is as follows. Consider a proposition \(P(n)\) (In this case we might think of the proposition being this:
\[ P(n): \frac{d}{dx}\left(x^n\right) = nx^{n-1} \] Then
The power rule works for any real exponent (except 0) -- it's just that we've only proven it for positive integers. You may use it for other powers (so write $\sqrt{x}=x^\frac{1}{2}$, for example, to make use of this nice new rule!).
So here's the big news: we've got all the power we need to differentiate (easily) any polynomial -- and that's a huge and important group of functions!
If we need the derivative of \[ f(x)=4x^3-7x^2+5x-1 \]
it's easy now!
This says that an exponential function has a slope function which is just a constant times the function itself (and the constant is the log, base \(e\), of \(a\)).
In particular, let $F(x)=e^x$, where $e \approx 2.71828$ (it's irrational, like $\pi$). Then \[ \frac{d}{dx}[F(x)] = F(x) \hspace{1in} (= F'(x) = F''(x) = F'''(x) = ....) \]
This is certainly one of the most amazing rules. It says that $e^x$ is an exponential function which is its own derivative: whose values are its slopes, as well (and all its higher derivatives as well -- its concavity, its jerk, ...).
Here's an animation which motivates the discussion...