Can the Value of e Be Found Using the Taylor Series?

  • Context: Undergrad 
  • Thread starter Thread starter johndoe
  • Start date Start date
  • Tags Tags
    Infinity Limit
johndoe
Messages
41
Reaction score
0
Why does
[tex]\lim(1+\frac{1}{x})^x = e[/tex]
[tex]x->\infty[/tex]
 
on Phys.org
This is one possible definition of the number e.

What is your definition of e?
 
Pere Callahan said:
This is one possible definition of the number e.

What is your definition of e?


O so how do i prove this ?
 
Let

[tex]L=\lim_{x\rightarrow \infty} (1+\frac{1}{x})^x[/tex]

[tex]ln L =ln \lim_{x\rightarrow \infty} (1+\frac{1}{x})^x[/tex]

[tex]ln L =\lim_{x\rightarrow \infty} xln (1+\frac{1}{x})[/tex]

Then use L'Hopital's Rule twice.
 
johndoe said:
O so how do i prove this ?
If you don't have a definition of e, then you can't.
 
johndoe said:
O so how do i prove this ?

How do you prove what?:smile:
 
Pere Callahan said:
How do you prove what?:smile:

yea how do you prove a definition? maybe he means how do you consistency?
 
Unfortunately, johndoe hasn't gotten back to us to answer the question about what definition of e he is using.

Yes, many texts define e by that limit. If that is the definition, then no "proof" is required.

Others, however, treat the derivative of f(x)= ax this way:
[tex]f(x+ h)= a^{x+ h}= a^x a^h[/tex]
[tex]f(x+ h)- f(x)= a^xa^h- a^x= a^x(a^h- 1)[/tex]
[tex]\frac{f(x+h)- f(x)}{h}= a^x\frac{a^h- 1}{h}[/tex]
Which, after you have shown that
[tex]\lim_{h\rightarrow 0}\frac{a^h-1}{h}[/tex]
exists, shows that the derivative of ax is just a constant times ax.
"e" is then defined as the value of a such that that constant is 1:
[tex]\lim_{h\rightarrow 0}\frac{e^h- 1}{h}= 1[/tex]

We can then argue (roughly, but it can be made rigorous) that if, for h close to 0, (eh-1)/h is close to 1, eh- 1 is close to h and so eh is close to h+ 1. Then, finally, e is close to (h+1)1/h. As h goes to 0, 1/h goes to infinity. letting x= 1/h, (h+1)1/h becomes (1/x+ 1)x so
[tex]\lim_{x\rightarrow \infty}(1+ \frac{1}{x})^x= e[/tex]

Here's a third definition of "e":
It has become more common in Calculus texts to work "the other way". That is, define ln(x) by
[tex]ln(x)= \int_1^x \frac{1}{t}dt[/itex]<br /> From that we can prove all the properties of ln(x) including the fact that it is a "one-to-one" and "onto" function from the set of positive real numbers to the set of all real numbers- and so has an inverse function. Define "exp(x)" to be the inverse function . Then we define "e" to be exp(1) (one can show that exp(x) is, in fact, e to the x power).<br /> <br /> Now, suppose [itex]lim_{x\rightarrow \infty} (1+ 1/x)^x[/itex] equals some number a. Taking the logarithm, x ln(1+ 1/x)must have limit ln(a). Letting y= 1/x, that means that the limit, as y goes to 0, of ln(1+y)/y must be ln(a). But that is of the form "0/0" so we can apply L'hopital's rule: the limit is the same as the limit of 1/(y+1) which is obviously 1. That is, we must have ln(a)= 1 or a= e.[/tex]
 
Last edited by a moderator:
HallsofIvy said:
Unfortunately, johndoe hasn't gotten back to us to answer the question about what definition of e he is using.

Yes, many texts define e by that limit. If that is the definition, then no "proof" is required.

Others, however, treat the derivative of f(x)= ax this way:
[tex]f(x+ h)= a^{x+ h}= a^x a^h[/tex]
[tex]f(x+ h)- f(x)= a^xa^h- a^x= a^x(a^h- 1)[/tex]
[tex]\frac{f(x+h)- f(x)}{h}= a^x\frac{a^h- 1}{h}[/tex]
Which, after you have shown that
[tex]\lim_{h\rightarrow 0}\frac{a^h-1}{h}[/tex]
exists, shows that the derivative of ax is just a constant times ax.
"e" is then defined as the value of a such that that constant is 1:
[tex]\lim_{h\rightarrow 0}\frac{e^h- 1}{h}= 1[/tex]

We can then argue (roughly, but it can be made rigorous) that if, for h close to 0, (eh-1)/h is close to 1, eh- 1 is close to h and so eh is close to h+ 1. Then, finally, e is close to (h+1)1/h. As h goes to 0, 1/h goes to infinity. letting x= 1/h, (h+1)1/h becomes (1/x+ 1)x so
[tex]\lim_{x\rightarrow \infty}(1+ \frac{1}{x})^x= e[/tex]

Here's a third definition of "e":
It has become more common in Calculus texts to work "the other way". That is, define ln(x) by
[tex]ln(x)= \int_1^x \frac{1}{t}dt[/itex]<br /> From that we can prove all the properties of ln(x) including the fact that it is a "one-to-one" and "onto" function from the set of positive real numbers to the set of all real numbers- and so has an inverse function. Define "exp(x)" to be the inverse function . Then we define "e" to be exp(1) (one can show that exp(x) is, in fact, e to the x power).<br /> <br /> Now, suppose [itex]lim_{x\rightarrow \infty} (1+ 1/x)^x[/itex] equals some number a. Taking the logarithm, x ln(1+ 1/x)must have limit ln(a). Letting y= 1/x, that means that the limit, as y goes to 0, of ln(1+y)/y must be ln(a). But that is of the form "0/0" so we can apply L'hopital's rule: the limit is the same as the limit of 1/(y+1) which is obviously 1. That is, we must have ln(a)= 1 or a= e.[/tex]
[tex] Ok I see. I didn't know that definition before until I reach a problem requiring me to find that limit.[/tex]
 
  • #10
I believe that the definition of e is:

e is such that when: y=e^x
dy/dx = e^x

Hence via the Taylor Series, the actual value of e can be found

right?
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
5K