Unraveling the Mystery of pi and e

  • Thread starter jeff.sadowski
  • Start date
  • Tags
    Pi
In summary, the conversation discusses various relationships between pi and e, including Euler's equation and other approximations. The possibility of finding a more exact relationship between pi and e is also mentioned, but it is noted that there may not be an algebraic connection between the two constants. The conversation also touches on the definition of e and how it can be derived without using units.
  • #1
jeff.sadowski
11
0
I know of Euler's equation
e^i(pi)-1=0

but i saw another equation that interested me.
And I'd like to see if i can prove it somehow and wondering the best way to do so

(pi^4+pi^5)^(1/6)=e

is this correct? or is this just a close approximation of e?
it doesn't sound right to me for it to be e but i would like to prove it.

trying to break up and reassemble riemann sums just starts to get messy way too fast can someone think of an easier way?


pi^4+pi^5=e^6

but then i get stuck
 
Mathematics news on Phys.org
  • #2
maybe something relating

e^i * e^pi = -1 can do something

ln(e^i)=ln(-1/e^pi)

i=ln(-1)-ln(e^pi)
i=i*pi-pi
i=pi(i-1)
 
  • #3
It's just a very good approximation, in fact the quotient of the LHS to the RHS is 1.0000000438081076299476374 so its very close :) However that's just a numerical coincidence, if we ever found any real proof pi and e were algebraically related we would have solved the currently open problem over deciding if pi and e are algebraically independent.

EDIT: In response to your 2nd post, your working is not fully correct. You must notice that since [itex]e^{i\pi}=-1[/itex] therefore [itex]e^{2i\pi} =1[/itex] and since multiplying by one will always give the same value, and so raising 1 to some integer k, [itex]e^{ix}= e^{ix} \cdot e^{2ki\pi}=e^{ix+2ki\pi}[/itex]. This means that taking the log will give an infinite number of answers, and you have only account for the one where you take k equal to 0. Taking this value for the 'complex logarithim' is called the primary branch, and is the value we use when we define a function f(x)=ln(z), unless stated otherwise.

You could have also checked your working as follows: [tex]i=i\pi - \pi, i - i\pi = -\pi, i(1-\pi)=-\pi, i= \frac{\pi}{\pi-1}[/tex] which gives a real value for the imaginary unit..
 
Last edited:
  • #4
jeff.sadowski said:
maybe something relating

e^i * e^pi = -1 can do something

ln(e^i)=ln(-1/e^pi)

i=ln(-1)-ln(e^pi)
i=i*pi-pi
i=pi(i-1)
No, ther error here his the line
ln(e^i)=ln(-1/e^pi)

Where we somehow went from [tex]e^{i\pi}=-1[/tex] to
[tex]e^{i+\pi}=-1[/tex]

In order to divide by epi
 
  • #5
Back in the fractal craze

I stumbled across another "close but no cigar" relationship between [tex]\pi[/tex] and http://en.wikipedia.org/wiki/Feigenbaum_constants" namely

[tex] \frac{10}{\pi - 1} \approx Feigenbaum's constant[/tex]

Most likely just coincidence but it would be interesting if this constant could be tied to e and [tex]\pi[/tex] more exactly.

Edit: Another seemingly close relationship

[tex]\delta = feigenbaums constant[/tex]

[tex] \frac{10 * e}{\delta(pi - 1)} \approx e[/tex]
 
Last edited by a moderator:
  • #6
O wait..he made that fundamental error even earlier than the line you spotted Office_Shredder : "e^i * e^pi = -1".
 
  • #7
ktoz said:
Edit: Another seemingly close relationship

[tex] \frac{10}{\pi - 1} \approx \delta[/tex]

[tex] \frac{10}{\pi - 1} = (1+\epsilon)\delta[/tex] for some small [itex]|\epsilon|[/itex]

[tex] \frac{10}{\delta(\pi - 1)} = (1+\epsilon)[/tex]

[tex] \frac{10e}{\delta(\pi - 1)} = e(1+\epsilon)[/tex]

[tex] \frac{10e}{\delta(\pi - 1)} \approx e[/tex]
 
  • #8
Office_Shredder said:
No, ther error here his the line
ln(e^i)=ln(-1/e^pi)

