Related papers: The Product $e \pi$ Is Irrational
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…
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…
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.
\begin{abstract} $\pi$, the ratio between a circumference and is radius, is an irrational transcendental number. Fractal analysis is used here to show that $\pi$\textquoteright{s} digit sequence corresponds to a uniformly distributed random…
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…
Continued fractions are used to give an alternate proof of $e^{x/y}$ is irrational.
If the cosine of a rational multiple of $\pi$ is a rational number then it is an integral multiple of $\frac12$. For this fact, we give a proof accessible to an interested school student. We then discuss which quadratic and cubic…
In this article, we give another visual proof of $\pi^e < e^\pi$.
This note proves that the first odd zeta value does not have a closed form formula $\zeta(3)\ne r \pi^3$ for any rational number $r \in \mathbb{Q}$. Furthermore, assuming the irrationality of the second odd zeta value $\zeta(5)$, it is…
This short note delivers, via elementary calculations, a product representation of pi.
Ivan Niven's succinct proof that pi is irrational is easy to verify, but it begins with a magical formula that appears to come out of nowhere, and whose origin remains mysterious even after one goes through the proof. The goal of this…
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…
This note presents an analytic technique for proving the linear independence of certain small subsets of real numbers over the rational numbers. The applications of this test produce simple linear independence proofs for the subsets of…
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…
The ratio of the circumference, C, of a circle to its diameter, D, is a constant number denoted by $\pi$ and is independent of the size of the circle. It is known that $\pi$ is an irrational number and therefore cannot be expressed as a…
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…
Using techniques from calculus, we combine classical identities for $\pi$, $\operatorname{ln}2$, and harmonic numbers, to arrive at a nice infinite series formula for $\pi/3$ that does not appear to be well known. In addition, we give…
In this Note, we start off with the primary representation of e and from there present an elementary short proof for the Wallis formula for $\pi$.
We investigate the topological structure of the decimal expansions of the three famous naturally occurring irrational numbers, $\pi$, $e$, and golden ratio, by explicitly calculating the diversity of the pair distributions of the ten digits…
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.