三年近く度々挑んでは跳ね返され、解き方を得られずにいた問題に決着がつきました! ∫ [0,π/2] x cot(x) log(cot(x)) dx = π^3/48 という積分値を示せという問題です。 かつて知恵袋にて投稿され、それからずっと悩まされてきたものでした。 ↓以前の挑戦というか挫折というかぼやき。 pedantic-ganger.hatenablog.com この積分がかなりのヘビー級の問題でしたので、大きく5つのステップに章立てて追いかけて行きます。早速、見ていきましょう。 (以下、執筆中)