Feladat: F.1990 Korcsoport: 16-17 Nehézségi fok: -
Megoldó(k):  Gáti Tamás ,  Jakab Tibor ,  Nagy 983 László 
Füzet: 1976/szeptember, 12 - 13. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Köbszámok összege, Oszthatósági feladatok, Műveletek polinomokkal, Feladat
Hivatkozás(ok):Feladatok: 1975/május: F.1990

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.

Az első néhány 24k alakú szám kívánt előállítása például a következő:

k=124=33+(-1)3+(-1)3+(-1)3k=248=43+(-2)3+(-2)3+03,k=372=53+(-3)3+(-3)3+13,k=496=63+(-4)3+(-4)3+23.
A példák alapján azt reméljük, hogy a 24k-nak mindig van olyan előállítása, amelyben a
(k+2)3=k3+3k2+12k+8
köbszám szerepel. Mivel ebből csak 12k-t kapunk, kellene még egy olyan köbszám, amiből szintén kapunk 12k-s tagot. Ilyen a
(k-2)3=k3-3k2+12k-8
köbszám. Ezt hozzávéve a (k+2)3-höz, megvan a 24k, ráadásul a másodfokú és a konstans tag eltűnik. A kapott 2k3+24k összeghez még 2(-k)3-t adva egy lehetséges előállítást nyerünk:
24k=(k+2)3+(-k)3+(-k)3+(k-2)3.
 

  Nagy 983 László (Szekszárd, Rózsa F. Szakközépisk. II. o. t.)
 
Megjegyzések. 1. Az (x+y+z)3-x3-y3-z3=3(x+y)(y+z)(z+x) azonosságból x+y=2, y+z=2, z+x=2k választással x+y+z=k+2, x=k, y=2-k, z=k adódik, ami szintén a fenti előállítást adja.
 

  Gáti Tamás (Zalaegerszeg, Zrínyi M. Gimn., III. o. t.)
 
2. A feladat állításánál többet is bizonyíthatunk:
(k+1)3+(k-1)3+(-k)3+(-k)3=6k,
tehát már minden 6-tal osztható egész szám is felírható 4 egész szám köbének összegeként.
 
3. Megmutatjuk, hogy van a fentitől eltérő felbontás is. Keressük azt
(a1k+b1)3+(a2k+b2)3+(a3k+b3)3+(a4k+b4)3=24k
alakban. Mivel ennek minden k-ra teljesülnie kell, a két polinom azonosságából 4 egyenletet nyerhetünk 8 ismeretlenünkre. Példaként bemutatunk két újabb felbontást, melyeket az egyenletrendszer egy-egy megoldásából kaptunk:
(4k+1)3+(4k-1)3+(-4k)3+(-4k)3=24k,(2k+12)3+(-2k-10)3+(k+1)3+(-k-9)3=24k.

 

  Jakab Tibor (Budapest, Berzsenyi D. Gimn., IV. o. t.)
 
4. Felmerül a kérdés, hogy egy tetszőleges számot hány köbszám összegeként tudunk előállítani. A válaszra jó becslés adódik az
n3-n=(n-1)n(n+1)
azonosság felhasználásával. Itt a jobb oldal mindig osztható 6-tal, így n=n3-6k, tehát a 2. megjegyzésünk alapján minden szám előállítható legfeljebb öt köbszám összegeként. Másrészt rövid számolással igazolható, hogy a 9k±4 alakú számok előállításához 4 köbszámra szükség van, tehát általában 4 köbszámnál kevesebb nem elég.
Nem tudjuk azonban, hogy van-e olyan egész szám, amely nem állítható elő 4 köbszám összegeként. Kérdezhetjük általában, hány k-dik hatvány szükséges ahhoz, hogy tetszőleges egész számot előállítsunk. Belátható például, hogy minden természetes szám felbontható négy négyzetszám összegeként, vagy az, hogy minden természetes szám előállítható 35 negyedik hatvány összegeként. Ez az ún. Waring-kérdéskör, melyről Erdős Pál és Surányi János: Válogatott fejezetek a számelméletből című könyvében a 170‐187. oldalakon olvashat az érdeklődő olvasó.