A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

George Andrews,Shalsoh B. Ekhad,Doron Zeilberger

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

1992-06-04

Abstract:A short and elementary proof, and a finite-form generalization, are given of Jacobi's formula for the number of ways of writing an integer as a sum of four squares (that implies Lagrange's famous 1777 theorem.)

Combinatorics

What problem does this paper attempt to address?

Restricted Sums of Four Squares

Zhi-Wei Sun

DOI: https://doi.org/10.1142/s1793042119501045

2019-01-01

International Journal of Number Theory

Abstract:We refine Lagrange’s four-square theorem in new ways by imposing some restrictions involving powers of two (including [Formula: see text]). For example, we show that each [Formula: see text] can be written as [Formula: see text] ([Formula: see text] with [Formula: see text] (or [Formula: see text], or [Formula: see text]), and that we can write any positive integer as [Formula: see text] with [Formula: see text] (or [Formula: see text]) a power of four. We also prove that any [Formula: see text] can be written as [Formula: see text] [Formula: see text] with [Formula: see text] a square (or a cube). In addition, we pose some open conjectures for further research; for example, we conjecture that any integer [Formula: see text] can be written as [Formula: see text] with [Formula: see text].
Further results on sums of squares

Hai-Liang Wu,Zhi-Wei Sun

2018-01-01

Abstract:The well-known Lagrangeu0027s four-square theorem states that any integer $ninmathbb{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 $nu003e1$ can be written as $x^2+y^2+z^2+2w^2$ ($x,y,z,winmathbb N$) with $x+y$ prime. (ii) Every positive integer can be written as $x^2+y^2+z^2+2w^2$ ($x,y,z,winmathbb N$) with $x+2y$ prime. (iii) Let $k$ be any positive integer, and let $dge 2^{k-1}$ be an 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,winmathbb N)$ with $x+2dy=p^k$ for some prime $p$.
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.
Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions

Stephen C. Milne

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

2001-01-08

Abstract:In this paper we derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi's 4 and 8 squares identities to 4n^2 or 4n(n+1) squares, respectively, without using cusp forms. In fact, we similarly generalize to infinite families all of Jacobi's explicitly stated degree 2, 4, 6, 8 Lambert series expansions of classical theta functions. In addition, we extend Jacobi's special analysis of 2 squares, 2 triangles, 6 squares, 6 triangles to 12 squares, 12 triangles, 20 squares, 20 triangles, respectively. These results, depending on new expansions for powers of various products of classical theta functions, arise in the setting of Jacobi elliptic functions, associated continued fractions, regular C-fractions, Hankel or Turanian determinants, Fourier series, Lambert series, inclusion/exclusion, Laplace expansion formula for determinants, and Schur functions. The Schur function form of these infinite families of identities are analogous to the eta-function identities of Macdonald. Moreover, the powers 4n(n+1), 2n^2+n, 2n^2-n that appear in Macdonald's work also arise at appropriate places in our analysis. A special case of our general methods yields a proof of the two Kac--Wakimoto conjectured identities involving representing a positive integer by sums of 4n^2 or 4n(n+1) triangular numbers, respectively.

Number Theory,Classical Analysis and ODEs
A proof of the Quadratic Reciprocity Law

Math Dicker

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

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.
Sums of four squares with certain restrictions

Zhi‐Wei Sun

2020-01-01

Abstract:Let $a,b\in\mathbb N=\{0,1,2,\ldots\}$ and $\lambda\in\{2,3\}$. We show that $4^a(4b+1)$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb N$ such that $x+2y+\lambda z$ is a positive square. We also pose some open conjectures; for example, we conjecture that any positive odd integer can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb N$ such that $x+2y+3z$ is a positive power of two.
Sums of triangular numbers and sums of squares

Amir Akbary,Zafer Selcuk Aygin

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

2021-07-02

Abstract:For non-negative integers $a,b,$ and $n$, let $N(a, b; n)$ be the number of representations of $n$ as a sum of squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). Let $N^*(a,b; n)$ be the number of representations of $n$ as a sum of odd squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). We have that $N^*(a,b;8n+a+3b)$ is the number of representations of $n$ as a sum of triangular numbers with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). It is known that for $a$ and $b$ satisfying $1\leq a+3b \leq 7$, we have $$ N^*(a,b;8n+a+3b)= \frac{2}{2+{a\choose4}+ab} N(a,b;8n+a+3b) $$ and for $a$ and $b$ satisfying $a+3b=8$, we have $$ N^*(a,b;8n+a+3b) = \frac{2}{2+{a\choose4}+ab} \left( N(a,b;8n+a+3b) - N(a,b; (8n+a+3b)/4) \right). %& t(8,0;{n}) = \frac{1}{36} \left( N(8,0;8n+8) - N(8,0;2n+2) \right). \label{eq31_5} $$ Such identities are not known for $a+3b>8$. In this paper, for general $a$ and $b$ with $a+b$ even, we prove asymptotic equivalence of formulas similar to the above, as $n\rightarrow\infty$. One of our main results extends a theorem of Bateman, Datskovsky, and Knopp where the case $b=0$ and general $a$ was considered. Our approach is different from Bateman-Datskovsky-Knopp's proof where the circle method and singular series were used. We achieve our results by explicitly computing the Eisenstein components of the generating functions of $N^*(a,b;8n+a+3b)$ and $N(a,b;8n+a+3b)$. The method we use is robust and can be adapted in studying the asymptotics of other representation numbers with general coefficients.

