Sign in to follow this  
renerpho

Curious unproven integral formula

Recommended Posts

renerpho    9

Has there ever been a formal proof of the following formula?

 

[math]\sum_{n=0}^\infty {1\over (7n+1)^2}+{1\over (7n+2)^2}-{1\over (7n+3)^2}+{1\over (7n+4)^2}-{1\over (7n+5)^2}-{1\over (7n+6)^2} \stackrel{?}{=}{24\over 7\sqrt{7}}\int_{\pi/3}^{\pi/2} \! \log {|{\tan{t}+\sqrt{7}\over \tan{t}-\sqrt{7}}|} \mathrm{d}t \approx 1.15192[/math]

 

The most recent result I can find is from Bailey&Borwein (2005), who have shown that the identity holds to at least 20,000 decimal places. Yet, no proof that it is exact has been known at that time.

The Bailey&Borwein (2005) paper can be found here: http://crd-legacy.lbl.gov/~dhbailey/dhbpapers/math-future.pdf

 

Thanks,

Daniel

Edited by renerpho

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Sign in to follow this