Feladat: F.2459 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1984/október, 308. oldal  PDF  |  MathML 
Témakör(ök): Négyzetszámok összege, Maradékos osztás, Feladat
Hivatkozás(ok):Feladatok: 1984/február: F.2459

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Jelöljük a középső, (n+1)-edik természetes számot a-val. Ekkor a vizsgálandó négyzetösszeg

Sn=(a-n)2+(a-(n-1))2+...+a2+...+(a+(n-1))2+(a+n)2==(2n+1)a2+2(12+22+...+n2).
Tehát
n=1eseténS1=3a2+2,n=2eseténS2=5a2+10=5(a2+2),n=3eseténS3=7a2+28=7(a2+4),n=4eseténS4=9a2+60=9(a2+6)+6.
Belátjuk, hogy n=1,2,3,4 esetén Sn nem lehet négyzetszám. Ehhez először azt vizsgáljuk meg, hogy a négyzetszámok 3, 5, 7 és 9-cel osztva milyen maradékot adhatnak. Ha egy m szám k-val osztva r maradékot ad, akkor m2 és r2 is ugyanezt a maradékot adja. Valóban, m2-r2=(m-r)(m+r) osztható k-val, hiszen k/m-r. Ennek alapján könnyen látható, hogy a négyzetszámok 3-mal osztva 0 vagy 1; 5-tel osztva 0, 1 vagy 4; 7-tel osztva 0, 1, 2 vagy 4; 9-cel osztva 0, 1, 4 vagy 7 maradékot adhatnak.
Visszatérve az Sn számok vizsgálatára, S1 3-mal osztva 2 maradékot ad, így nem lehet négyzetszám, S2 5-tel osztható, de 25-tel nem, hiszen a2 ötös maradéka nem lehet 3. Így S2 nem lehet négyzetszám, mert a négyzetszámok prímtényezős felbontásában minden prímszám páros kitevőjű hatványon szerepel. Hasonlóan S3 7-tel osztható, de 49-cel nem, mert a2+4 nem osztható 7-tel. Végül S4 sem négyzetszám, mert kilences maradéka 6.
 

Megjegyzések. 1. Többen észrevették, hogy n=5 esetén a helyzet változik: 182+192+...+282=772, tehát van 11 egymást követő természetes szám úgy, hogy négyzetösszegük négyzetszám.
 

2. Nehéz kérdésnek látszik, hogy általában milyen n-ekre található (2n+1) egymást követő természetes szám, melyek négyzetösszege négyzetszám.