Feladat: F.2790 Korcsoport: 18- Nehézségi fok: átlagos
Megoldó(k):  Bagyinszki Róbert ,  Borsányi Ákos ,  Harcos Gergely ,  Kiss István ,  Miklós György ,  Nagy Ádám ,  Nagy Benedek ,  Podoski Károly ,  Ujváry-Menyhárt Zoltán ,  Wiener Gábor 
Füzet: 1991/február, 67 - 68. oldal  PDF  |  MathML 
Témakör(ök): Diofantikus egyenletek, Oszthatóság, Feladat
Hivatkozás(ok):Feladatok: 1990/március: F.2790

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.

Megoldás. A feltétel szerint x2+y2 osztható öttel. Ha x osztható öttel, tehát x=5k, akkor x2=25k2, és x2+y2 csak úgy lehet osztható öttel, ha y2 is osztható öttel, tehát y is, azaz y=5l. Ekkor x2+y25=5(k2+l2)=(2k+l)2+(k-2l)2, tehát előáll két négyzetszám összegeként. Ha x vagy 5k+1 vagy x=5k-1 alakú, akkor x2=5K+1 s ekkor y2=5L+4. Ez csak úgy lehetséges, ha y vagy 5l+2 vagy 5l-2 alakú. Mivel x2+y25 értékén x és y előjele nem változtat, ezért megfelelő előjelváltoztatással elérhető, hogy x=5k+1 és y=5l+2. Ekkor 2x-y5 és x+2y5 egész szám, és négyzetük összege éppen x2+y25. Marad az az eset, ha x vagy 5k+2 vagy 5k-2 alakú. Ekkor x2=5K+4, y2=5L+1, tehát ‐ x és y értékét megfelelő előjellel ellátva ‐ feltehető, hogy x=5k+2 és y=5l+1. Ekkor 2x+y5 és x-2y5 egész szám, és négyzetük összege éppen x2+y25.

 

Megjegyzés. Egy ismert tétel szerint egy természetes szám pontosan akkor áll elő két négyzetszám összegeként, ha prímtényezős felbontásában minden 4k+3 alakú prímszám páros kitevőn szerepel (a bizonyítás megtalálható a KöMaL 1990/2. számában, a 61-64. oldalon). A feladat feltevése alapján x2+y2=5n, ahol n egész szám. Az idézett tétel értelmében ‐ és mivel 5 prímszám, de nem 4k+3 alakú ‐ n prímtényezős felbontásában minden 4k+3 alakú prímszám páros kitevőn szerepel, mert ugyanez igaz 5n-re is; tehát n is előáll két négyzetszám összegeként.
 

 Podoski Károly (Bp., Árpád Gimn., IV. o. t.)