相关论文: A geometric proof that $\sqrt{3}$, $\sqrt{5}$ and …
We generalize Tennenbaum's geometric proof of the irrationality of sqrt(2) to sqrt(n) for n = 3, 5, 6 and 10. Modified version published in Mathematics Magazine \textbf{85} (2012), no. 2, 110--114.
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…
We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.
In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this…
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.
We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).
A general technique for proving the irrationality of the zeta constants $\zeta(s)$ for odd $s = 2n + 1 \geq 3$ from the known irrationality of the beta constants $L(2n+1)$ is developed in this note. The results on the irrationality of the…
In this paper, we sharpen and simplify our earlier results based on Thue's Fundamentaltheorem and use it to obtain effective irrationality measures for certain roots of polynomials of the form $(x-\sqrt{t})^{n}+(x+\sqrt{t})^{n}$, where $n…
One of the greatest achievements of Greek mathematics is the proof that the square root of 2 is irrational. It has not been thought that the Babylonians appreciated the concept of irrationality and certainly that they did not prove that the…
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.
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 >…
We present an elementary proof of the irrationality of $\zeta(5)$ based upon the Dirichlet's approximation theorem and the Prime Number Theorem.
We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers…
A simple geometric construction on the moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points is described which gives a common framework for many irrationality proofs for zeta values. This construction…
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…
Denote by $\sigma_k(n)$ the sum of the $k$-th powers of the divisors of $n$, and let $S_k=\sum_{n\geq 1}\frac{\sigma_k(n)}{n!}$. We prove that Schinzel's conjecture H implies that $S_k$ is irrational, and give an unconditional proof for the…
An arithmetic method of proving the irrationality of smooth projective 3-folds is described, using reduction modulo $p$. It is illustrated by an application to a cubic threefold, for which the hypothesis that its intermediate Jacobian is…
We present several results on the number of irrational and linear independent values among $\zeta(s),\zeta(s+2),...,\zeta(s+2n)$, where $s>2$ is an odd integer and $n>0$ is an integer. The main tool in our proofs is a certain generalization…
We give two elementary proofs, at a level understandable by students with only pre-calculus knowledge of Algebra, of the well known fact that an irreducible irrational n-th root of a positive rational number cannot be solution of a…
It is shown, subject to the abc-conjecture, that \[\sum_{n\le N}\exp(2\pi i\alpha n^3)\ll_{\epsilon,\alpha}N^{5/7+\epsilon}\] for any $\epsilon>0$ and any quadratic irrational $\alpha$.