Related papers: Rational approximations to two irrational numbers

Let $[\, \cdot\,]$ be the floor function and $\|x\|$ denotes the distance from $x$ to the nearest integer. In this paper we show that whenever $\alpha$ is irrational and $\beta$ is real then for any fixed $1<c<12/11$ there exist infinitely…

We present a brief survey of the methods used in deducing upper estimates for irrationality measures of the logarithm values. We particularly expose the best known estimates for $\log2$ (due to E. Rukhadze), $\pi$ (due to M. Hata) and…

Let $S(t) = \frac{1}{\pi}\Im \log\zeta\left(\frac{1}{2}+it\right)$. We prove an unconditional lower bound on the measure of the sets $\{t\in [T,2T] \colon S(t) \geq V\}$ for $\sqrt{\log\log T} \leq V \ll \left(\frac{\log T}{\log \log…

Let $Z$ be a quadratic hypersurface of $\mathbb{P}^n(\mathbb{R})$ defined over $\mathbb{Q}$ containing points whose coordinates are linearly independent over $\mathbb{Q}$. We show that, among these points, the largest exponent of uniform…

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.

For a positive integer $n$ and a real number $\xi$, let $\lambda_n (\xi)$ denote the supremum of the real numbers $\lambda$ for which there are arbitrarily large positive integers $q$ such that $|| q \xi ||, || q \xi^2 ||, \ldots , ||q…

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.

We consider the amusing sequence of functions $f_n: \mathbb{R} \rightarrow \mathbb{R}$ given by $$ f_n(x) = \sum_{k=1}^{n}{\frac{|\sin{(k \pi x)}|}{k}}.$$ Every rational point is eventually the location of a strict local minimum of $f_n$:…

In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the…

We provide very effective methods to convert both asymptotic and explicit numeric bounds on the prime counting function $\psi(x)$ to bounds of the same type on both $\theta(x)$ and $\pi(x)$. This follows up our previous work on $\psi(x)$ in…

By combining and improving recent techniques and results, we provide explicit estimates for the error terms $|\pi(x)-\text{li}(x)|$, $|\theta(x)-x|$ and $|\psi(x)-x|$ appearing in the prime number theorem. For example, we show for all…

There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real…

It is proved that, for all odd integer $s \geqslant s_0(\varepsilon)$, there are at least $\big( c_0 - \varepsilon \big) \frac{s^{1/2}}{(\log s)^{1/2}} $ many irrational numbers among the following odd zeta values:…

We prove a refined version of Markov's theorem in Diophantine approximation. More precisely, we characterize completely the set of irrationals $x$ such that $\left|x-\frac{p}{q}\right|<\frac{1}{3q^2}$ has only finitely many rational…

For any irrational real number xi, let lambda(xi) denote the supremum of all real numbers lambda such that, for each sufficiently large X, the inequalities |x_0| < X, |x_0*xi-x_1| < X^{-lambda} and |x_0*xi^2-x_2| < X^{-lambda} admit a…

In 1974, M. B. Nathanson proved that every irrational number $\alpha$ represented by a simple continued fraction with infinitely many elements greater than or equal to $k$ is approximable by an infinite number of rational numbers $p/q$…

We combine our version of the resonance method with certain convolution formulas for $\zeta(s)$ and $\log\, \zeta(s)$. This leads to a new $\Omega$ result for $|\zeta(1/2+it)|$: The maximum of $|\zeta(1/2+it)|$ on the interval $1 \le t \le…

In this note, I develop step-by-step proofs of irrationality for $\,\zeta{(2)}\,$ and $\,\zeta{(3)}$. Though the proofs follow closely those based upon unit-square integrals proposed originally by Beukers, I introduce some modifications…

The concept of nearest integer is used to derive theorems and algorithms for the best approximations of an irrational by rational numbers, which are improved with the pigeonhole principle and used to offer an informed presentation of the…

We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but…