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. Tudnivalók. A sorozat első három része az 53. kötet 2. szám 49-52. oldalán, 54. kötet 1. szám 1-3. oldalán, 54. kötet 5. szám 193-197. oldalán található. A feladatok megoldására pontversenyt nem írunk ki, de a legjobb megoldók között könyvutalványokat sorsolunk ki. A megoldásokat kérjük a lap megjelenését követő hónap 20-ig a szerkesztőség címére (1443 Budapest, Postafiók 129) beküldeni. A borítékra írják rá megoldóink: Pell-féle egyenletek. A megoldásokat nem szükséges külön lapra írni, de mindig írják ki, hogy melyik feladat megoldása következik. Bár a feladatok egymásra épülnek, nem szükséges mindegyiket megoldani. Egyes feladatokat úgy is megoldhatunk, hogy elfogadjuk az előző feladatok állításának helyességét. Az új feladatok kitűzésénél figyelembe vesszük a beküldött megoldások tapasztalatait is; éppen ezért kérjük megoldóinkat, hogy a feladatokkal kapcsolatban minden véleményt, felmerült kérdést írjanak meg. A III. rész feladataira helyes megoldást küldtek be: Balázs Iván József, Bodó Zalán, Hajnal Péter, Spissich László, Szabó Sándor.
A III. részben kitűzött feladatok megoldása Mindenekelőtt megjegyezzük, hogy a 11. feladatban hibásan szerepelt az, hogy természetes szám (bár így is igaz az állítás), -ról csak annyit köthetünk most ki, hogy egész szám. (Ez a hiba, sajnos a megoldókat megzavarta.) A hiba módosítja a 12. feladatot úgy, hogy itt helyett -et kell szerepeltetni. Ugyancsak elírás volt a 14. feladatban is, ahol nem a 12., hanem a 13. feladatra kell hivatkozni, valamint helyett -nak kell állnia. (Ez a hiba nem zavart, a feladat szövegéből azonnal világos volt, hogy mit kell bizonyítani.) A továbbiakban a helyes szöveget írjuk. 10. feladat. Legyen olyan egész szám, amelyre irracionális. Bizonyítsuk be, hogy ha (ahol egész és természetes szám), akkor | |
Megoldás. Az abszolút értékre vonatkozó egyenlőtlenségből | | következik. Feltétel szerint a jobb oldal első tagja kisebb, mint , ami éppen az első egyenlőtlenséget bizonyítja. Mivel pozitív számokra vonatkozó egyenlőtlenségek megfelelő oldalainak az összeszorzásával is helyes egyenlőtlenséget nyerünk, ezért a | | egyenlőtlenségekből nyilvánvalóan következik. Ez bizonyítja a második egyenlőtlenséget is, mert természetes szám és így . 11. feladat. Legyen olyan egész szám, amelyre irracionális. Bizonyítsuk be, hogy ekkor van olyan (csak a -től függő) egész szám, amelyhez végtelen sok olyan egész és természetes szám létezik, hogy eleme a halmaznak és .
Megoldás. Mivel irracionális, ezért az 5. feladat alapján végtelen sok olyan egész természetes számpár létezik, amelyre A 10. feladatból tehát az következik, hogy e , számpárokra Mivel egész, ezért a szóban forgó számokra a csak a és közötti egész értékeket veheti fel. Ezek száma legfeljebb , mindenesetre véges. Léteznie kell tehát a skatulyaelv alapján egy olyan egész számnak, amely és közé esik, úgy hogy a felsorolt számok közül végtelen sokra teljesül a 12. feladat. Bizonyítsuk be, hogy a 11. feladatban szereplő számok között végtelen sok olyan van, amelyeknél -kel osztva ugyanazt az maradékot adja; továbbá ezek között végtelen sok olyan van, amelyekre a -ket -kel osztva mindig ugyanazt az maradékot kapjuk. Megoldás. Mindkét állítás bizonyításakor ugyancsak a skatulyaelvet használjuk fel. Tegyük fel, hogy a 11. feladatban meghatározott számok között minden egész számhoz csak véges sok pl. darab olyan volna, amelyre -t -kel osztva maradékot adna. Ez azt jelentené, hogy a 11. feladatban meghatározott számok száma legfeljebb volna, ami ellentmond a 11. feladatban kapott eredménynek. Így valóban végtelen sok olyan alakú szám van, amelyre és -kel osztva maradékul ugyanazt az számot adja. Ha mármost ezeket osztályozzuk aszerint, hogy a mit ad maradékul -kel osztva, akkor azt kapjuk, hogy legalább egy osztályba végtelen sok számnak kell kerülnie, mert az osztályok száma véges. Ezzel bizonyítottuk az állítást. 13. faladat. Legyen olyan természetes szám, amelyre irracionális. Bizonyítsuk be, hogy ekkor léteznek olyan -beli és számok, hogy alkalmas egész számmal továbbá létezik olyan ugyancsak -beli szám, amelyre . Megoldás. A 12. feladat szerint létező végtelen sok szám közül vegyünk ki kettőt. Legyenek ezek: Feltétel szerint mindegyik -ben van, és mindegyikükre teljesül . Ugyancsak az előző feladat állítása következtében és felírható és alakban alkalmas és egész számokkal, hiszen is és is osztható -kel. Így a számra teljesül, és eleme a -nek. 14. feladat. Bizonyítsuk be, hogy a 13. feladatban szereplő számokra ; továbbá a -beli számra . Mit jelent ez? Megoldás. A 13. feladatban szereplő és számokra 7. és 9. feladat alapján | | következik. Ha a helyébe a 13. feladatban adódott kifejezést írjuk, akkor a | | összefüggéshez jutunk. Mivel , ezért a 9. feladat eredményét felhasználva | | adódik. Ezért , mert . Ez az eredmény azt jelenti, hogy a számra vagyis bebizonyítottuk, hogy a Pell egyenletnek létezik megoldása. Ez a megoldás nem triviális, mert ekkor lenne, amiből alapján | | következne. Az nem lehet, mert és különbözőek. Az esetben vissza kell térni a 12. feladathoz. Ott azt láttuk, hogy a feltételnek végtelen sok szám felel meg. Ha tehát egyiknek az -t választottuk, akkor a -t úgy választjuk ki a végtelen sok szóba jövő szám közül, hogy . Ekkor tehát a konstruált mellett valóban nem triviális megoldást kapunk.
A Pell-féle egyenlet végtelen sok megoldásának a meghatározása Bebizonyítottuk már, hogy a alakú Pell-féle egyenletnek rögzített természetes számra létezik megoldása, ha nem négyzetszám. (Emlékeztetünk arra, hogy megoldáson csak egész számokból álló számpárt értünk!) Ha és mellett | | akkor alapján ismét megoldást kapunk. Ez a megoldás ,,általában'' különbözik -tól is és -tól is. Persze ismeretében | | ismét megoldást állítanak elő, és nem lehetünk eleve biztosak abban, hogy különbözik a fenti módon kapott számoktól is. Valószínűnek látszik ez például az esetben; sőt ,,érezhető'', hogy az végtelen sorozat végtelen sok megoldást ad; kivéve, ha vagy . Célunk azonban az összes megoldás meghatározása, és ezért nem elégedhetünk meg egy ,,tetszőleges'' hatványaival. Segítségül azt fogjuk felhasználni, hogy a Pell-egyenlet megoldásai a számegyenesen ,,elég jól elhelyezhetők''. Egyelőre csak azt tűzzük ki célul, hogy bizonyos módon végtelen sok megoldást kapjunk; azt, hogy ez egyben az összes megoldás, csak a következő folytatásban bizonyítjuk be.
IV. sorozat (végtelen sok gyök megadása) Feladatok 15. Legyen , , és . Jelölje az számok közül a legnagyobbat. Bizonyítsuk be, hogy 16. Legyen olyan, amelyre . Bizonyítsuk be, hogy pontosan akkor teljesül, ha és mindegyike pozitív. 17. Bizonyítsuk be, hogy azok között a -beli számok között, amelyekre , és , van egy legkisebb. 18. Bizonyítsuk be, hogy a 17. feladatban szereplő számra bármilyen egész szám esetén eleme -nek és . 19. Bizonyítsuk be, hogy a 18. feladatban definiált | | | | számok valamennyien különböznek egymástól. |