解这类方程的一个重要思想：降次
这类方程一般长这样：
[x^2+ax+b=y^2
]
因为(x,y)都是整数，可以设(y=x+t)，其中(t)也是一个整数。
将其带入并展开，可以得到：
[x^2+ax+b=x^2+2tx+t^2
]
这样就可以消去二次项了：
[ax+b=2tx+t^2
]
[(2t-a)x=b-t^2
]
[x=frac{b-t^2}{2t-a}
]
这样就是要求有那些整数(t)满足上面的式子算出来的结果是整数。
要特别注意下面的分母是(0)的情况，需要特判，并且当分子分母都为(0)时，不定方程是有无穷解的。