Feladatok a Pell-egyenletek

Átírás

1 EÖTVÖS LORÁND TUDOMÁNYEGYETEM Feladatok a Pell-egyenletek témaköréből írta Majoros-Geréby Ádám Szakdolgozat Matematika BSc tanári szakirányon Konzulens: Fried Katalin Matematikatanítási és Módszertani Központ 05. június.

2 0.. Bevezetés A matematikában gyakran előfordul, hogy a kérdés könnyen megfogalmazható, de nehezen megválaszolható. Tapasztalatom szerint, ha az ember ilyenkor elindul a választ megkeresni, sok olyan helyre juthat el, ahova nem is sejtette, hogy képes. Előfordulhat az is, hogy dolgok, melyekről azt hitte, hogy régen ismer, teljesen új megvilágításba kerülnek. Nekem a diofantikus egyenletek ezt a felfedező utazást jelentik. Először a háromszögszám-négyzetszám probléma kapcsán találkoztam a Pellegyenletekkel. Megtetszett a feladat szövegének egyszerűsége. Ahogy elkezdtem a megoldásokat megkeresni, újabb és újabb feladatokhoz jutottam el, érdekes kapcsolatokat fedezhettem fel. A szakdolgozatomat is e logika mentén állítottam össze, azzal a minimális különbséggel, hogy előbb kerül sor az x y = ± egyenlet megoldására, utána következik a feladatok ismertetése. Azért emeltem előre, mert véleményem szerint a feladatok közötti kapcsolat megértését elősegíti az egyenlet összes megoldásának ismerete. A feladatok során először a lánctörtekkel és Newton-módszerrel történő közelítésének kapcsolatát vizsgáltam. Ezután megoldottam a háromszögszám-négyzetszám problémát, majd foglalkoztam Arkhimédész a Napisten marhái feladatával. A harmadik fejezetben a háromszögszám-négyeztszám probléma megoldásainak 5 tulajdonságát vizsgáltam. Mindehhez szeretném megköszönni a témavezetőm, Fried Katalin segítségét, aki mindig sietett válaszolni, végig támogatott és önálló munkára inspirált. Köszönöm barátaim tengernyi türelmét és megértését, szüleim gondoskodását és két nővérem, Sziszi és Móni, kontinenseken, óceánokon, időzónákon átívelő támogatását!

3 Tartalomjegyzék 0.. Bevezetés A Pell-egyenlet 3.. A diofantikus egyenletekről röviden A Pell-egyenletek Az x y = ± egyenlet megoldása Feladatok 7.. A közelítése Feladat: Határozzuk meg a lánctört alakját! Feladat: közelítése a Newton-módszerrel A két megoldás összevetése A háromszögszám-négyzetszám probléma Feladat: Melyek azok az M Z számok, amelyekre H n = M = N k? A Napisten marhái A H M,n és N M,k sorozatok kapcsolata Észrevételek

4 . fejezet A Pell-egyenlet.. A diofantikus egyenletekről röviden Diofantikus egyenleteknek nevezzük azokat az egész vagy racionális együtthatós algebrai egyenleteket, melyeknek a megoldásait is az egészek körében keressük. [4] Nevüket Diophantoszról, a 3. században élt görög matematikusról kapták, aki Aritmetika című könyvében foglalkozott részletesen vizsgálatukkal. Néhány példa diofantikus egyenletekre[3]: a, b, c, n, x, y, z Z ax+by = c, lineáris diofantikus egyenlet. Megoldása csak akkor létezik, ha a, b c. x + y = z, megoldásai a Pitagoraszi számhármasok. x n + y n = z n, ahol n > egyenlet, melynek megoldhatatlanságával a Fermat-sejtés, illetve a későbbi Wiles-tétel foglalkozik. 4 n = x + y + z, az Erdős-Straus-sejtés. x n y = ±c, a Pell-egyenlet, ahol n nem négyzetszám. Egy ilyen egyenlet vizsgálatakor a legfontosabb felmerülő kérdések, hogy az egyenlet megoldható-e, ha igen hány megoldása van, létezik-e alapmegoldás, melyből generálható a többi. Érdekesség, hogy a difonatikus egyenletek a populáris kultúrában is megjelennek, a Simpson család főszereplője az évek során például esetben is,,ellenpéldát ad a Wiles-tételre: = 9, valamint Epizód: Treehouse Terror 6 Epizód: The Wizard of Evergreen Terrace, 0. évad,. rész 3

