Related papers: It is not "B\'ezout's identity"
{\bf In the fourth extended version of this article, we provide a comprehensive historical survey of 200 different proofs of famous Euclid's theorem on the infinitude of prime numbers (300 {\small B.C.}--2022)}. The author is trying to…
The $k$-dimensional generalized Euler function $\varphi_k(n)$ is defined to be the number of ordered $k$-tuples $(a_1,a_2,\ldots, a_k) \in \mathbb{N}^k$ with $1\leq a_1,a_2,\ldots, a_k \leq n$ such that both the product $a_1a_2\cdots a_k$…
Adin, Brenti, and Roichman introduced the pairs of statistics $(\ndes, \nmaj)$ and $(\fdes, \fmaj)$. They showed that these pairs are equidistributed over the hyperoctahedral group $B_n$, and can be considered "Euler-Mahonian" in that they…
Euclid is a well known two-player impartial combinatorial game. A position in Euclid is a pair of positive integers and the players move alternately by subtracting a positive integer multiple of one of the integers from the other integer…
While there are many identities involving the Euler and Bernoulli numbers, they are usually proved analytically or inductively. We prove two identities involving Euler and Bernoulli numbers with combinatorial reasoning via up-down…
Uncertainty-aware machine learners, such as Bayesian neural networks, output a quantification of uncertainty instead of a point prediction. We provide uncertainty-aware learners with a principled framework to characterize, and identify ways…
In his second notebook, Ramanujan discovered the following identity for the special values of $\zeta(s)$ at the odd positive integers \begin{equation*}\begin{aligned}\alpha^{-m}\,\left\{\dfrac{1}{2}\,\zeta(2m + 1) + \sum_{n =…
The Menon-Sury's identity is as follows: \begin{equation*} \sum_{\substack{1 \leq a, b_1, b_2, \ldots, b_r \leq n\\\mathrm{gcd}(a,n)=1}} \mathrm{gcd}(a-1,b_1, b_2, \ldots, b_r,n)=\varphi(n) \sigma_r(n), \end{equation*} where $\varphi$ is…
The recognition that physical space (or space-time) is curved is a product of the general theory of relativity, such as dramatically shown by the 1919 solar eclipse measurements. However, the mathematical possibility of non-Euclidean…
We survey the applications of an elementary identity used by Euler in one of his proofs of the Pentagonal Number Theorem. Using a suitably reformulated version of this identity that we call Euler's Telescoping Lemma, we give alternate…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
Sometimes arguments that preceded recognition of non-Euclidean (Lobachevsky) geometry are represented in a simplified `black and white' pattern: `conservators made nonsense of genius'. Although there is something in this point of view, the…
The Fields Medal, often referred as the Nobel Prize of mathematics, is awarded to no more than four mathematician under the age of 40, every four years. In recent years, its conferral has come under scrutiny of math historians, for…
The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle…
Ramanujan stated an identity to the effect that if three sequences $\{a_n\}$, $\{b_n\}$ and $\{c_n\}$ are defined by $r_1(x)=:\sum_{n=0}^{\infty}a_nx^n$, $r_2(x)=:\sum_{n=0}^{\infty}b_nx^n$ and $r_3(x)=:\sum_{n=0}^{\infty}c_nx^n$ (here each…
In this paper, we study the so-called 'Mathematical part' of Plato's Theaetetus. Its subject concerns the incommensurability of certain magnitudes, in modern terms the question of the rationality or irrationality of the square roots of…
A series of formula is presented that are all inspired by the Ramanujan Notebooks [6]. One of them appears in the notebooks II about Zeta(3). That formula inspired others that appeared in 1998, 2006 and 2009 on the author's website and…
We find a $q$-analog of the following symmetrical identity involving binomial coefficients $\binom{n}{m}$ and Eulerian numbers $A_{n,m}$, due to Chung, Graham and Knuth [{\it J. Comb.}, {\bf 1} (2010), 29--38]: {equation*} \sum_{k\geq…
Semispecial quasi-Jordan algebras (also called Jordan dialgebras) are defined by the polynomial identities $a(bc) = a(cb)$, $(ba)a^2 = (ba^2)a$, and $(b,a^2,c) = 2(b,a,c)a$. These identities are satisfied by the product $ab = a \dashv b + b…
Let $\Bigl\langle\matrix{n\cr k}\Bigr\rangle$, $\Bigl\langle\matrix{B_n\cr k}\Bigr\rangle$, and $\Bigl\langle\matrix{D_n\cr k}\Bigr\rangle$ be the Eulerian numbers in the types A, B, and D, respectively -- that is, the number of…