Это вроде формула разности косинусов
cos(6x-3x)=-1
cos3x=-1
x=pi/3+2pk/3, k принадлежит Z