$a$는 정수이다. 방정식\[ x^2 + axy + y^2 = 1\]이 무한히 많은 서로 다른 정수해 $(x,y)$를 갖도록 하는 $a$를 모두 구하고 그것을 증명하여라.