Question

Решить систему уравнений
$left { {{sin(x) = cos(y)} atop {sin^{2}x + cos^{2}y = frac{1}{2} }} right.$
Идея решения простая, а вот найти все решения и записать их компактно сложно!
Пожалуйста, с подробным объяснением.