Feladat: Pontversenyen kívüli P.57 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Balog János ,  Füredi Zoltán ,  Göndőcs Ferenc ,  Horváth Miklós ,  Kirchner Imre ,  Lempert László ,  Papp Zoltán ,  Pintér István ,  Reviczky János ,  Vajnági András ,  Várady Tamás ,  Waszlavik László 
Füzet: 1970/október, 72 - 75. oldal  PDF  |  MathML 
Témakör(ök): Elsőfokú (és arra visszavezethető) egyenletrendszerek, Magasabb rendű számtani sorozat, Számsorozatok, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1970/február: Pontversenyen kívüli P.57

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 adott oszlopokban álló 3-3 szám összege valóban 8, négyzetük összege pedig köbszám:

...,303,103,63,183,463,...
Feladatunk szerint az egyes sorok egy-egy mindkét irányban végtelen sorozat elemei, jelöljük ezeket rendre ak, bk, ck-val, négyzetük összegének köbgyökét pedig dk-val (k=0,±1,±2,...). Válasszuk úgy a jelölést, hogy a k=0 indexnek a középső oszlop feleljen meg. Úgy akarjuk ezeket a sorozatokat meghatározni, hogy
ak+bk+ck=8,(1)ak2+bk2+ck2=dk3(2)
teljesüljön minden egész k-ra. Láttuk, hogy (1) és (2) teljesül k=0, ±1, ±2 mellett.
Tájékozódásul ábrázoljuk az adott számokat mint k függvényét.
 

 

Az ak és dk sorozatból kapott pontok egy-egy parabolán látszanak elhelyezkedni. Határozzuk meg ezeket a parabolákat rendre a középső három pont alapján:
ak=Ak2+Bk+C,a-1=A-B+C=26,a0=A-B+C=14,a1=A+B+C=50.
Ezek alapján C=14, A-B=12, A+B=36, A=24, B=12,
ak=24k2+12k+14.(3)
Hasonlóan kapjuk, hogy
dk=8k2+4k+6,(4)
és a behelyettesítés mutatja, hogy (3) és (4) érvényes k=±2 mellett is.
A bk és ck sorozatok adott értékei inkább harmadfokú függvényre emlékeztetnek, ezeket a k=±1,±2 értékek alapján határozzuk meg:
bk=Ak3+Bk2+Ck+D,b-2=-8A+4B-2C+D=-130,b+2=8A+4B+2C+D=-126,b-1=-A+4B-2C+D=-18,b+1=-8A+4B+2C+D=14;12(b-2+b2)=4B+D=-2,12(b-1+b1)=B+D=-2,B=0;D=-2;14(b2-b-2)=4A+C=64,12(b1-b-1)=A+C=16A=16;C=O,tehátbk=16k3-2(5)
és ez a kihagyott k=0 mellett is érvényes.
ck kifejezését hasonlóan is meghatározhatnánk, egyszerűbb azonban (1)-ből kiindulni:
ck=8-ak-bk=-16k3-24k2-12k-4,(6)
hiszen (1), (3), (5) érvényes k=0, ±1, ±2 mellett, így az ezekből származó (6) is érvényes ezekre az értékekre.
A (3)‐(6) függvények tehát előállítják a sorozat adott értékeit. Meg kell még mutatnunk, hogy a sorozatokat ezek alapján mindkét irányban folytatva (1) és (2) érvényben marad. Beláthatnánk ezt közvetlen behelyettesítéssel is, célszerűbb azonban elkerülni az ezzel járó hosszadalmas számítást. (3)‐(6) alapján (1) és (2) két oldalának különbsége ugyanis k-nak harmad-, ill. hatodfokú függvénye. E két legfeljebb hatodfokú függvénynek 5 gyökhelyét már ismerjük, ezek a k=0, ±1, ±2 értékek, hiszen ezek mellett (1) és (2) érvényes. Ha tehát ellenőrizzük (1) és (2) teljesülését; k=±3 mellett, a különbség-polinomokról 7 helyen fogjuk tudni, hogy eltűnnek, ebből pedig már következik, hogy e polinomok azonosan 0-val egyenlőek. k=±3 mellett:
a-3=194,b-3=-434,c-3=248,d-3=66,a3=266,b3=430,c3=-688,d3=90,
és ezekre valóban teljesül (1) és (2). Ezzel beláttuk, hogy a (3)‐(6) összefüggésekkel meghatározott sorozatokra teljesül (1) és (2).
 

