∫[0≦t≦k] e^-t (cost−sint) dt
=∫[0≦t≦k] e^-t cost−e^-t sint dt
=∫[0≦t≦k] e^-t cost dt-∫[0≦t≦k] e^-t sint dt
長いから∫[0≦t≦k] e^-t cost dtをAとすると
∫[0≦t≦k] e^-t sint dtは
-e^-t sint [0≦t≦k]+A=-ｅ^-k sink+Ａとなる
よって∫[0≦t≦k] e^-t (cost−sint) dt=Ａ+ｅ^-k sink-Ａ
=ｅ^-k sink