Найти все корни уравнения cosx=-3^2\2 принадлежащие множеству решений неравенста log2(x-1)<3

Для того, чтобы найти все корни уравнения cos x = - 3 ^ 2/2 принадлежащие множеству решений неравенства log 2 (x - 1) < 3, сначала найдем множество решений.log 2 (x - 1) < 3;log 2 (x - 1) < log2 2 ^ 3;{ x - 1 > 0;x - 1 < 2 ^ 3;Известные значения переносим на одну сторону, а неизвестные на другую сторону. При переносе значений, их знаки меняются на противоположный знак. То есть получаем:{ x > 0 + 1;x < 2 ^ 3 + 1;{ x > 0 + 1;x < 8 + 1;{ x > 1;x < 7;Отсюда получим, 1 < x < 7.Найдем теперь корни уравнения: cos x = - 3 ^ 2/2.cos x = - 9/2;Уравнение не имеет корней.Ответ: уравнение не имеет корней.