Oncelikle PoliLogaritma fonksiyonunu integral formunda tanimlayalim (genel hali kompleks sayilar uzerinde tanimli ama bizim icin reel sayilarda tanimli olmasi yeterli).
Li1(x)=−ln(1−x) olmak uzere
Lis+1(x)=∫x0Lis(t)tdt,x∈R,s=1,2,...
Ozel hali olan DiLogaritma fonksiyonu s=1 icin
Li2(x)=∫x0−ln(1−t)tdt(1)
u=1−t donusumu yaparsak,
Li2(1−x)=∫x1ln(u)1−udu=∫x0ln(u)1−udu−∫10ln(u)1−udu(2)
u=t donusumu yaparsak Li2(1−x)=∫x0ln(t)1−tdt−∫10ln(t)1−tdt(3)
(1) ve (3) esitliklerini taraf trafa toplarsak
Li2(x)+Li2(1−x)=∫x0−ln(1−t)t+ln(t)1−tdt−∫10ln(t)1−tdt
Li2(x)+Li2(1−x)=−ln(x)ln(1−x)−∫10ln(t)1−tdt(4)
(4) esitliginde x=1/2 koyalim. (sondaki integral onceki soruda gosterilmisti).
Li2(1/2)+Li2(1/2)=−ln(1/2)ln(1/2)+π26
2Li2(1/2)=−ln(2)2+π26
Li2(1/2)=∫1/20−ln(1−t)tdt=π212−12ln(2)2
Kaynakca:
1) https://en.wikipedia.org/wiki/Polylogarithm
2) Abel'in makalesi
http://www.abelprisen.no/nedlastning/verker/oeuvres_1881_del2/oeuvres_completes_de_abel_nouv_ed_2_kap14_opt.pdf