Show that between two positive real numbers we can find a number of the form 2n3m,m,n∈Z.
Can someone help please?
Thank you in advance!
Answer
Assume that you want to find some number of the form 2n3m (with m,n∈Z) 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 2−k3h belongs to (a,b).
If we consider the function φ:x↦log3(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 k∈Z 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