11
$\begingroup$

Show that if the integers $1 increase so rapidly that$\frac{1}{b_{k+1}}+\frac{1}{b_{k+2}}+\cdots<\frac{1}{b_{k}-1}-\frac{1}{b_{k}},\quad k\geq 1,$ then the number $\sum b_k^{-1}$ is irrational. Prove that $\sum_{0}^{\infty}(2^{3^k}+1)^{-1}$ is irrational.

I don't know how to think about them. Could anyone prove them?

  • 0
    This could be quite delicate: if you change < to $\le$ in the displayed condition then the statement would no longer be true. Let $b_1=2$, $b_2=3$, $b_3=7$, $b_4=43$, and in general $b_{k+1} = b_k(b_k-1)+1$. Then $\sum b_k^{-1} = 1$ is rational, while $1/b_{k+1}+1/b_{k+2}+\cdots = 1/(b_k-1) - 1/b_k$ for each $k$.2011-11-23

1 Answers 1

5

See if references in this post by Ragib Zaman are useful.

Specifically, the following theorem by Erdős, says that for an increasing sequence $a_k$ of positive integers, in this case $a_k = 2^{3^k}+1$, such that $\underset{n\to \infty}{\lim \sup}\; a_n^{\frac1{2^n}} = \infty$ and $a_n > n^{1+\epsilon}$ for every $\epsilon > 0$ and $n>n_0(\epsilon)$, then the sum $\sum\limits_{n=1}^\infty \frac1{a_n}$ is an irrational number.

It is easy to check that these conditions are met: $ \underset{n\to \infty}{\lim \sup} \left( 2^{3^n}+1 \right)^{\frac1{2^n}} = \lim_{n \to \infty} 2^{(3/2)^n} = \infty $ Also clearly $a_n$ grows faster than $n^{1+\epsilon}$ for any $\epsilon > 0$, thus it follows that $\sum\limits_{n=1}^\infty \frac1{2^{3^n}+1}$ is irrational.