Existence of Dyadic Rational between two Rationals

From ProofWiki
Jump to: navigation, search

Theorem

Let $a$ and $b$ be rational numbers such that $a < b$.


Then there exist integers $m$ and $r$ such that:

$a < \dfrac m {2^r} < b$


That is, there exists a dyadic rational between any pair of rational numbers.


Proof


Sources