Kettingbreuken. 20 april K + 1 E + 1 T + 1 T + 1 I + 1 N + 1 G + 1 B + 1 R + 1 E + 1 U + 1 K + E + 1 N A + 1 P + 1 R + 1 I + 1

Transcriptie

1 Kettingbreuken Frédéric Guffens 0 april 00 K + E + T + T + I + N + G + B + R + E + U + K + E + N 0 + A + P + R + I + L

2 Wat zijn Kettingbreuken? Een kettingbreuk is een wiskundige uitdrukking van de vorm: a 0 + a + a a 3 + waarbij a 0 Z, en alle andere elementen natuurlijke getallen zijn. Kettingbreuken kunnen zowel eindig als oneindig zijn. Een eindige kettingbreuk stelt een rationaal getal voor, en elk rationaal getal kan op precies manieren geschreven worden als een kettingbreuk, waarover later meer. Elke oneindige kettingbreuk stelt een irrationaal getal voor, en elk irrationaal getal kan precies op manier geschreven worden als een kettingbreuk. Een voorbeeld van een eindige kettingbreuk is: Een voorbeeld van een oneindige kettingbreuk is: Er zijn verschillende notatiemogelijkheden om kettingbreuken verkort weer te geven:. x =< a 0 ; a, a, a 3, >. x = a 0 + a +a +a +a 3 +

3 3. x = a 0 + a + a + a 3 + Dit noemt men de notatie van Pringsheim, een invloedrijke Duitse wiskundige uit de 9 de -0 ste eeuw. 4. x = [a 0 ; a, a, a 3, ] Deze notatie is ingevoerd door Oskar Perron. Perron was een Duits wiskundige die vele bijdragen heeft geleverd aan differentiaalvergelijkingen. Deze notatie zal in de rest van het verslag gebruikt worden. Kettingbreuken bepalen. Kettingbreuken van rationale getallen We gaan nu proberen een rationaal getal te schrijven als een kettingbreuk. De makkelijkste manier om te tonen hoe je dit het best doet, is aan de hand van een voorbeeld: 0, , 345 = [0;,, 8,, 6]

4 We kunnen dit ook korter noteren: 345 = = = = = = De getallen in het rood zijn juist die getallen die de kettingbreuk van 0, 345 bepalen.. Kettingbreuken van tweedegraadswortels Ook hier is het het simpelste om het uit te leggen aan de hand van een voorbeeld. 3 = + 3 = + 3 Nu vermenigvuldigen we de onderste breuk boven en onder met 3 + : = = = = We vermenigvuldigen de onderste breuk boven en onder met 3 + : 3 = =

5 Nu kunnen we de vergelijking in zichzelf invullen. Op de plaats van 3 komt dan de tot nu geconstrueerde kettingbreuk, zodat: 3 = + = = [;,,,,,,,, ] Alle tweedegraadswortels hebben periodieke kettingbreuken. Dit is bewezen door Leonard Euler in 737. Het bewijs hiervan valt buiten het bestek van dit verslag wegens te lang en te moeilijk. 3 Eindige kettingbreuken 3. Voorstelling rationaal getal Elke kettingbreuk stelt een rationaal getal voor, en elk rationaal getal kan geschreven worden op precies verschillende manieren als een kettingbreuk. Deze voorstellingen zijn dezelfde, buiten hun laatste term. Voorbeeld: 4, = 5 = = 5 + = = [ 5;, 4] 4 4 = = [ 5;, 3, ] 3 + Om de korte manier te bepalen, laten we de laatste vallen, maar vermeerderen we de voorlaatste term met. In symbolen: [a 0 ; a, a,, a n,, ] = [a 0 ; a, a,, a n + ] 5

