Legendre's three-square theorem
E620662
Legendre's three-square theorem is a result in number theory that characterizes exactly which positive integers can be expressed as the sum of three squares of integers.
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
result in number theory
ⓘ
theorem ⓘ |
| allowsConclusion | every positive integer not of the form 4^a(8b+7) is a sum of three squares ⓘ |
| appearsIn | classical textbooks on number theory ⓘ |
| appliesTo | all positive integers n ⓘ |
| assumes | x, y, z are integers ⓘ |
| characterizes | which positive integers are sums of three squares ⓘ |
| classificationRole | classifies positive integers by representability as x^2 + y^2 + z^2 ⓘ |
| concerns |
representation of integers as sums of squares
ⓘ
sum of three squares ⓘ |
| domain | positive integers ⓘ |
| excludes | integers of the form 4^a(8b+7) from being sums of three squares ⓘ |
| excludesForm | 4^a(8b+7) ⓘ |
| field | number theory ⓘ |
| formalizedIn | modern proof assistants and formal verification systems ⓘ |
| givesCondition | n is a sum of three squares if and only if n is not of the form 4^a(8b+7) ⓘ |
| givesNecessaryAndSufficientConditionFor | an integer to be a sum of three squares ⓘ |
| hasExample |
1 = 1^2 + 0^2 + 0^2 is a sum of three squares
ⓘ
15 is not a sum of three squares ⓘ 2 = 1^2 + 1^2 + 0^2 is a sum of three squares ⓘ 23 is not a sum of three squares ⓘ 28 = 3^2 + 3^2 + 2^2 is a sum of three squares ⓘ 3 = 1^2 + 1^2 + 1^2 is a sum of three squares ⓘ 31 is not a sum of three squares ⓘ 7 is not a sum of three squares ⓘ |
| hasGeneralization |
local-global criteria for quadratic forms in three variables
ⓘ
results on sums of k squares for k ≥ 3 ⓘ |
| historicalAttribution | proved by Adrien-Marie Legendre NERFINISHED ⓘ |
| implies |
if v_2(n) is even and n/4^{v_2(n)} ≡ 7 (mod 8) then n is not a sum of three squares
ⓘ
integers congruent to 7 modulo 8 are not sums of three squares ⓘ |
| namedAfter | Adrien-Marie Legendre NERFINISHED ⓘ |
| quantifiesOver | nonnegative integers a and b ⓘ |
| refinedBy | Gauss's work on ternary quadratic forms ⓘ |
| relatedTo |
Lagrange's four-square theorem
NERFINISHED
ⓘ
Waring's problem NERFINISHED ⓘ local-global principle ⓘ sum of two squares theorem NERFINISHED ⓘ ternary quadratic forms ⓘ |
| states | A positive integer n can be written as x^2 + y^2 + z^2 with x,y,z in Z iff n is not of the form 4^a(8b+7) ⓘ |
| timePeriod | 18th century ⓘ |
| typeOfCondition | congruence condition on integers ⓘ |
| usedIn |
additive number theory
ⓘ
classification of representations by ternary quadratic forms ⓘ computational number theory algorithms for sums of squares ⓘ studies of universal quadratic forms ⓘ |
| usesConcept |
modular arithmetic
ⓘ
p-adic methods ⓘ quadratic forms ⓘ square numbers ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.