5 . Fejezet A Pell-egyenlet = 447, természetesen mindkettő csak a zsebszámológépek hibahatárán belül igaz... A Pell-egyenletek Pell egyenletnek nevezünk minden x n y = ±c alakú diofantikus egyenletet, ahol n nem négyzetszám. Nevüket John Pell angol matematikusról kapták, aki az x n y = speciális eset tulajdonságainak leírásáról publikált számos cikket. Fontos megemlíteni Lord W. Brouncker,. Viscount Brouncker nevét is, aki az egyesült királyságbeli Royal Society első elnöke és Pell közeli munkatársa volt, önállóan is több tanulmánnyal a lánctörtekről és a Pell-egyenletekről.... Az x y = ± egyenlet megoldása Vizsgáljuk az x y = ± egyenlet megoldásait a pozitív egész számok körében! Rövid fejszámolás után látható, hogy az x, y =, 0 és az, eleget tesz a feltételnek, hiszen 0 = és =. A további megoldáspárok keresése érdekében végezzünk algebrai átalakítást az egyenleten! x y = x + y x y = ±. Kihasználva, hogy ± k = ± kapjuk: x + y k x y k = ±. Behelyettesítve x, y =, 0-t a k = 0, valamint x, y =, -t a k = esetben: 0 0 = míg k = esetén: + = + = =.3 Az újabb számpárt ellenőrizve láthatjuk, hogy újabb megoldást kaptunk: 9 8 =. Ezzel az eljárással újabb és újabb megoldások kaphatóak meg. Kérdés, hogy minden megoldást megkapunk-e ezzel a módszerrel. 4

6 . Fejezet A Pell-egyenlet 5... Tétel. A Pell-egyenlet megoldásai k N esetén az + k = xk + y k.4 felírásból kapható x k, y k N számpárokra teljesül, hogy:. megoldásai az x y = ± egyenletnek. x y = ± összes megoldása felírható ebben az alakban 3. Ha k >, akkor y k > 0; továbbá x k y k = k Bizonyítás. k = 0 esetén az x = 0, y 0 = 0, úgynevezett triviális megoldáspárt kapjuk. k = esetén pedig az x =, y = megoldáspárhoz jutunk, mely valóban eleget tesz az egyenletnek. Mindkét pár.4 alakban felírható. Tegyük fel, hogy u 0, v 0, ahol v 0 > megoldása.-nek. A végtelen leszállás módszerével azt fogjuk belátni, hogy ekkor u 0, v 0 N -re u 0 + v 0 = + u + v.5 teljesül úgy, hogy u = v 0 u 0, valamint v = u 0 v 0. Ekkor u v = 4v 0 4v 0 u 0 + u 0 u 0 + 4u 0 v 0 v 0 = u 0 v 0, tehát u, v is megoldása.-nek. Továbbá miután v 0 >, ezért: v 0 > 3 u 0 = v 0 ± > u 0 > v 0, amiből pedig v = u 0 v 0 > 0 következik. Ez felhasználható u becslésére: u v = 3v 0 > v 0 > 0 Látható, hogy u > v > 0, mert u = v 0 u 0, és miután v 0 < u 0, ezért u < u 0. Ha most u > 3, akkor szükségszerűen v > és a végtelen leszállást követve újra elvégezhetjük a.5-ben szereplő átalakítást. Ebből most azt kapjuk, hogy u = v u, valamint v = u v. Az előző gondolatmenethez hasonlóan, most az u > 3-ból levezethető, hogy v >, tehát az is teljesül, hogy u > u > v > 0. Ezzel az u k sorozatról megállapítható, hogy szigorúan monton csökkeni fog, de mindig pozitív marad. Lesz tehát egy legkisebb értéke, mely után nem 5

7 . Fejezet A Pell-egyenlet 6 tudjuk ezt az eljárást tovább folytatni. Ha u k > akkor a.5 átalakítás mindig elvégezhető, de a becslések nem lesznek igazak, ha v k =. Ellenben, ha v k =, akkor u k =, amivel látható, hogy újfent megoldást kaptunk. Ha az u k sorozat eléri 3-at, abból következik, hogy v k+ =, tehát a fentebb leírt becslések újfent nem alkalmazhatóak. Vegyük viszont észre, hogy ha u k = 3, akkor v k =, ami megoldás, és v k+ értékének meghatározásához a 3 + = + + átalakítást végeztük el, mely megfelel a tétel állításainak. Az állítások közül -et, -t és a 3. első felét már beláttuk, már csak az szorul tisztázásra, hogy x k y k = k. Mivel az u v = u 0 v0 egyenlőség k > esetén is igaz marad, így ezzel a tétel minden állítását beláttuk.... Megjegyzés. A bizonyítás során nem tértünk ki külön rá, de látható, hogy + k páros hatványai a +, a páratlan hatványai eredményre adnak megoldást...3. Megjegyzés. + k = uk + v k összefüggés egy rekurziót is meghatároz a megoldáspárokra: u k+ = u k + v k.6 v k+ = u k + v k.7 Ez ellenőrizhető, ha elvégezzük a szorzást: u k + v k + = u k + v k + u k + v k. A tétel állításának bizonyításából következik, hogy ezzekkel az összefüggésekkel az összes megoldás megkapható. 6

