cosx= pi/12 +pi/3k как решить?

Решения:

x=+ - arccos(pi/12+pi/(3k))+2pi*n, где n=...-2,-1,0,1,2,...

Решения существуют, если |pi/12+pi/(3k)|