Where we somehow went from [tex]e^{i\pi}=-1[/tex] to
[tex]e^{i+\pi}=-1[/tex]

In order to divide by epi

Thanks I knew I had an error because it just didn't look right

so (e^i)^pi is how to do it hmm there still might be something there
 
  • #9
jeff.sadowski said:
I know of Euler's equation
e^i(pi)-1=0
Note that in Euler's equation there is absolutely nothing special or deep about the usage of [itex]\pi[/itex]. It is simply the result of using radians and [itex]\pi[/itex] and [itex]2\pi[/itex] are trivial values in radians. In other words you could also use 1, 1/2, 1800, 50% etc in different scales.
 
Last edited:
  • #10
CRGreathouse said:
[tex] \frac{10}{\pi - 1} \approx \delta[/tex]

[tex] \frac{10}{\pi - 1} = (1+\epsilon)\delta[/tex] for some small [itex]|\epsilon|[/itex]

[tex] \frac{10}{\delta(\pi - 1)} = (1+\epsilon)[/tex]

[tex] \frac{10e}{\delta(\pi - 1)} = e(1+\epsilon)[/tex]

[tex] \frac{10e}{\delta(\pi - 1)} \approx e[/tex]

theres so much handwaving in this one
 
  • #11
CRGreathouse said:
[tex] \frac{10e}{\delta(\pi - 1)} \approx e[/tex]

I didn't notice the obvious point when I first posted that any variable could take the place of "e" because all it basically says is

[tex] \frac{10}{\delta(\pi - 1)} \approx 1[/tex]
 
  • #12
MeJennifer said:
Note that in Euler's equation there is absolutely nothing special or deep about the usage of [itex]\pi[/itex]. It is simply the result of using radians and [itex]\pi[/itex] and [itex]2\pi[/itex] are trivial values in radians. In other words you could also use 1, 1/2, 1800, 50% etc in different scales.

Who's using radians?

We can define e by a limit. Then, as with any exponent, e^x is initially defined for positive integers, then straightforwardly extended to all integers, all rational numbers, all real numbers, and finally, all complex numbers. The jump made at each step can be thought of as somewhat arbitrary, but is usually done in such a way as to preserve nice properties, such as continuity, analyticity, etc. The final definition is then equivalent to the infinite sum:

[tex] e^z = \sum_{n=0}^\infty \frac{z^n}{n!} [/tex]

This agrees with all the other definitions, but for non-real complex numbers must be taken as a definition. Then plugging in i pi gives:

[tex] e^{i \pi} = \sum_{n=0}^\infty \frac{(i \pi)^n}{n!} [/tex]

[tex] = \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} + i \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} [/tex]

Then you can use any method you want to derive the not completely trivial sums:

[tex] \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} = -1[/tex]

[tex]\sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} = 0[/tex]

and you get the result, without ever talking about angles. Don't confuse math with physics; there are no arbitrary units in pure math.
 
Last edited:
  • #13
StatusX said:
Who's using radians?

We can define e by a limit. Then, as with any exponent, e^x is initially defined for positive integers, then straightforwardly extended to all integers, all rational numbers, all real numbers, and finally, all complex numbers. The jump made at each step can be thought of as somewhat arbitrary, but is usually done in such a way as to preserve nice properties, such as continuity, analyticity, etc. The final definition is then equivalent to the infinite sum:

[tex] e^z = \sum_{n=0}^\infty \frac{z^n}{n!} [/tex]

This agrees with all the other definitions, but for non-real complex numbers must be taken as a definition. Then plugging in i pi gives:

[tex] e^{i \pi} = \sum_{n=0}^\infty \frac{(i \pi)^n}{n!} [/tex]

[tex] = \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} + i \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} [/tex]

Then you can use any method you want to derive the not completely trivial sums:

[tex] \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} = -1[/tex]

[tex]\sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} = 0[/tex]

