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. Polinomok és végtelen polinomok
I. rész
Polinomokkal gyakran foglalkozunk a középiskolában, de majdnem kizárólag egyenletek megoldásával kapcsolatban. Sok másféle alkalmazásuk közül itt egy egészen elütő természetű alkalmazást fogok bemutatni. Ismerjük a binomiális tételt. Eszerint | | Ebből kiindulva a hatványozás azonosságai binomiális együtthatók közti összefüggésekhez vezetnek el bennünket. Ha az továbbá az
azonosságok két oldalának tagokra bontott alakjában kiszámítjuk , ill. az utóbbinál kényelem kedvéért együtthatóját, ez arra vezet, hogy | | ill. | | (1) | Az elsőnek speciális esete -re a jól ismert összefüggés. Utóbbinak felhasználásával mindkét azonosság helyessége könnyen igazolható pl. -re vonatkozó teljes indukcióval vagy található olyan kombinatorikai probléma, amelyet különböző meggondolásokkal oldva meg, a bal, ill. a jobb oldalt kapjuk eredményül. Ugyancsak meglehetősen ismert és könnyen igazolható az | | azonosság. Itt a jobb oldalon együtthatója 1, ha , a bal oldalon viszont minden egyes tag úgy keletkezik, hogy minden tényezőből kiválasztunk egy‐egy tagot, ezeket összeszorozzuk és az így keletkező összes tagokat összeadjuk. Esetünkben az egyes tényezőkből vagy -t választhatunk vagy -nek 2 valamelyik hatványára emelt hatványát. A minden tényezőből az 1 kiválasztásával keletkező 1-en kívül tehát -nek olyan hatványai keletkeznek, amelyek kitevője a 2 alapszám különböző, -ediknél alacsonyabb hatványainak összege. Azt kaptuk tehát, hogy minden -nél kisebb szám előállítható 2-nek különböző (-ediknél alacsonyabb) hatványainak összegeként, és mindegyik csak egyféleképpen; más szóval minden szám felírható éspedig csak egyféleképpen a -es alapú számrendszerben. Ez természetesen egyszerűen belátható polinomok használata nélkül is. Az olvasóra bízzuk, hogy állítsa elő, ha , ill. , , , az 1-nél nagyobb egészek, az | | továbbá az
szorzat tagokra bontott alakját és fogalmazza meg az együttható‐összehasonlítás szolgáltatta összefüggést. Ezeknek az alkalmazásoknak a különlegessége abban áll, hogy itt hatványainak alig volt szerepe. A polinomok együtthatói sorozata közt olvastunk le összefüggéseket és hatványai csak mintegy ezen sorozatok elemeinek szétválasztására szolgáltak, de úgy, hogy mégis az egész sorozattal mint egyetlen egységgel számolhattunk. Polinomjaink közt átalakításokat tudunk végezni: összeadjuk, szorozzuk, kivonjuk őket, ezúton újra polinomot kapunk, és az átalakításokkal nyert polinomok közti összefüggések elvezetnek a sorozatokra vonatkozó összefüggésekhez. Az osztás már nem mindig végezhető el polinomok közt, nem mindig vezet újra polinomhoz. Bizonyára sokan tudják, hogy az egyváltozós polinomok körében végezhető azonban maradékos osztás, hasonlóan, mint az egész számok között. Ha pl. -et -gyel akarjuk osztani, akkor először is keresünk egy olyan egytagú polinomot, amellyel -et szorozva a legmagasabb fokú tag lesz és -nek ezzel való szorzatát levonjuk az osztandóból. A szóban forgó szorzó és levonás után marad. Ebből ismét levonjuk -nek -szeresét, és az eljárást addig folytatjuk, amíg a maradék másodnál alacsonyabb fokú nem lesz. Az adott esetben pl. azt kapjuk, hogy | | tehát az osztás hányadosa és a maradék. Ez a maradék már alacsonyabb fokú, mint az osztó, s így az utóbbi nem szorozható olyan polinommal, hogy a szorzat legmagasabb fokú tagja legyen. Felmerül azonban az a gondolat, hogy ez a nehézség nem lép fel, ha növekvő hatványai szerint haladva próbáljuk előállítani a hányadost. Adott példánkban először -nek a -szeresét vonjuk le az osztandóból, majd az polinomból az osztó -szeresét, majd a -szeresét, a -szorosát. Eddig jutva pl. azt kapjuk, hogy | |
Most nincs akadálya annak, hogy folytassuk az eljárást, és könnyű meggyőződni róla, hogy a további együtthatók felváltva és lesznek, azaz
Mit értsünk azonban ezen; egyáltalán mit értsünk egy olyan polinomon, amiben minden hatványa vagy általában végtelen sok hatványa fellép? Esetünkben a konstans és az elsőfokú tag együtthatóval szerepel, a másod- és harmadfokú tag együtthatóval, és minden magasabb páros fokú tag együtthatóval, a páratlan fokúak együtthatóval. Helyezkedjünk arra az álláspontra, hogy az osztás ilyen kifejezésre vezetett, tehát ezután számolunk ilyenekkel is, egyszerűen jelsorozatoknak fogjuk tekinteni ezeket és végtelen polinomoknak nevezzük őket. Legyen
két végtelen polinom, a , együtthatók tetszés szerinti számok, pl. valós számok. A végtelen polinomok között természetesen szerepelnek a közönséges (véges) polinomok is, ezek azok, amelyekben valahonnan kezdve minden együttható 0. Két jelsorozat, két végtelen polinom különböző, amint van -nek olyan hatványa, amelyiknek a két végtelen polinomban különböző az együtthatója. Kézenfekvő, hogy végtelen polinomok összegén és szorzatán a következőt értsük:
Világos, hogy a műveletek ilyen értelmezése véges polinomokra helyesen adja meg azok összegét, ill. szorzatát. Azt is könnyű belátni, hogy a kivonás is mindig elvégezhető, az | | polinomra teljesül, hogy , és ez az egyetlen ilyen polinom, ez tehát a és különbsége: a polinom. Speciálisan a polinomot -hoz adva 0-t kapunk, azt a végtelen polinomot, amelyiknek minden együtthatója 0. Az utóbbi végtelen polinom hozzáadása bármelyik polinomhoz nem változtatja azt meg. A műveletek ilyen értelmezése mellett helyes lesz az
egyenlőség is. A végtelen polinomok körében tehát az osztás is elvégezhető, ez a kifejezés is egy végtelen polinom más alakja egyszerűen, a jobb oldali második tényezőé. Ezt a hányadost azonban másképp is átalakíthatjuk végtelen polinommá:
Itt az utolsó két törtet a fentiek mintájára végtelen polinommá alakítva azt kapjuk, hogy
és ezek különbségét beírva a fenti egyenlőség jobb oldalába, így is a már talált hányadost kapjuk. Megjegyezzük, hogy a fenti azonosság első és utolsó részét -gyel szorozva viszont azt kapjuk, hogy
vagyis a (véges polinomok körében végezhető) maradékos osztás fentebb már megtalált eredményét. Ez nem is meglepő, hiszen egy végtelen polinom (növekedő) hatványai szerint rendezett alakja egyértelműen meg van határozva. A fenti két átalakítás a következőknek egy‐egy számmal való szorzásából kapható:
Ezek közül is megkapható a másodikból az első, helyébe -et írva (és fordítva is). Szorozzunk most egy tetszés szerinti végtelen polinomot, pl. a fenti -t -szel:
Egy polinomnak -szel való szorzatában tehát az -ed fokú tag együtthatója az eredeti polinom együtthatóinak az összege a 0-d fokútól az -ed fokú együtthatóig. Megpróbálhatjuk ennek segítségével levezetni pl. a kombinatorikából binomiális együtthatók összegére és váltakozó előjellel vett összegére vonatkozó ismert összefüggéseket. Az | | összeget az polinom alakjából olvashatjuk le.
Másrészt így alakíthatjuk át a hányadost:
Itt valóban az -ed és magasabb fokú tagok együtthatója , vagyis | | (4) | amint azt más (tegyük hozzá, sokkal egyszerűbb) úton már beláttuk. Leolvashatunk azonban összefüggést az alacsonyabb fokú tagok együtthatóinak összehasonlításából is: ha , akkor
Itt a jobb oldal első tagja helyébe (4) baloldalát írva és felhasználva a binomiális együtthatók szimmetriatulajdonságát, eredményünket így is írhatjuk: | | Egy kicsit áttekinthetőbb alakot kapunk, ha helyett egy betűt, mondjuk -et írunk és a jobb oldalon is használjuk a binomiális együtthatók szimmetriáját: ha , akkor | | Speciálisan -re a bal oldalon (4) szerint áll, a jobb oldalon viszont minden binomiális együttható 1 lesz, s így azt kapjuk, hogy azaz a mértani sor összegképletét a 2 hányados esetére. A binomiális együtthatók váltakozó előjelű összegére ugyanezzel a gondolatmenettel azt kapjuk, hogy
Másfelől azonban a bal oldalon most véges polinom áll: | | Így az -ed és magasabb fokú tag együtthatója 0, azaz | | és az alacsonyabb fokú együtthatókra az egyszerű összefüggés adódik itt: ha , akkor | | Ajánljuk az olvasónak, hogy bizonyítsa ezt be polinomok felhasználása nélkül is. Megkaphatjuk ezúton a mértani sor összegképletét is. Arra az esetre szorítkozva, amikor az első tag 1, az összeget az | | szorzatában együtthatója adja meg. A szorzatot, ha , így alakíthatjuk át:
Így együtthatója | |
Ha , akkor az | | összefüggésre jutunk, akár a sor összegét nézzük ebben az esetben, akár (3) jobb oldalát szorozzuk (2) szerint önmagával. Szorozzuk most az utolsó végtelen polinomot újra -szel, akkor a szorzatban együtthatója lesz, amit (1) speciális esetének tekinthetünk, ha helyébe -et, helyébe pedig 1-et írunk. Így (3) jobb oldalát figyelembe véve azt kapjuk, hogy | |
Hasonlóan menve tovább, ha ezt szorozzuk -szel, együtthatójának (1) bal oldala adódik, most helyett -vel és helyett 2-vel. Ehelyett a jobb oldalát írva azt kapjuk, hogy | | és általában | |
A végtelen polinomok sokféle alkalmazása közül még egyre mutatunk itt példát. Ismeretes a Fibonacci‐féle sorozat, amelyiknek első két eleme 1, a továbbiak mindegyike pedig az őt megelőző kettőnek az összege. Kezdjük az elemek indexezését 0-val, akkor és ha , Ez a rekurzív definíció módot ad a sorozat elemeinek egymás utáni meghatározására: | | Jó volna azonban egy olyan eljárás, aminek segítségével -et tetszés szerinti -re meghatározhatjuk az előtte levők kiszámítása nélkül is. A feladatot fogalmazhatjuk úgy, hogy az | | végtelen polinom együtthatóit szeretnénk meghatározni. Erre a polinomra vonatkozóan könnyen nyerhetünk összefüggést az (5) egyenletből, ha azt -nel megszorozzuk és -re összeadjuk:
A jobb oldalon a második zárójelben van, az elsőben híján , a bal oldal pedig híján . Így, ha mindkét oldalhoz -et adunk, azt kapjuk, hogy | | Ezt végtelen polinommá alakíthatjuk pl. (3) alapján, ott helyébe -et írva: | | Itt a -adik hatványból akkor adódik -ed fokú tag, ha . Ekkor -nak -ed fokú tagja Itt a legkisebb egésztől, ami nem kisebb -nél, megy -ig: Az előbbit írhatjuk alakban, ahol a szögletes zárójel az egész részt jelöli. Így -ed fokú tagjának az együtthatója | | vagy, mivel könnyen látható, hogy , | | Végtelen polinommá alakíthatjuk azonban -t más módon is. A nevező gyökei , így az írható alakban; célszerű lesz, hogy a konstans tag mindegyik tényezőben 1 legyen, az egyes tényezőket a megfelelő gyökkel elosztani, tehát a szorzatot -gyel. Mivel mindegyik gyök reciproka eszerint a másik negatívja, így | | (Ennek helyességéről beszorzással könnyen meggyőződhetünk.) Ennek alapján így alakítható át, ismét felhasználva (3)-at, helyett -szel, ill. -szel:
Innen az -ed fokú tag együtthatójára egy egész más alakot kapunk: | | Első ránézésre legfeljebb annyi világos, hogy a kéttagúak hatványait tagokra bontva páros hatványai a különbségből kiesnek, s így racionális számot ad a jobb oldal. A mondott átalakítást elvégezve a következőt kapjuk: | | Egy kis számolással ellenőrizhetjük, hogy mindegyik formulánk helyesen adja pl. a sorozat feljebb kiszámított elemeit. Ez a néhány példa talán eléggé illusztrálhatja a végtelen polinomok használhatóságát. Feltünhetett azonban az olvasónak, hogy a nyert összefüggésekről sohasem állítottuk, hogy bebizonyítottuk őket. Vagy utaltunk polinomoktól független bizonyításra, vagy csak néhány esetben való kipróbálására utaltunk. Valóban, még véges polinomok esetén sem világos, miért hivatkozhatunk két polinom egyezéséből a megfelelő együtthatók megegyezésére. Hiszen két polinom megegyezésén azt értettük, hogy minden értékre ugyanaz a két polinom helyettesítési értéke. De miért ne adhatnának különböző alakú kifejezések minden -re egyenlő helyettesítési értéket? Hiszen trigonometrikus kifejezéseknél már bőséges tapasztalatunk van arról, hogy alakilag nagyon különböző kifejezések a bennük szereplő betűk minden értéke mellett megegyeznek, ha ezt néha nem is könnyű bizonyítani. Némi próbálgatással beláthatjuk például, hogy minden -re ugyanazt az értéket veszi fel. Ennek még a magyarázatát sem nehéz megadni. A cikk folytatásában tehát először is közelebbről megnézzük, mit is tudunk a végtelen polinomokról. Belátjuk, hogy levezetéseink szigorú bizonyítást adnak a nyert összefüggésekre; ezután további alkalmazásokat mutatunk. Úgy látszik, mintha a végtelen polinomok körében az osztás is mindig elvégezhető volna. Az olvasóra bízzuk annak meggondolását, hogy ez az állítás helyes-e vagy sem. A következőket nem érinti az, hogy mi a kérdésre a pontos válasz. |