Найти количество положительных решений не превышающих число a Cos(2x)=-1 a=9

Решим тригонометрическое уравнение:

cos(2 * x) = - 1; условно переменной 2 * х;

2 * x = + 2 * * n, n Z;условно переменной х;

x = /2 + * n, n Z;

Найдем число положительных корней одинаковое а = 9;

n = 0; x = /2;

n = 1; x = 3 * /2;

n = 2; x = 5 * /2;

n = 3; x = 7 * /2;

n = 4; x = 9 * /2;

n = 5; x = 11 * /2;

n = 6; x = 13 * /2;

n = 7; x = 15 * /2;

n = 8; x = 17 * /2.