>>255 部分積分で、まず
∫(t・cos(α-t))dt
の原始関数を求めてみなされや。

もちろん、被積分関数をf(t)とg'(t)の積と見なすとき、
g'(t)にあたる方がcos(α-t)だよ。