■πの級数公式(その33)
定積分がπ^2になる原始関数は何だろうか? もちろん,
∫(0,π^2)dx=π^2
なので,積分範囲に制約をも受けなければ面白くないが・・・ (佐藤郁郎)
===================================
[1]∫(0,1)1/x・log((1+x)/(1−x))dx=π^2/4
[2]∫(0,1)1/x・log((x−y)/(x+y))^2dx=π^2 (y<0)
[3]∫(0,1)logx/(1+x)dx=−π^2/12
[4]∫(0,1)logx/(1−x)dx=−π^2/6
など・・・ (阪本ひろむ)
===================================