6 Op deze manier is elke breuk uniek als een eindige kettingbreuk. Dat de kettingbreuk uniek is, blijkt wel uit de methode. Het eindige is niet zo moeilijk in te zien. Je houdt immers steeds een rest p over die tussen 0 en ligt, q oftewel 0 p < q. Als p = 0 of p = ben je klaar en is de kettingbreuk zeker eindig. Als p > schrijf je p als q. Dan neem je de entier van q en hou je q p p een rest q over met p q < p < q. Je ziet dat zowel teller als noemer van de rest in de volgende stap strikt kleiner zijn dan in de huidige stap. Aangezien teller en noemer natuurlijke getallen zijn kom je in een eindig aantal stappen in de situatie dat p = 0 of p = terecht. 3. Kettingbreuken van omgekeerde evenredige getallen De voorstelling van een kettingbreuk ([a 0 ; a, a, a 3, ]) van een positief rationaal getal p en de voorstelling van het omgekeerde evenredige getal ( p ) zijn gelijk, buiten dat alle a i s één plaats naar rechts of links verschoven zijn, afhankelijk of p groter of kleiner is dan één. Voorbeeld: 6, 75 = 7 4 = 6 + 6, 75 = 4 7 = = [6; 3, 3] = [0; 6, 3, 3] De entier van een reëel getal x is het grootste gehele getal kleiner of gelijk aan x. 6

7 Bewijs: x > : x = a 0 + a + = [a 0 ; a, ] x = [0; a 0, a, ] a 0 + a + x < : x = [0; a, a, ] a + a x = a + a = [a ; a, ] 4 Oneindige kettingbreuken en convergenten 4. Oneindige ketingbreuken Elke oneindige kettingbreuk stelt precies één irrationaal getal voor, en elk irrationaal getal kan op precies manier geschreven worden als een kettingbreuk. De oneindige kettingbreuken laten zich nog opdelen in periodieke en aperiodieke kettingbreuken. 4. Convergenten Als we slechts een deel beschouwen van een oneindige kettingbreuk (of een eindige kettingbreuk voor het einde afbreken), hebben we te maken met een benadering van de gehele kettingbreuk. Een dergelijk voortijdig afgebroken deel noemen we een convergent. De n-de convergent is opgebouwd uit de getallen a 0, a, a,, a n. 7

8 De opeenvolgende convergenten vormen een rij breuken die steeds beter de originele kettingbreuk zullen gaan benaderen. De convergenten met een even index zijn kleiner dan het rationaal getal dat ze benaderen, deze met een oneven index groter. Zie stelling 5.3 voor het bewijs hiervan. Voor elke kettingbreuk zijn de eerste 3 opeenvolgende convergenten: a 0 a 0 + a = a a 0 + a 0 + a a + a = a 0 + = a (a 0 a + ) + a 0 a a + a a + a = a 0 + a a a + = a 0a a a 0 + a a a + De noemer van de vierde convergent wordt gevormd door de noemer van derde convergent te vermenigvuldigen met a 3 en dit te vermeerderen met de noemer van de tweede convergent. De teller wordt op dezelfde wijze gevormd. De opeenvolgende convergenten worden gevormd door de formule: p k = a kp k + p k a k p k + Hierbij is p k de noemer van de n-de convergent, en de teller van de n-de convergent. Zie stelling 5. voor het bewijs hiervan. 8

9 4.3 Enkele verbazende eigenschappen: De meeste oneindige kettingbreuken hebben geen periodieke kettingbreukontwikkeling en zijn dus volstrekt willekeurig. Wel zijn er enkele verbazende eigenschappen: Constante van Khinchin: Aleksandr Khinchin bewees dat voor bijna elk getal x geldt dat het meetkundige gemiddelde van de getallen a i van een welbepaalde kettingbreuk gelijk is aan een constante, de constante van Khinchin. Het is ongeveer gelijk aan, In symbolen: K 0 = lim n ( n a i ) n i= Voorbeeld: π = De meetkundige gemiddelden zijn: 3; 4, 58; 6, 8; 4, ; 5, 7; 4, ; 3, 47;, 97;, 84;, 56; Deze rij nadert inderdaad de constante van Khinchin. Constante van Lévy: De n-de-machtswortels uit de noemers van de n-de convergent van bijna alle reëele getallen convergeren naar dezelfde limiet, de constante van Lévy. Deze constante bedraagt ongeveer 3,7599. In symbolen: lim n q n n = e π ln = 3, 7599 Soms treffen we patronen aan in aperiodieke oneindige kettingbreuken. Enkele voorbeelden: e = [;,,,, 4,,, 6,,, 8,,, 0, ] φ = [;,,,,, ] tan() = [;,,, 3,, 5,, 7,, 9, ] Het meetkundig gemiddelde van n getallen wordt verkregen door deze getallen met elkaar te vermenigvuldigen en vervolgens van het product de n-de-machtwortel te nemen. 9

