Определите, с доказательством, все целые значения `a`, для которых уравнение `x^2 + a*x*y + y^2 = 1` имеет бесконечно много различных целых решений `x`, `y`.