cos(at)-cos(bt)=-2{sin((a+b)t/2)}{sin((a-b)t/2)}の変形が分りません(@_@;)