3
$\begingroup$

Show that $\alpha:=[2;2^{1!},2^{2!},2^{3!},..]$ (continued fraction) is transcendental.

For clarification, $$\alpha = 2 + \cfrac{1}{2^{1!} + \cfrac{1}{2^{2!} + \cfrac{1}{2^{3!} + \cfrac{1}{\ddots}}}}$$


Here is my attempt:

We know from Liouville's theorem that if $\alpha$ is $d-algebraic$, then $\exists_{0<C \in \Bbb R}\forall_{\frac{p}{q} \in \Bbb Q} |\alpha-\frac{p}{q}|>\frac{C}{q^d}$. Since $\alpha$'s continued fraction is infinite, then $\alpha \notin \Bbb Q$. So we can assume $2 \leq d$. We also know that for the convergents series the following holds: $|\alpha-\frac{p_n}{q_n}|<\frac{1}{a_{n+1}q^2}$.

Putting it all together, we get for convergents series: $\frac{C}{q_n^d} < \frac{1}{a_{n+1}q_n^2}$. Hence $C < \frac{q_n^{d-2}}{a_{n+1}} = \frac{q_n^{d-2}}{2^{(n+1)!}}$.

Now I'm stuck. I would like to show that as $n \rightarrow \infty$, $C \rightarrow 0$. Which yields a contradiction for all $d$, proving that $\alpha$ is transcendental.

Any clues?

$\endgroup$
2
  • 2
    $\begingroup$ Consider inserting $$\alpha=2 + \cfrac{1}{2^{1!} + \cfrac{1}{2^{2!} + \cfrac{1}{2^{3!} + \ddots}}}$$ into the body of your question somewhere $\endgroup$ Sep 12, 2017 at 20:28
  • $\begingroup$ Thanks @ChaseRyanTaylor, I've added it into the text $\endgroup$
    – mbrg
    Sep 13, 2017 at 9:53

1 Answer 1

2
$\begingroup$

Apparently, you need an upper estimate for $q_n$. Since $q_n=a_nq_{n-1}+q_{n-2}\leqslant(a_n+1)q_{n-1}$, (note 1) we may conclude that $$q_n\leqslant(a_1+1)\cdot{\dots}\cdot(a_n+1)\leqslant {\rm const}\cdot\prod_{i=1}^n a_i\qquad^{(\rm note\;2)}$$ and hence $q_n^2=o(a_{n+1})$. (note 3)


  1. My definitions may or may not be off-by-one relative to yours; that doesn't matter.
  2. To obtain this estimate, use the fact that the product $\prod\limits_{i=1}^\infty\left(1+{1\over a_i}\right)$ converges to a finite limit iff the sum $\sum\limits_{i=1}^\infty{1\over a_i}$ does the same, which it quite obviously does.
  3. Thanks to the Roth's theorem, even a much slower growth of $a_n$ would suffice to ensure the transcendental nature of $\alpha$.
$\endgroup$
2
  • $\begingroup$ Thank for your answer. There is something I don't understand: your proof doesn't use the fact that $a_n=2^{n!}$, which means that combined with my part, it shows that every number is transcendental, which is not the case. What am I missing here? $\endgroup$
    – mbrg
    Sep 15, 2017 at 6:53
  • $\begingroup$ The proof is on you. I just outlined it. Now to the point: where did you think I got the idea that $q_n^2=o(a_{n+1})$? $\endgroup$ Sep 15, 2017 at 7:15

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .