A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

Roland Bacher

DOI: https://doi.org/10.1080/00029890.2023.2242034

2023-08-17

Abstract:Every odd prime number p has exactly (p+1)/2 different expressions as a sum ab + cd of two ordered products ab and cd such that min(a,b)>max(c,d) . An easy corollary is a proof of Fermat's Theorem expressing primes in 1+4N as sums of two squares.

mathematics

What problem does this paper attempt to address?

Yet another Proof of an old Hat

Roland Bacher

DOI: https://doi.org/10.48550/arXiv.2111.02788

2021-10-29

History and Overview

Abstract:Every odd prime number p can be written in exactly (p + 1)/2 ways as a sum ab + cd with min(a, b) > max(c, d) of two ordered products. This gives a new proof Fermat's Theorem expressing primes of the form 1 + 4N as sums of two squares 1 .
Windmills of the minds: an algorithm for Fermat's Two Squares Theorem

Hing Lun Chan

DOI: https://doi.org/10.48550/arXiv.2112.02556

2021-12-05

Logic in Computer Science

Abstract:The two squares theorem of Fermat is a gem in number theory, with a spectacular one-sentence "proof from the Book". Here is a formalisation of this proof, with an interpretation using windmill patterns. The theory behind involves involutions on a finite set, especially the parity of the number of fixed points in the involutions. Starting as an existence proof that is non-constructive, there is an ingenious way to turn it into a constructive one. This gives an algorithm to compute the two squares by iterating the two involutions alternatively from a known fixed point.
A curious congruence modulo prime powers

liuquan wang,tianxin cai

DOI: https://doi.org/10.1016/j.jnt.2014.04.004

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:Zhao established a curious congruence, i.e., for any prime p≥3,∑i+j+k=pi,j,k>01ijk≡−2Bp−3(modp). In this note we prove that for any prime p≥3 and positive integer r,∑i+j+k=pri,j,k∈Pp1ijk≡−2pr−1Bp−3(modpr), where Pn denotes the set of positive integers which are prime to n.
Windmills of the Minds: A Hopping Algorithm for Fermat's Two Squares Theorem

Hing Lun Chan

DOI: https://doi.org/10.1007/s10817-024-09708-3

2024-10-23

Journal of Automated Reasoning

Abstract:Fermat's two squares theorem asserts that a prime one more than a multiple of 4 is a sum of two squares. There are many proofs of this gem in number theory, including a remarkable one-sentence proof by Don Zagier based on two involutions on a finite set built from such a prime. Applying the two involutions alternatively leads to an iterative algorithm to find the two squares for the prime. Moreover, a detailed analysis of the computation reveals that it is possible to jump through the iteration nodes, leading to a better hopping algorithm. Here is a formalisation of Zagier's proof, deriving the involutions using windmill patterns. Theories developed for the formal proof are used to establish the correctness of both algorithms.

computer science, artificial intelligence
A Geometric Proof of Fermat’s Little Theorem

Thomas Beatty,Marc Barry,Andrew Orsini

DOI: https://doi.org/10.4236/apm.2018.81004

2018-01-01

Advances in Pure Mathematics

Abstract:We present an intuitively satisfying geometric proof of Fermat's result for positive integers that for prime moduli p, provided p does not divide a. This is known as Fermat’s Little Theorem. The proof is novel in using the idea of colorings applied to regular polygons to establish a number-theo retic result. A lemma traditionally, if ambiguously, attributed to Burnside provides a critical enumeration step.

English Else
On sums of unequal powers of primes and powers of 2

Yuhui Liu

2023-12-11

Abstract:In this paper, it is proved that every sufficiently large even integer can be represented as the sum of two squares of primes, two cubes of primes, two biquadrates of primes and 16 powers of 2. Furthermore, there are at least 5.313% odd integers that can be represented as one square of prime, one cube of prime and one biquadrate of prime. This result constitutes a refinement upon that of R. Zhang [8].

Number Theory
On sums of a prime and four prime squares in short intervals

