きれいな解法ですね。方程式

　x^2 - 3y^2 = a

は実2次体Q(√3)の単数群が無限次巡回群だから任意の整数 a で無限個整数解をもつ事を利用するわけですね。