Pokazati želimo, da med dvema racionalnima številoma obstaja vsaj še eno racionalno število, zato želimo pokazati, da med številoma in leži aritmetična sredina teh dveh števil:
Dokaz:
To res velja, saj je položaj na številski premici levo od . Zato med dvema racionalnima številoma obstaja vsaj še eno racionalno število:
|
Množica ulomkov je povsod gosta, saj lahko poiščemo razpolovišče tudi med in , in ,...


