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

9
votes
1answer
347 views

Proof of $\pi$ not being a quadratic irrational number.

Does someone know a proof (books, articles) that $\pi$ is not a quadratic irrational? The proof should not use that $\pi$ is transcendental. Any hints would be appreciated.
2
votes
1answer
134 views

Algebraic subfield of transcendental extension

I was recently thinking about whether it is possible to generate an infinite dimensional algebraic extension over a base field using just finitely many transcendental elements. Specifically, given a ...
1
vote
1answer
41 views

Algebraic values of sine function

Are there algebraic inputs to the sine function that produce algebraic outputs? Other than zero, that is? This is assuming the sine function in radians.
1
vote
1answer
30 views

How to prove $1/ \log a + 1/ \log b$ for rational $a$ and $b$ is a transcendental number?

I know how to prove $\log a$ for rational $a$ is transcendental, because if it were algebraic it would imply $e$ is algebraic as well (namely if $\log a = b, e = a^{1/b}$), and I can prove $\log a + \...
22
votes
0answers
452 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
0answers
109 views

Smallest Subset of $\mathbb{R}_{>0}$ Closed under Typical Operations

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

Swapping the digits of an algebraic number (e.g. $\sqrt 2$)

Let an algebraic number, say $ a=\sqrt 2 = 1.41421356237309504880...$, and define $$b=f(a)=1.14243165323790058408...$$ by swapping the digits $a_{2i+1}$ and $a_{2i+2}$ for $i≥0$, corresponding to ...
9
votes
0answers
151 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?
9
votes
0answers
148 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 ...
9
votes
0answers
626 views

“The Galois group of $\pi$ is $\mathbb{Z}$”

Last year, in a talk of Michel Waldschmidt's, I remember hearing a statement along the lines of the title of this question: The Galois group of $\pi$ is $\mathbb{Z}$. In what sense/framework is ...
6
votes
0answers
205 views

Why are numeric methods the only technique available to solving $\ln(x) = \sin(x)$? Is this $x$ transcendental?

I just read this question about finding the solution to the equation $\ln(x) = \sin(x)$. All the answers focus on using a numerical method to approximate the solution. This is interesting in its own ...
5
votes
0answers
81 views

When does the following construction generate a transcendental number?

