take a+(b-a)/n where n is a positive integer above 1
where a < b
(b-a)/n > 0
=> a+(b-a)/n > a
and
a < b
=> a(n-1) < b(n-1)
=> an-a < bn-b
=> an-a+b <bn
=> a+(b-a)/n < b
=> a < a+(b-a)/n < b
as it is true that there are and infinite number of positive integer,
there are an infinite amount of number for which a+(b-a)/n is in the interval (a,b) and as a,b and n are rational a+(b-a)/n must be rational.
Thus it follows that there must be an infinite number of rational numbers between the interval (a,b). QED.