■πの級数公式(その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

など・・・   (阪本ひろむ)

===================================