Example 4 Let . Prove: In the interval , there are exactly integers that cannot be expressed in the form , where are non-negative integers.
Solution
Proof
Let
and call a number representable if it can be written as , otherwise it is called non-representable.
Clearly, contains
integers, so it suffices to prove that the number of representable numbers is equal to the number of non-representable numbers, i.e., to prove: for any and are exactly one of which is representable.
First, and cannot both be representable. Otherwise, would also be representable, contradicting the conclusion of Example 3.
Second, if is non-representable, then is representable. Because if is non-representable, then the integers satisfying
must have exactly one of them negative. Without loss of generality, assume . In this case, we can choose an appropriate such that (otherwise would be representable). This means there exist , such that . Therefore,
Clearly, , so is representable.
In summary, the proposition is established.