Sum of two squares theorem

Last updated
Integers satisfying the sum of two squares theorem are squares of possible distances between integer lattice points; values up to 100 are shown, with
*
Squares (and thus integer distances) in red, and
*
Non-unique representations (up to rotation and reflection) bolded Sum of two squares theorem.svg
Integers satisfying the sum of two squares theorem are squares of possible distances between integer lattice points; values up to 100 are shown, with
Squares (and thus integer distances) in red, and
Non-unique representations (up to rotation and reflection) bolded

In number theory, the sum of two squares theorem relates the prime decomposition of any integer n > 1 to whether it can be written as a sum of two squares, such that n = a2 + b2 for some integers a, b. [1]

Contents

An integer greater than one can be written as a sum of two squares if and only if its prime decomposition contains no factor pk, where prime and k is odd.

In writing a number as a sum of two squares, it is allowed for one of the squares to be zero, or for both of them to be equal to each other, so all squares and all doubles of squares are included in the numbers that can be represented in this way. This theorem supplements Fermat's theorem on sums of two squares which says when a prime number can be written as a sum of two squares, in that it also covers the case for composite numbers.

A number may have multiple representations as a sum of two squares, counted by the sum of squares function; for instance, every Pythagorean triple gives a second representation for beyond the trivial representation .

Examples

The prime decomposition of the number 2450 is given by 2450 = 2 ·52 ·72. Of the primes occurring in this decomposition, 2, 5, and 7, only 7 is congruent to 3 modulo 4. Its exponent in the decomposition, 2, is even. Therefore, the theorem states that it is expressible as the sum of two squares. Indeed, 2450 = 72 + 492.

The prime decomposition of the number 3430 is 2 ·5 ·73. This time, the exponent of 7 in the decomposition is 3, an odd number. So 3430 cannot be written as the sum of two squares.

Representable numbers

The numbers that can be represented as the sums of two squares form the integer sequence [2]

0, 1, 2, 4, 5, 8, 9, 10, 13, 16, 17, 18, 20, 25, 26, 29, 32, ...

They form the set of all norms of Gaussian integers; [2] their square roots form the set of all lengths of line segments between pairs of points in the two-dimensional integer lattice.

The number of representable numbers in the range from 0 to any number is proportional to , with a limiting constant of proportionality given by the Landau–Ramanujan constant, approximately 0.764. [3]

The product of any two representable numbers is another representable number. Its representation can be derived from representations of its two factors, using the Brahmagupta–Fibonacci identity.

Jacobi's two-square theorem

Jacobi's two-square theorem states

The number of representations of n as a sum of two squares is four times the difference between the number of divisors of n congruent to 1 modulo 4 and the number of divisors of n congruent to 3 modulo 4.

Hirschhorn gives a short proof derived from the Jacobi triple product. [4]

See also

Related Research Articles

<span class="mw-page-title-main">Modular arithmetic</span> Computation modulo a fixed integer

In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his book Disquisitiones Arithmeticae, published in 1801.

<span class="mw-page-title-main">Gaussian integer</span> Complex number whose real and imaginary parts are both integers

In number theory, a Gaussian integer is a complex number whose real and imaginary parts are both integers. The Gaussian integers, with ordinary addition and multiplication of complex numbers, form an integral domain, usually written as or

In mathematics, a Fermat number, named after Pierre de Fermat, the first known to have studied them, is a positive integer of the form

<span class="mw-page-title-main">Parity (mathematics)</span> Property of being an even or odd number

In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is divisible by 2, and odd if it is not divisible. For example, −4, 0, and 82 are even numbers, while −3, 5, 7, and 21 are odd numbers.

In number theory, an integer q is called a quadratic residue modulo n if it is congruent to a perfect square modulo n; i.e., if there exists an integer x such that:

<span class="mw-page-title-main">Square number</span> Product of an integer with itself

