Transcendental numbers are numbers that cannot be the root of a nonzero polynomial with rational coefficients (i.e., not an algebraic number). Examples of such numbers are $\pi$ and $e$.

learn more… | top users | synonyms

97
votes
1answer
20k views

Can $x^{x^{x^x}}$ be a rational number?

If $x$ is a positive rational number, but not an integer, then can $x^{x^{x^x}}$ be a rational number ? We can prove that if $x$ is a positive rational number but not an integer, then $x^x$ can ...
47
votes
1answer
1k views

Is $ 0.112123123412345123456\dots $ algebraic or transcendental?

Since the decimal expansion $ 0.112123123412345123456\dots $ is non-terminating and non-repeating, clearly $ 0.112123123412345123456\dots $ is an irrational number. Can it be shown whether it is ...
43
votes
3answers
1k views
41
votes
11answers
2k views

What if $\pi$ was an algebraic number? (significance of algebraic numbers)

To be honest, I never really understood the importance of algebraic numbers. If we lived in an universe where $\pi$ was algebraic, would there be a palpable difference between that universe and ours? ...
41
votes
7answers
3k views

Calculating pi manually

Hypothetically you are put in math jail and the jailer says he will let you out only if you can give him 707 digits of pi. You can have a ream of paper and a couple pens, no computer, books, previous ...
38
votes
0answers
923 views

Is $\sqrt {2 \sqrt {3 \sqrt {4 \ldots}}}$ algebraic or transcendental?

It's easy to show that $\sqrt {2 \sqrt {3 \sqrt {4 \ldots}}}$ is irrational. However, can it be shown whether it is algebraic or transcendental? My hunch is that it's transcendental but I don't know ...
32
votes
2answers
1k views

Is this number transcendental?

My son was busily memorizing digits of $\pi$ when he asked if any power of $\pi$ was an integer. I told him: $\pi$ is transcendental, so no non-zero integer power can be an integer. After tiring of ...
31
votes
1answer
710 views

What is the role of mathematical intuition and common sense in questions of irrationality or transcendence of values of special functions?

I got the number $$\frac{\Gamma\left(\frac{1}{5}\right)\Gamma\left(\frac{4}{15}\right)}{\Gamma\left(\frac{1}{3}\right)\Gamma\left(\frac{2}{15}\right)}=0.824326275998351470388591998726842...$$ in the ...
26
votes
2answers
530 views

Linear independence of the numbers $\{1,e,e^2,e^3\}$

Does someone know a proof that $\{1,e,e^2,e^3\}$ is linearly independent over $\mathbb{Q}$? The proof should not use that $e$ is transcendental. $e:$ Euler's number. $\{1,e,e^2\}$ is linearly ...
24
votes
1answer
750 views

Is $0.23571113171923293137\dots$ transcendental?

Is the following number transcendental? $$0.23571113171923293137\dots$$(Obtained by writing prime numbers consecutively from left to right, in the decimal expansion)
23
votes
1answer
747 views

Is $0.1010010001000010000010000001 \ldots$ transcendental?

Does anyone know if this number is algebraic or transcendental, and why? $$\sum\limits_{n = 1}^\infty {10}^{ - n(n + 1)/2} = 0.1010010001000010000010000001 \ldots $$
22
votes
2answers
809 views

Do the Liouville Numbers form a field?

The Liouville numbers are those which are better-than-polynomially approximated by rationals. More precisely, we say $x\in\mathbb{R}$ is Liouville when for all $n\in\mathbb{N}$ there is a $\tfrac ...
22
votes
2answers
512 views

Is $\{\tan(x) : x\in \mathbb{Q}\}$ a group under addition?

A student asked me the following today : Is $S:= \{\tan(x) : x\in \mathbb{Q}\}$ a group under addition? I am quite perplexed by it. Clearly, the only non-trivial part is to check For any $x, ...
20
votes
4answers
2k views