Number Theory
Refining Lagrange's Four-Square Theorem

Zhi-Wei Sun

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

IF: 0.679

2017-01-01

Journal of Number Theory

Abstract:Lagrange's four-square theorem asserts that any n∈N={0,1,2,…} can be written as the sum of four squares. This can be further refined in various ways. We show that any n∈N can be written as x2+y2+z2+w2 with x,y,z,w∈Z such that x+y+z (or x+2y, or x+y+2z) is a square (or a cube). We also prove that any n∈N can be written as x2+y2+z2+w2 with x,y,z,w∈N such that P(x,y,z) is a square, whenever P(x,y,z) is among the polynomialsx,2x,x−y,2x−2y,a(x2−y2)(a=1,2,3),x2−3y2,3x2−2y2,x2+ky2(k=2,3,5,6,8,12),(x+4y+4z)2+(9x+3y+3z)2,x2y2+y2z2+z2x2,x4+8y3z+8yz3,x4+16y3z+64yz3. We also pose some conjectures for further research; for example, our 1-3-5-Conjecture states that any n∈N can be written as x2+y2+z2+w2 with x,y,z,w∈N such that x+3y+5z is a square.
Expressing an integer as a sum of cubes of polynomials

Ajai Choudhry

2023-11-13

Abstract:In this paper we prove that there exist infinitely many integers which can be expressed as a sum of four cubes of polynomials with integer coefficients. We give several identities that express the integers 1 and 2 as a sum of four cubes of polynomials. We also show that every integer can be expressed as a sum of five cubes of polynomials with integer coefficients.

Number Theory
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.
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
Generalizing Hurwitz's quaternionic proof of Lagrange's and Jacobi's four-square theorems

Matěj Doležálek

2024-09-25

Abstract:A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key components: an order with a good factorization theory and the condition that all orbits under the action of the group of elements of norm $1$ acting by multiplication intersect the suborder corresponding to the quadratic form to be studied. We use recent results on class numbers of quaternion orders and then find all suborders satisfying the orbit condition. Subsequently, we obtain universality and formulas for the number of representations by the corresponding quadratic forms. We also present a quaternionic proof of Götzky's four-square theorem.

Number Theory
Some refinements of Lagrange's four-square theorem

Yu-Chen Sun,Zhi-Wei Sun

2016-01-01

Abstract: Lagrange's four-square theorem is a classical theorem in number theory. Recently, Z.-W. Sun found that it can be further refined in various ways. In this paper we obtain two refinements of this celebrated theorem. We show that any nonnegative integer can be written as $x^2+y^2+z^2+w^2$ $(x,y,z,w\in\mathbb Z)$ with $x+y+z+w$ a square (or a cube). Also, every $n=0,1,2,\ldots$ can be represented by $x^2+y^2+z^2+w^2$ $(x,y,z,w\in\mathbb Z)$ with $x+2y+2z$ a square (or a cube).
Formulas for Jacobi forms and generalized Frobenius partitions

Kathrin Bringmann,Larry Rolen,Michael Woodbury

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

2016-10-23

Abstract:Since their introduction by Andrews, generalized Frobenius partitions have interested a number of authors, many of whom have worked out explicit formulas for their generating functions in specific cases. This has uncovered interesting combinatorial structure and led to proofs of a number of congruences. In this paper, we show how Andrews' generating functions can be cast in the framework of Eichler and Zagier's Jacobi forms. This reformulation allows us to compute explicit formulas for the generalized Frobenius partition generating functions (and in fact provides formulas for further functions of potential combinatorial interest), and it leads to a recursion formula to calculate them in terms of infinite $q$-products.

