Related papers: A determinantal approach to irrationality
Let $\xi$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $\xi$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $\xi$, where $p(n,…
In the literature, we have various ways of proving irrationality of a real number. In this survey article, we shall emphasize on a particular criterion to prove irrationality. This is called nice approximation of a number by a sequence of…
We prove that for any real number $\xi\neq 0$ and any coprime integers $p>q\ge1$ such that $\xi$ is irrational or $q>1$, the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-p/q)^n)_{n\ge 0}$ is not contained in any interval of…
We obtain a new characterization for irrational numbers of constant type -- defined as irrationals with bounded partial quotients in their continued fraction expansion. The result is essential in the formulation of stability criteria for…
Let $\xi$ be a real irrational number. We are interested in sequences of linear forms in 1 and $\xi$, with integer coefficients, which tend to 0. Does such a sequence exist such that the linear forms are small (with given rate of decrease)…
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 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 >…
For real $\xi$ we consider the irrationality measure function $\psi_\xi(t) = \min_{1\leqslant q \leqslant t, q\in\mathbb{Z}} || q\xi ||$, where $||\cdot||$ - distance to the nearest integer. We prove that in the case…
Let $\xi$ be an irrational algebraic real number and $(p_k / q_k)_{k \ge 1}$ denote the sequence of its convergents. Let $(u_n)_{n \geq 1}$ be a non-degenerate linear recurrence sequence of integers, which is not a polynomial sequence. We…
We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate consequences to other values of the elementary…
We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A…
Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We prove that, if the irrationality exponent of $\xi$ is equal to $2$ or slightly greater than $2$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable…
In this paper, we propose various sufficient conditions to determine if a given real number is an irrational number or a transcendental number and also apply these conditions to some interesting examples, particularly,one of them comes from…
We prove the irrationality of some factorial series. To do so we combine methods from elementary and analytic number theory with methods from the theory of uniform distribution.
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…
Quadratic irrationals posses a periodic continued fraction expansion. Much less is known about cubic irrationals. We do not even know if the partial quotients are bounded, even though extensive computations suggest they might follow…
We point out that the proof of irrationality of $\pi$ by Niven can be modified to a proof by contraposition. As a warm-up, we also give a proof of irrationality of $\sqrt{2}$ and $\sqrt{3}$ in a similar way.
Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We establishes that, if the irrationality exponent of $\xi$ is less than $2.324 \ldots$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable sense. This…
A reasonably complete theory of the approximation of an irrational by rational fractions whose numerators and denominators lie in prescribed arithmetic progressions is developed in this paper. Results are both, on the one hand, from a…
Proper continued fractions are generalized continued fractions with positive integer numerators $a_i$ and integer denominators with $b_i\geq a_i$. In this paper we study the strength of approximation of irrational numbers to their…