Questions tagged [irrational-numbers]
An irrational number is a real number that cannot be expressed in the form $\frac{n}{m}$ where $n$ and $m$ are integers.
114
questions
8
votes
3
answers
647
views
Irrationality of generalized continued fractions
An infinite simple continued fraction
$$\frac{1}{b_1 + \frac{1}{b_2 + \frac{1}{b_3+\dots}}} (b_i\in\mathbb Z\setminus\left\{0\right\})$$
is irrational. Now for a generalized continued fraction:
$$\...
7
votes
1
answer
422
views
An asymptotic formula in Apéry's proof of the irrationality of $\zeta(3)$
Let $a_n$ be the Apéry sequence
$$
a_n = \sum_{0\leq k\leq n}\binom{n}{k}^2\binom{n+k}{k}^2.
$$
Reading the 1978 paper Démonstration de l’irrationalité de $\zeta(3)$ (d’après R. Apery) of Cohen, at ...
48
votes
2
answers
18k
views
Irrationality of $ \pi e, \pi^{\pi}$ and $e^{\pi^2}$
What is known about irrationality of $\pi e$, $\pi^\pi$ and $e^{\pi^2}$?
1
vote
0
answers
137
views
Rational solutions to $\cos(\lambda \pi) = \cos^2(a\pi) - \cos(b\pi) \sin^2(a\pi) $, with $a,b \in \mathbb{Q}$
In a similar vein to this question, I am trying to understand the occurrence of rational solutions $\lambda$ to the following equation $$\cos(\lambda \pi) = \cos^2 (a\pi) - \cos ( b\pi ) \sin^2 \left(...
3
votes
1
answer
75
views
Evaluating the generalized continued fraction obtained from the factorization of a bivariate polynomial equation
Happy New Year, MO community!
We need someone expert in Generalized Continued Fractions (GCFs), with a deep knowledge of the GCFs’ convergence properties, to solve the following problem.
PROBLEM
...
21
votes
2
answers
2k
views
Is the integral of $e^{-x^2}$ from $0$ to $1$ known to be irrational?
Is it known whether $$\int_0^1 e^{-x^2} \, dx$$ is irrational? It is well-known that $\int_0^\infty e^{-x^2} \, dx=\frac{\sqrt{\pi}}{2}$ which is irrational, but what about the prior integral? Also, I ...
1
vote
0
answers
107
views
Question on recursive formulas for $\eta(2 n+1)$ and $\beta(2 n)$ where $n\in\mathbb{N}$
This question is a refinement of my related MSE question which was asked over 2 years ago and no answers have yet been posted.
Consider the following formulas for the Dirichlet eta function $\eta(s)$ ...
17
votes
3
answers
666
views
Fractional part power
Does a irrational number $x > 1$ exist such that $\{x^n \} \le \frac{1}{2}$ for
all positive integers $n$ ?
$x=1+ \sqrt 2$ holds for $n$ odd, but not in even
1
vote
1
answer
115
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
27
votes
4
answers
3k
views
Has Apéry's proof of the irrationality of $\zeta(3)$ ever been used to prove the irrationality of other constants?
Apéry's proof of the irrationality of $\zeta(3)$ astounded contemporary mathematicians for its wealth of new ideas and techniques in proving the irrationality of a known constant. It is often the case ...
10
votes
2
answers
356
views
Behavior of $\sum_{n=1}^{\infty} (\{n \xi \} - \frac{1}{2})$ for irrational number $\xi$
Consider the series
$$
\sum_{n=1}^{\infty} ( \{ n \xi \} - \frac{1}{2})
$$
where $\{ \}$ denotes the fractional part and $\xi$ is some irrational number. It clearly does not converge but can we show ...
0
votes
0
answers
71
views
Lowest asymptotic bound to $4^n - 2v_n^2$ where $v$ is an odd integer, $n$ fixed
The general problem is this. I try to find a positive integer $\delta_n$ such $qv_n^2 +\delta_n = p\cdot 4^n$. More precisely, I am looking for a lower bound (depending on $n$) for $\delta_n$ as $n\...
22
votes
1
answer
10k
views
Prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using a theorem
Prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using the Gelfond–Schneider theorem.
We know that ${\sqrt2}^{\sqrt2}$ is a transcendental number by the Gel'fond-Schneider's theorem. I'...
7
votes
0
answers
255
views
Can you identify this irrational number?
There is a certain number, say $v$. I can prove it is irrational. That would be more interesting if it is expressible in terms of known values ... zeta functions, Catalan's number, L-functions, etc. ...
65
votes
2
answers
6k
views
To prove irrationality, why integrate?
I have been reading David Angell's lovely book, Irrationality and Transcendence in Number Theory, which has given me some fresh insights even with some of the easier proofs. But the book reminds me of ...
8
votes
2
answers
339
views
Does $x_0=1/3$ lead to periodicity in the logistic map $x_{k+1}=4x_k(1-x_k)$?
Does $x_0=1/3$ lead to periodicity in the logistic map $x_{k+1}=4x_k(1-x_k)$?
I believe it does not, but this is equivalent to proving that $(2\pi)^{-1}\arcsin(\sqrt{1/3})$ is irrational. I am ...
25
votes
2
answers
4k
views
A "better" rational approximation of pi?
$355/113$ is a good fractional approximation of $\pi$, because we use six digits to produce seven correct digits of $\pi$.
$$\frac{355}{113} = 3.1415929\ldots$$
Let $R$ be the ratio of the number of ...
0
votes
0
answers
287
views
Is $\sum\limits_{k=0}^{\infty}\frac{1}{(mk)!^{n+1}}$ irrational?
I was using Wolfram Alpha for things, and I came across $I_{0}(2)$. For fun I tried asking Wolfram Alpha if the number was irrational, but said it's unknown. I believe this is an error, as its ...
11
votes
4
answers
978
views
Compilation of strategies to show that some constant is irrational
I'm looking into expanding my knowledge in ways to show that some constant is irrational. I'm gonna give some examples of irrationality proofs, and I'm interested in learning what strategies you guys ...
12
votes
1
answer
972
views
Is $e^{{e^{\ \dots\ }}^n}$ ever an integer?
Let $n$ be a positive integer. It is clear that $e^n$ is not integer because $e$ is transcendental (not algebraic).
Now for each positive integer $k$ let $F^k(n)$ denote the $k$-fold composition of $F(...
-3
votes
1
answer
106
views
Are mantissas of irrationals provably unique, at a given precision? [closed]
Many thanks to all responders!
Is there any research as to the uniqueness of mantissas of irrationals? It's easy to see that the mantissa of the square root of 5 (0.236067977...) and the mantissa of ...
3
votes
0
answers
207
views
Help with this irrationality proof
I have a real number, that is quite messy so I'll just call it $x$. I want to prove it's irrational. It's a proof by contradiction. The contradiction will rise if I assume $x$ is a rational number $p/...
16
votes
1
answer
2k
views
Extending Apéry's proof to Catalan's constant?
I've been looking into Apéry's irrationality proof of $\zeta (3)$, and one of the first questions I instantly had, was how did he derive the following continued fraction?
$$\begin{equation*} \zeta (3)=...
0
votes
1
answer
76
views
Irrational combination of rationally independent polynomials
Let $p_1,\dotsc,p_k: \mathbb{N} \to \mathbb{Z}$ be rationally independent polynomials with zero constant term. If $t_1,\dotsc,t_k \in [0,1)$ are not all rational, is it true that the polynomial
$$p(n)...
35
votes
9
answers
20k
views
Direct proof of irrationality?
There are plenty of simple proofs out there that $\sqrt{2}$ is irrational. But does there exist a proof which is not a proof by contradiction? I.e. which is not of the form:
Suppose $a/b=\sqrt{2}$ ...
3
votes
0
answers
192
views
Irrationality or transcendence of $i^{i\Omega}$ and $2^\Omega$, with $\Omega=W(1)$ and $W(x)$ being the main branch of Lambert $W$ function
In this post we denote the main (or principal) branch of the Lambert $W$ function as $W(x)$, I add as reference that Wikipedia has the article Lambert $W$ function. The particular value $W(1)=\Omega$ ...
13
votes
0
answers
338
views
Convergence of the series $\sum_{n=1}^\infty \frac{(2+\sin n)^n}{3^n n^a}$ for $a\in(0,1)$
This is inspired by this Math.SE question, for $a=1$.
Borwein, Bailey, and Girgensohn pose in their book ([1,Problem 35]) as an open problem the convergence of the series
$$\sum_{n=1}^\infty \frac{(2+\...
5
votes
1
answer
513
views
What is known about constructively irrational numbers?
Intuitively, a constructively irrational number is one for which we can effectively separate it from any rational number in terms of the latter's denominator. More formally, a constructively ...
1
vote
0
answers
235
views
The power of irrationality: ${\rm sin}(x) + {\rm sin}(\pi x)$ [closed]
I'm a physicist studying undulatory phenomena. Reducing the problem, I find the issue lies on the relative irrationality of the angular frequencies of two superimposed waves. To state it simply, ...
2
votes
1
answer
204
views
Irrational rotations are rank 2 by intervals without spacers
Let $\alpha$ be an irrational number, and $R_\alpha$ be the rotation by $\alpha$, that is $R_\alpha(x)=x+\alpha\bmod 1$.
S. Ferenczi in his survey [Systems of finite rank. Colloq. Math. 73 (1997), no. ...
4
votes
1
answer
3k
views
Is it possible to know if $\log(\pi)$ is irrational or not since the $\log$ function is the inverse of the $\exp$ function?
I'm interested in knowing more about the question if $f(\pi)$ is rational or not, where $f$ is some well-known function. For example, $\cos(\pi) =-1$ is rational, while ${e}^{\pi}$ is irrational as ...
4
votes
1
answer
331
views
Irrationality of this trigonometric function
I'd like to prove the following conjecture.
Let $x = \frac{p}{q}\pi$ be a rational angle ($p,q$ integers, $q \geq 1$).
Then
$f(x) = \frac{2}{\pi} \arccos{\left(2\cos^4(2x)-1 \right)}$
is irrational if ...
8
votes
1
answer
312
views
Must a continuous $\varphi:\mathbb R^n\to\mathbb R^n$ with $\mathbb Q^n \subseteq \varphi[\mathbb Q^n]$ be surjective?
Let $\varphi:\mathbb R^n \to \mathbb R^n$ be just some continuous function.
If the image of $\varphi$ happens to contain $\mathbb Q^n$, does it follow that in fact all of $\mathbb R^n$ is contained in ...
6
votes
1
answer
339
views
The square root of natural number expressed by an infinite series
Can you prove or disprove the following claim:
Let $U(n,P,Q)$ be the nth generalized Lucas number of the first kind and let $m$ be a natural number. Then,
$$\sqrt{m}=1+\displaystyle\sum_{n=1}^{\infty}...
4
votes
1
answer
1k
views
The constant $\pi$ expressed by an infinite series
I am looking for the proof of the following claim:
First, define the function $\operatorname{sgn_1}(n)$ as follows:
$$\operatorname{sgn_1}(n)=\begin{cases} -1 \quad \text{if } n \neq 3 \text{ and } n \...
1
vote
0
answers
229
views
Ergodic Theory and Euler-Mascheroni Constant
I am highly interested in doing research on proving irrationality of some specific numbers like Euler-Mascheroni Constant or $\zeta(5)$. A professor guided me that arithmetic nature of constants are a ...
8
votes
2
answers
383
views
Are we able to estimate the fraction of the domain where $\cos (ax)+2\cos (b x)$ with $\frac ab \notin\mathbb{Q}$ is positive?
We know that the two functions $\{\;\cos (ax),\;2\cos (b x)\;\}$ where $\frac ab \notin \mathbb{Q}$ are independently positive (and negative) over $\frac 12$ of the domain.
Is it possible to estimate ...
1
vote
0
answers
73
views
On the degree of irrationality of two irrational numbers and their rational (in)dependence
Let $x$ and $y$ be some irrational numbers. If the degree of irrationality of $x$ is the same as that of $y$, is it necessarily the case that $x$ and $y$ are rationally dependent ?
ADDENDUM: What if $...
6
votes
0
answers
280
views
Is the arithmetic-geometric mean of 1 and 2 rational?
It is easy to show that, for two fixed real numbers $\alpha, \beta > 0$, the sequences given by $a_ 1 = \frac{\alpha + \beta }{2}$, $ g_1 = \sqrt{\alpha\beta}$, and $a_{n+1} = \frac{a_n + g_n}{2}$, ...
31
votes
1
answer
1k
views
How to prove that the solution to $x^{x+1}=(x+1)^{x}$ is transcendental?
I was asked by an high school student if there is an algebraic way to find the exact value of the solution to the equation
\begin{equation}\label{eq}
x^{x+1}=(x+1)^x
\end{equation}
Let us define that ...
7
votes
1
answer
368
views
Upper bounds on the irrationality measure of the arctan of an algebraic number
Let $x$ be an algebraic number. Must $\arctan(x)/\pi$ have finite irrationality measure? Are there any useful upper bounds?
1
vote
1
answer
131
views
Rational linear subspace corresponding to an irrational vector
Given a vector $v = (v_1, \ldots, v_n) \in \mathbb{R}^n$, we can associate a rational linear subspace with this vector: assume $\{1, v_i \text{ for }i \in I\}$ is a linear basis of $\{1, v_1, \ldots, ...
3
votes
1
answer
304
views
Distribution of the first occurrence of a maximum (record) run of zeros in the digits of a normal number (say $\pi$)
If the question was stated to appeal to the general public, it would be something like this. For a number such as $\pi$ or $\sqrt{2}$, the digits in base $b$ appear to be randomly distributed. We are ...
28
votes
6
answers
2k
views
Multiplying by irrational numbers in combinatorial problems
This is getting no attention on stackexchange.
Everybody knows that the number of derangements of a set of size $n$ is the nearest integer to $n!/e$.
It had escaped my attention until last week, ...
6
votes
1
answer
641
views
Algebraic and rational parts of a real number
Let $\alpha$ be a positive real number. Does it make sense to define the closest rational to $\alpha$ as the number $R(\alpha)=\frac{p_1}{p_2}$ such that $p_1,p_2$ are positive co-prime integers ...
5
votes
1
answer
327
views
Irrationality of $e^{x/y}$
How to prove the following continued fraction of $e^{x/y}$
$${\displaystyle e^{x/y}=1+{\cfrac {2x}{2y-x+{\cfrac {x^{2}}{6y+{\cfrac {x^{2}}{10y+{\cfrac {x^{2}}{14y+{\cfrac {x^{2}}{18y+\ddots }}}}}}}}}}...
1
vote
0
answers
264
views
Looking for a proof that $\sqrt2 + \sqrt5 + \sqrt[3]3$ is irrational [closed]
What is the easiest way to prove that $\sqrt2+\sqrt5+\sqrt[3]3$ is irrational?
2
votes
1
answer
2k
views
Chudnovsky algorithm and Pi precision
What are the precision/ number of correct Pi digits after N iterations of Chudnovsky algorithm. Looking for a formula (rather than a table) and reference.
8
votes
1
answer
721
views
An alternative to continued fraction and applications
This post is inspired by the Numberphile video 2.920050977316, advertising the paper A Prime-Representing Constant by Dylan Fridman, Juli Garbulsky, Bruno Glecer, James Grime and Massi Tron Florentin, ...
1
vote
0
answers
51
views
When does the set of possible walk lengths start being $\varepsilon$-dense?
Let $\Gamma$ be a finite directed graph, and suppose each directed edge $e \colon a \to b$ has a positive real length. Suppose given vertices $x, y \in \Gamma$, and suppose there are infinitely many ...