and you get the result, without ever talking about angles. Don't confuse math with physics; there are no arbitrary units in pure math.
i don't understand your point? even with the recovery of the relationship without use of units you're still using a transcendental(maybe not specifically transcendental, my math vocab isn't very big) function which makes the relationship just as superficial as using euler's equation and units.
 
Last edited:
  • #14
What do you mean by a transcendental function, and why would using such a function make the relation superficial? All I did was define e^z as a certain infinite sum, whose value is then computed simply by adding numbers and taking a limit.
 
  • #15
MeJennifer said:
Note that in Euler's equation there is absolutely nothing special or deep about the usage of [itex]\pi[/itex]. It is simply the result of using radians and [itex]\pi[/itex] and [itex]2\pi[/itex] are trivial values in radians. In other words you could also use 1, 1/2, 1800, 50% etc in different scales.

I disagree, only at intervals of pi do the equations work out nicely. in degrees it would be 180. Because at 0 its just 1 that is uninteresting "i" goes away too fast. Any place else you are left with irrational numbers. So really pi is the only place that equation looks good.
 
  • #16
StatusX said:
What do you mean by a transcendental function, and why would using such a function make the relation superficial? All I did was define e^z as a certain infinite sum, whose value is then computed simply by adding numbers and taking a limit.

jennifer's post said that euler's equation yielding a relationship between pi and e was not deep or special and only because of units.

i got the impression from your post that meant to do away with that that ambiguity by proving the relationship without units.

i said i don't know if an infinite series is a transcendental function or not.

and you're relationship is just as undeep or unspecial or superficial because in using the infinite series to prove the relationship you restore the ambiguity, because of the infinity.

im sure i sound pretty dumb and it's because i am but basically neither relationship is very deep.
 
  • #17
StatusX said:
Who's using radians?

We can define e by a limit. Then, as with any exponent, e^x is initially defined for positive integers, then straightforwardly extended to all integers, all rational numbers, all real numbers, and finally, all complex numbers. The jump made at each step can be thought of as somewhat arbitrary, but is usually done in such a way as to preserve nice properties, such as continuity, analyticity, etc. The final definition is then equivalent to the infinite sum:

[tex] e^z = \sum_{n=0}^\infty \frac{z^n}{n!} [/tex]

This agrees with all the other definitions, but for non-real complex numbers must be taken as a definition. Then plugging in i pi gives:

[tex] e^{i \pi} = \sum_{n=0}^\infty \frac{(i \pi)^n}{n!} [/tex]

[tex] = \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} + i \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} [/tex]

Then you can use any method you want to derive the not completely trivial sums:

[tex] \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} = -1[/tex]

[tex]\sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} = 0[/tex]

and you get the result, without ever talking about angles. Don't confuse math with physics; there are no arbitrary units in pure math.

Continuing from that post, the reason pi and radians is preferable to any other angle measure MeJennifer mentioned is because only with radian measure is that series recognized as cos(pi) and i sin(pi).
 
  • #18
ice109 said:
and you're relationship is just as undeep or unspecial or superficial because in using the infinite series to prove the relationship you restore the ambiguity, because of the infinity.

im sure i sound pretty dumb and it's because i am but basically neither relationship is very deep.

What's ambiguous about infinity? And what would you consider a "deep" relationship?
 
  • #19
JohnDuck said:
What's ambiguous about infinity? And what would you consider a "deep" relationship?

i want to say some relationship employing elementary functions but i know that's not true.

and i mean one of the conditions for algebraic independence is that the two, or any subset of a field, numbers are transcendental over a subfield so maybe my intuition isn't completely wrong but i can't say why i feel like using an infinite series is amibiguous.
 
  • #20
ice109 said:
jennifer's post said that euler's equation yielding a relationship between pi and e was not deep or special and only because of units.

And that is what I disagree with it is definitely special and as was said someplace else about the elegance of the formula I would induce that it is deep as well.

However it doesn't really relate e and pi as I would like to do.
I think I need to do more with the Riemann Sums to look for any relation.

oop I didn't see the "relation" and she didn't say relation but I don't know her that could have been what she was referring to.
 
Last edited:
  • #21
I can't seem to find the Riemann Sums for these two numbers can someone point me to them?

Aren't there multiple ways to represent each in Riemann Sums?
 
  • #25
your last 3 posts are essentially the basis for statusx's post, they're all the same taylor series expansion for [tex]e^x[/tex]
 
  • #26
ice109 said:
your last 3 posts are essentially the basis for statusx's post, they're all the same taylor series expansion for [tex]e^x[/tex]

Not really.

The first one is the Taylor series for [itex]exp(x)[/itex] evaluated at [itex]x=1[/itex].
jeff.sadowski said:


