Difference between revisions of "Euler's number"
(added section on where e comes from) |
|||
| Line 1: | Line 1: | ||
The [[mathematical constant]] ''e'' is defined as the following [[limit]]: <math>e=\lim_{n\rightarrow \infty}{(1+\frac1n)}^n</math>. | The [[mathematical constant]] ''e'' is defined as the following [[limit]]: <math>e=\lim_{n\rightarrow \infty}{(1+\frac1n)}^n</math>. | ||
In [[calculus]], the fact that <math>e^x = \sum{\frac{x^n}{n!}}</math> is used often, based on the above definition and the [[Binomial Theorem]]. | In [[calculus]], the fact that <math>e^x = \sum{\frac{x^n}{n!}}</math> is used often, based on the above definition and the [[Binomial Theorem]]. | ||
| + | |||
| + | |||
| + | |||
| + | == Where <math>e</math> comes from == | ||
| + | |||
| + | Suppose <math>b</math> is a positive real number, and <math>f(x) = b^x</math> for all real numbers <math>x</math>. Let's try to figure out what <math>f'(x)</math> is. | ||
| + | |||
| + | |||
| + | <math>f'(x) = \lim_{\Delta x \to 0} \frac{f(x+\Delta x)-f(x)}{\Delta x} = \lim_{\Delta x \to 0} \frac{b^{x+\Delta x} - b^x}{\Delta x} = \lim_{\Delta x \to 0} b^x \left( \frac {b^{\Delta x} - 1}{\Delta x}\right) = b^x \left(\lim_{\Delta x \to 0} \frac{b^{\Delta x - 1}}{\Delta x}\right)</math>. | ||
| + | |||
| + | |||
| + | Now look what has happened. Something special has almost happened. We found the derivative of <math>b^x</math>, and what we got was ''almost'' <math>b^x</math>. In other words, the derivative of this function is ''almost'' the same function that we started with. However, there is that annoying and kind of messy limit on the right that is messing things up. | ||
| + | |||
| + | |||
| + | It seems like it would be at least cool, if not downright useful, to have a function whose derivative is equal to itself. (In fact, it turns out that such a function is very useful indeed, for example in finding solutions to certain differential equations.) So let's ask this question: Is it possible to cleverly pick a special value of <math>b</math> in order to make that annoying limit on the right turn out to be equal to <math>1</math>? If this were possible, then for that special value of <math>b</math>, it would in fact be true that the derivative of <math>b^x</math> is just <math>b^x</math>, exactly the same function we started with. | ||
| + | |||
| + | |||
| + | Well, the fact is that there is a special value of <math>b</math> which accomplishes this goal. It is approximately <math>2.718</math>, and it is called <math>e</math>. ("<math>e</math>" stands for Euler, the mathematician who first discovered this number. <math>e</math> is also called "Euler's number.") | ||
| + | |||
| + | |||
| + | So, how do we choose <math>b</math> so that <math>\lim_{\Delta x \to 0} \frac{b^{\Delta x} - 1}{\Delta x} = 1</math>? Could we pick <math>b</math> in some clever way to make this expression simplify? As a first rough idea, imagine what would happen to the expression <math>\frac{b^{\Delta x}-1}{\Delta x}</math> if <math>b</math> were equal to <math>(1+\Delta x)^{\frac{1}{\Delta x} }</math>. Everything cancels out nicely, and we are left with just <math>1</math>. This suggests that we should select <math>b</math> to be <math>\lim_{\Delta x \to 0} (1+\Delta x)^{\frac{1}{\Delta x}}</math>. So here we have our definition of <math>e</math>. This limit is approximately <math>2.718</math>. | ||
| + | |||
| + | |||
| + | To make this rigorous, it should be possible to prove that this limit actually exists. And once we define <math>e</math> to be this limit, it should be possible to prove that <math>\lim_{\Delta x \to 0} \frac{e^{\Delta x}-1}{\Delta x} = 1</math>. | ||
Revision as of 20:28, 23 June 2006
The mathematical constant e is defined as the following limit: 
.
In calculus, the fact that 
is used often, based on the above definition and the Binomial Theorem.
Where 
comes from
Suppose 
is a positive real number, and 
for all real numbers 
. Let's try to figure out what 
is.
.
Now look what has happened. Something special has almost happened. We found the derivative of 
, and what we got was almost . In other words, the derivative of this function is almost the same function that we started with. However, there is that annoying and kind of messy limit on the right that is messing things up.
It seems like it would be at least cool, if not downright useful, to have a function whose derivative is equal to itself. (In fact, it turns out that such a function is very useful indeed, for example in finding solutions to certain differential equations.) So let's ask this question: Is it possible to cleverly pick a special value of in order to make that annoying limit on the right turn out to be equal to 
? If this were possible, then for that special value of , it would in fact be true that the derivative of is just , exactly the same function we started with.
Well, the fact is that there is a special value of which accomplishes this goal. It is approximately 
, and it is called 
. ("" stands for Euler, the mathematician who first discovered this number. is also called "Euler's number.")
So, how do we choose so that 
? Could we pick in some clever way to make this expression simplify? As a first rough idea, imagine what would happen to the expression 
if were equal to 
. Everything cancels out nicely, and we are left with just . This suggests that we should select to be 
. So here we have our definition of . This limit is approximately .
To make this rigorous, it should be possible to prove that this limit actually exists. And once we define to be this limit, it should be possible to prove that 
.
