Cos3xcosx-sinxsin3x=1 найти меньший положительный корень

Обратимся у формуле косинуса суммы двух доводов, тогда изначальное уравнение приобретает последующий вид:

cos(3x + x) = 1;

cos(4x) = 1.

Корешки уравнения вида cos(x) = a определяет формула:
x = arccos(a) +- 2 * * n, где n естественное число. 

4x = arccos(1) +- 2 * * n;

4x = 0 +- 2 * * n;

x = 0 +-  /2 * n.

 Так как необходимо отыскать меньший положительный корень, получаем неравенство:

/2 * n gt; 0.

Явно, что n = 1.

 Тогда:

x =  0 + /2 * 1 = /2.

Ответ: x принадлежит /2.