Megjegyzések. Megoldhatjuk a feladatot a sorozatok további tulajdonságainak felismerése alapján:
1. A három sorozat egy oszlopban álló elemeit a, b, c-vel jelölve láthatjuk, hogy ezek négyzetének az összege (a+4)/3 köbe a felírt esetekben. Felhasználva még, mint a fenti megoldásban, hogy a felsorolt értékei rendre a 24x2+12x+ +14 polinom -2, -1, 0, 1, 2 helyen felvett értékei, továbbá az a+b+c=8 követelményt, ezekből b-re a következő másodfokú egyenlet adódik:
2b2+2(24x2+12x+6)b+(24x2+12x+14)2++(24x2+12x+6)2-(8x2+4x+6)3=0.


Ennek diszkriminánsa x egy harmadfokú, egész együtthatós polinomjának a négyzete, és az egyenlet megoldásául is két harmadfokú, egész együtthatós polinom adódik. Könnyű látni, hogy egyik éppen a b értékeket, másik a c értékeket szolgáltatja az x=-2, -1, 0, 1, 2 értékekre, ami b és c szimmetrikus szerepe miatt előre látható is. Éppen a megoldásban talált kifejezésekhez jutunk, amik tehát teljesítik a feladat követelményeit minden egész x-re.
2. Az első sor egymás utáni számainak a különbsége ‐ ún. differenciasorozata ‐ számtani sorozatot alkot. A második és harmadik sor számaira ez nem áll, de a két differenciasorozat differenciasorozatai, az ún. második differenciasorozatok már számtani sorozatok. Ezeket a szabályosságokat a sorozatok további számaira is érvényesnek tekintve, ismét mindkét irányban tudjuk korlátlanul folytatni a sorozatokat, azonban be kell még látnunk, hogy a feladatban előírt tulajdonságok a további oszlopokra is érvényben maradnak. Nevezzük a számtani sorozatokat elsőrendű sorozatoknak, az olyanokat, amelyek differenciasorozata elsőrendű, másodrendűnek és hasonlóan tovább az olyan sorozatokat, amelyek differenciasorozata k-1-ed rendű, k-adrendűnek. Könnyen látható, hogy ekkor minden k-adrendű sorozat egyben magasabb rendű is; egy k-adrendű sorozatot k+1 egymás utáni eleme egyértelműen meghatároz, ez a k+1 elem viszont tetszés szerint előírható; k-adrendű sorozatok megfelelő elemeinek összegéből álló sorozat is k-adrendű, továbbá hogy egy k-adrendű és egy l-edrendű sorozat megfelelő elemeinek szorzatából álló sorozat k+l-edrendű sorozat.
Ezeknek a tulajdonságoknak az alapján könnyen belátható, hogy az egy oszlopbeli elemek összege továbbra is 8, és két további oszlopra is igazolva az összefüggéseket, az utoljára említett tulajdonság alapján az is belátható, hogy a négyzetösszegek sorozata hatodrendű sorozat, amelynek minden száma köbszám, egy másodrendű sorozat elemeinek a köbéből áll.
3. Belátható az is, hogy minden k-adrendű sorozat egy legföljebb k-adfokú polinom egymás utáni egész helyeken vett értékeinek a sorozata. Ez egyben mutatja a 2. megjegyzés szoros rokonságát a megoldással.
4. A megoldáskor megköveteltük a sorozatok még valamilyen tulajdonságának az öröklődését a feladatban előírtakon kívül. Nyilvánvalóan megfelelő sorozatokat kapunk pl. akkor is, ha a kapottakból tetszés szerint kihagyunk oszlopokat úgy, hogy végtelen sok még megmaradjon.