Uncountable set of irrational numbers closed under addition and multiplication?

Is such a thing even possible? There's not much to say really. Obviously if there was a set it would be full of transcendental numbers. This led me to think of a function generating transcendental ...
20
votes
2answers
982 views

Proving that $\frac{\pi}{4}$$=1-\frac{\eta(1)}{2}+\frac{\eta(2)}{4}-\frac{\eta(3)}{8}+\cdots$

After some calculations with WolframAlfa, it seems that $$ \frac{\pi}{4}=1+\sum_{k=1}^{\infty}(-1)^{k}\frac{\eta(k)}{2^{k}} $$ Where $$ \eta(n)=\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k^{n}} $$ is the ...
19
votes
1answer
414 views

Is the positive root of the equation $x^{x^x}=2$, $x=1.47668433…$ a transcendental number?

I can prove using the Gelfond–Schneider theorem that the positive root of the equation $x^{x^x}=2$, $x=1.47668433...$ is an irrational number. Is it possible to prove it is transcendental?
18
votes
1answer
660 views

Are $\pi$ and $e$ algebraically independent?

Update Edit : Title of this question formerly was "Is there a polynomial relation between $e$ and $\pi$?" Is there a polynomial relation (with algebraic numbers as coefficients) between $e$ or $\pi$ ...
17
votes
2answers
822 views

Does $\sin(x)=y$ have a solution in $\mathbb{Q}$ beside $x=y=0$

Is there a way to show, that the only solution of $$\sin(x)=y$$ is $x=y=0$ with $x,y\in \mathbb{Q}$. I am seaching a way to prove it with the things you learn in linear algebra and analysis 1+2 ...
16
votes
0answers
248 views

Are the sums $\sum_{n=1}^{\infty} \frac{1}{(n!)^k}$ transcendental?

