Compound interest where you make the compounding rate infinitesimally small.
Formal Derivation
This is one approach to arrive at from
ln Definition
For , let be the area of the region in the -plane bounded by the curve , the -axis, and the vertical lines and .
Define:
Note that the domain of is , for , for , and .
Note that these properties all hold for when .
Theorem 1: Derivative of ln
Let . Then
Note: this is a special case of the Fundamental Theorem of Calculus.
Proof
Let . Apply the definition:
For , from the graph, we see that for , the small rectangle is (width x height)
and the large rectangle is at the earlier point
thus,
this is clear if , but in fact it is true for all . Thus,
By the squeeze theorem
Note: same argument works for
Theorem 2: Properties of ln(x)
Proof
(i) Fix , and let .
By chain rule,
So, is constant as a function of .
For , , but if is constant then
therefore
(ii) last part is due to (i)
re-arranging we get
(iii)
(iv) for integers, expand into either or then apply (i) and (ii) recursively to get:
for rational start with:
therefore
Exponential Function
Since is 1:1, it has an inverse function called the exponential function:
is the unique s.t. .
Normally we end up reversing roles and .
Theorem 3: properties of exp
is a given from .
Proof
(i)
Since ln is 1:1,
(ii)
(iii) from (i) and (ii).
(iv) from recursive (i).
Derivative of exp
Inverse function theorem (diff & chain rule on ):
For and :
WOW.
e
Define .
Using (iv):
So, define
a^x
Taking derivative of RHS using chain rule we get:
log
Defn: for is defined to be the inverse of s.t.
from definition
Compound Interest Definition
Proof
Apply substitution
Last part is derivative of at .