Ali med poljubnima racionanima številoma $a$ in $b$ $(a<b)$ leži še kako racionalno število? Razišči.
Pomagaš si lahko z aktivno sliko spodaj.
Kakorkoli izberemo racionalni števili $a$ in $b$, pri čemer je $a<b$, leži racionalno število $\large{\frac{a+b}{2}}$ med njima. $$a<\frac{a+b}{2}<b$$
Na enak način lahko poiščemo aritmetično sredino za števili $a$ in $\large{\frac{a+b}{2}}$ ter $\large{\frac{a+b}{2}}$ in $b$. To lahko nadaljujemo v neskončnost. S tem dobimo neskončno različnih racionalnih števil, ki so večja od $a$ in manjša od $b$. Pravimo, da je množica racionalnih števil na številski premici povsod gosta.