8 . fejezet Feladatok.. A közelítése... Definíció. Lánctört Egy b 0 + alakú törtet lánctörtnek nevezünk. Az egyszerűbb írásmód érdekében ezt a [b 0 ; b, b, b 3,...] felírással b + b + b jelöljük. Látható, hogy a definíció nem korlátozza, hogy ez az eljárás véges vagy végtelen. Természetesen, ha α Q, akkor egy véges, ha β / Q akkor végtelen lánctört alakban való felírást kapunk, hisz különben létezne olyan p q Q, hogy β = p q, ami ellentmondás. Ha egy β = [b 0 ; b, b, b 3,...] végtelen lánctörtből csak az első néhány tag felhasználásával készítünk racionális számot, akkor azt a β szám lánctörtalakjának kezdőszeletének nevezzük. Vizsgáljuk meg, hogyan kapható meg egy racionális szám lánctört alakja!... Példa. Határozzuk meg a 7 0 lánctört alakját! Ahhoz, hogy a számláló maradhasson a lánctörtben, alkalmazzuk az alábbi ötletet: osszuk el a 7-et 0-zel maradékosan, és adjuk hozzá a maradék reciprokának a reciprokát! 7 0 =

9 . Fejezet Feladatok 8 Használjuk ugyanezt a gondolatmenetet a továbbiakban is, ezzel meg is találva a keresett alakot: Azaz 7 6 = [;,, 3]. 7 0 = = = Feladat: Határozzuk meg a lánctört alakját! Itt nem alkalmazhatjuk a maradékos osztást, de kihasználhatjuk, hogy < <! = + = + = + + = = + = A rekurziót felismerve kapjuk, hogy = [;,,,,...]. Ez egy elég jó közelítést ad nekünk -re, vizsgáljuk meg az első néhány kezdőszeletet: [; ] = + = 3 =,5 [;, ] = + = 7 5 =,4 [;,, ] = = 7 =, [;,,, ] = 4 9 =, [;,,,, ] = =, [;,,,,, ] = =, [;,,,,,, ] = =, Megjegyzés. Ha a k-adik lánctörtjét u k v k -val jelöljük, akkor a számláló és a nevező is egy rekurzív sorozatot alkot, melyekre teljesül, hogy: u k+ = v k + u k. 8

10 . Fejezet Feladatok 9 Ugyanis: v k+ = v k + u k.3 u k+ = + v k+ + u k v k = + u k + v k + u k v k vk v k = v k + u k v k + u k A törtek ezen előállítása megegyezik az x y = ± gyökeiből képzett hányadosok..3-ban látható előállítási módjával!... Feladat: közelítése a Newton-módszerrel A Newton-féle közelítő módszer részletes tárgyalása a dolgozatnak nem célja, de mint eszközt most felhasználjuk közelítéséhez. Ugyanis az fx = x polinom gyökei a ± számok. A módszer szemléletesen azon alapszik, hogy a gyököt közelítő x k sorozat k + -dik tagja az a pont, ahol az x k, fx k -ba húzott érintő az x tengelyt metszi, azaz x k+ = x k fx k f x k. Miután most fx = x, ezért x k+ = x k x k = x k + = x k x k x k +.4 x k A közelítéséhez már csak egy megfelelő x 0 értékre van szükségünk, aminek jelen esetben teljesen megfelel. Így kapjuk azt, hogy: x = x 0 + x 0 = + = 3 =,5 x = x + x = = 7 =, x 3 = x + x = = =, x 4 = x 3 + x 3 = = =, A két megoldás összevetése Ha megnézzük az előző két feladat megoldása során kapott -t közelítő törteket, érdekes hasonlóságot vehetünk észre. A 3, a és az 408 mindkét esetben szerepel. Sőt, ha a lánctört alakban hozzávesszük a közelítésekhez [] = -et is, akkor látható, hogy a lánctörtek.,., 4., és 8. tagjai adják a Newton-módszer közelítő törtjeit! Ahhoz, hogy e kapcsolatot jobban feltárhassuk, foglalkozzunk először a lánctörtekkel és a Pell-egyenletekkel. Lord Brouncker gondolatmenetének egy magyarnyelvű feldolgozása [9]-ben megtalálható, ezt követjük most mi is. 9

