sin(x+a)=sina ⇔2cos(x+a/2)sina/2=0

どういう変形を経てこうなるのでしょうか？