MathLabs

Problem 6

For each positive integer nn, let S(n)S(n) be the greatest integer such that every k≤S(n)k\le S(n) permits writing n2n^2 as a sum of kk positive squares. (a) Prove S(n)≤n2−14S(n)\le n^2-14 for n≥4n\ge4; (b) find nn with equality; (c) prove infinitely many such nn.
Step 3 of 5: Cover the other two residue classes
In plain words

Cover the other two residue classes

169=5⋅42+149⋅12,169=92+92+151⋅12169=5\cdot4^2+149\cdot1^2,\quad169=9^2+9^2+151\cdot1^2
Detailed analysis

The representations 169=5⋅42+149⋅12169=5\cdot4^2+149\cdot1^2 and 169=92+92+151⋅12169=9^2+9^2+151\cdot1^2 cover the two remaining residue classes by the same grouping operation. The explicit decompositions listed for counts 7,4,3,6 fill the short tails, so every 1≤k≤1551\le k\le155 occurs and S(13)=155=132−14S(13)=155=13^2-14.