11 . Fejezet Feladatok Tétel. A lánctörtek és a Pell-egyenletek Ha x k, y k az x ny = megoldásai, akkor az x k y k tört a n-t közelítő [b 0 ; b, b, b 3,..., b i, ] = kezdőszelet valamilyen i-re. p i q i Bizonyítás. Első lépésként becsüljük meg n x k y k értékét! Tudjuk, hogy x k ny k =. Ez átírható az x k y k n xk + y k n = alakba, ahonnan kapjuk, hogy x k > y k n, különben a szorzat negatív számot adna. Most ha leosztunk y k x k + y k n- nel, akkor az x k y k n = y kx k +y k n egyenlőséghez jutunk, amelyben felhasználva a fentebbi becslést x k értékére, azt kapjuk, hogy: 0 < x k n n = < = y k y k x k + y k n y k y k n + yk n yk Megvan egy felső korlátunk n x k y k értékére, a továbbhaladáshoz használjuk Lord Brouncker ötletét! Indirekt tegyük fel, hogy x k y k p i q i semmilyen i-re. Könnyen látható, hogy a q j sorozat szigorúan monoton növekszik, ezért pontosan egy oylan m index létezik, melyre q m y k < q m+. Célunk, hogy ezzel a feltétellel jussunk ellentmondásra. Látható, hogy q m n pm y k n xk. y k pozitív, úgyhogy kiemelhetjük az abszolút értékből, így a bizonyítás elején szereplő becslésből következik: qm n pm < y k x k n <. y k Miután q m is pozitív, ezért ha most osztunk vele, akkor a feltétel az alábbi formát veszi fel: p m n <. q m y k y k q m Az indirekt feltevés szerint x k y k pm q m, amiből következik, hogy x kq m y k p m y k q m > 0, tehát x k q m y k p m. Ezt és a háromszög-egyenlőtlenséget kihasználva: p m y k q m x k q m p m n q m + x k n < +. y k q m 0 y k y k y k

12 . Fejezet Feladatok Az egyenlőtlenség bal és jobb oldala az q m < q m + yk alakra egyszerűsíthető, amiből némi algebrai átrendezés után adódik, hogy q k < q m, ami ellentmond az indirekt feltevésünknek, így kapjuk, hogy x k y k = megfelelő i-re. p i q i Most, hogy a lánctört és a Pell-egyenlet kapcsolatát beláttuk, térjünk vissza a Newton-módszernél észrevett hasonlósághoz! Lord Brouncker bizonyításának gondolata kihasználta, hogy az x y = ±-ből csak a pozitív esetet vizsgálta. Ez sejteti, hogy miért csak az.,., 4., 8.,... esetben egyeztek a közelítő lánctörtek. Az..-ben beláttuk, hogy az x y = egyenlet megoldásai generálhatóak + páros hatványaiként. Képezzünk xp, y P párokat az alábbi módon: + k = + k = u k + v k = xp + y P ebből az összefüggésből azt kapjuk, hogy: x P + = x P + y P.5 y P + = x P y P.6 x 0 = 3, y 0 = kezdőértékekkel. Ennek a két sorozatnak az azonos idexű elemeinek a hányadosai már a Newton-módszereből származóakkal megegyező törteket szolgáltatnak. Ugyanis, ha bővítjük a hányadost: x P + y P + = x P + y P x P y P y P y P = xp yp + xp yp Most alkalmazzuk az x N = x P yp helyettesítést! ahol N Newtonra utal x P + =: x N+ = x N +.7 y P + x N Amiből rögtön látszik, hogy az x 0 =, tehát a módszer szerinti megfelelő kezdőérték választásával ugyanahhoz a közelítéshez jutunk. Vegyük észre, hogy az x P, y P számok választásánál az a sejtésünk is igazolódott, hogy az x y = ± egyenlet megoldásaiból csak minden k tagra van szükség a Newton-módszer alkalmazása során.

13 . Fejezet Feladatok.. A háromszögszám-négyzetszám probléma... Definíció. Háromszögszámoknak az H n = nn+ sorozat tagjait nevezzük, n = 0,,, Definíció. Négyzetszámnak a N k = k sorozat tagjait nevezzük, k = 0,,,... Mindkét elnevezés abból ered, hogy a síkon ennyi darab pont a megfelelő szabályos sokszögbe rendezhető.... Feladat: Melyek azok az M Z számok, amelyekre H n = M = N k? A megfelelő M számok megtalálásához írjuk fel: k = n n +.8 Most mindkét oldalt 8-cal szorozva és némi algebrai átalakítás után kapjuk, hogy: 8 k = 4 n n + = 4n + 4n = n + Célszerű az x := n + és y := k helyettesítést alkalmazni, ugyanis ezzel és némi átrendezéssel az x y =.9 diofantikus egyenlethez jutunk. Ennek részletes tárgyalása és megoldása az.. részben található. A nevzett fejezetben egy általánosabb, az x y = ± egyenlet oldottuk meg, itt viszont azon u, v megoldáspárokra lesz szükségünk, melyekre u v =. Az.. Tétel szerint ehhez + páros hatványait kell vizsgálnunk. Az első számpár ebből u 0, v 0 =, 0, a második pedig u, v = 3,. Ez a két számpár a feladat szempontjából a két úgynevezett triviális megoldást állítja elő. Ugyanis visszahelyettesítve őket u = n+ és v = k egyenletekbe, a 0 és oldalhosszúságú háromszögeket és négyzeteket kapjuk. A további megoldáspárok hatványozással való előállítása az..3 Megjegyzéshez hasonlóan egy rekurzív kiszámolási módszert ad az újabb megoldások előállításához. Miután u k + v k + = u k + v k 3 + = = 3u k + 4v k + u k + 3v k

