4
$\begingroup$

A friend asked me this problem but I couldn't solve. Not homework.

Given reals $x>1$, $\epsilon>0$, does there always exist $i,n \in \mathbb N$ such that |x^i -n |<\epsilon. If the answer is in the negative, is there a nontrivial subset $S \subset (1,\infty)$ such that all $x\in S$ satisfy this?

  • 3
    http://e$n$.wikipedia.org/wiki/Pisot%E2%80%93Vijayaraghava$n$_number2012-04-25

1 Answers 1

4

We are going to find a sequence of nested intervals $(a_i,b_i)$ such that if $x\in[a_i,b_i]$ then $x^i\in [n_i+\frac{1}{3},n_i+\frac 2 3]$ for some integer $i$.

Then you'd have a counter-example by taking the limit.

Let $a_1=9\frac 1 3$ and $b_1=9\frac 2 3$.

Now, assume you have $(a_i,b_i)$ and $n_i$ such that $a_i^i = n_i + \frac{1}{3}$ and $b_i^i= n_i +\frac 2 3$.

Then look at the interval $[a_i^{i+1},b_i^{i+1}]$. By choose $a_1>9$, we see that this interval is at least $9$ times the length of the $[a_i^i,b_i^i]$, which is length $\frac{1}{3}$, so, in particular, this interval must contain some full integer interval, $[n_{i+1},n_{i+1}+1]$. Now, choose $a_{i+1}=\sqrt[i+1]{n_{i+1}+\frac{1}3}$ and $b_{i+1}=\sqrt[i+1]{n_{i+1}+\frac 2 3}$. Then $[a_{i+1},b_{i+1}]\subset [a_i,b_i]$ and, for any value $x\in [a_{i+1},b_{i+1}]$, $x^i$ is at least $\frac 1 3$ away from the nearest integer.

Now, if $x\in \cap_i [a_i,b_i]$, then $|x^i-n|>\frac{1}{3}$ for all $i>0$ and all integers $n$.

Therefore the answer is in the negative.

I think it is fairly easy to use a variation of this argument to prove that the set of counter-examples are dense in the set $(1,\infty)$.

I think a similar argument can show that the set of reals satisfying your condition is also dense.

  • 0
    @GerryMyerson Changed to use closed intervals, but not really necessary, because you can ensure that a_{i+1}>a_i and b_{i+1}.2012-04-25