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 .

What problem does this paper attempt to address?

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
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.
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
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
A Congruence for Primes

ZW SUN

DOI: https://doi.org/10.2307/2161118

IF: 0.9709

1995-01-01

Proceedings of the American Mathematical Society

Abstract:With the help of the Pell sequence we obtain the following new congruence for odd primes: \[ ∑ k = 1 ( p − 1 ) / 2 1 k ⋅ 2 k ≡ ∑ k = 1 [ 3 p / 4 ] ( − 1 ) k − 1 k ( mod p ) . \sum \limits _{k = 1}^{(p - 1)/2} {\frac {1}{{k \cdot {2^k}}} \equiv \sum \limits _{k = 1}^{[3p/4]} {\;\frac {{{{( - 1)}^{k - 1}}}}{k}} \quad \pmod p.} \]
Some Curious Congruences Modulo Primes

Li-Lu Zhao,Zhi-Wei Sun

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

IF: 0.679

2010-01-01

Journal of Number Theory

Abstract:Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence:∑0<i1<⋯<in<p(i13)(−1)i1i1⋯in≡0(modp).
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.
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
Can We Prove Goldbach's Conjecture?

Danilo Mauro

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

2010-12-26

Abstract:In this paper we will propose a strategy to prove Goldbach's conjecture: every even integer greater than 2 can be written as the sum of two primes.

General Mathematics
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

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

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
Lots of Proofs of the Fermat Theorem

Wenwu Zhu

2006-01-01

Abstract:In this paper we give lots of proofs of Fermat Theorem in the elementary number theory by using the knowledge of the elementary number theory and theorems of the Moden Mathematics.The proofs are different from the traditional one.The using methods are special.
An effective proof of the Cartan formula: Odd primes

Federico Cantero-Morán,Anibal Medina-Mardones

2023-05-16

Abstract:The Cartan formula relates the cup product and the action of the Steenrod algebra on mod~$p$ cohomology. For any pair of mod $p$ cocycles in a simplicial set, where $p$ is an odd prime, we effectively construct a natural coboundary descending to this formula in cohomology.

Algebraic Topology
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
Fibonacci numbers and Fermat's last theorem

Zhi-Hong Sun,Zhi-Wei Sun

DOI: https://doi.org/10.4064/aa-60-4-371-388

1992-01-01

Acta Arithmetica

Abstract:Let {F(n)} be the Fibonacci sequence defined by F0 = 0, F1 = 1, F(n) + 1 = F(n) + F(n-1) (n greater-than-or-equal-to 1). It is well known that F(p-)(5/p) = 0 (mod p) for any odd prime p, where (-) denotes the Legendre symbol. In 1960 D.D. Wall [13] asked whether p2/F(p-)(5/p) is always impossible; up to now this is still open. In this paper the sum [GRAPHICS] is expressed in terms of Fibonacci numbers. As applications we obtain a new formula for the Fibonacci quotient F(p-)(5/p)/p and a criterion for the relation p/F(p-1)/4 (if p = 1 (mod 4)), where p not-equal 5 is an odd prime. We also prove that the affirmative answer to Wall's question implies the first case of FLT (Fermat's last theorem); from this it follows that the first case of FLT holds for those exponents which are (odd) Fibonacci primes or Lucas primes.
General Elementary Direct Proof of Fermat's Last Theorem

Hua Jiang

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

2020-07-27

General Mathematics

Abstract:This paper presents a novel direct elementary proof for Fermat's Last Theorem. We use algebra, modular math, and binomial series to develop inherent mathematical relationships hidden within Fermat's Last Theorem. With these derived relationships, we are able to develop general pattern applicable for all positive integers of n. Finally, we are able to confirm and complete the direct proof for Fermat's Diophantine equation for all n.
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
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
A New Theorem on the Prime-Counting Function

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11139-015-9702-z

2015-01-01

The Ramanujan Journal

Abstract:For $x>0$, let $\pi (x)$ denote the number of primes not exceeding x. For integers a and $m>0$, we determine when there is an integer $n>1$ with $\pi (n)=(n+a)/m$. In particular, we show that, for any integers $m>2$ and $a\leqslant \lceil e^{m-1}/(m-1)\rceil $, there is an integer $n>1$ with $\pi (n)=(n+a)/m$. Consequently, for any integer $m>4$, there is a positive integer n with $\pi (mn)=m+n$. We also pose several conjectures for further research; for example, we conjecture that, for each $m=1,2,3,\ldots $, there is a positive integer n such that $m+n$ divides $p_m+p_n$, where $p_k$ denotes the k-th prime.
There is at least one pair of double primes for any even number

Shouyu Du,Zhanle Du

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

2005-10-17

Abstract:We proved that any even number not less than 6 can be expressed as the sum of two old primes, $2n=p_i+p_j$

General Mathematics

Yet another Proof of an old Hat

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

A curious congruence modulo prime powers

A Geometric Proof of Fermat’s Little Theorem

A Proof of "Goldbach's Conjecture"

A Congruence for Primes

Some Curious Congruences Modulo Primes

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

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

Can We Prove Goldbach's Conjecture?

A new generalization of Fermat's Last Theorem

Lots of Proofs of the Fermat Theorem

An effective proof of the Cartan formula: Odd primes

On Fermat's Last Theorem for odd prime exponents

Fibonacci numbers and Fermat's last theorem

General Elementary Direct Proof of Fermat's Last Theorem

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

On sums of unequal powers of primes and powers of 2

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

A New Theorem on the Prime-Counting Function

There is at least one pair of double primes for any even number