Legendre's three-square theorem
来源:互联网 发布:java开源审批流源代码 编辑:程序博客网 时间:2024/06/05 13:23
In mathematics, Legendre's three-square theorem states that a natural number can be represented as the sum of three squares of integers
if and only if n is not of the form 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 ) are
- 7, 15, 23, 28, 31, 39, 47, 55, 60, 63, 71 ... (sequence A004215 in OEIS).
Contents
[hide]- 1History
- 2Proofs
- 3Relationship to the four-square theorem
- 4See also
- 5Notes
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:
- the quadratic reciprocity law,
- Dirichlet's theorem on arithmetic progressions, and
- the equivalence class of the trivial ternary quadratic form.
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.
- Legendre's three-square theorem
- Lagrange's four-square theorem
- zoj 1738 Lagrange's Four-Square Theorem
- POJ2042 Lagrange's Four-Square Theorem
- poj 2042 Lagrange's Four-Square Theorem
- zoj 1738 - Lagrange's Four-Square Theorem
- 搜索 HOJ 1281 Lagrange's Four-Square Theorem
- 搜索 HOJ 1281 Lagrange\'s Four-Square Theorem
- POJ 2042 Lagrange's Four-Square Theorem 笔记
- UVa 11342 - Three-square
- POJ-2042(最多四个数的平方和多少种方法)(Lagrange's Four-Square Theorem )
- Richardson's Theorem
- Parseval's Theorem
- Brewer's CAP Theorem
- Danskin's theorem
- Brewer’s CAP Theorem
- <cf>Hexadecimal's theorem
- Brewer’s CAP Theorem
- 使用durid的ConfigFilter对数据库密码加密
- 使用pull方式解析xml文件
- RCP 插件动态刷新视图中的图片
- python 类方法 的调用
- glide加载图片和自己写的方法加载图片对比
- Legendre's three-square theorem
- 基本运算符
- Linux查看CPU信息
- Dynamics CRM 站点地图中URL的&号编码问题
- Java操作数据库
- Android开发艺术探索学习-IPC之Binder(二)
- Android 夜间模式 渐变实现
- Lua基础之语法
- KVM vCPU创建过程