Because a and b are integers, b − a and ab2 are both integers
(since differences and products of integers are integers).
Also, by the zero product property, ab2 = 0 because
neither a nor b is zero. Hence (b − a)/ab2 is a quotient of
two integers with nonzero denominator, and so it is rational.