衒学記鳥の日樹蝶

三年近く度々挑んでは跳ね返され、解き方を得られずにいた問題に決着がつきました！ ∫ [0,π/2] x cot(x) log(cot(x)) dx = π^3/48 という積分値を示せという問題です。 かつて知恵袋にて投稿され、それからずっと悩まされてきたものでした。 ↓以前の挑戦というか挫折というかぼやき。 pedantic-ganger.hatenablog.com この…