24/04/28 17:20:17.07 D0y7o8h6.net
>>642
x = ab/t とおくと
(与式) = ∫[a,b] cos(ab/t－t) (ab/tt)dt,
これらを相加平均して
(与式) = (1/2)∫[a,b] cos(x－ab/x) (1+ab/xx)dx
= (1/2)∫[a,b] cos(x－ab/x) (x－ab/x)' dx
= [ (1/2)sin(x－ab/x) ](x：a→b)
= sin(b-a),
24/04/28 17:20:17.07 D0y7o8h6.net
>>642
x = ab/t とおくと
(与式) = ∫[a,b] cos(ab/t－t) (ab/tt)dt,
これらを相加平均して
(与式) = (1/2)∫[a,b] cos(x－ab/x) (1+ab/xx)dx
= (1/2)∫[a,b] cos(x－ab/x) (x－ab/x)' dx
= [ (1/2)sin(x－ab/x) ](x：a→b)
= sin(b-a),