18/02/05 00:39:29.05 tjkCYLNc.net
>>497
x = sinh(t）とおく。
x=1 のとき、t = log(1+√2）= 0.881373587… = t_1， cosh(t_1）= √2
（与式）= ∫[0，t_1］｛ 3sinh(t)^2 + 1｝dt
=（1/2）∫[0，t_1］｛ 3sinh(t)^2 + 3cosh(t)^2 - 1｝dt *
=（1/2）［ 3 sinh(t）cosh(t）- t ］(t=0→t_1）
=（1/2）（3√2 - t_1）
= 1.68063355
*）cosh(t)^2 = sinh(t)^2 + 1 を使った。
ついでながら、>>501 だと
∫｛3 - 2(cosθ)^2}/(cosθ)^3 dθ
を求めることになり、楽しくない…