14 . Fejezet Feladatok 3 ezért: u k+ = 3u k + 4v k.0 v k+ = u k + 3v k. Ebből pedig H n -re és N k -ra is egy rekurziót kapunk, ha a.9 előtti helyettesítéseket visszafejtjük...3. Megjegyzés. Azon H n és N k számok, melyek egyaránt háromszögés négyzetszámok is, rekurzívan előállíthatóak x y = u k, v k megoldáspárjaiból az alábbi módon: N k = u k + 3v k H n = 3u k + 4v k..3 M k értékére is meghatározható képlet, mely az u k, v k megoldásokból generálja a sorozatot. Ennek leírásához célszerű a.9 összefüggést egy kissé átrendezve felhasználni. x y = y = x + x..4. Megjegyzés. A háromszögszám-négyzetszámok M k sorozata előállítható x y = u k, v k megoldásaiból: M k = v k 4 = u k + u k 8.4 Az u k, v k =, 0 értékekből kiindulva és a.0.4 összefüggéseket felhasználva tehát kapjuk a háromszögszám-négyzetszám probléma első néhány megoldását: k u k v k H k N k M k

15 . Fejezet Feladatok 4.3. A Napisten marhái A következő problémát Arkhimédész egy Eratoszthenésznek írt levelében találták. A feladat szövegének elkészítéséhez az eredeti szöveg angol nyelvű fordításaiból [6] válogattam. Ó, idegen, mondd meg Nékem, hányan voltak Napisten marhái Thrínakié szigetén, a csodás Szicíliában! Négy szín szerint négy gulyába rendeződve, az egyik tejfehér, a másik fényes fekete, a harmadik sárga az utolsó pedig tarka. Mindegyik gulya bővelkedett bikákban, számuk e törvény szerint rendeződött: a fehér bikák annyian voltak, mint a fekete bikák fele meg egyharamada összeterelve a sárga bikákkal. A fekete bikák száma épp megegyezik a tarkák negyedének és ötödének számával, ha őket is a sárgákhoz tereljük. Továbbá ha a sárga bikákhoz most a fehérek hatodát és hetedét tereled, pont annyit bikát kapsz, ahányan a tarka bikák vannak. A tehenek aránya az alábbi volt: A fehér tehenek száma pontosan harmada és negyede a teljes fekete gulyának, míg a fekete tehenek száma egyezett a tarka marhák negyedével és ötödével, mikor a tehenek és bikák együtt mehettek legelni. Figyelj, a tarka tehenek számukban megegyeznek az ötödével és hatodával a sárga gulyának. Végül, a sárga tehenekről mondható, hogy annyian legelésznek mint a fehér gulya hatoda és hetede. [...] Ha mindezt jól megjegyezted, ügyelj még e két megkötésre: mikor Héliosz letekintett marháira, látta, hogy ha összeereszti fekete és fehér bikáit, azok olyan alakzatba rendeződnek melynek hossza épp annyi mint szélessége. És mikor sárga és tarka bikáit ereszti össze, azok olyan formában állnak, hogy áll elől egy, mögötte kettő, és a sok sor végül egy nagy hárömszöget formáz Thrínakié lejtőin. És ha így legeltek a bikák egy se hiányzott és egy se maradt ki! Ezeket eszedben tartva, idegen, mondd meg, hány bikája és tehene volt a négy gulyában, egyenként, Napistennek? A feladatot két részletben célszerű megoldani. Először tekintsünk el attól, hogy milyen alakzatot formálnak a bikák összeterelve. Ha most az ismeretleneket rendre a világos, fekete, sárga, tarka, tehén, bika szavak kezdőbetűivel jelöljük, akkor a feladat első részéből az alábbi egyenleteket kapjuk: V b = F b + S b F b = T b = V t = T b + S b.6 V b + S b.7 F t + F b.8

