sinx cos45° + cosx sin45° = cos17°cos13° - sin17°sin13°

по формулам  получаем:sin(x+45)=cos(17+13)sin(x+45)=cos30sin(x+45)=sqrt3/2x+45=(-1)^n*arccos(sqrt3/2)+pinx+pi/4=(-1)^n*pi/3+pinx=(-1)^n*pi/3-pi/4+pin