Som murb sa så kan du använda cos(pi-v) = -cos(v) tillsammans med cos(-v)=cos (v)
Så om -cos(v)= -cos(pi/12-x) så är cos(x+3pi/4+pi)=-cos(-v)
cos(x+3pi/4+pi)=cos(pi/12-x) ger
x+3pi/4+pi=pi/12-x+2n*pi
2x=-5pi/3+2n*pi
x=n*pi-5pi/6
lite full just nu men jag ska försöka renskriva detta bättre nån gång senare