Related papers: Irrationality proofs \`a la Hermite
In this paper, we establish the irrationality of some open problems in mathematics based on using a recursive formula that generate the complete sequence of numbers. see [1] But before getting into that we begin with some Ramanujan notable…
We give an overview of our formalizations in the proof assistant Isabelle/HOL of certain irrationality and transcendence criteria for infinite series from three different research papers: by Erd\H{o}s and Straus (1974), Han\v{c}l (2002),…
In this paper possible completion $^*R_{d}$ of the Robinson non-archimedean field $^*R$ constructed by Dedekind sections. Given an class of analytic functions of one complex variable $f \in C[z]$,we investigate the arithmetic nature of the…
We give a simple geometric proof that $e$ is irrational, using a construction of a nested sequence of closed intervals with intersection $e$. The proof leads to a new measure of irrationality for $e$: if $p$ and $q$ are integers with $q >…
An application of (iterated) Bauer-Muir acceleration can give an Ap\'ery-like continued fraction for $\pi$ with irrational coefficients, and much faster convergence. It can be considered a generalized continued fraction with the same matrix…
This note shows that the product $e \pi$ of the natural base $e$ and the circle number $\pi$ is an irrational number.
Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (\pi r_1)$, and $\cos (\pi r_2)$ to be rationally independent. Extending a classical fact sometimes…
Based on the structure of Fibonacci sequence, we give a new proof for the irrationality exponents of the Fibonacci real numbers. Moreover, we obtain all the irrationality exponents of the real numbers corresponding to the differences of…
In 1859, Riemann had announced the following conjecture : the nontrivial roots (zeros) $s=\alpha+i\beta$ of the zeta function, defined by: $$\zeta(s) =\displaystyle \sum_{n=1}^{+\infty}\frac{1}{n^s},\,\mbox{for}\quad \Re(s)>1$$ have real…
In this paper we deduce a lower bound for the rank of a family of $p$ vectors in $\R^k$ (considered as a vector space over the rationals) from the existence of a sequence of linear forms on $\R^p$, with integer coefficients, which are small…
In 1938, Gini studied a mean having two parameters. Later, many authors studied properties of this mean. It contains as particular cases the famous means such as harmonic, geometric, arithmetic, etc. Also it contains, the power mean of…
This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar…
The ratio of the circumference, C, of a circle to its diameter, D, is a constant number denoted by $\pi$ and is independent of the size of the circle. It is known that $\pi$ is an irrational number and therefore cannot be expressed as a…
Let $\zeta(s)$ be the Riemann zeta function. We prove the statement in the title, which improves a recent result of Rivoal and Zudilin by lowering $69$ to $35$. We also prove that at least one of $\beta(2),\beta(4),\ldots,\beta(10)$ is…
A simplification of Ap\'ery's proof of the irrationality of \zeta(3) is presented. The construction of approximations is motivated from the viewpoint of 2-dimensional recurrence relations which simplifies many of the details of the proof.…
A unified proof of the irrationality of the special values L(n, X), n > 1 an integer, of the beta L-function is put forward in this note. The first case of n = 2 seems to confirm that the Catalan constant L(2, X) is an irrational number.
In 1987 Jonathan and Peter Borwein, inspired by the works of Ramanujan, derived many efficient algorithms for computing $\pi$. We will see that by using only a formula of Gauss's and elementary algebra we are able to prove the correctness…
In this article we prove a conjecture formulated by A.B. Soerensen in 1991 on the maximal number of $\mathbb{F}_{q^2}$-rational points on the intersection of a non-degenerate Hermitian surface and a surface of degree $d \le q.$
In this paper, we establish new irrationality criteria for certain sparse power series. As applications of these criteria, we generalize a result of Erd\H{o}s and obtain several irrationality results for various infinite series involving…
In this paper a new integral for the remainder of $\pi(x)$ is obtained. It is proved that there is an infinite set of the formulae containing miscellaneous parts of this integral.