16 . Fejezet Feladatok 5 F t = T t = S t = T t + T b.9 S t + S b.0 V t + V b. Észrevehető, hogy a sárgától különböző bikák száma könnyen meghatározható, például V b = V b + S b + S b + S b = 3 V b S b. F b és T b hasonlóan megkapható S b többszöröseként, így jutunk el oda, hogy: V b = S b, F b = S b és T b = S b. Miután a marhák számának egésznek kell lennie lásd Odüsszeia..., így S b - nek oszthatónak kell lennie 97-tel, 99-cel és 89-gyel. Miután 99 = 3, 97 = 3 3 valamint 89 = 3 4, ezért a legkisebb közös többszörösük 89. Tehát S b = 89 n, amiből V b = 6 n, F b = 60 n és T b = 580 n, ahol n Z. Ezeket az eredményeket felhasználva, elkezdhetjük meghatározni a gulyákban lévő tehenek számát. Például: V t = V t + 6n + 89n + 580n + 60n. Ebből, és hasonló behelyettesítésekből, a tehenekre az alábbi összefüggéseket kapjuk: V t = n, S t = n, T t = n és F t = n. Miután továbbra is igaz a feltétel, hogy a marhák darabszáma egész szám kell hogy legyen, valamint a 4657 egy prímszám, ezért kapjuk az összefüggést, hogy n = 4657 k, ahol k Z. Ezzel eljutottunk az első feladatrész állításaiból következő megoldásokhoz, mégpedig: V b = k 5

17 . Fejezet Feladatok 6 V t = k F b = k F t = k S b = k S t = 54393k T b = k T t = 35580k Ami összesen pedig k, k Z darab marhát jelent Thrínakié lejtőin. A feladat második részének megoldását csak nagy lépésekben, a fontos gondolati elemeket kiemelve tárgyaljuk, ugyanis a precíz, minden részletre kiterjedő megoldás túl hosszú a dolgozat kereteihez mérten. Egy teljes megoldás található az [] cikkben. Vizsgáljuk meg hát a marhák elhelyezkedésének alakzatára vonatkozó feltételeket! Az elsőből: F b + V b = l. m m + S b + T b =.3 ahol l,m Z. Miután mindkét esetben a bal oldal k többszöröse, ezért érdemes k-t kifejezni az egyenletekből. Vizsgáljuk először.-et. l = k = k A számok könnyebb kezelése céljából alkalmazzuk az a = helyettesítést, amivel l = ak-t kapjuk, ahonnan: k = l a = l a a Legyen Y = l a, így ugyanis k = Y a. Térjünk át.3-ra. m m + = k = k Hasonlóan az előzőhöz, itt most b = jelölést vezetjük be. Így kapjuk, hogy m m+ = b k. Szorozzunk kettővel és alakítsuk a bal oldalt teljes négyzetté: m + = 8bk + = 8abY + Alkalmazva az X = m+ helyettesítést eljutunk az alábbi Pell-egyenlethez: X Y =.4 6

18 . Fejezet Feladatok 7 A ma ismert nuemrikus módszerek, valamint a könnyen elérhető nagy számoló képességgel rendelkező számítógépek segítségével könnyen található néhány megoldás. A megoldás hossza és bonyolultsága többek között Calkinsban [] is felvetette a kérdést, hogy Arkhimédész valóban ismerte-e a pontos választ és a megoldáshoz vezető utat a Napisten marhái problémára. Érdemes még megjegyezni, hogy 93-ben a The New York Times-ban megjelent, hogy a problémát megoldották, de a pontos értéket csak közelíteni tudták. Az akkori szerkesztő, Norman Merriman, szerint a megoldás akkora, hogy ezer embernek, ezer évig kellene számolnia. A legkisebb megoldás ugyanis: 7, Calkins megemlíti, hogy becslése szerint, ennyi marha térfogata nagyobb, mint a Napé. Normann Merriman, The New York Times, 54 old., OEIS Foundation Inc. 0, The On-Line Encyclopedia of Integer Sequences, http: //oeis.org/a0965 7

19 3. fejezet A H M,n és N M,k sorozatok kapcsolata H M,n -en és N M,k -n a.. és..-ben definiált sorozatokból képzett azon részsorozatokat értjük, melynek H n és N k tagjai eleget tesznek a háromszögnégyszög egyenlőségnek. Az egyszerűség kedvéért ezeket a sorozatokat innentől h k, n k jelöli. n k = 0,, 6, 35, 04, 89, 6930, 4039, h k = 0,, 8, 49, 88, 68, 9800, 57, Észrevételek Ezekről a sorozatokról az alábbi megállapításokat tehetjük:. Az n k sorozat rekurzívan előállítható: n k+ = 6n k n k.. A h k sorozat rekurzívan előállítható: h k+ = 6h k h k Az n k sorozat nem rekurzív előállítása: n k = 3+ k 3 k. 4. A h k sorozat nem rekurzív előállítása: h k = 3+ k +3 k n k páronként vett összegsorozata megegyezik h k páronként vett különbségsorozatával, azaz n k+ + n k = h k+ h k. 4 Nézzük meg sorjában az észrevételeket. A..3 megjegyzés sejteti, hogy n k és h k előállítható rekurzívan, de nem ad egy könnyen kezelhető formulát 8

