一元二次方程有整数解的条件