Related papers: An elementary proof of the irrationality of Tschak…

We put forward a new method of constructing the complete ordered field of real numbers from the ordered field of rational numbers. Our method is a generalization of that of A. Knopfmacher and J. Knopfmacher. Our result implies that there…

We present a new `elementary' proof of the irrationality of $\zeta(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.

Let $(\tau_n)_n$ be a sequence of real numbers in $(1,+\infty)$. Using potential theoretic methods, we prove quantitative results - Bernstein-Walsh type theorems - about uniform approximation by polynomials of the form $\sum_{k=\lfloor…

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 the paper the solution of KZ system (n=4, m=2) is constructed in the explicit form in terms of the hypergeometric functions. We proved that the corresponding solution is rational when the parameter $\rho$ is integer. We show that in the…

In $1735$ Euler \cite{1} proved that for each positive integer $k$, the series $\zeta(2k) = \sum_{\ell=1}^{\infty} \ell^{-2k}$ converges to a rational multiple of $\pi^{2k}$. Many demonstrations of this fact are now known, and Euler's…

For irrational $\theta$ and 1-periodic function $f$ we consider sums $\sum_0^{Q-1}f(k\theta+\varphi)$ where $\varphi \in \mathbb R$. Sidorov proved that if $f$ is absolutely continuous function, then $\liminf_{Q \to \infty}…

We give a Newton type rational interpolation formula (Theorem \ref{theo}). It contains as a special case the original Newton interpolation, as well as the recent interpolation formula of Zhi-Guo Liu, which allows to recover many important…

We try to define the sequence of zeros of the Riemann zeta function by an intrinsic property. Let $(z_k)_{k\in \mathbb{N}}$ be the sequence of nontrivial zeros of $\zeta(s)$ with positive imaginary part. We write $z_k= 1/2+i\tau_k$ (RH says…

In 1997 we proved that if $n$ is of the form $$ 4k, \quad 8k-1\quad {\rm or} \quad 2^{2m+1}(2k-1)+3, $$ where $k,m\in \mathbb N,$ then there are no positive rational numbers $x,y,z$ satisfying $$ xyz = 1, \quad x+y+z = n. $$ Recently, N. X.…

We prove a sharp analogue of Minkowski's inhomogeneous approximation theorem over fields of power series $\mathbb{F}_q((T^{-1}))$. Furthermore, we study the approximation to a given point $\underline{y}$ in $\mathbb{F}_q((T^{-1}))^2$ by the…

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…

In this paper, we evaluate some series via the WZ method, and confirm several previous conjectures. For example, we prove the following two identities conjectured by the second author: $$\sum_{k=0}^{\infty} \frac{(28k^2 + 10k + 1)…

A lower bound for the dimension of the $\Q$-vector space spanned by special values of a Dirichlet series with periodic coefficients is given. As a corollary, it is deduced that both special values at even integers and at odd integers…

In the 1980s, Koecher and, independently, Leshchiner found an elegant formula for the generating function of odd zeta values. In this short note, we derive a $q$-analogue of this formula, which provides a $q$-version of the accelerated…

In this paper we give a general upper bound for the irrationality exponent of algebraic Laurent series with coefficients in a finite field. Our proof is based on a method introduced in a different framework by Adamczewski and Cassaigne. It…

Recently, Z. W. Sun put forward a series of conjectures on monotonicity of combinatorial sequences in the form of $\{z_n/z_{n-1}\}_{n=N}^\infty$ and $\{\sqrt[n+1]{z_{n+1}}/\sqrt[n]{z_n}\}_{n=N}^\infty$ for some positive integer $N$, where…

In this note, we investigate some properties of the integer sequence of general term $a_n := \sum_{k = 0}^{n - 1} k! (n - k - 1)!$ ($\forall n \geq 1$) to derive a new identity of the Genocchi numbers $G_n$ ($n \in \mathbb{N}$), which…

For a sequence $\gamma=(\gamma_n)_{n\ge 1}$, define \[ L_\gamma(z):=\sum_{n\ge 1}\gamma_n\frac{z^n}{1-z^n} =\sum_{n\ge 1}\Bigl(\sum_{d\mid n}\gamma_d\Bigr)z^n. \] We prove a short rigidity theorem: if $\gamma$ is eventually linearly…

We provide a general theorem for evaluating trigonometric Dirichlet series of the form $\sum_{n \geq 1} \frac{f (\pi n \tau)}{n^s}$, where $f$ is an arbitrary product of the elementary trigonometric functions, $\tau$ a real quadratic…