20 3. Fejezet A H M,n és N M,k sorozatok kapcsolata 9 rájuk. A rekurzió megsejtéséhez érdemes néhány taqgot az előzőek lineáris kombinációjaként előállítani: { 35 = x 6 + y Most y-t az elsőből kifejezve 04 = x 35 + y 6 04 = x x 6, amiből pedig azt kapjuk, hogy x = 6 és y = Tétel. A 3.-ben definiált n k, k = 0,,,... sorozat eleget tesz az n k+ = 6n k n k 3.3 rekurziónak. Bizonyítás. Az állítás belátásához egy rövid indukciós gondolatmenetet fogunk követni. k = 4-ig a rekurzió teljesül. Vizsgáljuk tehát a sorozatot akkor, amikor k > 4..-ből tudjuk, hogy n k = u k + 3v k, ahol u k és v k a.9 Pell-egyenlet megoldásai. Tehát: 6n k n k = 6 u k + 3v k u k + 3v k..-ben leírtak szerint: u k + 3v k = v k, így összevonhatunk: 6n k n k = u k + 7v k. A továbblépéshez csoportosítsuk az együtthatókat! = és 7 = Ezt felhasználva: 6n k n k = 3u k + 4v k + 3 u k + 3v k Pontosan ezt kerestük, az állítást ezzel beláttuk. = u k+ + 3v k+ = n k+. A. állításhoz eljutni valamelyest több műveletet igényel. A szokásos, tagot leíró, próbálkozások rendre nem egész együtthatókat határoznak meg. Ez azt sejteti, hogy a rekurzióban egy konstans tag is szerepel: 49 = x 8 + y + z 88 = x 49 + y 8 + z 68 = x 88 + y 49 + z. 9

21 3. Fejezet A H M,n és N M,k sorozatok kapcsolata 0 A középső egyenletből z = 88 x 49 y 8 kifejezhető, tehát két egyenlet marad: { 39 = x 49 + y = x 39 + y 4. ahonnan x = 6, y = és z =. Ez az egyenletrendszer arra is rámutat, hogy h k további rekurzív sorozatokkal is kapcsolatban áll Tétel. A 3. szerinti h k, k = 0,,,... sorozat k + -ik tagja megkapható: h k+ = 6h k h k Bizonyítás. Az állítás bizonyításának gondolatmenete hasonló a 3..-ben leírtakhoz. Fentebb ellenőriztük, hogy az állítás k = 5-ig teljesül, úgyhogy továbbléphetünk az induktív gondolattal a k > 5 esetre. 6h k h k + = 6 3u k + 4v k 3u k + 4v k. A.0-beli számítások szerint 3u k + 4v k = u k, tehát: 6h k h k + = 7u k + 4v k. Az előző tétel ötletéhez hasonlóan, itt is alkalmazzuk, hogy 7 = , valamint 4 = h k h k + = 3 3u k + 4v k + 4 u k + 3v k = h k+ amivel igazoltuk az állítást A további tulajdonságok vizsgálatához felhasználunk némi lineáris algebrai ismeretet. Amint ismeretes Freud [8], a Fibonacci-jellegű rekurzív sorozatok -dimenziós vektorteret alkotnak. -dimenziósak, ugyanis az első két tag szabadon megválasztható. Ezzel a megközelítéssel a probléma egy generátorrendszer keresési feladat az a n = α a n + β a n, α, β, a i R alakú sorozatok vektorterében. E gondolatmenet és Lovász [0] a Fibonacci sorozat generátorfüggvényének meghatározásához használt ötlete mentén elindulva vizsgáljuk meg a 3. pont állítását: Tétel. A 3.-ben definiált n k sorozat tagjai megkaphatóak az alábbi képlettel: n k = 3 + k 3 k

22 3. Fejezet A H M,n és N M,k sorozatok kapcsolata Bizonyítás. Közelítsük a sorozat elemeit egy c q k mértani sorozat elemeivel. Miután n k eleget tesz egy rekurziónak, ezért olyan mértani sorozatot keresünk, melyre teljesül, hogy: c q k = 6c q k c q k. Most leosztva c q k -vel, és némi átrendezés után a q 6q+ = 0 másodfokú egyenletet kapjuk, melynek gyökei: Két sorozatot kaptunk tehát: q = 3 + q = 3 G = c 3 + k, valamint G = c 3 k. Hamar látható, hogy nincsen oylan c érték, melyre az eredeti n k sorozat tagjait kapnánk. A továbblépéshez Leonhard Euler 778-as trükkjét fogjuk alkalmazni, aki rámutatott, hogy a különbségsorozatra is teljesül a rekurziós feltétel, és annak elemei már majdnem az eredeti sorozatot adják vissza. G G = 4 c és G G = 4 c amiből látható, hogy c = 4 választásával a keresett kifejezéshez jutunk. Térjünk át a 4. állítás bizonyítására Tétel. A 3.-ben definiált h k sorozat tagjainak nem rekurzív előállítása az alábbi módon kapható: h k = 3 + k + 3 k Bizonyítás. Mint már említettük, a Fibonacci-jellegű rekurziók -dimenziós vektorteret alkotnak, ezért a generátorfüggvény kereséséhez a 3..3-hez hasonló módón állhatunk hozzá. Az első komoly eltérést az adja, hogy a c q k mértani sorozattal való közelítés a c q k = 6c q k c q k + összefüggést adja. Ez a kifejezés, ellentétben az előzővel, egy inhomogén kifejezés. Érdemes tehát az eltoltjával számolni, hogy a generátorfüggvényt meghatározhassuk. Az eltoltoltból az előző tételhez hasonlóan a q 6q+ = 0 egyenlet megoldásával ismét a

23 3. Fejezet A H M,n és N M,k sorozatok kapcsolata q = 3 + q = 3 megoldásokhoz jutunk. Legyen tehát újfent G = c 3 + k és G = c 3 k. Látható, hogy G + G = c 6, valamint G + G = c 34. Ez a generátorfüggvény viszont a -vel eltolt sorozathoz tartozik. Most, ha visszatoljuk, akkor G + G = c 6 és G + G = c 34, amiből látható, hogy ebben az esetben c = 4. A generátorfüggvények meghatározása után következzen a két sorozat kapcsolatának vizsgálata Tétel. n k+ + n k = h k+ h k, minden k = 0,,...-re. Bizonyítás. Használjuk fel a bizonyításhoz a 3..3-ben és 3..4-ben bizonyított tételeket a generátorfüggvényekről. n k+ + n k -ra adja nekünk az alábbi összefüggést: 3 + k+ 3 k k 3 k 4 Érdemes a k-adik hatványon lévő tagokat kiemelni, így ugyanis a 3 + k k 4 4 öszefüggést kapjuk. Hasonlóan ehhez, a generátorfüggvénybe helyettesítve, a h k+ h k az alábbi különbséget adja: k+ k+ k k , 4 4 elvégezve itt is az előzőhöz hasonló kiemeléseket, és kihasználva, hogy = 0: 3 + k k alakhoz jutunk. Az összeg második tagjából -et kiemelve, és a törtet -vel bővítve: k k 4 4 ami megegyezik n k+ + n k felírásával, ezzel az állítást bizonyítottuk.,

24 Irodalomjegyzék [] Nelson, H. L.: A Solution to Archimedes Cattle Problem, Journal of Recreational Mathematics, 3:3, 6-76, [] Calkins, Keith G.: Archimedes Problema Bovinum, Andrews University, 975,98, profess/cattle.htm, letöltés ideje: , 00:08 [3] Weisstein, Eric W.: Diophantine Equation, MathWorld A Wolfram Web Resource, DiophantineEquation.html, letöltés ideje: , 4:7 [4] Freud Róbert, Gyarmati Edit: Számelmélet, Nemzeti Tankönyvkiadó, 80-86, , , 006. [5] Matthews, Keith R.: The Diophantine Equation x Dy N, D > 0, Expositiones Mathematicae, 8, 33-33, 000. A cikk javított változata elérhető a oldalon. Letöltés ideje: , 4:59 [6] Rorres, Chris: The Cattle Problem Statement in English, New York University - Department of Mathematics, nyu.edu/~crorres/archimedes/cattle/statement.html, letöltés ideje: [7] Dickson, Leonard Eugene: History of The Theory of Numbers - Volume II - Diophantine Analysis, AMS Chelsea Publishing, -30, 99,000. A teljes könyv letölthető a oldalról. Utolsó letöltés ideje: , 3: [8] Freud Róbert: Lineáris algebra, ELTE Eötvös Kiadó, 53-58, 996,009 [9] Papp Franciska: A Pell-egyenlet és története, ELTE szakdolgozat, 7-, 0. matelem/0/papp_franciska.pdf, letöltés ideje: , 4:5 [0] Lovász László, Pelikán József, Vesztergombi Katalin: Diszkrét matematika, TYPOTEX Kiadó, 80-83, 00. 3