Related papers: The Product $e \pi$ Is Irrational
Let $k\geq 1$ be a small fixed integer. The rational approximations $\left |p/q-\pi^{k} \right |>1/q^{\mu(\pi^k)}$ of the irrational number $\pi^{k}$ are bounded away from zero. A general result for the irrationality exponent $\mu(\pi^k)$…
Infinite products associated with the $\pm 1$ Thue-Morse sequence whose value is rational or algebraic irrational have been studied by several authors. In this short note we prove three new infinite product identities involving ${\pi}$,…
In connection to the two fascinating constants $e$ and $\pi$, there are many beautiful visual proofs to the inequality $\pi^{e}<e^{\pi}$. The aim of this classroom capsule is to give three visual proofs to the more general inequality…
We construct a surface over $\overline{\mathbb{F}}_p$ with $\pi_1^{\'{e}t}(X) = 1$ that is supersingular -- in the sense that $H^2_{\'{e}t}(X, \mathbb{Q}_{\ell}(1))$ is spanned by algebraic cycles -- but is not unirational. This provides a…
The arithmetic nature of values of some functions of a single variable, particularly, $\sin{z}$, $\cos{z}$, $\sinh{z}$, $\cosh{z}$, $e^z$, and $\ln{z}$, is a relevant topic in number theory. For instance, all those functions return…
The proof of the irrationality of Zeta(5) is a long standing open problem, but here only the case of Zeta(4) = (Pi^4)/90 is considered. The present paper suggests an approach for the irrationality of Zeta(4) along the lines of those known…
We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.
We determine couples of singular moduli which have rational products
We consider skew product extension of irrational rotations on the circle by $\Z^2$ determined by an integer valued function as well as a fixed point on the circle. We study ergodic components of such extension.
An irrational number $\theta$ is called Diophantine if there exist $c>0$ and $\tau < \infty$ such that $\left| \theta - \frac{p}{q} \right| \ge \frac{c}{q^\tau}$ holds for every $(p,q) \in \mathbb{Z} \times \mathbb{N}$. In this paper, we…
A systematic study of the trigonometric equation A tan a + B sin b = C, where A, B and C^2 are rational numbers. The special case tan Pi/11 + 4 sin 3 Pi/11 = sqrt[11] appears in the classical literature.
In science, as in life, `surprises' can be adequately appreciated only in the presence of a null model, what we expect a priori. In physics, theories sometimes express the values of dimensionless physical constants as combinations of…
Many questions in experimental mathematics are fundamentally inductive in nature. Here we demonstrate how Bayesian inference --the logic of partial beliefs-- can be used to quantify the evidence that finite data provide in favor of a…
A folklore proof of Euclid's theorem on the infinitude of primes uses the Euler product and the irrationality of $\zeta(2) = \pi^2/6$. A quantified form of Euclid's Theorem is Bertrand's postulate $p_{n+1} < 2p_n$. By quantifying the…
We present a geometric way of describing the irrationality of a number using the area of a circular sector $A(r)$. We establish a connection between this and the continued fraction expansion of the number, and prove bounds for $A(r)$ as…
In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.
We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).
We study a skew product transformation associated to an irrational rotation of the circle [0,1]/~. This skew product keeps track of the number of times an orbit of the rotation lands in the two complementary intervals of {0,1/2} in the…
In this paper, we compute the asymptotic average of the decimals of some real numbers. With the help of this computation, we prove that if a real number cannot be represented as a finite decimal and the asymptotic average of its decimals is…
A large-scale experiment was conducted to find formulas relating to the base $e^\pi$. The numbers in this base are $$x = \sum_{n=0}^\infty {a(n)\over e^{\pi n}}$$ where $a(n)$ is taken from the OEIS catalog. These experiments were inspired…