10 5 Stellingen 5. Stelling : Als a 0, a, a, een oneindige rij voorstelt, waarbij a 0 een geheel getal is, en de rest natuurlijke getallen voorstellen, geldt: p k = a kp k + p k a k p k +, en waarbij p = p = 0 p 0 = a 0 q = 0 q = q 0 = Hierbij is p k de teller van de k-de convergent, en de noemer van de k-de convergent. Bewijs: We gaan dit bewijzen door middel van volledige inductie. k = 0: p 0 q 0 = a 0, en a 0p + p a 0 q + q = a 0 = p 0 q 0, voor n = 0 klopt het. Neem aan: Te bewijzen: p k = a kp k + p k a k + p k+ + = a k+p k + p k a k+ + We weten dat we p k+ + uit p k kunnen vormen, door alle a k s vervangen door a k + a k+, en teller en noemer te vermenigvuldigen met a k+. Dus: p k+ + = (a k + a k+ )p k + p k (a k + a k+ ) + = a k+p k + p k a k+ + = a k p k + p k p k a k+ a k + a k+ = (p k + p k a k+ )a k+ ( + a k+ )a k+ 0

11 5. Stelling : Voor ieder afgekapte kettingbreuk geldt voor k 0 dat: p k p k = ( ) k, en waarbij: p = p = 0 p 0 = a 0 q = 0 q = q 0 = Bewijs: We gaan dit wederom bewijzen door volledige inductie. k=0: p q 0 p 0 q = a 0 0 = 0 = ( ) 0, voor k = 0 klopt het. Neem aan: Te bewijzen: p k p k = ( ) k p k + p k+ = ( ) k+ We gaan kijken naar: p k + p k+ + = p k p k+ + = p k a k+p k + p k a k+ + = p k p k (a k+ + ) = ( )(p k p k ) + = ( )( )k + = ( )k+ + Hiermee is het bewijs geleverd.

12 5.3 Stelling 3: De convergenten met een even index zijn kleiner dan het rationaal getal dat ze benaderen, deze met een oneven index zijn groter dan het rationaal getal dat ze benaderen. Bewijs: We zullen eerst bewijzen dat c k c k = a k( ) k : c k c k = p k p k = p k p k = (a kp k + p k ) p k (a k + ) = a k(p k p k ) = a k( ) k = a k( ) k Stel k is even: c k c k = a k( ) k, dus c k > c k We zien dat even convergenten steeds groter worden.

13 Stel k is oneven: c k c k = a k( ) k < 0, dus c k < c k We zien dat oneven convergenten steeds kleiner worden. Nu moeten we nog aantonen dat een willekeurige oneven convergent groter is dan een willekeurige even convergent. Laten we het eerst aantonen voor convergenten waarvan de index maar verschilt: c n+ c n = ( )(n+) > 0, dusc n+ > c n Een oneven convergent is dus steeds groter dan de even convergent met een index lager. Laten we hierna het algemene geval doen. Stel dat c n+ een oneven convergent is, en dat c m een even convergent is. Dan geldt: c n+ > c n+m+ > c n+m > c m De eerste ongelijkheid is juist, omdat oneven convergenten in waarde afnemen. De tweede ongelijkheid klopt, aangezien we dit hebben aangetoond. De laatste ongelijkheid is waar, omdat even convergenten in waarde toenemen. Hiermee is het bewijs geleverd. 6 Bronnen: bosma/students/reneebscriptie.pdf