について書いていきたいと思います. 証明 としましょう. において とおくと: であって、\begin{eqnarray*} I &=& \int_{\pi}^{0} (\pi-t)f(\sin{(\pi-t)})\,(-1)dt \\ &=& \pi \int_0^{\pi} f(\sin{t})\, dt - \int_0^{\pi} tf(\sin{t})\, dt \\ &=& \pi \int_0^{\pi} f(\sin{t})\, dt -I \\ \end{eqnarray*}となって を移項して \begin{equation*} I = \frac{\pi}{2} \int…