∫ f( cosx ) sinxdx 　 cos x = t 　とおくと, d t d x = − sin x d x = − 1 sin x d t よって,与式 　　 =−∫ f( t ) sinx⋅ 1 sinx dt =−∫ f( t )dt