衒学記鳥の日樹蝶

メイン記事が数学にシフトしてきたブログ。

求む解法、積分

解き方を求めています!

∫ [0,π/2] x cot(x) log(cot(x)) dx = π³/48

\int_0^{\frac{\pi}{2}}\frac{x}{\tan(x)}\log\left(\frac{1}{\tan(x)}\right)\,dx=\frac{\pi^3}{48}