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. Teleszkopikus összegekről, avagy kalandozások egy versenyfeladat körül I.
Középiskolai matematikaversenyeken gyakran előfordul, hogy egy-egy kitűzött feladat valójában speciális esete vagy éppen egyszerű következménye valamely általános tételnek. Mivel azonban az ilyen tételek rendszerint túlmutatnak a középiskolás tananyagon, és a megoldási útmutatóban általában nincs hely a részletezésükre, ezért a diákok és tanáraik csak ritkán ismerhetik meg az általánosításokat, valamint azok eredetét. Jelen írás célja éppen az, hogy középiskolás szinten bemutassa egy 2012. évi matematika versenyfeladat mögött rejlő elméleti és történeti érdekességeket. Figyelmünk középpontjában a teleszkopikus összegek állnak majd, amelyekhez kapcsolódóan számos hasznos fogalomra, illetve összefüggésre világítunk rá, és közben kiváló matematikusokat ismerünk meg. Kalandozásunk során a lehető legkevesebb előismeretre támaszkodunk, ezért minden előkerülő fogalomra és összefüggésre emlékeztetni fogunk. A cikk olvasásával így bárki megpróbálkozhat, de egyes részek akár órán vagy szakkörön is feldolgozhatók. A téma iránt mélyebben érdeklődők számára menet közben bőséges olvasnivalót ajánlunk, valamint a cikk jó néhány önálló gondolkodásra kitűzött feladatot szintén tartalmaz, amelyekhez útmutatást is adunk.
2. Kiindulás: egy 2012. évi OKTV feladat Matematikatörténeti utazásunk kiindulópontja a 2011/2012. tanévi matematika Országos Középiskolai Tanulmányi Verseny (OKTV) döntő fordulójának a II. kategóriában indulók, vagyis a nem speciális matematika tanterv szerint haladó gimnazisták számára kitűzött 3. feladata (lásd a [3] honlapot).
2.1. feladat (OKTV, 2011/2012). Legyen és esetén . Mutassuk meg, hogy | |
Akadhat, aki még nem találkozott a jellel (görög nagy szigma betű), amelyet összegek tömör leírására (a helyett) is használunk a következőképpen.
2.2. jelölés. Ha egy tetszőleges valós számsorozat, akkor | | (1) | amelyet úgy olvasunk, hogy ,,szumma -től -ig ''. Természetesen helyett bármilyen futóindexet használhatunk, mi a cikkben általában a betűt fogjuk. Az (1) összeget a továbbiakban az sorozat egy (méghozzá az -edik) részletösszegének fogjuk nevezni.
Mielőtt az Olvasó továbbhaladna, érdemes egy kis időt szánnia az OKTV feladat önálló megoldására, vagy legalábbis a megoldáson való töprengésre. A hivatalos és egyben talán legelegánsabb megoldást az alábbiakban ismertetjük. A megoldás ötlete, hogy egy olyan összeggel becsüljük felülről, más szóval majoráljuk -et, amelyet meg tudunk adni zárt alakban. Ehhez vegyük észre, hogy mivel a sorozat (szigorúan) monoton növő, azért esetén | | (2) | Ezt -től -ig összegezve kapjuk, hogy
A (3) egyenlőtlenség jobb oldala egy úgynevezett teleszkopikus összeg, amelyben (a zárójelek elhagyásával) minden tag, az első és az utolsó kivételével, pozitív és negatív előjellel egyaránt szerepel, ezért kiesik, vagyis az összeg teleszkópszerűen (vagy gondolhatunk a zsebrádió antennájára) ,,összecsuklik''. Következésképpen | | (4) | minden esetén, speciálisan esetén is, amit bizonyítani akartunk. A (4) becslést röviden úgy is fogalmazhatjuk, hogy a összegeknek a 2 egy felső korlátja.
2.3. definíció. Egy valós számsorozatot felülről korlátosnak nevezünk, ha van olyan valós szám, hogy minden esetén. Ekkor a sorozat egy felső korlátja. Hasonlóan, az sorozat alulról korlátos, ha minden esetén. Ekkor a sorozat egy alsó korlátja. Egy sorozatot korlátosnak mondunk, ha alulról és felülről is korlátos.
2.4. példa. Az sorozat egy felső korlátja az 1, az sorozat viszont felülről nem korlátos. Az sorozat alulról és felülről is korlátos.
Még egy pillanatra visszatérve az OKTV feladat megoldására, szinte tálcán kínálkozik az általánosítás lehetősége. Gondoljuk meg, hogy a sorozat helyett tetszőleges pozitív tagú sorozat részletösszegei vehetők, hiszen ekkor is alkalmazható a (2) becslés helyett -val. Valójában a következő tételt igazoltuk a fentiekben.
2.5. állítás. Legyen tetszőleges pozitív tagú valós számsorozat és részletösszeg-sorozata . Ekkor | | tehát a összegek sorozata felülről korlátos (mégpedig egy felső korlátja). 2.6. megjegyzés. A 2.5. tételben a sorozat pozitivitása helyett nyilván elegendő, hogy nemnegatív tagú és .
Mivel az (5) összegek sorozata felülről korlátos, és természetesen monoton növekedő is egyben, ezért a jól ismert tétel szerint (lásd az [1] könyv 1. kötetének 138. oldalát vagy a [2] könyv 40. oldalán a 15. feladatot) esetén szükségképpen van határértéke, tehát konvergens (a cikkben csak néhány helyen kerül elő a konvergencia fogalma, ezért azok is nyugodtan folytathatják az olvasást, akik még nem hallottak róla; egyébként az [1, 2] könyvek részletesen foglalkoznak a határérték-számítás témakörével).
2.7. definíció. Legyen tetszőleges valós számsorozat. Ha a határérték létezik és véges, tehát egy valós szám, akkor azt mondjuk, hogy a (végtelen) sor konvergens, és összege . A összegeket a sor részletösszegeinek szokás hívni (ezzel egyenértékűen mi az sorozat részletösszegei elnevezést is használjuk, ha ez nem okoz félreértést). Ha a (6) határérték valamelyik végtelennel egyenlő vagy nem létezik, akkor a sort divergensnek mondjuk.
2.8. megjegyzés. A 2.7. definíció előtt tett megállapításunk alapján, ha egy sor nemnegatív tagú, azaz minden -re, és részletösszegei felülről korlátosak, akkor a sor konvergens. Ez visszafelé is igaz, hiszen ha egy tetszőleges valós számsorozat, legyen az akár egy részletösszeg-sorozat, konvergens, akkor korlátos (lásd az [1] könyv 1. kötetének 125. oldalát).
2.9. példa. A sor konvergens és összege 0, hiszen a részletösszeg-sorozata az azonosan 0 sorozat, amelynek határértéke 0. Az sor divergens, mert -edik részletösszege , amely esetén végtelenhez tart. Az sor -edik részletösszege , -edik részletösszege pedig , így a részletösszegek sorozatának esetén nincs határértéke, tehát a sor divergens. Látszólag az sor összege 0, ,,mert minden tag kiesik'', azonban a részletösszeg-sorozata , amelynek nyilván nincs határértéke, tehát a sor nem konvergens. Ez azt mutatja, hogy egy végtelen összeget általában nem zárójelezhetünk akárhogyan, mert ezáltal az összeg, sőt a konvergencia vagy divergencia ténye is megváltozhat. Rögzített valós számra az úgynevezett geometriai sor -edik részletösszege a geometriai sorozat első tagjának összegképlete alapján Mivel esetén , így ekkor a geometriai sor konvergens, és | | (Gondoljuk meg, hogy az iménti képlet mit adna esetén, ha érvényes lenne, az sor összegére.)
A továbbiakban célunk a 2.5. állítás messzemenő általánosítása. Ezzel kapcsolatban természetes módon vetődik fel a következő kérdés.
2.10. probléma. Legyen tetszőleges pozitív tagú valós számsorozat és részletösszeg-sorozata (). Ekkor milyen valós szám esetén lesz felülről korlátos a összegek sorozata?
A cikk további részében a 2.10. problémát teljesen megválaszoljuk, majd az eredmények néhány alkalmazását mutatjuk be. Látni fogjuk, hogy a problémához kapcsolódó kérdésekkel számos matematikus foglalkozott az elmúlt évszázadok folyamán.
3. Általánosítás, Pringsheim tétele Kezdjük a 2.10. probléma talán legegyszerűbb esetével. Ha , akkor választással , ezért | | és így a 2.5. állításból következően | | vagyis a (7) összegek sorozata ismét felülről korlátos. Megmutatjuk, hogy a felülről korlátosság esetén is érvényben marad. Sőt, ennél többet igazolunk, nevezetesen, minden esetén a | | (8) | alakú összegek sorozata felülről korlátos. Ekkor választással a | | becslésből következik a (7) összegek sorozatának esetén való korlátossága. A (8) összeg becsléséhez legyen tetszőleges pozitív egész szám, amelyre , és tegyük fel, hogy . Ekkor azt állítjuk, hogy
| | (9) | Valóban, az és jelölések bevezetésével és választása folytán , így A jobb oldalt szorzattá alakítva, majd felhasználásával
ahonnan a (9) egyenlőtlenség azonnal adódik. Tetszőleges esetén tekintsük a () sorozatot, ekkor , speciálisan , így érvényes a (9) becslés alábbi megfelelője: | | Ebből egyszerű átalakítással nyerjük, hogy
| | (10) | Visszatérve kiindulási célunkhoz, a (10) becslést alkalmazva végeredményben azt kapjuk, hogy | | A fentiek alapján a 2.5. állítás következő általánosítását nyertük, amelyet Alfred Pringsheim (1850‐1941) német matematikus igazolt 1890-ben.
3.1. tétel (Pringsheim, 1890). Legyen tetszőleges pozitív tagú valós számsorozat és részletösszeg-sorozata . Ekkor tetszőleges szám esetén a | | összegek sorozatai felülről korlátosak. Sőt, tetszőleges pozitív egész számra fennáll a következő becslés: | | (11) |
3.2. megjegyzés. Alfred Pringsheim főként a valós és komplex analízis területén alkotott jelentőset, emellett művészettörténettel és zenével is foglalkozott.
Most rövid kitérőt teszünk, hogy egy kicsit több analízis segítségével a (9) egyenlőtlenségnél erősebbet igazoljunk, illetve a (7) összegekre közvetlenül, a (8) összegek nélkül is adjunk felső becslést. A következő rész eredményeit a későbbiekben nem használjuk, ezért első olvasásra kihagyhatók (a (15) összefüggésre azért érdemes rápillantani), és az Olvasó nyugodtan a 4. szakaszra ugorhat. Megmutatjuk, hogy (9) helyett esetén tetszőleges mellett | | vagy ekvivalens módon | | (12) | Mivel , ezért elegendő igazolnunk, hogy rögzített esetén az függvény (szigorúan) monoton növő (nyilván esetén is monoton növő), hiszen ekkor választással esetén , ami éppen a (12) egyenlőtlenség, és az is látható, hogy esetén .
1. ábra. konvexitása Vegyük észre, hogy nem más, mint az függvény grafikonjának a és az abszcisszájú pontjait összekötő húr meredeksége. Ez viszont növelésével szigorúan monoton nő, ugyanis szigorúan konvex függvény, ami éppen azt jelenti, hogy tetszőleges intervallumon a függvénygrafikon a végpontjait összekötő húr alatt fekszik (kivéve természetesen a végpontokat), lásd az 1. ábrát, illetve konvex függvényekről bővebben az [1] könyv 1. kötetének 294‐296. oldalait és a [2] könyv 208. oldalán a 33. feladatot. A konvexitás fogalmának segítségével az is megmutatható, hogy esetén | | (13) | Valóban, a () függvény bevezetésével a (13) egyenlőtlenség a
| | (14) |
alakot ölti. Ez az egyenlőtlenség viszont következik a függvény konvexitásából: grafikonja bármely érintője fölött fekszik (kivéve nyilván az érintési pontot), így a abszcisszájú pontba húzott érintő meredeksége (vagyis (14) jobb oldala) legalább akkora, mint a , abszcisszájú pontokat összekötő húr meredeksége (azaz (14) bal oldala), lásd a 2. ábrát.
2. ábra. konvexitása A (13) becslés segítségével a (7) összegekre végül a
felső becslést nyerhetjük, amely esetén egybevág a 3.1. tétel (11) becslésével, különben pedig annál egy kissé erősebb.
4. Még tovább: Dini tétele Hátravan még a (7) összeg vizsgálata a esetben. Mielőtt rátérnénk, vegyük észre, hogy | | Ez azt jelenti, hogy ha a részletösszeg-sorozat felülről korlátos, akkor a (7) összegek sorozata is felülről korlátos minden valós számra. Ezentúl feltehető tehát, hogy a részletösszeg-sorozat felülről nem korlátos. Megmutatjuk, hogy ekkor esetén a (7) összegek sorozata sem felülről korlátos. Ezt elég belátni az esetben, hiszen választással esetén , így | |
A nemkorlátosságot először egy speciális esetben igazoljuk, az általános eset bizonyítása pedig annak mintájára történik. Tekintsük tehát a speciális konstans sorozatot, és legyen . Ekkor , így A fenti összeg nemkorlátosságát már Nicole Oresme (1320 körül‐1382) francia filozófus és matematikus (aki később Lisieux város püspöke is volt) 1350 körül belátta. Bizonyításának ötlete, hogy választással növelésével tetszőlegesen nagy alsó becslést kaphatunk a következő módon:
Az előbbi becslést nevezhetjük kondenzációs eljárásnak, amelynek lényege az egymás utáni tagok kondenzációja, más szóval sűrítése, összenyomása. Érdemes meggondolni, hogyan módosul a bizonyítás hatványai helyett hatványaival. A (16) egyenlőtlenségből, valamint annak ellenkező irányú párjából konkrét becslés nyerhetünk az első pozitív természetes szám reciprokösszegére.
4.1. feladat. Igazoljuk, hogy | | (17) | ahol az egészrésze, vagyis a legnagyobb -nél nem nagyobb egész szám.
4.2. megjegyzés. Ha egy sor konvergens, vagyis összege egy valós szám, akkor | | tehát a sor konvergenciájának szükséges feltétele. A (16) példa mutatja, hogy e feltétel nem elegendő, hiszen , de a sor divergens, mert részletösszegei felülről nem korlátosak.
Az általános esetben a (7) összegek mellett való nemkorlátosságának igazolása a (16) egyenlőtlenséghez hasonló alsó becsléssel (minorálással) történik. Először is rögzítsünk egy tetszőleges indexet. Ekkor
Mivel a sorozat felülről nem korlátos, ezért (a rögzített -hoz) található olyan index, hogy , így a (18) egyenlőtlenségben választással Az előbbi gondolatmenetet helyett az indexszel végrehajtva hasonlóan nyerünk egy indexet úgy, hogy a (19) egyenlőtlenség mintájára Az eljárást folytatva végül egy olyan indexsorozatot kapunk, amelyre | | Következésképpen a sorozat felülről nem korlátos. Vegyük észre, hogy a speciális esetben Oresme bizonyításában (vagyis a (16) becslésben) éppen . A kapott eredményt Pringsheim tételével és a (15) becsléssel, illetve a szakasz elején írottakkal összevetve Ulisse Dini (1845‐1918) olasz matematikus egy 1867-es eredményét nyerjük, amellyel a 2.10. problémát teljesen megválaszoltuk.
4.3. tétel (Dini, 1867) Legyen tetszőleges pozitív tagú valós számsorozat, amelynek részletösszeg-sorozata felülről nem korlátos. Ekkor a | | (21) | összegek sorozata esetén felülről nem korlátos, esetén felülről korlátos, méghozzá Más szóval a sor esetén konvergens, esetén pedig divergens. Amennyiben a részletösszeg-sorozat felülről korlátos, akkor a összegek sorozata is felülről korlátos minden valós szám esetén.
4.4. megjegyzés. Dini főként a valós egyváltozós függvények területén kutatott, az általánosítás és az ellenpéldák mestere volt. A 4.3. tételt az általunk közölt bizonyításoktól eltérő módon igazolta, és jelentősen általánosította.
[1] | Pintér Lajos, Analízis 1‐2. (a gimnázium speciális matematika osztályai számára), Tankönyvkiadó (Budapest, 1987). (Újabb kiadás: TypoTeX, 2006.) |
[2] | Urbán János, Határérték-számítás, Műszaki Könyvkiadó (Budapest, 1975). (Újabb kiadás: 2006.) |
Internetes oldal:
[3] | Oktatási Hivatal: http://www.oh.gov.hu. |
|