


Έγραψα το ολοκλήρωμα ως:


ώστε να εμφανιστούν τα δυο τελευταία ολοκληρώματα. Κάθε ένα από αυτά ισούται με
.Το μεσαίο ισούται με το διπλό άθροισμα που δημοσίευσα και είναι σε αυτό που έχω κολλήσει.
Αυτό το ολοκλήρωμα είναι επίσης ίσο με τους παρακάτω πολυλογάριθμούς:


Αν μπορούσαμε με κάποιον τρόπο να δείξουμε ότι αυτό το ολοκλήρωμα ισούται είτε με αυτούς τους πολυλογάριθμους, είτε με αυτό το άθροισμα είτε με κάτι άλλο θα είχαμε τελειώσει.
Έχω αποδείξει το μεγαλύτερο μέρος αλλά έχω κολλήσει εδώ
Βέβαια, μια εντελώς διαφορετική μέθοδος είναι ευπρόσδεκτη. That's cool.
Επίσης, παρατήρησα ότι το αρχικό ολοκλήρωμα σχετίζεται στενά με τα αθροίσματα Clausen και για αυτό ακολούθησα αυτήν την κατεύθυνση.
Εξετάζω τα ολοκληρώματα της μορφής
για να δω αν σχετίζονται με τα Clausens και αν έχουν κάποια κλειστή γενική μορφή.~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Μια άλλη διαδρομή που πήρα ήταν με την χρήση της συνάρτησης Βήτα για να πάρω το άθροισμα:



Αν μπορούσαμε να δείξουμε ότι το αριστερό άθροισμα ισούται με το δεξί άθροισμα, θα το είχαμε αποδείξει, επειδή το δεξί άθροισμα είναι γνωστό αποτέλεσμα. Το πρόβλημα είναι ότι δεν τα καταφέρνω και τόσο με τον χειρισμό αθροισμάτων. Το γνωρίζω ότι είναι ισοδύναμα, αλλά πως μπορούμε να το αποδείξουμε;
και
)
καθώς και 
που σε συνδυασμό με την πρώτη δίδει
. Οι παραπάνω σχέσεις προκύπτουν εύκολα από το γεγονός ότι 
διότι




αποδείχθηκε εδώ
\displaystyle{\displaystyle{I = \frac{1}{2}\int\limits_0^1 {\frac{{{{\log }^2}\left( {{x^2} - x + 1} \right)}}{{x\left( {1 - x} \right)}}dx} = \frac{1}{2}\int\limits_0^1 {\frac{{{{\log }^2}\left( {1 - x\left( {1 - x} \right)} \right)}}{{x\left( {1 - x} \right)}}dx} = }
\displaystyle{ = \int\limits_0^1 {\sum\limits_{n = 1}^\infty {\frac{{{H_n}}}{{n + 1}}{x^n}{{\left( {1 - x} \right)}^n}} dx} = \sum\limits_{n = 1}^\infty {\frac{{{H_n}}}{{n + 1}}B\left( {n + 1,n + 1} \right)} = }}


έχουμε 




όπου 
, συνεπώς 

\displaystyle{\displaystyle{ - \frac{1}{2} + 4\left[ {{x^2}\log \left( {\sin x} \right)} \right]_0^{\pi /6} - 8\int\limits_0^{\pi /6} {x\log \left( {\sin x} \right)dx} = }
\displaystyle{I = \frac{{2\pi }}{{9\sqrt 3 }}{\psi _1}\left( {\frac{1}{3}} \right) - \frac{{4{\pi ^3}}}{{27\sqrt 3 }} - \frac{{2\zeta \left( 3 \right)}}{9} - 1 - 2\underbrace {\sum\limits_{n = 1}^\infty {\frac{{{{\left( {n!} \right)}^2}}}{{\left( {n + 1} \right)\left( {2n + 2} \right)!}}} }_{{S_1}} = }