Related papers: A well-motivated proof that pi is irrational

As rewards of reading two great papers of Hermite from 1873, we trace the historical origin of the integral Niven used in his well-known proof of the irrationality of $\pi$, uncover a rarely acknowledged simple proof by Hermite of the…

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 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 use a variant of Salikhov's ingenious proof that the irrationality measure of $\pi$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully…

It is a classical fact that the irrationality of a number $\xi\in\mathbb R$ follows from the existence of a sequence $p_n/q_n$ with integral $p_n$ and $q_n$ such that $q_n\xi-p_n\ne0$ for all $n$ and $q_n\xi-p_n\to0$ as $n\to\infty$. In…

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…

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…

To account for the first proof of existence of an irrational magnitude, historians of science as well as commentators of Aristotle refer to the texts on the incommensurability of the diagonal in Prior Analytics, since they are the most…

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…

In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly…

In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula $\phi$ is provable in classical propositional logic if and only if $\neg\neg\phi$ is provable in intuitionistic propositional logic. We work in…

This note shows that the product $e \pi$ of the natural base $e$ and the circle number $\pi$ is an irrational number.

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…

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on the rule-following…

We show that every irrational number is a sum of two real numbers with diverging partial quotients. The proof is constructive. The key towards these results is an algorithm which was recently developed by Nikita Shulga, and our study of…

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 survay some nice result concerning the irrationals with a metric space point of view.Here is ofcourse nothing new may be or an expert in this field.

In this paper we propose a new method for determination of the two-term Machin-like formula for pi with arbitrarily small arguments of the arctangent function. This approach excludes irrational numbers in computation and leads to a…

The proof of the irrationality of Zeta(5) is a long standing open problem, but here only the case of Zeta(4) = (Pi^4)/90 is considered. The present paper suggests an approach for the irrationality of Zeta(4) along the lines of those known…

This short "education note" was inspired by Zvi Artstein's masterpiece Mathematics and the Real World, the Remarkable Role of Evolution in the Making of Mathematics (p. 53, and p. 400)