Guang Shi Lü,Xian Meng Meng

DOI: https://doi.org/10.1007/s10114-008-6089-4

2008-07-05

Abstract:In this paper, we prove that each sufficiently large integer N ≢ 1 (mod 3) can be written as \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$N = p + p_1^2 + p_2^2 + p_3^2 + p_4^2 ,$$\end{document}, with \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\left| {p - \frac{N}{5}} \right| \leqslant U,\left| {p_j - \sqrt {\frac{N}{5}} } \right| \leqslant U,j = 1,2,3,4,$$\end{document} where U = N9/20 + ɛ and p, pj are primes.

mathematics, applied
Sums of Squares with Restrictions Involving Primes

Hai-Liang Wu,Zhi-Wei Sun

DOI: https://doi.org/10.48550/arxiv.1811.08341

2018-01-01

Abstract:The well-known Lagrange's four-square theorem states that any integer n∈ℕ={0,1,2,...} can be written as the sum of four squares. Recently, Z.-W. Sun investigated the representations of n as x^2+y^2+z^2+w^2 with certain linear restrictions involving the integer variables x,y,z,w. In this paper, via the theory of quadratic forms, we further study the representations n=x^2+y^2+z^2+w^2 (resp., n=x^2+y^2+z^2+2w^2) with certain linear restrictions involving primes. For example, we obtain the following results: (i) Each positive integer n>1 can be written as x^2+y^2+z^2+2w^2 (x,y,z,w∈ℕ) with x+y prime. (ii) Every positive integer can be written as x^2+y^2+z^2+2w^2 (x,y,z,w∈ℕ) with x+2y prime. (iii) Let k be any positive integer, and let d≥ 2^k-1 be a positive odd integer with 4d^2+1 prime. Then any sufficiently large integer can be written as x^2+y^2+z^2+2w^2 (x,y,z,w∈ℕ) with x+2dy=p^k for some prime p.
Conjectures involving primes and quadratic forms

zhiwei sun

2012-01-01

Abstract: We pose many conjectures involving primes and quadratic forms, which might interest number theorists and stimulate further research. Below are five typical examples: (i) For any positive integer, there is an integer k=0,...,n such that n+k and n+k^2 are both prime. (ii) Any integer n>11 can be written as p+q with p, p+6, 6q-1 and 6q+1 all prime. (iii) For each n=6,7,... there is a prime p<n such that 6n-p and 6n+p are both prime. (iv) Any integer n>3 can be written as p+q, where p is a prime with p-1 and p+1 both practical, and q is either prime or practical. Also, every even number n>8 can be written as p+q+r, where p is a prime with p-1 and p+1 both practical, q is a prime with q-1 and q+1 both practical, and r is a practical number with r-1 and r+1 both prime. (v) Any positive rational number can be written as $m/n$, where $m$ and $n$ are positive integers with $p_m+p_n$ a square (or with $\pi(m)\pi(n)$ a positive square, or with $\varphi(m)$ and $\sigma(n)$ both squares).
A Structure Theorem for the Restricted Sum of Four Squares

Wei Wang,Weijia Wang,Hao Zhang

DOI: https://doi.org/10.1016/j.ffa.2024.102398

IF: 1.655

2024-01-01

Finite Fields and Their Applications

Abstract:Let p be an odd prime. We show that each solution of the system of congruence equations x12+x22+x32+x42≡0(modp) and x1+x2+x3+x4≡0(modp) corresponds to precisely four solutions of the system of Diophantine equations x12+x22+x32+x42=p2 and x1+x2+x3+x4=p that are pairwise orthogonal over Z, partially answering a conjecture proposed in Wang et al. [10]. The result was obtained by counting the number of solutions of both equations using Gaussian sum and modular forms, and the classical Cayley transformation.
Sums of Almost Equal Prime Squares

Hongze Li,Jie Wu

DOI: https://doi.org/10.7169/facm/1229624651

