Prove there's a number of form k/2^n between any two reals

[Anzas]

prove that between any two real numbers there is a number of the form
$$\frac{k}{2^n}$$
where k is an integer and n is a natural number.

 

[NateTG]

This should be very easy.

Hint: Write the real numbers in binary.

 

[Hurkyl]

Sounds like homework. What have you tried?

 

[Icebreaker]

Sounds interesting. I haven't been able to prove it, even with binary.

 

[HallsofIvy]

I did something similar in a proof showing that monotone convergence implies least upper bound property.

Let the two distinct real numbers be a and b with a> b. Then a- b> 0 so $$\frac{1}{a-b}$$ exists and is positive. By the Archimedian property of integers (given any real number x, there exist an integer m with m>x) there exist an integer n with $$n> \frac{1}{a-b}$$.

But it is easy to prove by induction that, for all positive integers n, 2ⁿ> n (Hint: first prove by induction that 2n>= n+1) so we have $$2^n> \frac{1}{a-b}$$. That means that 2ⁿ(a- b)= 2ⁿa- 2ⁿb> 1.
Since the distance between those two numbers is greater than 1, there exist an integer, k, such that 2ⁿb< k< 2ⁿa. Dividing through by 2ⁿ gives $$b< \frac{k}{2^n}< a$$.

 

[NateTG]

That's very elegant.

I was thinking more along the lines of:
WOLOG $a>b$.
Since $a$ and $b$ are real numbers, they can be written in binary notation in such a way that each of them has an infinite number of zeroes to the right of the binary (or is it still decimal?) point.

Now, since $a \neq b$ there is a first digit where they differ. At that position, $a$ will have a 1, and $b$ will have a zero. Now, since there is an infinite number of zeros, there is a next location where b has a zero. Let's say that that's the $2^{-k}$s place.

Then the integer part of
$$b*2^{k}+1$$
divided by
[tex]2^{k}[/itex]<br /> Is between $a$ and $b$[/tex]