分からない問題はここに書いてね462

>>27
　tan(t) = x,
　t = arctan(x),
とおいたら
　dt = dx/(1+xx),
だよ。

√2 arcsin( (√2)sin(t) ) - arctan( sin(t)/√cos(2t) )


次の式で a=1/√2　とおく。
√{cos(t)^2 - aa} /cos(t) dt
　= arcsin( sin(t)/√(1-aa) ) - a･arctan(a･tan(t)/√(1-aa)),
　|a|<1
森口･宇田川･一松: 「数学公式I」, 岩波全書221 (1956)
　p.204　中ほど