In mathematics, a square number or perfect square is an integer that is the square of an integer; in other words, it is the product of some integer with itself. For example, 9 is a square number, since it equals 32 and can be written as 3 × 3.

<span class="mw-page-title-main">Lagrange's four-square theorem</span> Every natural number can be represented as the sum of four integer squares

Lagrange's four-square theorem, also known as Bachet's conjecture, states that every natural number can be represented as a sum of four non-negative integer squares. That is, the squares form an additive basis of order four.

In algebra, the Brahmagupta–Fibonacci identity expresses the product of two sums of two squares as a sum of two squares in two different ways. Hence the set of all sums of two squares is closed under multiplication. Specifically, the identity says

In mathematics and the field of number theory, the Landau–Ramanujan constant is the positive real number b that occurs in a theorem proved by Edmund Landau in 1908, stating that for large , the number of positive integers below that are the sum of two square numbers behaves asymptotically as

<span class="mw-page-title-main">Pisano period</span> Period of the Fibonacci sequence modulo an integer

In number theory, the nth Pisano period, written as π(n), is the period with which the sequence of Fibonacci numbers taken modulo n repeats. Pisano periods are named after Leonardo Pisano, better known as Fibonacci. The existence of periodic functions in Fibonacci numbers was noted by Joseph Louis Lagrange in 1774.

<span class="mw-page-title-main">Practical number</span> Number such that it and all smaller numbers may be represented as sums of its distinct divisors

In number theory, a practical number or panarithmic number is a positive integer such that all smaller positive integers can be represented as sums of distinct divisors of . For example, 12 is a practical number because all the numbers from 1 to 11 can be expressed as sums of its divisors 1, 2, 3, 4, and 6: as well as these divisors themselves, we have 5 = 3 + 2, 7 = 6 + 1, 8 = 6 + 2, 9 = 6 + 3, 10 = 6 + 3 + 1, and 11 = 6 + 3 + 2.

<span class="mw-page-title-main">Colossally abundant number</span> Type of natural number

In number theory, a colossally abundant number is a natural number that, in a particular, rigorous sense, has many divisors. Particularly, it is defined by a ratio between the sum of an integer's divisors and that integer raised to a power higher than one. For any such exponent, whichever integer has the highest ratio is a colossally abundant number. It is a stronger restriction than that of a superabundant number, but not strictly stronger than that of an abundant number.

In additive number theory, Fermat's theorem on sums of two squares states that an odd prime p can be expressed as:

5 (five) is a number, numeral and digit. It is the natural number, and cardinal number, following 4 and preceding 6, and is a prime number. It has garnered attention throughout history in part because distal extremities in humans typically contain five digits.

Euler's factorization method is a technique for factoring a number by writing it as a sum of two squares in two different ways. For example the number can be written as or as and Euler's method gives the factorization .

In number theory, Jacobi's four-square theorem gives a formula for the number of ways that a given positive integer n can be represented as the sum of four squares.

In mathematics, statistics and elsewhere, sums of squares occur in a number of contexts:

In number theory, the sum of squares function is an arithmetic function that gives the number of representations for a given positive integer n as the sum of k squares, where representations that differ only in the order of the summands or in the signs of the numbers being squared are counted as different, and is denoted by rk(n).

References

  1. Dudley, Underwood (1969). "Sums of Two Squares". Elementary Number Theory. W.H. Freeman and Company. pp. 135–139.[ dead link ]
  2. 1 2 Sloane, N. J. A. (ed.). "SequenceA001481(Numbers that are the sum of 2 squares)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.
  3. Rebák, Örs (2020). "Generalization of a Ramanujan identity". The American Mathematical Monthly . 127 (1): 80–83. arXiv: 1612.08307 . doi:10.1080/00029890.2020.1668716. MR   4043992.
  4. Hirschhorn, Michael (1985). "A simple proof of Jacobi's two-square theorem" (PDF). Amer. Math. Monthly. 92: 579–580.