The next one is the Taylor series for [itex]atan(x)[/itex] evaluated at [itex]x=1[/itex].
jeff.sadowski said:

The last one is the Gaussian integral.
jeff.sadowski said:

This final one is indicative of a deep relationship beween e and pi and is purely real (no complex numbers).
 
  • #27
StatusX said:
This agrees with all the other definitions, but for non-real complex numbers must be taken as a definition. Then plugging in i pi gives:

[tex] e^{i \pi} = \sum_{n=0}^\infty \frac{(i \pi)^n}{n!} [/tex]

[tex] = \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n}}{(2n)!} + i \sum_{n=0}^\infty (-1)^n \frac{\pi^{2n+1}}{(2n+1)!} [/tex]
[tex]{i \pi} = \sqrt{-(\pi^2)}[/tex]

However [itex]{i \pi}[/tex] as used in the exponent is not even imaginary, in fact it is zero. Thus the equation becomes [itex]e^0 - 1 = 0[/itex].

So if we look at it without all the "magic" we have to realize that e is disfunctional in this equation since [itex]x^0 = 1[/itex] for all x and that [itex]i \pi[/itex] as used in the exponent equals 0.
 
Last edited:
  • #28
MeJennifer said:
[tex]{i \pi} = \sqrt{-(\pi^2)}[/tex]

However [itex]{i \pi}[/tex] as used in the exponent is not even imaginary, in fact it is zero. Thus the equation becomes [itex]e^0 - 1 = 0[/itex].

So if we look at it without all the "magic" we have to realize that e is disfunctional in this equation since [itex]x^0 = 1[/itex] for all x and that [itex]i \pi[/itex] as used in the exponent equals 0.

theres got to be a mistake somewhere in there.
 
  • #29
Something is disfunctional allright, and it's not "e". [itex]i\pi[/itex] is not zero, and [itex]\exp(i\pi)[/itex] is -1, not 1.
 
  • #30
She may have simply confused it with the common occurrence where adding 2pi (rather than pi) gives the same result as 0, since a revolution returns us to the same co ordinate on a circle. And as we can see, i(0)= 0. making e^(i*0)=1, and e^(2*pi*i) is also 1. That gives me enough evidence to believe that she just thought that the period was pi and not 2pi.
 

1. What is the difference between pi and e?

Pi (π) is a mathematical constant that represents the ratio of a circle's circumference to its diameter. It is approximately equal to 3.14159. On the other hand, e is a mathematical constant that represents the base of the natural logarithm. It is approximately equal to 2.71828. While both pi and e are irrational numbers, meaning they have infinite decimal places, they are used for different purposes in mathematics.

2. How are pi and e related to each other?

Pi and e are related through a mathematical formula called Euler's identity: e^(iπ) + 1 = 0. This formula shows the connection between the five most important constants in mathematics: 0, 1, e, i, and π. It also highlights the relationship between the exponential and trigonometric functions, which are represented by e and π respectively.

3. Why are pi and e considered mysterious?

Pi and e are considered mysterious because they are both irrational numbers, meaning they cannot be expressed as a simple fraction. This makes it impossible to find their exact values, and they have infinite decimal places. Additionally, both pi and e have been studied by mathematicians for centuries, yet there is still much to be discovered about their patterns and properties.

4. How are pi and e used in real-world applications?

Pi and e are used in a wide range of real-world applications, from engineering and physics to finance and computer science. For example, pi is used in calculating the area and circumference of circles, while e is used in compound interest and exponential growth formulas. Both constants are also crucial in understanding and modeling natural phenomena, such as waves and fractals.

5. Can we ever fully unravel the mystery of pi and e?

As scientists and mathematicians continue to study and discover new properties and applications of pi and e, it is unlikely that we will ever fully unravel their mysteries. These constants have been studied for centuries and continue to fascinate and challenge us. However, with each new discovery, we come closer to understanding the true nature of pi and e, and their significance in the universe.

Similar threads

Replies
1
Views
1K
Replies
5
Views
3K
Replies
7
Views
826
Replies
4
Views
416
  • General Math
Replies
7
Views
1K
Replies
5
Views
1K
Replies
2
Views
5K
  • Advanced Physics Homework Help
Replies
29
Views
146
  • General Math
Replies
4
Views
2K
  • Advanced Physics Homework Help
Replies
4
Views
444
Back
Top