Решение
1) не видно аргументов
2) cos6x = cos4x
cos6x - cos4x = 0
- 2*[sin(6x + 4x)/2 * sin(6x - 4x)/2] = 0
sin5x * sinx = 0
1) sin5x = 0
5x = πk, k ∈ Z
x₁ = πk/5, k ∈ Z
2) sinx = 0
x₂ = πn, n ∈ Z
3) 2sin²(45° - 3t) + sin6t = 1
Преобразуем левую часть тождества
1 - cos(90° - 6t) + sin6t = 1 - sin6t + sin6t = 1
1 = 1
доказано