Помогите решить систему! Решить систему уравнений y+cosx=0, (2 корень cos x-1)(4 y-2)=0

Во втором заменим y на -cosx, получим
(√2cosx-1)(-4cosx-2)=0,
√2cosx-1=0, -4cosx-2=0,
cosx=√2/2, cosx=-½,
x₁=±π/4+2πk, k∈Z,
y₁=∓π/4+2πk, k∈Z;
x₂=±2π/3+2πk, k∈Z,
y₂=∓2π/3+2πk, k∈Z.

Некоторые решения приведены на фото, на самом деле их бесконечное множество, выраженное описанными выше формулами
Дерзайте знать! ;)