Legendre's three-square theorem

转载 2015年11月19日 17:13:42
From Wikipedia, the free encyclopedia

In mathematicsLegendre's three-square theorem states that a natural number can be represented as the sum of three squares of integers

n = x^2 + y^2 + z^2

if and only if n is not of the form n = 4^a(8b + 7) for integers a and b.

The first numbers that cannot be expressed as the sum of three squares (i.e. numbers that can be expressed as n = 4^a(8b + 7)) are

7, 15, 23, 28, 31, 39, 47, 55, 60, 63, 71 ... (sequence A004215 in OEIS).

History[edit]

Pierre de Fermat gave a criterion for numbers of the form 3a+1 to be a sum of 3 squares essentially equivalent to Legendre's theorem, but did not provide a proof. N. Beguelin noticed in 1774[1] that every positive integer which is neither of the form 8n + 7, nor of the form 4n, is the sum of three squares, but did not provide a satisfactory proof.[2] In 1796 Gauss proved his Eureka theorem that every positive integer n is the sum of 3 triangular numbers; this is trivially equivalent to the fact that 8n+3 is a sum of 3 squares. In 1797 or 1798 A.-M. Legendre obtains the first proof of his 3 square theorem.[3] In 1813, A. L. Cauchynotes[4] that Legendre's theorem is equivalent to the statement in the introduction above. Previously, in 1801, C. F. Gauss had obtained a more general result,[5] containing Legendre theorem of 1797-8 as a corollary. In particular, Gauss counts the number of solutions of the expression of an integer as a sum of three squares, and this is a generalisation of yet another result of Legendre,[6] whose proof is incomplete. This last fact appears to be the reason for later incorrect claims according to which Legendre's proof of the three-square theorem was defective and had to be completed by Gauss.[7]

With Lagrange's four-square theorem and the two-square theorem of Girard, Fermat and Euler, the Waring's problem for k = 2 is entirely solved.

Proofs[edit]

The "only if" of the theorem is simply because modulo 8, every square is congruent to 0, 1 or 4. There are several proofs of the converse. One of them is due to J. P. G. L. Dirichlet in 1850, and has become classical.[8] It requires three main lemmas:

Relationship to the four-square theorem[edit]

This theorem can be used to prove Lagrange's four-square theorem, which states that all natural numbers can be written as a sum of four squares. Gauss[9] pointed out that the four squares theorem follows easily from the fact that any positive integer that is 1 or 2 mod 4 is a sum of 3 squares, because any positive integer not divisible by 4 can be reduced to this form by subtracting 0 or 1 from it. However, proving the three-square theorem is considerably more difficult than a direct proof of the four-square theorem that does not use the three-square theorem.

相关文章推荐

a proof of the central limit theorem

  • 2016年01月28日 23:41
  • 75KB
  • 下载

Fourier Transform Intro - Fourier inversion theorem

https://en.wikipedia.org/wiki/Fourier_inversion_theorem Fourier inversion theorem From Wikip...

Proof of Lyapunov 2nd Theorem

  • 2017年01月16日 13:26
  • 222KB
  • 下载

hdu6064 Best theorem+Matrix-Tree定理

传送门 题意,就是给了一个有向图的邻接矩阵,问从1号点出发的欧拉回路有多少条。 求欧拉回路用到了Best theorem,其公式是这样的Best theorem 来自维基百科 tw(G)表示...

Brewer's CAP Theorem

  • 2010年05月02日 14:31
  • 111KB
  • 下载

A plain english introduction to CAP Theorem

关于分布式系统CAP理论的说明,值得看看,原文连接 A plain english introduction to CAP Theorem You’ll often hear about ...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Legendre's three-square theorem
举报原因:
原因补充:

(最多只允许输入30个字)