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

32
votes
0answers
1k 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 + \frac{x^...
23
votes
0answers
493 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 Q$.}\...
9
votes
0answers
121 views

Infinitely nested radical expansions for real numbers

Conjecture. For any real number $x \in (0,1]$ there exists a unique expansion in the form $x=-2+\sqrt{a_1+\sqrt{a_2+\sqrt{a_3+\cdots}}}$ with $a_k$ being natural numbers from the set $(2,3,4,5,6)$. ...
9
votes
0answers
134 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?
7
votes
0answers
118 views

The sum $\sum_{n=1}^\infty \min_{k\le n}\{\alpha k\}$ for irrational $\alpha$

Let $\alpha$ be an irrational number. For every $n$ let $z_n$ be the integer closest to the number $\alpha n$. Then we can define $$A(\alpha):= \sum_{n=1}^\infty |\alpha n - z_n|.$$ We can also ...
7
votes
0answers
199 views

Are there integers $a, b$ such that $\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$ ?
6
votes
0answers
87 views

Elementary proof that finite sums of square roots of primes is irrational

It is relatively easy to show that if $p_1$, $p_2$ and $p_3$ are distinct primes then $\sqrt{p_1}+\sqrt{p_2}$ and $\sqrt{p_1}+\sqrt{p_2}+\sqrt{p_3}$ are irrational, but the only proof I can find that $...
6
votes
0answers
130 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 ...
5
votes
0answers
52 views

Understanding a medieval approximation

A medieval text (Maimonides's commentary to chapter 2 of Eruvin in my retranslation from the Hebrew) discusses a rectangle whose area is $5000$ square cubits. It reads in relevant part: … that the ...
5
votes
0answers
97 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
70 views

$\{\{(2^n+3^m)\alpha\}:n,m\in\mathbb{N}\}$ is dense in [0,1]??

Let $\alpha$ be an irrational real number. I wonder whether $\{\{(2^n+3^m)\alpha\}:n,m\in\mathbb{N}\}$ is dense in [0,1] in which $\{x\}$ means the fractional part of x. This is equivalent to the ...
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
211 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 ...
4
votes
0answers
87 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
123 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
208 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
34 views

On the limit $\lim_{n \to +\infty} n \{ n \xi \}$

Assume that $\xi \in \mathbb{R} \setminus \{Q\}$ is a given irrational number. I am trying to draw some conclusion about the limit $$ \lim_{n \to +\infty} n \{ n \xi \} $$ where $\{\cdot\}$ denotes ...
3
votes
0answers
45 views

Rational numbers as angles - where do irrationals fit in?

If we make a rectangular grid with integer coordinates, it's possible to assign a unique angle to any rational number, using the definition $\tan \phi=y/x$ for $\phi \in (-\pi/2, \pi/2)$. For ...
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
63 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 $n ...
3
votes
0answers
119 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
326 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 ...
3
votes
0answers
173 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
97 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
117 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
23 views

Is $\sum \frac{n+1}{b_{n+1}}$ irrational, when $b_1=2$ and $b_{k+1}=2^kb_k(b_k-1)+1$, $k\geq 1$?

Let the sequences of positive integers $$a_n=n$$ when $n\geq 1$, and $$b_{n+1}=2^nb_n(b_n-1)+1$$ for $n\geq 1$ taking $b_1=2$. I've computed with previous sequences to assert that satisfy the ...
2
votes
0answers
66 views

Paper of Paul Erdös

I'm trying to understand On Arithmetical Properties of Lambert Series by Erdös, but am stuck on the first page. He states: Put $k=\left[(\log n)^{1/10}\right]$ and let $p_1,p_2,\ldots$ be the ...
2
votes
0answers
56 views

Irrationality of $\pi+c$

How to prove that $\pi+c$ is irrational? where $c$ is the Champernowne Constant.
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
59 views

Alternative prrof of $\sqrt 2 $ (and $\sqrt {\text {of any non square integer}}$ ) not being rational

Long time ago for an assignment, I submitted an alternative proof of $\sqrt 2$ not being rational along the following lines: suppose $\frac{a^2}{b^2}=2$ then we must also have $a=b+n$ for $a,b,n$ ...
2
votes
0answers
68 views

Bijection between the set of irrational numbers from 0 to 1 and the set of infinite integers? (Actually, 10-adic integers)

It seems to me we can assign to every irrational from 0 to 1 an infinite whole number in the following way: $$ 0.a_1a_2a_3a_4... \rightarrow ...a_4a_3a_2a_1 $$ For example: $$ 0.14159265... \...
2
votes
0answers
33 views

Smallest number of workers in factory, Diophantine approximation

Q. In a factory, the percentage of male workers was $53.7802\%$ (rounding to nearest fourth decimal place) last year. What is the smallest number of female workers working there? Hint: Diophantine ...
2
votes
0answers
110 views

What is the Best Introduction to Dedekind Cuts?

I'm looking for a clear, thorough, and easy-to-follow introduction to Dedekind cuts that is specifically geared towards those with an interest in foundational issues. So far, the discussions that I ...
2
votes
0answers
119 views

Conway's box function generalized as a hierarchy of nested sets of real numbers

Conway's box function is the inverse of Minkowski's question mark function. It maps the dyadic rationals on the unit interval to the rationals using the Stern-Brocot tree (Farey sequence). When the ...
2
votes
0answers
246 views

Very simple proof that $\sqrt{2}$ is irrational.

I came across a nice-looking proof that $\sqrt{2}$ is irrational here. It somehow seems to good to be true. What are the assumptions being made in the proof and if this proof is indeed correct, why is ...
2
votes
0answers
96 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
63 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 non-...
2
votes
0answers
104 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
80 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
46 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
166 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
69 views

Polynomial taking irrationals to irrationals

Problem: Find all polynomials from $\mathbb{R}\to \mathbb{R}$ $f$ with integer coefficients taking irrationals to irrationals. My attempt: It is clear that the problem statement is equivalent to ...
1
vote
0answers
37 views

Can we evaluate the alternating sum of the digits of an irrational number?

Suppose you had a summation $\sum(-1)^na_n$, where $a_n$ is the $n$th digit of $e$ and $a_0=2$. I know it diverges, but I want to know if its possible to evaluate anyways. Since it is alternating, ...
1
vote
0answers
19 views

General Techniques - Number sets

There are many problems involving, proving numbers are irrational or not an integer and so forth (e.g roots of polynomials, size of an angle) What are some general techniques/tricks that I can use in ...
1
vote
0answers
37 views

How to make continued fractions of any number?

I recently found an continued fraction representation of $\pi$, and I wondered how can I make an continued fraction that converges into a number? The MAIN question is: how do you make a continued ...
1
vote
0answers
38 views

Arithmetic geometric mean - irrational, algebraic, trancendental?

Are there some general theorems about rationality/irrationality and abgebraicity/transcedentality of arithmetic-geometric mean? At least for some group of numbers (like natural numbers)? Or even for ...
1
vote
0answers
37 views

How do I know if this will be rational or irrational? ($a^b$)

Usually, when I have $a^b$ when $a$ and $b$ are both irrational, I assume that it will be irrational. But that is not always true, I assume, so when is the result irrational? How will I know? Take ...