相关论文: Irrationality Measure of Pi

The paper presents upper estimates for the irrationality measure and the non-quadraticity measure for the numbers $\alpha_k=\sqrt{2k+1}\ln\frac{\sqrt{2k+1}-1}{\sqrt{2k+1}+1}, \ k\in\mathbb N.$

We show how one can use Hermite-Pad\'{e} approximation and little $q$-Jacobi polynomials to construct rational approximants for $\zeta_q(2)$. These numbers are $q$-analogues of the well known $\zeta(2)$. Here $q=\frac{1}{p}$, with $p$ an…

Measures of irrationality are a numerical way of quantifying how far a given variety is from being rational (or rationally connected, uniruled, etc.). In the last two decades, there has been renewed interest in the study of these…

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…

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.

In a spirit of Ap\'ery's proof of the irrationality of $\zeta(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $\zeta_2(5)$ which satisfy $0 < |\zeta_2(5)-p_n/q_n|_2 <…

In this article, we give an asymptotic bound for the exponential sum of the M\"obius function $\sum_{n \le x} \mu(n) e(\alpha n)$ for a fixed irrational number $\alpha\in\mathbb{R}$. This exponential sum was originally studied by Davenport…

We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…

Let \beta be a real number. Then for almost all irrational \alpha>0 (in the sense of Lebesgue measure) \limsup_{x\to\infty}\pi_{\alpha,\beta}^*(x)(\log x)^2/x>=1, where \pi_{\alpha,\beta}^*(x)={p<=x: both p and [\alpha p+\beta] are primes}.

For a given irrational number $\alpha$ one can define an irrationality measure function $\psi_{\alpha}^{[2]}(t) = \min\limits_{\substack{(q, p)\colon q, p \in\mathbb{Z}, 1\leqslant q\leqslant t, \\ (p, q) \neq (p_n, q_n) ~\forall…

We prove a new result about the mutual behavior of irrationality measure functions $\psi_{\alpha_j}(t)$ for $n$ different real numbers $\alpha_j, j = 1, \dots, n$.

We prove a new result about the mutual behavior of irrationality measure functions $\psi_{\alpha_j}(t)$ for $n$ different real numbers $\alpha_j,\, j =1,...n$.

Given an irrational number $\alpha$ consider its irrationality measure function $\psi_{\alpha}(t)=\min\limits_{1\le q\le t, q\in\mathbb{Z}}\|q\alpha\|$. The set of all values of $\lambda(\alpha)=(\limsup\limits_{t\to\infty}…

For an algebraic number $\alpha$, the metric Mahler measure $m_1(\alpha)$ was first studied by Dubickas and Smyth in 2001 and was later generalized to the $t$-metric Mahler measure $m_t(\alpha)$ by the author in 2010. The definition of…

It is not known whether the Flint Hills series $\sum_{n=1}^{\infty} \frac{1}{n^3\cdot\sin(n)^2}$ converges. We show that this question is closely related to the irrationality measure of $\pi$, denoted $\mu(\pi)$. In particular, convergence…

In this work, we prove the irrationality of $\pi$ based on the nested radicals with roots of $2$ of kind $c_k = \sqrt{2 + c_{k - 1}}$ and $c_0 = 0$. Sample computations showing how the rational approximation tends to $\pi$ with increasing…

Given a rational number $r$ such that $2r$ is not an integer, we prove that $\tan^2(r\pi)$ is irrational unless it is equal to $0$, $1$, $3$ or $\frac{1}{3}$, using only basic trigonometry and the Rational Root Theorem. Moreover, we deduce…

We consider upper and lower bounds on the minimal height of an irrational number lying in a particular real quadratic field.

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…

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…