微分 logx

  f( sinx,cosx )dx
f ( sin x , cos x ) sin x  と cos x
の関数のこと
tan x 2 =t  とおくと
sin x = 2 t 1 + t 2  ⇒
cos x = 1 t 2 1 + t 2  ⇒
d x = 2 1 + t 2 d t   ⇒
したがって
f( sinx,cosx )dx=
f( 2t 1+ t 2 , 1 t 2 1+ t 2 ) 2 1+ t 2 dt