Number theoryDifficulty 6.7National olympiadProve it
Let S={n∣n−1,n,n+1 can be expressed as the sum of the square of two positive integers.}. Prove that if n in S, n2 is also in S.
Solution
1. Let S={n∣n−1,n,n+1 can be expressed as the sum of the squares of two positive integers}. We need to prove that if n∈S, then n2∈S.
2. Suppose n∈S. This means there exist positive integers a,b,k,ℓ,p,q such that: ⎩⎨⎧a2+b2=n−1k2+ℓ2=np2+q2=n+1
3. We know that for any integer x, x2≡0 or 1(mod4). Therefore: n−1,n,n+1≡0,1,2(mod4) respectively
4. We need to show that n2−1,n2,n2+1 can also be expressed as the sum of the squares of two positive integers.
5. Using the identity for the product of sums of squares: (a2+b2)(c2+d2)=(ac−bd)2+(ad+bc)2
6. Applying this identity, we get: n2−1=(k2+ℓ2−1)=(a2+b2)(p2+q2)=(ap−bq)2+(aq+bp)2 This shows that n2−1 can be expressed as the sum of the squares of two positive integers.
7. For n2, we use the identity: n2=(k2+ℓ2)2=(k2+ℓ2)(k2+ℓ2)=(k2−ℓ2)2+(2kℓ)2 This shows that n2 can be expressed as the sum of the squares of two positive integers.
8. Finally, for n2+1: n2+1=(k2+ℓ2)2+1 Since k=ℓ, we can use the identity again to show that n2+1 can be expressed as the sum of the squares of two positive integers.
Therefore, if n∈S, then n2∈S.
■
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.