Maths Olympiad Prep

Library / /10 of 19

, 2005

Number theory Difficulty 7.9 National Olympiad, round 2 Prove it Germany

Problem:
Prove: If 4n7=a2+b2+c2+d24^{n} \cdot 7 = a^{2} + b^{2} + c^{2} + d^{2} with n,a,b,c,dN{0}n, a, b, c, d \in \mathbb{N} \setminus \{0\}, then none of the square numbers can fall below 4n14^{n-1}.

Solution

Solution:
If n=1n=1, then the claim is true; the only solutions for a,b,c,da, b, c, d are, apart from order, the quadruples (1,1,1,5)(1,1,1,5), (1,3,3,3)(1,3,3,3) and (2,2,2,4)(2,2,2,4). For every n1n \geq 1, 4n74^{n} \cdot 7 is divisible by 44. Since the square of a natural number can only have remainder 00 or 11 upon division by 44, only numbers of the same residue class modulo 44 are possible for a,b,c,da, b, c, d.
If a,b,c,da, b, c, d are (all) odd, then the right-hand side is indeed divisible by 44, but not by 88, and certainly not by 1616. In this case, therefore, only n=1n=1 is possible. If n>1n>1, then the four numbers on the right-hand side must accordingly all be even.
Assuming the property that all square numbers exceed 4n14^{n-1} does not hold for all nn, then there exists a smallest kk (kNk \in \mathbb{N}) for which it does not hold. Since it holds for n=1n=1, kk must be greater than 11. But then (see above) a,b,c,da, b, c, d are all even. One could then divide both sides by 44, and the property would also fail to hold for k1k-1, which, however, cannot be the case due to the minimality of kk. The claim therefore holds for all natural numbers nn, n1n \geq 1.

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: MathNet, licensed CC-BY-4.0. Statement translated into English from de; metadata (topic, difficulty) added by this project.