Questions about real numbers not expressible as the quotient of two integers. For questions on determining whether a number is irrational, use the (rationality-testing) tag instead.

learn more… | top users | synonyms

18
votes
0answers
380 views

If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$?

Question : For every even $k\ge 4$, is the following $(\star)$ true? $$\begin{align}\text{If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb ...
15
votes
0answers
493 views

Irrationality of e

I have a question about the irrationality of $e$: In proving the irrationality of $e$, one can prove the irrationality of $e^{-1}$ by using the series $$e^x = 1+x+\frac{x^2}{2!} + \cdots + ...
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?
7
votes
0answers
274 views

How does one prove that $\zeta(3)$ is irrational?

How does one prove that $\zeta(3)$ is irrational ? I would like to know how Apery did it. In particular how a recursion gives rise to irrationality !?
6
votes
0answers
80 views

Does π start with two identical decimal sequences?

Let d$(x,y)$ be the sequence of decimals of π from the x:th one to the y:th one. My question: is there a number $n$ such that d$(1,n)$ = d$(n+1, 2n)$? I.e., does π start with two identical decimal ...
5
votes
0answers
151 views

Are there integers $a, b$ s.th. $\pi^a = e^b$?

Is $\log \pi $ a rational number? That is, are there non-zero integers $a, b$ s.th. $\pi^a = e^b$ ?
5
votes
0answers
103 views

Irrationality proof by fast converging series?

I read here http://www.mathpages.com/home/kmath455.htm that $\sum_{n=1}^\infty \frac{1}{d_n}$ is irrational if $d_{n+1} > d_{n}^2$ for all $n > N_0$. Can we prove $\pi$, $e$ or some other ...
4
votes
0answers
67 views

Extention of Euclid's GCD Algorithm. (The Art of Computer Programming, Volume 1, Edition 3, Section 1.2.1, Exercise 12)

Euclid's GCD algorithm which is used to find GCD of two input numbers, say, $c$ and $d$, needs the inputs to be positive integers. Exercise 12 provides an extension to this algorithm and allows $c$ ...
4
votes
0answers
166 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.
4
votes
0answers
76 views

Digits of two irrational numbers, given their power with fixed number of digits

I have $a, b \in \mathbb{R} \setminus \mathbb{Q}$, I want to know the result of $a^b$, but I don't know exact $a, b$ because I write them in numeric form. My question is how many digits of $a, b$ have ...
4
votes
0answers
116 views

Finding a closed expression for a calculated value.

Sometimes, when getting some numerical results when investigating number theory sequences with a computer, I find myself suspecting that a decimal value ($a$) I have found might be a quadratic ...
4
votes
0answers
177 views

Is the maximal temperature of the curlicue fractal acheived by $e\times\gamma$?

The Curlicue Fractal is defined as follows: Choose an irrational number $s$ and a horizontal unit segment with angle $\phi_0 = 0$. Define $\theta_{n+1} = \theta_{n} + 2 \pi s \pmod{2 \pi}$, with ...
3
votes
0answers
47 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{ ...
3
votes
0answers
61 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]$ ...
3
votes
0answers
53 views

There are infinitely many $\frac{m}{n}\in\mathbb Q$ such that $|x- \frac{m}{n} |<\frac{1}{n^2}$

Let $x$ be an irrational number. Prove that there are infinitely many rational numbers $\frac{m}{n}$ such that $$|x- \frac{m}{n} |<\frac{1}{n^2}$$ It's clear that $-1<1/n^2 <1$ with ...
3
votes
0answers
62 views

Irrational roots of unity?

Is it possible to take irrational roots of unity? For example, say I wanted to solve $f(x)=(x+1)^{\sqrt{2}}=1$. I found that one solution is the obvious $x=0$, and another one can be written nicely as ...
3
votes
0answers
56 views

Is this irrationality proof correct?

Consider a non-square integer $n$. If its square root was rational, then we would have $$\sqrt n=\frac{a}{b}$$ for some $a,b\in\mathbb{Z}$ and so $a^2=nb^2$. But this is impossible, because $n$ is ...
3
votes
0answers
78 views

How to represent an algebraic number in algorithm

I'm studying the problem of computing $n$th digit of given (irrational) algebraic number. Is there some canonical way to represent an algebraic number as a string I could use in computing? Basically ...
3
votes
0answers
176 views

Irrational numbers to the power of other irrational numbers: A beautiful proof question

The following theorem has a very beautiful proof. Theorem: There exist two irrational numbers $x$ and $y$ such that $x^y$ is rational. Proof: If $\sqrt{2}^{\sqrt{2}}$ is rational then we ...
3
votes
0answers
151 views

Must be rational number

Let $a$, $b$ positive rational number. Suppose that there exist two odd positive integers $p$, $q$ such that $\sqrt[p]{a}+\sqrt[q]{b}$ is rational. Prove that both $\sqrt[p]{a}$ and $\sqrt[q]{b}$ are ...
3
votes
0answers
92 views

how many numbers of irrationality measure $x$

Does there exist $x>2$ such that uncountably many reals have irrationality measure x? Must there exist at least one number of irrationality measure $x$? related question on sets of constant ...
3
votes
0answers
99 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
37 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$ ...
2
votes
0answers
65 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
80 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
155 views

Minkowski's question mark function iterations

The Minkowski's question mark function (we use the sign $?$ to note this function) was designed in 1904 by Minkowski. It can be defined as an increasing bijection between $\mathbb Q$ and the set of ...
2
votes
0answers
49 views

Apery's constant

I read that it is unknown if $\zeta (3)$ is algebraic but it is known to be irrational. Has anyone proved anything of the form $\zeta (3)$ is not a root of a polynomial of degree $12345$ with integer ...
2
votes
0answers
43 views

Experimental calculation and $\mathbb{Q}$

I have been reading this article and have a question about the first line of the second paragraph on the first page. It says: The basis for this suggestion is the simple fact that all experimental ...
2
votes
0answers
145 views

Irrationality of $\pi$ from the spigot algorithm?

The spigot algorithm for BPP formula gives hexadecimal digits of $\pi$ one at a time. Is it possible to prove directly that this algorithm cannot be computed with bounded-memory? (From R J Lipton It ...
1
vote
0answers
51 views

Natural bijection between $\mathbb{N}$ and algebraic numbers?

Q. Is there a canonical, explicit bijection between the natural numbers $\mathbb{N}$ and the algebraic numbers? The earlier MSE question, "Bijection for algebraic numbers," does not quite ...
1
vote
0answers
26 views

Proof Verification of Sum of Irrational Numbers

The chosen answer here claims that for rational $u$ and $v$, $u^{\frac{1}n} + v^{\frac{1}n}$ is rational iff $u^{\frac{1}n}$ and $v^{\frac{1}n}$ are both rational. However, the link to a proof seems ...
1
vote
0answers
44 views

Sum of 2 different irrational logarithms = Irrational?

I am having some problems proving that the following sum is irrational or rational: $\log_2(3)+\log_3(2)$ = irrational. This is all I've got for now: $\log_2(3)=\frac mn \iff 2^{\frac mn}=3 \iff ...
1
vote
0answers
41 views

What is the limit of $k^2|\pi-n(k)/k |$, where $k$ minimizes $|k\pi -n|$?

Let $k\in \mathbb N$ and for any such n, let $k=k(n)$ minimizes the distance $|k\pi-n|\leq 2 \pi$. It is clear that, by fixing the value of $n$, it is possible to choose $k$ (and vice versa). ...
1
vote
0answers
51 views

“Building blocks” for computable functions

In an (otherwise very enlightening) answer to another question of mine the question came up What functions are allowed as building blocks for computable functions? I was astonished that there ...
1
vote
0answers
62 views

Irrational numbers and series

Let $$f(x) = \prod_{n = 0}^\infty \left(1 + \frac{x}{2^n}\right)$$ According to an exercise in a packet of problems in elementary number theory, this function and all its derivatives are irrational ...
1
vote
0answers
38 views

Proving irrationality i p,s and k are primes number?

Can you prove that $\frac{k^{\frac13}-p^{\frac13}}{s^{\frac13}-p^{\frac23}}$ is irrational if p, k and s are different prime numbers. I am certain it is but i dont know how to prove it.
1
vote
0answers
377 views

Third degree polynomial with integer coefficient and three irrational roots

There are some polynomial with the above characteristic, and real roots of such polynomials cannot be found using rational number theorem and irrational conjugate theorem. The example of such function ...
1
vote
0answers
108 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.
1
vote
0answers
119 views

Asymptotic behavior of $\sum_{j=1}^n \cos^p(\pi u j)$ for large $n$ and $p$?

Consider the sum $$S=\sum_{j=1}^n \cos^p(\pi u j),$$ where $n$ and $p$ are positive integers and $u$ is irrational. Let's say $p$ is even. I'm interested in the asymptotic behavior of this for $n$ ...
1
vote
0answers
375 views

What is the exact definition of a rational power?

I was taught in school that $$x^{a/b} = \sqrt[b]{x^a}$$ however, wolfram says this is not always true: $\sqrt[3]{x^2} \ne x^{2/3}$ ...
1
vote
0answers
79 views

Are limits on exponents in moduli possible, if the modulus is relatively prime?

I asked a similar question to this recently. Here, I consider an arbitrary, but fixed, modulus m, which is relatively prime to x and y. Can anybody extend the answer given in the previous question? ...
0
votes
0answers
50 views

Irrational numbers to irrational powers being rational?

So some of you may be familiar with the proof that some irrational numbers to irrational powers are rational, that is: if $A = \sqrt2^\sqrt{2}$ then it follows that $A^\sqrt{2} = 2$. So, I've found a ...
0
votes
0answers
10 views

Trascendental numbers permutation

Let $x_n$ be the infinite sequence of decimal digits of a fixed irrational/trascendental number. Can I obtain any other irrational/trascendental number's sequence of decimal digits through a ...
0
votes
0answers
54 views

Proving that an infinite sum of irrationals is irrational

First of all, I know this question may be closed because it is off topic, but I do have a valid question. Problem: Is is possible to prove that an infinite sum of distinct and different irrational ...
0
votes
0answers
35 views

On $p^{\log_q n}$, where $p$ and $q$ are distinct primes

Let $p,q$ be distinct primes, $n>1$ an integer with $\log_q n $ irrational. It was, and probably still is, a conjecture that $p^{\log_q n}$ is non-integer. What progress has been made towards it?
0
votes
0answers
87 views

The cube of at least one irrational number is rational

I am supposed to prove the statement above. Here is what I have so far Suppose that the cube of at least one irrational number $n$, is rational. By definition of rational, there exists ...
0
votes
0answers
82 views

What is the name of this proof of, “$\sqrt{2}$ is irrational”?

Usually the proof of $\sqrt2$ is irrational is done by contradiction(e.g. here), but I found another similar but short proof in the book "Beginning Algebra for College Students" by Lloyd Lincoln ...
0
votes
0answers
56 views

Roots of polynomials: Vieta's Formula

Let $p_n(t) = c_0 + c_1 t + c_2 t^2 + \ldots + c_n t^n$ with $c_i \in \mathbb{Q}$ and let the roots of $p_n(t) = 0$ be $R = \{r_1, r_2, \ldots r_n \}$. Vieta's formula states that $\sum_{i=1}^n r_i = ...
0
votes
0answers
41 views

Are there any general results about the irrationality of $a^{\frac{p}{q}}$?

Are there any general results about the irrationality of $a^{\frac{p}{q}}$ for $a\in\mathbb{Z}^+$, $p,q\in\mathbb{Z}$, $q\neq 0$ and $a\neq 1$?
0
votes
0answers
45 views

Calculate digits of pi without needing to reuse them

I am looking for some algorithms that can calculate digits of pi. without needing to reuse previous digits. I would like to find the most simple and fast algorithms possible. Thanks!