Number Theory,Combinatorics
Sums of four rational squares with certain restrictions

Zhi-Wei Sun

2020-01-01

Abstract:In this paper we mainly study sums of four rational squares with certain restrictions. Let Q≥0 be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any a, b, c, d ∈ Q≥0, each r ∈ Q≥0 can be written as x 2 + y+z+w with x, y, z, w ∈ Q≥0 such that ax+by+cz+dw is a rational square (or a rational cube). This paper also contains many conjectures; for example, for any positive integers a and b with gcd(a, b) = 1, we conjecture that each r ∈ Q≥0 can be written as aw + bx +y+ z with w, x, y, z ∈ Q.
Summation formulae for quadrics

Jayce R. Getz

2023-07-07

Abstract:We prove a Poisson summation formula for the zero locus of a quadratic form in an even number of variables with no assumption on the support of the functions involved. The key novelty in the formula is that all ``boundary terms'' are given either by constants or sums over smaller quadrics related to the original quadric. We also discuss the link with the classical problem of estimating the number of solutions of a quadratic form in an even number of variables. To prove the summation formula we compute (the Arthur truncated) theta lift of the trivial representation of $\mathrm{SL}_2(\mathbb{A}_F)$. As previously observed by Ginzburg, Rallis, and Soudry, this is an analogue for orthogonal groups on vector spaces of even dimension of the global Schrödinger representation of the metaplectic group. In the appendix the results of the paper are related to previous work on Eisenstein series and Poisson summation formulae for Braverman-Kazhdan spaces.

Number Theory,Classical Analysis and ODEs,Representation Theory
Some Variants of Lagrange's Four Squares Theorem

Yu-Chen Sun,Zhi-Wei Sun

DOI: https://doi.org/10.4064/aa170508-14-3

2018-01-01

Acta Arithmetica

Abstract:Lagrange’s four squares theorem is a classical result in number theory. Recently, Z.-W. Sun found that it can be further refined in various ways. In this paper we study some conjectures of Sun and obtain various refinements of Lagrange’s theorem. We show
New demonstrations about the resolution of numbers into squares

Leonhard Euler

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

2008-06-01

Abstract:Translated from the Latin original "Novae demonstrationes circa resolutionem numerorum in quadrata" (1774). E445 in the Enestrom index. See Chapter III, section XI of Weil's "Number theory: an approach through history". Also, a very clear proof of the four squares theorem based on Euler's is Theorem 370 in Hardy and Wright, "An introduction to the theory of numbers", fifth ed. It uses Theorem 87 in Hardy and Wright, but otherwise does not assume anything else from their book. I translated most of the paper and checked those details a few months ago, but only finished last few parts now. If anything isn't clear please email me.

History and Overview,Number Theory
Counterexamples to a Conjecture of Ahmadi and Shparlinski

Taylor Dupuy,Kiran Kedlaya,David Roe,Christelle Vincent

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

2021-10-26

Experimental Mathematics

Abstract:Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.

mathematics
A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem

Shalosh B. Ekhad

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

2021-04-29

Abstract:We give a short and insightful proof of Gerry Leversha's elegant theorem regarding the isogonal conjugates of each of the vertices of a non-cyclic quadrilateral with respect to the triangle formed by the other three. It uses the Maple package <a class="link-external link-http" href="http://RENE.txt" rel="external noopener nofollow">this http URL</a>, available from . <a class="link-external link-http" href="http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE.txt" rel="external noopener nofollow">this http URL</a>

History and Overview,Combinatorics

A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

Restricted Sums of Four Squares

Further results on sums of squares

Sums of Squares with Restrictions Involving Primes

Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions

A proof of the Quadratic Reciprocity Law

Sums of four squares with certain restrictions

Sums of triangular numbers and sums of squares

Refining Lagrange's Four-Square Theorem

Expressing an integer as a sum of cubes of polynomials

A Structure Theorem for the Restricted Sum of Four Squares

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

Generalizing Hurwitz's quaternionic proof of Lagrange's and Jacobi's four-square theorems

Some refinements of Lagrange's four-square theorem

Formulas for Jacobi forms and generalized Frobenius partitions

Sums of four rational squares with certain restrictions

Summation formulae for quadrics

Some Variants of Lagrange's Four Squares Theorem

New demonstrations about the resolution of numbers into squares

Counterexamples to a Conjecture of Ahmadi and Shparlinski

A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem