Cos6x+cosx=0 Пожалуйста помогите, желательно с объяснением

Есть формула: $cos(a)+cos(b)=2cos \frac{a+b}{2}*cos \frac{a-b}{2}$
Получаем: $cos(6x)+cos(x)=2cos \frac{7x}{2}*cos \frac{5x}{2} =0$
Если произведение равно 0, то один из множителей равен 0.
1) cos(7x/2) = 0
7x/2 = pi/2 + pi*k
x1 = pi/7 + 2pi/7*k

2) cos(5x/2) = 0
5x/2 = pi/2 + pi*n
x2 = pi/5 + 2pi/5*n