Сначала решаем как логарифмическое уравнение, для этого приведем к одинаковому основанию и внесем под знак логарифма дробь 1/2.
log2(x) = 2log4(x), это должно быть понятно.
log4(1 - sin(2x)) <= 1/2 + 2log4(sin(x))<br>log4(1 - sin(2x)) <= log4(2) + 2log4(sin(x))<br>log4(1 - sin(2x)) <= log4(2) + log4(sin(x)) + log4(sin(x))<br>log4(1 - sin(2x)) <= log4(2) + log4(sin^2(x))<br>log4(1 - sin(2x)) <= log4(2*sin^2(x))<br>
Так как основание логарифма (4) больше 1, это неравенство эквивалентно следующему:
1 - sin(2x) <= 2*sin^2(x)<br>Решим его.
Пусть s = sin(x), c = cos(x), C = ctg(x). Тогда получим:
2ss - 1 + 2sc >= 0
Рассмотрим 2 случая:
1) sin(x) = 0. В этом случае cos(x) = 1
0 - 1 + 0 >= 0
Неравенство решений не имеет.
2) sin(x) <> 0. В этом случае имеем возможность разделить неравенство на sin^2(x) > 0. Получим:
2 - 1/(ss) + 2c/s >= 0
2 - 1/(ss) + 2C >= 0
В учебнике должна быть такая формула:
1 + CC = 1/(ss)
Применив ее и выразив 1/(ss) через котангенс получим:
2 - 1 - CC + 2C >= 0
1 - CC + 2C >= 0
CC - 2C - 1 <= 0, где C = ctg(x)<br>
А это уже квадратное уравнение. Решим его:
D = 4 + 4*1 = 8
C1,2 = (2 +- sqrt(8))/2
sqrt(8) это корень квадратный из 8.
Промежуточный ответ:
x = arcctg((2 + sqrt(8))/2) + pn = arcctg(1 + sqrt(2)) + pn
x = arcctg((2 - sqrt(8))/2) + pn = arcctg(1 - sqrt(2)) + pn
Тут еще нужно не забыть про ОДЗ, т. к. аргумент логарифмической функции должен быть больше нуля.
sin(x) > 0 выполняется при x E (0 + 2p; p + 2p)
1 - sin(2x) > 0 выполняется всегда кроме x = p/4
Поэтому ответ такой:
x = arcctg(1 + sqrt(2)) + 2pn
x = arcctg(1 - sqrt(2)) + 2pn