How can I prove this elegant equation I discovered using Wolfram Alpha?

  • Thread starter Thread starter superadvanced
  • Start date Start date
  • Tags Tags
    Discovery Random
AI Thread Summary
An elegant equation was discovered involving the sum and integral of 1/n^n and 1/x^x, respectively, which shows high probability of being true based on decimal approximations. The original poster seeks guidance on proving this equation, noting the lack of information from Wolfram Alpha and the absence of a known anti-derivative for 1/x^x. Responses emphasize that the result is not trivial and that it's common to struggle with such proofs. A linked article on "Sophomore's Dream" provides additional insights, with one user mentioning a simpler proof found on Wolfram MathWorld. The discussion highlights the challenges of mathematical proofs while encouraging exploration and learning.
superadvanced
Messages
3
Reaction score
0
Playing around with Wolfram Alpha I discovered an elegant looking little equation. Judging by the decimal approximation of both sides, there seems to be an extremely high probability that it is true. A picture of the equation is attached but ill try to type it too:

sum(1/n^n,n,1,inf)=integral(1/x^x,x,0,1)

My question is does anyone know how to go about showing this? Wolfram doesn't have much to say about either side of the equation other than decimal approximations. Obviously there is no known anti-derivative for 1/x^x. Thoughts?
 

Attachments

  • New+Picture.jpg
    New+Picture.jpg
    1.9 KB · Views: 454
Mathematics news on Phys.org
You may wish to look at the "[URL Dream[/url] article in Wikipedia.
 
Last edited by a moderator:
wow that's really simple. i feel stupid.
 
superadvanced said:
wow that's really simple. i feel stupid.

Why feel stupid? It's not an obvious result by any means. The derivation in the linked wikipedia article isn't trivial either. Straightforward if you know what to do, maybe, but not simple enough to feel stupid for not thinking of it.

You found something neat. Don't feel bad that you couldn't prove it. Maybe next time you find something neat you will be able to prove it (even if it is still the case that someone else has proved it previously).
 
Mute said:
Why feel stupid? It's not an obvious result by any means. The derivation in the linked wikipedia article isn't trivial either. Straightforward if you know what to do, maybe, but not simple enough to feel stupid for not thinking of it.

You found something neat. Don't feel bad that you couldn't prove it. Maybe next time you find something neat you will be able to prove it (even if it is still the case that someone else has proved it previously).

lol I don't understand the wiki proof but there was a much simpler proof I found when googling sophomore's dream. Its on wolfram math world.
 

Thread 'What Exactly is Dirac’s Delta Function? - Insight'

Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
View full post »

Thread 'Fermat's Last Theorem'

Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
View full post »
Thread 'Imaginary Pythagorus'

Thread 'Imaginary Pythagorus'

I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
View full post »

Similar threads

A An interesting series - what does it converge to?
Replies
5
Views
2K
I Optimization problem with multiple outputs: impossible?
Replies
6
Views
2K
I Prove that the tail of this distribution goes to zero
Replies
2
Views
2K
I Can these equations be solved analytically?
Replies
6
Views
2K
I Micromass' big October challenge
3
Replies
125
Views
19K
Fascinating number theory relationship
Replies
3
Views
2K
I Runge-Kutta 4 w/ some sugar on the top: How to do error approximation?
2
Replies
65
Views
6K
I On the approximate solution obtained through Euler's method
Replies
1
Views
3K
How can negative integers be used in deriving the Hamiltonian for open strings?
Replies
12
Views
2K
I Solving Wheel Coming to a Stop: FBD, Friction & Hysteresis
Replies
22
Views
4K

Hot Threads

Recent Insights

Back
Top