# Is 0.24681012141618202224… transcendental?

Is a number whose infinite decimal part is the sequence of even numbers, transcendental? How about a number whose infinite decimal part is the odd numbers? Would the odds be more difficult to prove since they contain almost the entire sequence of primes?

• Both are transcendental, and neither is really harder to establish than the other. – Andrés E. Caicedo Apr 30 '17 at 0:43
• An excellent reference for results on transcendental number theory is MR2077395 (2005f:11145) Reviewed. Burger, Edward B.(1-WLMS); Tubbs, Robert(1-CO), Making transcendence transparent. An intuitive approach to classical transcendental number theory. Springer-Verlag, New York, 2004. x+263 pp. ISBN: 0-387-21444-5. – Andrés E. Caicedo Apr 30 '17 at 0:57
• The methods required to deal with the numbers you ask about are explained in sections 1.6 and 1.7 of that book. The result follows from the highly nontrivial Roth's theorem, for which there are several very good (but somewhat sophisticated) references (the book does not include a complete proof of this result). – Andrés E. Caicedo Apr 30 '17 at 1:03
• For a proof of Roth's theorem, I suggest for instance Chapter 6 of MR2216774 (2007a:11092) Reviewed. Bombieri, Enrico(1-IASP); Gubler, Walter(D-DORT), Heights in Diophantine geometry. New Mathematical Monographs, 4. Cambridge University Press, Cambridge, 2006. xvi+652 pp. ISBN: 978-0-521-84615-8; 0-521-84615-3. – Andrés E. Caicedo Apr 30 '17 at 1:03
• @dhy, if you shift it left 2 places and subtract (that is to say, if you multiply by 99), the 101214161820...949698 part becomes 020202...0202. Shift left 3 places and see what happens to 100102104...994996998. – Gerry Myerson Apr 30 '17 at 6:56

In point of fact, K. Mahler proved in this paper that, if $p(x)$ in a non-constant polynomial such that $p(n) \in \mathbb{N}$ for every $n\in \mathbb{N}$, then the number
$$0.p(1)p(2)p(3)p(4)\ldots,$$
which is formed concatenating after the decimal point the values of $p(1), p(2), p(3), \ldots$ (in that order), is a transcendental and non-Liouville number.