70
$\begingroup$

Let $$x=0.112123123412345123456\dots $$ Since the decimal expansion of $x$ is non-terminating and non-repeating, clearly $x$ is an irrational number.

Can it be shown whether $x$ is algebraic or transcendental over $\mathbb{Q}$ ? I think $x$ is transcendental over $\mathbb{Q}$. But I don't know how to formally prove it. Could anyone give me some help ? Any hints/ideas are much appreciated. Thanks in advance for any replies.

My Number:

$$x=0.\underbrace{1}_{1^{st}\text{ block}}\overbrace{12}^{2^{nd}\text{ block}}\underbrace{123}_{3^{rd}\text{ block}}\overbrace{1234}^{4^{th}\text{ block}}\dots \underbrace{12\dots n}_{n^{th}\text{ block}}\dots $$ where $n^{th}$ block is the first $n$ positive integers for each $n\in \mathbb{Z}^+$.

(That is the 10th block of $x $ is $12345678910$; The 11th block is $1234567891011$; ... )

$\endgroup$
  • 7
    $\begingroup$ This question is related and has some references which might be useful. $\endgroup$ – Winther Feb 16 '15 at 8:01
  • 11
    $\begingroup$ Unclear question! How about the pattern after 123456789? $\endgroup$ – Harry Peter Feb 16 '15 at 17:15
  • 6
    $\begingroup$ It would be followed by 12345678910. $\endgroup$ – dalastboss Feb 16 '15 at 17:23
  • 8
    $\begingroup$ @tomi: The "better form" may change OP's answer, for comparison Champernowne constant 0.12345678910111213... is transcendental while $\sum_{i=1}^\infty i/10^i$ = 0.123456790123... = 10/81. $\endgroup$ – kennytm Feb 28 '15 at 14:33
  • 16
    $\begingroup$ @barakmanos Actually, probability is measure theory, not cardinality, and probability zero doesn't mean much when dealing with a specific real number. $\endgroup$ – Thomas Andrews Feb 28 '15 at 14:55
6
+50
$\begingroup$

Obviously, it can be outputed by Turing Machine in real time. Thus under the Hartmanis-Stearns conjecture, it is a transcendental number.

$\endgroup$
4
$\begingroup$

I believe your number can be written as

$$\sum _{j=1}^\infty 10^{-\sum _{m=1}^{j+\frac{1}{2}} \sum _{n=1}^m \left\lceil \log _{10}(n+1)\right\rceil } \left\lfloor c 10^{\sum _{n=0}^j \left\lceil \log _{10}(n+1)\right\rceil }\right\rfloor$$

where $c$ is the Champernowne constant.

Don't know if that helps.

$\endgroup$
0
$\begingroup$

Your number can be written with the following formula: $$\sum_{n=1}^{\infty} \frac{ \sum_{r=1}^n r(10)^{n-r}}{10^{\frac{n(n+1)}{2}}}$$ I don't know how to prove it is transcendental, but I hope this helps!

$\endgroup$
  • 4
    $\begingroup$ I just realized this isn't correct, I didn't account for blocks with two or three decimal digits like 1234567891011... $\endgroup$ – Rob Bland Oct 15 '15 at 2:53
  • $\begingroup$ If I may ask : What is the procedure that you made to arrive to that expression ? $\endgroup$ – I0_0I Aug 26 '19 at 13:24

Not the answer you're looking for? Browse other questions tagged or ask your own question.