整数全体の集合をZとし、整数a,b,cに対して、f(x)=ax^2+bx+cによって定義される写像f:Z→Zを考える。
fが1対1の写像となるa,b,cの条件を求めよ。

<答>
f(x1)=f(x2)⇒x1=x2となるための条件を求めればよいから
f(x1)=f(x2)⇔a(x1)^2+b(x1)+c=a(x2)^2+b(x2)+c
f(x1)=f(x2)⇔(x1-x2){a(x1+x2)+b}=0
したがって、a(x1+x2)+b≠0…�@となる条件を求めればよい
(�@)a=0のとき �@⇔b≠0
(�A)a≠0のとき �@⇔x1+x2=-(b/a)
したがって、b/aが整数でない
すなわち、bがaの倍数でない


の、(�A)の部分が理解できません。
なぜx1+x2=-(b/a)ならばb/aが整数ではないということが言えるのでしょうか。
ご指導お願いします。