• Announcements

    • Cap'n Refsmmat

      SFN Upgraded   07/22/17

      SFN has been upgraded to IPB version 4. View the announcement for more details, or to report any problems you're experiencing. Note: search features, unread content, and so on won't work correctly until posts are reindexed, which should happen soon.
Sign in to follow this  
Followers 0
renerpho

Curious unproven integral formula

2 posts in this topic

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
0

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  
Followers 0