Proove a*sin(x)+b*sin(x+phi)=((a+b)^2*cos(phi)^1/2*sin(x+phi/2)