(bm/bn) - (an/bn) = (bm - an)/(bn)
That is a rational because it is the quotient or fraction of two integers:
_ (bm - an) is an integer
_ (bn) is an integer
(bm - an)/(bn) = x
Therefore, the left part of the equality is rational. And that part on the left must be equal to the part on the right, which is x (irrational).
This means that if the sum is rational it implies that x is rational
which goes against the initial assumption that x is irrational.