1) Это формула косинуса разности
cos x*cos 2x + sin x*sin 2x = cos(2x - x) = cos x = 0
x = pi/2 + pi*k
2) cos^2 x = cos 2x = 2cos^2 x - 1
Переносим cos^2 x вправо, а 1 влево
1 = 2cos^2 x - cos^2 x
cos^2 x = 1
sin^2 x = 1 - cos^2 x = 1 - 1 = 0
sin x = 0
x = pi*k