Tuesday, 13 December 2016

Integer powers on the real line



Show that between two positive real numbers we can find a number of the form 2n3m,m,nZ.



Can someone help please?
Thank you in advance!


Answer




Assume that you want to find some number of the form 2n3m (with m,nZ) in the interval (a,b)R+. Let we consider the sequence of intervals given by Ik=(2ka,2kb). If one of such intervals contains a power of 3 (say 3h) we are done, since 2k3h belongs to (a,b).
If we consider the function φ:xlog3(x), φ maps Ik into
Jk=(log3(a)+klog3(2),log3(b)+klog3(2))
that is an interval with fixed length, log3(b)log3(a). We just have to show that for some kZ the interval Jk contains an integer, but that is granted by the irrationality of log3(2): it is enough to consider the denominators of convergents of the continued fraction of log3(2) that ensure a good enough approximation. To finish the proof, we just need to prove that log3(2)Q. Simple by contradiction: assuming that log3(2)=pq with gcd, we have 2^q=3^p, absurd by the unique factorization theorem.



A worked example: since \log_3(2)\approx\frac{15601}{24727}, \;2^{24726}\,3^{-15600}\in\left(1.5,1.51\right).



To state it shortly, the numbers of the form a\log 2+b\log 3 with a,b\in\mathbb{Z} give a dense subset of the real line, and the exponential map is a continuous map, hence it preserves density (in \mathbb{R}^+).


No comments:

Post a Comment

real analysis - How to find lim_{hrightarrow 0}frac{sin(ha)}{h}

How to find \lim_{h\rightarrow 0}\frac{\sin(ha)}{h} without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...