условие

4sin⁡x⋅sin⁡2x−sin2⁡2x−4+4cos2⁡x16−2(x−5)2≥0

шаг 1.Область допустимых значений

Корень стоит в знаменателе, поэтому подкоренное выражение строго положительно. Обе части приводим к основанию степени 2; функция 2ᵘ возрастает (основание степени 2 > 1)Показательная функция и знак неравенства
Функция y=ax монотонна на ℝ. Направление зависит от основания: при a > 1 растёт, при 0 < a < 1 убывает.
a > 1: возрастает 0 1 x₁ ax₁ x₂ ax₂
x₁ < x₂ ⟹ ax₁ < ax₂ — знак сохраняется
0 < a < 1: убывает 0 1 x₁ ax₁ x₂ ax₂
x₁ < x₂ ⟹ ax₁ > ax₂ — знак переворачивается
Переход «значения → показатели» работает так:
· при a > 1: aA≤aB⟺A≤B (знак сохраняется).
· при 0 < a < 1: aA≤aB⟺A≥B (знак переворачивается).
— переходим к сравнению показателей степени.
ОДЗ
16−2(x−5)2>0
2(x−5)2<16
2(x−5)2<24
(x−5)2<4
(x−5)2−22<0
(x−5−2)(x−5+2)<0
(x−7)(x−3)<0
+−+37
−∞
+∞
x

16 = 2⁴ — так обе части становятся степенями с основанием 2. Разность квадратов: a² − b² = (a − b)(a + b) при a = x − 5, b = 2. Пробная точка x = 5: (5 − 7)(5 − 3) = −4 < 0 — знак «−» в среднем интервале, чередование «+, −, +». Границы выколоты (строгое <).

шаг 2.Сворачиваем числитель

По основному тригонометрическому тождеству 4cos²x − 4 = −4sin²x. После этого числитель складывается в полный квадрат со знаком минус.

−4+4cos2⁡x=−4(1−cos2⁡x)=−4sin2⁡x
4sin⁡x⋅sin⁡2x−sin2⁡2x−4sin2⁡x=
=−(sin2⁡2x−4sin⁡x⋅sin⁡2x+4sin2⁡x)=
=−(sin⁡2x−2sin⁡x)2

Основное тригонометрическое тождество: sin²x + cos²x = 1. Квадрат разности: a² − 2ab + b² = (a − b)² при a = sin 2x, b = 2 sin x.

шаг 3.Знак дроби

На ОДЗ знаменатель строго положителен, а числитель — квадрат со знаком минус, то есть не больше нуля. Значит дробь ≥ 0 только там, где числитель обращается в ноль.

−(sin⁡2x−2sin⁡x)216−2(x−5)2≥0
sin⁡2x−2sin⁡x=0
2sin⁡xcos⁡x−2sin⁡x=0
2sin⁡x(cos⁡x−1)=0
[sin⁡x=0cos⁡x=1⟺[x=πnx=2πn⟺x=πn

Синус двойного угла: sin 2x = 2 sin x cos x. Серия x = 2πn целиком входит в серию x = πn, поэтому объединение — это просто x = πn.

шаг 4.Отбираем точки серии по ОДЗ

ОДЗ — конечный промежуток 3 < x < 7, поэтому из серии x = πn в него попадает лишь несколько точек. Перебираем целые n, опираясь на оценку 3 < π < 3,5.

3<πn<7
n≤0:πn≤0<3n=1:3<π<3,5<7n=2:6<2π<7n≥3:πn≥3π>9>7
[x=πx=2π

Из 3 < π < 3,5 сразу получается 6 < 2π < 7 и 9 < 3π — значит подходят только n = 1 и n = 2. Оба числа π и 2π лежат строго внутри (3; 7), поэтому выколотые границы ОДЗ ничего не отбирают.

ответ

x∈{π;2π}