cos(x)<-1/7 неравенство

Дано неравенство:
$$\cos{\left(x \right)} < - \frac{1}{7}$$
Чтобы решить это нер-во - надо сначала решить соотвествующее уравнение:
$$\cos{\left(x \right)} = - \frac{1}{7}$$
Решаем:
Дано уравнение
$$\cos{\left(x \right)} = - \frac{1}{7}$$
- это простейшее тригонометрическое уравнение
Это уравнение преобразуется в
$$x = 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
$$x = 2 \pi n - \pi + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
Или
$$x = 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
$$x = 2 \pi n - \pi + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
, где n - любое целое число
$$x_{1} = 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
$$x_{2} = 2 \pi n - \pi + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
$$x_{1} = 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
$$x_{2} = 2 \pi n - \pi + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
Данные корни
$$x_{1} = 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
$$x_{2} = 2 \pi n - \pi + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
являются точками смены знака неравенства в решениях.
Сначала определимся со знаком до крайней левой точки:
$$x_{0} < x_{1}$$
Возьмём например точку
$$x_{0} = x_{1} - \frac{1}{10}$$
=
$$\left(2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}\right) - \frac{1}{10}$$
=
$$2 \pi n - \frac{1}{10} + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
подставляем в выражение
$$\cos{\left(x \right)} < - \frac{1}{7}$$
$$\cos{\left(2 \pi n - \frac{1}{10} + \operatorname{acos}{\left(- \frac{1}{7} \right)} \right)} < - \frac{1}{7}$$

cos(1/10 - acos(-1/7)) < -1/7

но

cos(1/10 - acos(-1/7)) > -1/7

Тогда
$$x < 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$
не выполняется
значит одно из решений нашего неравенства будет при:
$$x > 2 \pi n + \operatorname{acos}{\left(- \frac{1}{7} \right)} \wedge x < 2 \pi n - \pi + \operatorname{acos}{\left(- \frac{1}{7} \right)}$$

         _____  
        /     \  
-------ο-------ο-------
       x_1      x_2