Given $n\in[0,1]$ with base-b expansion $0.n_1n_2n_3\dots$, define $\Delta_b(n)$ to be the number with the following base-b expansion: $\huge{ 0.\underbrace{n_1}_{1^{st}\text{ block}}\overbrace{...
4
votes
0answers
95 views

Is $\frac{\pi}{e}$ an algebraic integer?

From what I know, it is still an open question whether or not $\frac{\pi}{e}$ is irrational, but is there a proof that $\frac{\pi}{e}$ is not an algebraic integer?
4
votes
0answers
115 views

Different types of transcendental numbers based on continued-fraction representation

I've been reading Wikipedia's article on continued fractions. A few examples are given for the continued-fraction representation of irrational numbers: $\sqrt{19}=[4;2,1,3,1,2,8,2,1,3,1,2,8,\dots]$ ...
4
votes
0answers
149 views

Transcendental numbers involving primes?

Is the prime zeta function value $$ P(2)=\sum_{p \in \mathrm{primes}} \frac{1}{p^2} = 0.452247420041065498506543364832247934173231343\ldots $$ a transcendental number ? What about the following sum ...
4
votes
0answers
129 views

The Tribonacci constant and the Dragon

Let $x = \frac{\ln T}{\ln 2} = 0.879146\dots$ where $T$ is the tribonacci constant, then x solves the transcendental equation, $$4^x(2^x-1)=(2^x+1)$$ Let $x = \frac{\ln y}{\ln 2} = 1.523627\dots$ ...
4
votes
0answers
452 views

Convergent sum with primes

If $f(n)$ is a strictly increasing elementary function from the reals to the reals, and $p(n)$ is the $n$'th prime number. Is there any $f(n)$ such that $\sum_{n=1}^\infty\frac{1}{f(p(n))}$ is ...
3
votes
0answers
80 views

Transcendence of $\Gamma(1/3), \Gamma(1/4)$

Wikipedia mentions that the transcendence of $\Gamma(1/3), \Gamma(1/4)$ was proved by G. V. Chudnovsky. Does anyone have a reference to that proof? Or maybe some details on the essential ideas ...
3
votes
0answers
51 views

Do the second-last-digits of the primes $\ge 11$ form a transcendental number?

Suppose, the number $x$ is constructed from the second-last-digits from the primes $\ge 11$ The first $1996$ digits of $x\ =\ 0.11112...$ after the decimal point are : ...
3
votes
0answers
62 views

Prove that $E_0$ is transcendental

Consider the non-negative natural numbers: $0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19\dots$ Encode the primes as $1$, the rest as $0$. $E = 0,0,1,1,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1\dots$ ...
3
votes
0answers
123 views

Are there classifications transcendental numbers that are similar to algebraic numbers for differential equations?

Considering that transcendental numbers are described as not a root of a non-zero polynomial equation with rational coefficients, are there classifications of transcendental numbers that are ...
3
votes
0answers
93 views

Can you make some sort of structure out of transcendental numbers?

Let $T$ be the set of trancendental numbers over $\Bbb{Q}$. Then it is an easy proof that for all $a,b \in T$, either $a + b$ or $ab$ or both are transcendental. What if you defined the operation $*...
3
votes
0answers
126 views

Please help me understand this proof that $e$ is transcendental

This started with my question "Are the sums $\sum_{n=1}^{\infty} \frac{1}{(n!)^k}$ transcendental?". Kunnysan suggested that I model a proof on the standard proof that $e$ is transcendental. I ...
3
votes
0answers
109 views

Analytic forms of $\frac{\sinh(2\pi/7)}{\sinh^{2}(3\pi/7)} - \frac{\sinh(\pi/7)}{\sinh^{2}(2\pi/7)} + \frac{\sinh(3\pi/7)}{\sinh^{2}(\pi/7)}$

On page 183 of Berndt's Ramanujan's Notebooks Vol. 4, eq. 32.34 reads: $$ \frac{\sin(2\pi/7)} {\sin^{2}(3\pi/7)} - \frac{\sin(\pi/7)}{\sin^{2}(2\pi/7)} + \frac{\sin(3\pi/7)} {\sin^{2}(\pi/7)} = 2\...
3
votes
0answers
74 views

Schneider's theorem about the transcendence of values of the $j$-function

It is known that the $j$-function takes algebraic values when evaluated at imaginary quadratic integers. This is a result that was proved by Schneider in 1937 apparently. To be precise, Schneider ...
3
votes
0answers
116 views

Linear independence of reciprocals of logarithms

I would like to ask whether there is a proof of the following statement: Let $p$, $q$ be primes and $n$ positive integer coprime with $pq$. Then $\frac1{\log p}$, $\frac1{\log q}$ and $\frac1{\log n}$ ...
2
votes
0answers
38 views

Help complete this proof on transcendentalism

Proof $\pi*e$ is transcendental. either $\pi + e$ or $\pi*e$ is transcendental to see take $(x-\pi)(x-e)=x^2-(\pi+e)x+\pi*e$. Case 1 assume $\pi$ and $e$ are algebraically independent. It follows ...
2
votes
0answers
16 views

Values of Eisenstein Series

I'm trying to prove the algebraic independence of $\pi, e^\pi$ and $ \Gamma(1/4)$ while using Nesterenko's Theorem ($\{q, P(q), Q(q), R(q)\}$ contains at least three algebraically independent numbers ...
2
votes
0answers
30 views

Number with non-constructive algebraicity proof

Is there a computable number which is known to be algebraic but no explicit polynomial of which it is a root is known?
2
votes
0answers
22 views

A binary irrational with bits defined by primes

Define a number $q$ in binary notation whose $n$-th bit is $1$ for $n$ prime, and $0$ for $n$ composite. So its 2nd, 3rd, 5th, 7th, 11th, etc. bits are $1$, with all other bits $0$. Here is $q$ out to ...
2
votes
0answers
36 views

Algebraic values of the Gamma function using $\pi$

Is there any $x\in(0,1)\cap\mathbb Q$ different from $1/2$ such that $\Gamma(x)$ is algebraic over $\mathbb Q(\pi)$?
2
votes
0answers
35 views

Is $2^e$ in the field extension $\mathbb{Q}(e)$?

As the title says, is $2^e$ in the field $\mathbb{Q}(e)$? I mostly study analysis, but this came up trying to answer someone else's question. So far, my idea has been to suppose it's true and use the ...
2
votes
0answers
94 views

What is the name of this irrational math constant and is there a compact way to write it? 0.10110111011110…

I think this number is a transcendental number and I've tried looking online to see who first made it, I'm not sure if it's a Liouville Number or if there is a more common or better name for it. Does ...
2
votes
0answers
103 views

Question about $e^{e^{e^e}}$

Is there a proof that the power tower of length $4$ of $e$ is irrational? Is it known whether or not $$e^{e^{e^e}}$$ is transcendental?
2
votes
0answers
86 views

The smallest class of numbers closed under addition, multiplication, and exponentiation

Let $\def\A{\mathfrak A}\A$ be the smallest subset of $\Bbb C$ that contains the algebraic numbers and also all numbers of the form $$\sum \alpha_i^{\beta_i}$$ where the $\alpha_i, \beta_i$ are ...
2
votes
0answers
32 views

Borel's result on transcendence measure

In "Sur la nature arithmétique du nombre e" (Comptes rendus de l'Académie des Sciences 128 (1899), 596-9) Borel presented his result on transcendence measure for e. This can be restated as follows: ...
1
vote
0answers
43 views

Why do we care about the Champernowne constant?

I was browsing code golf and I came across this challenge: http://codegolf.stackexchange.com/questions/68685/the-rien-number It caught my interest and I wanted to learn a bit more about the ...
1
vote
0answers
51 views

Fast converging sums involving tetrations

Loosely speaken, Liouville's theorem shows that rational series converging "too fast", have a transcendental limit. The concrete criterion is somewhat cumbersome and hard to check. Now my question : ...
1
vote
0answers
140 views

Gelfond-Schneider Constant $2^{\sqrt{2}}$

Someone knows a proof (books , articles) that $2^{\sqrt{2}}$ is irrational ? Without using that $2^{\sqrt{2}}$ is transcendent. Any hints would be appreciated.
0
votes
0answers
11 views

On a Corollary of Liouville's Theorem

I want to prove, using Liouville's Theorem that: Let $\theta$ be an irrational algebraic number of degree $n$. Then, given any $\epsilon > 0$ there exist only a finite number of pairs of integers $...
0
votes
0answers
26 views

Deducing Lindemann-Weierstrass from Baker's theorem

I'm aware that Baker's theorem with $n=1$ (for one algebraic number only) follows from that of Lindemann-Weierstrass. It is also often mentioned that Baker's result is a generalization of Lindemann-...
0
votes
0answers
10 views

Algebraic dependent summation of transcendental numbers.

Question if $a$ and $b$ are both transcendental but algebraically dependent over Q. what do we know about $(a+b)$? In particular is there a way to bring $(xa^y+nb^m)$ where $x,y,n,m$ are rational and $...
0
votes
0answers
13 views

Does successive application of $\sin$ function on some nonzero algebraic number ever yields a sequence of transcendental numbers?

On the Wikipedia page about Transcendental numbers there is a section about numbers that are proven to be transcendental and there you can read that transcendental numbers are sin(a), cos(a) and tan(a)...
0
votes
0answers
17 views

Spigot algorithms for transcendental numbers

I'm trying to write a program that will compute digits of transcendental numbers using a spigot algorithm. While researching, I found the BBP Formula, and a Compendium of BBP-Type Formulas, alas, I ...
0
votes
0answers
92 views

Why is Gelfond's constant transcendental?

I have seen a proof of $\pi$ being transcendental by conclude that transcendental number powered by algebraic number must be transcendental and algebraic number powered by algebraic number must be ...
0
votes
0answers
36 views

Is this true :${(a+ib)}^{(k+ij)}=0$ iff $0<a=k<1$ and $b<j$?

let $z=a+ib ,s=k+ij$ are two complex numbers and let $f(z,s)$ be a complex function defined as follow :$$f(z,s)=z^s={(a+ib)}^{(k+ij)}$$ and $a,b,j, k$ are non -nul real numbers . .After some ...
0
votes
0answers
39 views

$\sum_{n=1}^{\infty} a^{-n!}$ is transcendental ??

Is $\sum_{n=1}^\infty a^{-n !}$ transcendental for any positive integer a ? I know $\epsilon =\sum_{n=1}^{\infty} 10^{-n!}$ is transcendental, for Liouville´s Theorem, ($p_k=10^{k!} \sum_{n=1}^k 10^{-...
0
votes
0answers
27 views

If $a \in \mathbb{A}$\{$\mathbb{0,1}$}, $b \in \mathbb{A}$\ $\mathbb{Q}$ then $a^b$ is transcedental.

For my math study, I have to prove the following: Let's denote the set of algebraic numbers with $\mathbb{A}$. Prove: If $a \in \mathbb{A}$\{$\mathbb{0,1}$}, $b \in \mathbb{A}$\ $\mathbb{Q}$ then ...
0
votes
0answers
126 views

Calculating Closed form of Basel type problem.

I want to find the sum of $\displaystyle\sum_{n=1}^\infty \frac{1}{n^{\phi(n)}}$. where $\phi$ is Euler's totient. So for example $\frac{1}{1^1} + \frac{1}{2^1} + \frac{1}{3^2} +\frac{1}{4^2} + \...
0
votes
0answers
94 views

What are some algorithms that can be used to test if a number is transcendental or not?

Well according to the definition of transcendental numbers I find that its any number that doesn't have any polynomial equation of any degree with integer coefficients summing up to 0. So ...