2008-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:In this paper, we prove that almost all integers N satisfying N equivalent to 3(mod24) and 5 inverted iota N or N equivalent to 4(mod24) are the sum of three or four almost equal primes quares, respectively.
Primes of the form $p^2 + nq^2$

Ben Green,Mehtaab Sawhney

2024-10-13

Abstract:Suppose that $n$ is $0$ or $4$ modulo $6$. We show that there are infinitely many primes of the form $p^2 + nq^2$ with both $p$ and $q$ prime, and obtain an asymptotic for their number. In particular, when $n = 4$ we verify the `Gaussian primes conjecture' of Friedlander and Iwaniec. We study the problem using the method of Type I/II sums in the number field $\mathbf{Q}(\sqrt{-n})$. The main innovation is in the treatment of the Type II sums, where we make heavy use of two recent developments in the theory of Gowers norms in additive combinatorics: quantitative versions of so-called concatenation theorems, due to Kuca and to Kuca--Kravitz-Leng, and the quasipolynomial inverse theorem of Leng, Sah and the second author.

Number Theory,Combinatorics
On Hua's Five Prime Squares Theorem with One Prime in Arithmetic Progressions

Zhen CUI

DOI: https://doi.org/10.3321/j.issn:0583-1431.2008.02.001

2008-01-01

Acta Mathematica Sinica

Abstract:Let N be a sufficiently large positive integer satisfying N = 5 mod 24, l and d be integers satisfying (l,d) = 1. Denote by A0 and A > 1 the positive constants, satisfying A0 = 600A + 2000. For all integers 0 < d≤D0 = N1/4 log-A0 N, with at most O(D0 log-AN) exceptional values, the equation N = p12+p22 + ... + p52 has solutions in primes p1,p2, ... ,p5, such that p1=l mod d.
Sur le théorème de Fermat sur ${\bf Q}(\sqrt{5})$

Alain Kraus

DOI: https://doi.org/10.48550/arXiv.1410.2420

2014-10-09

Number Theory

Abstract:Let $p$ be an odd prime number. Using modular arguments, we give an easy testable condition which allows often to prove Fermat's Last Theorem over the quadratic field ${\bf Q}(\sqrt{5})$ for the exponent $p$. It is related to the Wendt's resultant of the polynomials $X^n-1$ and $(X+1)^n-1$. We deduce Fermat's Last Theorem over this field in case one has $5\leq p<10^7$, and we obtain analogous results on Sophie Germain type criteria.
On Fermat's Last Theorem for odd prime exponents

Zenon B. Batang

2023-04-01

Abstract:We show that the Fermat equation $x^p + y^p = z^p$ has no solutions in coprime positive integers $x, y, z$ for any odd prime $p$.

General Mathematics
On the Simple Divisibility Restrictions by Polynomial Equation a n+bn=cn Itself in Fermat Last Theorem for Integer/Complex/Quaternion Triples

Sandor Kristyan

2024-07-06

Abstract:The divisibility restrictions in the famous equation a n+bn=cn in Fermat Last Theorem (FLT, 1637) is analyzed how it selects out many triples to be Fermat triple (i.e. solutions) if n greater than 2, decreasing the cardinality of Fermat triples. In our analysis, the restriction on positive integer (PI) solutions ((a,b,c,n) up to the point when there is no more) is not along with restriction on power n in PI as decreasing sets {PI } containing {odd} containing {primes} containing {regular primes}, etc. as in the literature, but with respect to exclusion of more and more c in PI as increasing sets {primes p} in {p k} in {PI}. The divisibility and co-prime property in Fermat equation is analyzed in relation to exclusion of solutions, and the effect of simultaneous values of gcd(a,b,c), gcd(a+b,cn), gcd(c-a,bn) and gcd(c-b,an) on the decrease of cardinality of solutions is exhibited. Again, our derivation focuses mainly on the variable c rather than on variable n, oppositely to the literature in which the FLT is historically separated via the values of power n. Among the most famous are the known, about 2500 years old, existing Pythagorean triples (a,b,c,n=2) and the first milestones as the proved cases (of non-existence as n=3 by Gauss and later by Euler (1753) and n=4 by Fermat) less than 400 years ago. As it is known, Wiles has proved the FLT in 1995 in an abstract roundabout way. The n<0, n:=1/m, as well as complex and quaternion (a,b,c) cases focusing on Pythagoreans are commented. Odd powers FLT over quaternions breaks.

General Mathematics
A Proof of "Goldbach's Conjecture"

Roger Ellman

DOI: https://doi.org/10.48550/arXiv.math/0005185

2001-01-27

Abstract:"Goldbach's Conjecture" proven by analysis of how all combinations of the odd primes, summed in pairs, generates all of the even numbers.

General Mathematics
Class numbers, Ono invariants and some interesting primes

Alexandru Gica

2024-01-29

Abstract:The main purpose of this paper is to find all the prime numbers p for which whenever we add to p an odd square less than p we obtain a number which has at most two different prime factors. We solve completely the cases $p\equiv 1,3,5 \pmod 8$. The idea of the proof in these cases is to find the class number for the quadratic imaginary field $\mathbb{Q}(i\sqrt p)$. Since we know all these quadratic imaginary fields with class number 1, 2 or 4, we are able to solve these cases. The most interesting case is $p\equiv 7 \pmod 8$. We prove in this case that the Ono invariant of the field equals the class number. S. Louboutin succeeded to find all these fields, with one possible exception. Assuming a Restricted Riemann Hypothesis, the list of Louboutin is complete.

Number Theory
Polynomial identities and Fermat quotients

Takao Komatsu,B. Sury

2023-09-18

Abstract:We prove some polynomial identities from which we deduce congruences modulo $p^2$ for the Fermat quotient $\frac{2^p-2}{p}$ for any odd prime $p$ (Proposition 1 and Theorem 1). These congruences are simpler than the one obtained by Jothilingam in 1985 which involves listing quadratic residues in some order. On the way, we also observe some more congruences for the Fermat quotient that generalize Eisenstein's classical congruence. Using such polynomial identities, we obtain some sums involving harmonic numbers. We also prove formulae for binomial sums of harmonic numbers of higher order.

Number Theory
Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice

James A. Sellers

2024-09-19

Abstract:In a recent article on overpartitions, Merca considered the auxiliary function $a(n)$ which counts the number of partitions of $n$ where odd parts are repeated at most twice (and there are no restrictions on the even parts). In the course of his work, Merca proved the following: For all $n\geq 0$, \begin{align*} a(4n+2) &\equiv 0 \pmod{2}, \textrm{\ \ and} \\ a(4n+3) &\equiv 0 \pmod{2}. \end{align*} Merca then indicates that a classical proof of these congruences would be very interesting. The goal of this short note is to fulfill Merca's request by providing two truly elementary (classical) proofs of these congruences.

Number Theory

A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

Yet another Proof of an old Hat

Windmills of the minds: an algorithm for Fermat's Two Squares Theorem

A curious congruence modulo prime powers

Windmills of the Minds: A Hopping Algorithm for Fermat's Two Squares Theorem

A Geometric Proof of Fermat’s Little Theorem

On sums of unequal powers of primes and powers of 2

On sums of a prime and four prime squares in short intervals

Sums of Squares with Restrictions Involving Primes

Conjectures involving primes and quadratic forms

A Structure Theorem for the Restricted Sum of Four Squares

Sums of Almost Equal Prime Squares

Primes of the form $p^2 + nq^2$

On Hua's Five Prime Squares Theorem with One Prime in Arithmetic Progressions

Sur le théorème de Fermat sur ${\bf Q}(\sqrt{5})$

On Fermat's Last Theorem for odd prime exponents

On the Simple Divisibility Restrictions by Polynomial Equation a n+bn=cn Itself in Fermat Last Theorem for Integer/Complex/Quaternion Triples

A Proof of "Goldbach's Conjecture"

Class numbers, Ono invariants and some interesting primes

Polynomial identities and Fermat quotients

Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice