How to prove that there’s always at least one rational number between two real numbers?

1 Answer
Feb 3, 2018

See explanation...

Explanation:

Given two real numbers a < ba<b, choose an integer N > 1/(b-a)N>1ba

Then b-a > 1/Nba>1N

If bb is an integer multiple of 1/N1N then b-1/Nb1N is a rational number in (a, b)(a,b)

Otherwise floor(bN)/NbNN is a rational number in (a, b)(a,b)