Related papers: Wilson's and Wolstenholme's Theorems

Using generalized binomial coefficients with respect to fundamental Lucas sequences we establish congruences that generalize the classical congruence of Wolstenholme and other related stronger congruences.

We give direct and inverse theorems for the weighted approximation of functions with inner singularities by combinations of Bernstein polynomials.

We present a formal verification of Wolstenholme's theorem -- $\binom{2p}{p} \equiv 2 \pmod{p^3}$ for prime $p \geq 5$ -- in Lean~4 with Mathlib. The proof proceeds by expanding the shifted factorial product $\prod_{k=1}^{p-1}(p+k)$ to…

We present a slightly more general version of Boole's additive formula for factorials as a simple consequence of Lagrange's Interpolating Polynomial theorem.

We give a simple proof of Dorronsoro's theorem and use similar ideas to establish an equivalence for embeddings of vector fields.

This note offers an elementary proof of the Siegel-Walfisz theorem for primes in arithmetic progressions.

In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.

Wolstenholme's type summations involve certain powers of all residues $k$ modulo some prime number $p$. We first consider the sums of double or triple products of certain powers of all residues, e.g., the sums of the terms $(a+k)^m(b+k)^n$…

A very short and direct proof along the lines of the Kamae-Katznelson-Weiss approach.

We present generalisations of Wilson's theorem for double factorials, hyperfactorials, subfactorials and superfactorials.

In this short note, we introduce an analogue of Wilson's theorem for all nonzero elements $a_1,a_2,...,a_{q-1}$ of a finite filed $\mathbb{F}$ with $|\mathbb{F}|=q\geq 3$, as follows: $$ \sum_{1\leq i_1< i_2<...< i_k\leq…

We present a proof of Moessner's theorem by double induction, using only basic rules of arithmetic. No prerequisite knowledge is assumed. Familiarity with summation is advised.

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.

In 1862 Wolstenholme proved that for any prime $p\ge 5$ the numerator of the fraction $$ 1+\frac 12 +\frac 13+...+\frac{1}{p-1} $$ written in reduced form is divisible by $p^2$, $(2)$ and the numerator of the fraction $$ 1+\frac{1}{2^2}…

The purpose of this paper is to prove directly, by an elementary method, the Poisson probability law. This proof is offered as an alternative to the more usual derivation from binomial distribution in the limit of small probabilities. The…

We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.

We deduce Levinson\'{}s theorem in non-relativistic quantum mechanics in one dimension as a sum rule for the spectral density constructed from asymptotic data. We assume a self-adjoint hamiltonian which guarantees completeness; the…

Most of the assertions in the theory of well ordered sets are quite simple. However, one of its central statements, Zermelo's theorem, stands out of this rule, for its well-known proofs are rather complicated. The aim of the current paper…

The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.

Weinstein's[2] brilliant short proof of de Branges'[1] theorem can be made yet much shorter(modulo routine calculations), completely elementary (modulo L\"owner theory), self contained(no need for the esoteric Legendre polynomials' addition…