This question is inspired by my answer to the question "How to compute $\prod_{n=1}^\infty\left(1+\frac{1}{n!}\right)$?". The sums $f(k) = \sum_{n=1}^{\infty} \frac{1}{(n!)^k}$ (for positive integer ...
15
votes
1answer
321 views

Why is an irrational number's algebraic complexity the opposite of its Diophantine complexity?

Definition 1. Given $x \in \Bbb{R}$, the algebraic degree of $x$ is the degree of the minimal polynomial of $x$ over $\Bbb{Q}$. If $x$ is transcendental, we will define its algebraic degree to be ...
14
votes
3answers
563 views

Irrationality of $\pi$ another proof

Proposition. Let $\alpha\in\mathbb{R}$. If there is a sequence of integers $a_n,b_n$ such that $0<|b_n\alpha-a_n|\longrightarrow 0^+$ as $n\longrightarrow \infty$, then $\alpha$ is irrational. ...
13
votes
2answers
508 views

Proving that $\pi=\sum\limits_{k=0}^{\infty}(-1)^{k}\left(\frac{2^{2k+1}+(-1)^{k}}{(4k+1)2^{4k}}+ \frac{2^{2k+2}+(-1)^{k+1}}{(4k+3)2^{4k+2}}\right)$

Long time ago I've been playng with formulas for $\pi$ and found that one above in the title which can also be expressed as \begin{align*} ...
12
votes
7answers
472 views

Numbers with no finite representation on paper

It occurred to me that there must be a lot of numbers without any form of finite representation on paper. Is there a name for these numbers? For example... Integers and rationals have a very simple ...
12
votes
1answer
337 views

Proving that $\frac{\pi}{2}=\prod_{k=2}^{\infty}\left(1+\frac{(-1)^{(p_{k}-1)/2}}{p_{k}} \right )^{-1}$ an identity of Euler's.

This is another identity of Euler's relating $\pi$ to the prime numbers, available here \begin{align*} \dfrac{\pi}{2}=\prod_{k=2}^{\infty}\left(1+\dfrac{(-1)^{\dfrac{p_{{k}}-1}{2}}}{p_{k}} \right ...
12
votes
1answer
309 views

Irrational numbers, decimal representation

Can this even be proved? (Or disproved?) Any irrational number without a 0 (zero) in its decimal representation is transcendental. Not sure where to start on this one...
11
votes
2answers
664 views

proof that $e^x$ is a transcendental function of $x$?

Let a function $f(x)$ be algebraic if it satisfies an equation of the form $$c_n(x)(f(x))^n + c_{n-1}(x)(f(x))^{n-1} + \cdots + c_0(x)=0,$$ for $c_k(x)$ rational functions of $x$, and let $f$ be ...
11
votes
3answers
504 views

Closed form for a pair of continued fractions

What is $1+\cfrac{1}{2+\cfrac{1}{3+\cfrac{1}{4+\cdots}}}$ ? What is $1+\cfrac{2}{1+\cfrac{3}{1+\cdots}}$ ? It does bear some resemblance to the continued fraction for $e$, which is ...
11
votes
1answer
374 views

Linear independence of the numbers $\{1,\pi,{\pi}^2\}$

Does someone know a proof that $\{1,\pi,{\pi}^2\}$ is linearly independent over $\mathbb{Q}$ ? The proof should not use that $\pi$ is transcendental. $\{1,e,e^2,e^3\}$ is linearly independent over ...
10
votes
1answer
473 views

Does this show that the Apery Constant is transcendental?

Last August I posted this on mathoverflow: http://mathoverflow.net/questions/71856/a-serendipitous-riemann-identity. I show the (slightly revised) equation below: $$\zeta (3)=\frac{2\pi^4}{315} ...
10
votes
2answers
197 views

Proof that cos(1) is transcendental?

So, I was playing around on Wolfram|Alpha (as we nerds like to do) and it said cos(1) was transcendental. Could someone provide me with the proof that cos(1) is transcendental?
10
votes
1answer
191 views

Is there a dense subset of $\mathbb{R}^2$ with all distances being incommensurable?

Is there a set $S$ of points on the real plane $\mathbb{R}^2$ such that: there is a point belonging to $S$ in any neighborhood of every point of $\mathbb{R}^2$ (so, $S$ is dense) and ratio of any ...
10
votes
2answers
145 views

When, how & who first gave this calculation of $\pi$

I came across this interesting method to calculate $\pi$. Why is it true and who first presented it? To calculate $\pi$, multiply by $4$, the product of fractions formed by using, as the numerators. ...
9
votes
1answer
114 views

Can $x^x$ be a natural number for non-integer $x$?

Does some real non-integral $x$ exist such that $x^x$ equals a natural number? Thanks, Tom
9
votes
2answers
270 views

Erdős: Sum of rational function of positive integers is either rational or transcendental

I am trying to find a conjecture apparently made by Erdős and Straus. I say apparently because I have had so much trouble finding anything information about it that I'm beginning to doubt its ...
9
votes
1answer
123 views

On Bailey and Crandall's sum for $\sum_{n=0}^\infty \frac{1}{5^{5n}}\left(\frac{5}{5n+2}+\frac{1}{5n+3}\right)$

On page 20 of "On the Random Character of Fundamental Constant Expansions", Bailey and Crandall gave the rather unusual sum, $$u_2 = \sum_{n=0}^\infty ...
8
votes
3answers
481 views

Transcendental a infinitely close to rationals?

Apologies that this question is rather vague, but I do not know how to state it more precisely. Is, say pi, infinitely "close" to some rational number? More importantly, are all transcendental numbers ...
8
votes
2answers
5k views

Prove that $\pi$ is a transcendental number

Does anyone has a link to a site that confirms that $\pi$ is a transcendental number? Or, can anyone show how to prove that $\pi$ is a transcendental number? Thank you in anticipation!
8
votes
2answers
180 views

Convergence of the sequence $\frac{1}{e^k \sin{k}}$

Does the sequence $\frac{1}{e^k \sin{k}}$ converge? If $\sin{k}$ acts as a random variable (taking on values in $(-1, 1)$), then it seems like we should be able to prove that the sequence converges ...
8
votes
1answer
620 views

Is it possible to express $e$ in terms of $\pi$ algebraically and vice-versa?

Am I right in thinking this is not possible since both are known to be transcendental? Also, $e^{i\pi}+1=0$ suggests this is not possible - we can not isolate $e$ or $\pi$ from this since it involves ...
8
votes
2answers
161 views

Proof that at most one of $e\pi$ and $e+\pi$ can be rational

$e$ and $\pi$ are rather peculiar numbers. It turns out that, in addition to being irrational numbers, they are also transcendental numbers. Basically, a number is transcendental if there are no ...
8
votes
2answers
134 views

Does $6^x+3^x=10$ have an solution that is an algebraic number?

Does $6^x+3^x=10$ have a solution that is an algebraic number? I imagine not, but how would one go about proving such a thing?
8
votes
0answers
65 views

The least subset of $\mathbb{R}_{>0}$ that includes $1$, and is closed under addition, multiplication, reciprocation, and exponentiation.

Let $S$ denote the least subset of $\mathbb{R}_{>0}$ that includes $1$, and is closed under addition, multiplication, reciprocation, and the function $x,y \in \mathbb{R}_{>0} \mapsto x^y.$ ...
8
votes
0answers
129 views

The “trick” functions in the “$\pi$ is transcendental” proofs

I was reading this paper and I wondered how did Hermite decide to define a function $$f(x)=\frac{x^{p-1}(x-1)^p\cdots (x-m)^p}{(p-1)!}$$ Are these functions only tricks or there is a deeper meaning?
8
votes
0answers
123 views

Is the solution of $e^x \log(x)=1$ transcendental?

Let $u$ be the solution of the equation $$e^x \log(x)=1$$ Is $u$ rational, irrational algebraic or transcendental? $u$ seems to be transcendental, but I cannot prove it. Perhaps, someone has an ...
7
votes
1answer
181 views

Transcendentality of the $\log$ of the golden mean

We know that $\phi$, the golden ratio, is algebraic. Is it known whether $\log(\phi)$ is algebraic? Thank you! PS. I am not in number theory, so I apologize in advance if this is obvious.
7
votes
1answer
397 views

Is every complex number the root of a polynomial? (Converse to fundamental theorem of algebra.)

For every polynomial with complex coefficients, the fundamental theorem of algebra guarantees the existence of complex numbers which happen to be roots of it. But is this everything? i.e. is the ...
7
votes
1answer
111 views

Is the root of $x=\cos(x)$ a transcendental number?

This question struck me when thinking about the fixed point of $x=\cos(x)$ being "obviously" not an algebraic number (unlike something like $\sqrt{2}$, see this question). If so, how would one prove ...
7
votes
1answer
663 views

Liouville's proof of the existence of transcendental numbers

The existence of transcendental numbers can be shown easily by considering the cardinality of the set of solutions to polynomials with integer cofficents and the cardinality of the real numbers. It ...
7
votes
1answer
187 views

Prime elements in $\mathbb{Q}[[X,Y,Z]]$ whose status as an infinite series is unchanged by arbitrary multiplication

Let's suppose $R$ is the ring $\mathbb{Q}[[X,Y,Z]]$. I'm interested in finding power series $f(x,y,z) \in R \setminus \mathbb{Q}[X,Y,Z]$ which are, first of all, prime elements in $R$, but also ...
7
votes
1answer
195 views

Is $\sum_{k=0}^{\infty}\frac1{2^{k^2}}$ rational? Transcendental?

Is $\sum_{k=0}^{\infty}\frac1{2^{k^2}}$ rational? Clearly this series is convergent (compare to geometric series with ratio 1/2). I'm sure it's irrational since a rational number written in base 2 ...