13.09.2013 Views

Over Leonhard EULER, e, i, π, kettingbreuken en Kettenbrücken

Over Leonhard EULER, e, i, π, kettingbreuken en Kettenbrücken

Over Leonhard EULER, e, i, π, kettingbreuken en Kettenbrücken

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Over</strong> <strong>Leonhard</strong> <strong>EULER</strong>, e, i, <strong>π</strong>, <strong>kettingbreuk<strong>en</strong></strong> <strong>en</strong><br />

Kett<strong>en</strong>brück<strong>en</strong><br />

Voor de 300 ste verjaardag van L. Euler<br />

Paul Levrie <strong>en</strong> Hilde Missinne<br />

Op 15 april was het 300 jaar geled<strong>en</strong> dat in het<br />

Zwitserse Basel <strong>Leonhard</strong> Euler werd gebor<strong>en</strong>:<br />

de grootste <strong>en</strong> meest productieve wiskundige (of<br />

wet<strong>en</strong>schapper) van de achtti<strong>en</strong>de eeuw. Om dat te<br />

herd<strong>en</strong>k<strong>en</strong> werd in Zwitserland e<strong>en</strong> speciale postzegel<br />

uitgegev<strong>en</strong>, waarop e<strong>en</strong> van de bek<strong>en</strong>dste formules<br />

van Euler te zi<strong>en</strong> is: bij e<strong>en</strong> convex veelvlak is het<br />

aantal hoekpunt<strong>en</strong> − het aantal ribb<strong>en</strong> + het aantal<br />

zijvlakk<strong>en</strong> steeds gelijk aan 2. In het veelvlak op<br />

de figuur tell<strong>en</strong> we 12 hoekpunt<strong>en</strong>, 19 ribb<strong>en</strong> <strong>en</strong> 9<br />

zijvlakk<strong>en</strong>.<br />

Euler werd gebor<strong>en</strong> in 1707 <strong>en</strong> stierf in 1783. M<strong>en</strong> heeft berek<strong>en</strong>d dat hij gemiddeld zo’n 800<br />

bladzijd<strong>en</strong> wet<strong>en</strong>schappelijke tekst<strong>en</strong> produceerde per jaar. Daarnaast correspondeerde hij ook<br />

nog uitgebreid (meer dan 1000 briev<strong>en</strong>) met beroemde tijdg<strong>en</strong>ot<strong>en</strong> zoals daar zijn Daniel Bernoulli<br />

(die van de Wet van Bernoulli, die eig<strong>en</strong>lijk eerst afgeleid werd door ... Euler), Jean Le<br />

Rond d’Alembert (e<strong>en</strong> van de Encyclopedist<strong>en</strong>, vooral bek<strong>en</strong>d voor zijn k<strong>en</strong>merk om de converg<strong>en</strong>tie<br />

van reeks<strong>en</strong> te onderzoek<strong>en</strong>), Joseph-Louis Lagrange (van de middelwaardestelling), <strong>en</strong><br />

Christian Goldbach (bek<strong>en</strong>d om zijn vermoed<strong>en</strong>). Uit e<strong>en</strong> brief (uit 1731 [1]) naar deze laatste<br />

zie je hier e<strong>en</strong> fragm<strong>en</strong>t, het is e<strong>en</strong> van de eerste ker<strong>en</strong> dat Euler de letter e gebruikt voor het<br />

getal 2,718281828.<br />

Euler schreef vooral in het Latijn, de wet<strong>en</strong>schappelijke voertaal in die tijd. De eerste keer dat<br />

je de letter e in deze context vindt in e<strong>en</strong> publicatie, is in Eulers Mechanica van 1736 [4]:


Het is ook Euler die de letter i voor de complexe e<strong>en</strong>heid heeft ingevoerd. In 1777 schrijft hij [5]:<br />

Het getal <strong>π</strong> heeft Euler niet als eerste gebruikt, dat was <strong>en</strong>e William Jones (1675-1749) in zijn<br />

boek Synopsis Palmariorum Matheseos van 1706 [2]:<br />

waar hij het heeft over de formule van Machin voor de berek<strong>en</strong>ing van <strong>π</strong>. Euler heeft wel veel<br />

bijgedrag<strong>en</strong> tot de popularisering van deze notatie.<br />

Je zou kunn<strong>en</strong> zegg<strong>en</strong> dat nu alles klaar is voor de formule van Euler:<br />

e iϕ = cos ϕ + i · sin ϕ<br />

de formule die de fysicus Richard Feynman de ’meest merkwaardige formule<br />

uit de wiskunde’ noemde [8]. Je vindt haar terug in Eulers boek<br />

Introductio in analysin infinitorum dat hij schreef in 1745 [7], op p.104:<br />

Euler was echter niet de eerste die deze formule vond. Roger Cotes schreef al vroeger (in 1714):<br />

Nam si quadrantis circuli quilibet arcus, radio CE descriptas, sinum habeat CX<br />

sinumque complim<strong>en</strong>ti ad quadrantem XE: sum<strong>en</strong>do radium CE pro modulo, arcus<br />

erit rationes inter EX + XC √ −1 & CE, m<strong>en</strong>sura ducta in √ −1 .<br />

(zie [9]). In moderne notatie staat hier, voor e<strong>en</strong> cirkel met straal R = CE, met XC de sinus<br />

<strong>en</strong> EX de cosinus van e<strong>en</strong> zekere hoek ϕ, dat<br />

iR ln(cos ϕ + i · sin ϕ) = Rϕ<br />

<strong>en</strong> dit is, op e<strong>en</strong> klein foutje na, de formule van Euler.<br />

Euler bewees zijn versie (o.a.) door gebruik te mak<strong>en</strong> van de Maclaurinreeks<strong>en</strong> voor cos, sin<br />

<strong>en</strong> de expon<strong>en</strong>tiële functie. Van deze laatste reeks was hij zelf de vader (lees hiervoor het<br />

schitter<strong>en</strong>de boek [3]).<br />

Het beroemde speciale geval ϕ = <strong>π</strong> :<br />

e i<strong>π</strong> + 1 = 0<br />

vind ik niet terug bij Euler, wel de logaritmische versie ervan [6]:


met dit probleem natuurlijk dat de complexe logaritmische functie meerwaardig is, <strong>en</strong> Euler<br />

dus voor ln(−1) oneindig veel waard<strong>en</strong> vindt, waaronder i<strong>π</strong>.<br />

Euler leverde bijdrag<strong>en</strong> tot bijna alle takk<strong>en</strong> van de wiskunde <strong>en</strong> het duurde tot vijftig jaar na<br />

zijn dood eer al zijn werk gepubliceerd raakte! Ook to<strong>en</strong> hij al volledig blind was, nam zijn<br />

wet<strong>en</strong>schappelijke productie niet af.<br />

E<strong>en</strong> van de specialiteit<strong>en</strong> van Euler war<strong>en</strong> de zog<strong>en</strong>aamde <strong>kettingbreuk<strong>en</strong></strong>, e<strong>en</strong> onderwerp in<br />

de wiskunde dat e<strong>en</strong> beetje op de achtergrond geraakt is. E<strong>en</strong> kettingbreuk is e<strong>en</strong> oneindig<br />

doorlop<strong>en</strong>de breuk. E<strong>en</strong> van de oudste is die van Lord Brouncker voor het getal <strong>π</strong>, waarvan<br />

nog steeds niet gewet<strong>en</strong> is hoe hij er aan kwam:<br />

<strong>π</strong><br />

4<br />

= 1<br />

1 + 12<br />

2 + 32<br />

2 + 52<br />

Euler vond e<strong>en</strong> verwante kettingbreuk voor ln 2 [7] :<br />

2 + 72<br />

2 + . . .<br />

Zoals je kan lez<strong>en</strong> vertrok hij van de bek<strong>en</strong>de reeks voor ln 2 :<br />

ln 2 = 1 − 1 1 1 1<br />

+ − + − ...<br />

2 3 4 5<br />

Als we deze reeks op e<strong>en</strong> bepaalde plaats afbrek<strong>en</strong>, <strong>en</strong> stell<strong>en</strong>:<br />

yn = 1 1<br />

1<br />

− + . . . + (−1)n−2<br />

n n − 1 2 + (−1)n−1 − (−1) n−1 ln 2


dan vind<strong>en</strong> we dadelijk dat<br />

yn+1 + yn = 1<br />

n + 1 , yn+2 + yn+1 = 1<br />

n + 2<br />

Del<strong>en</strong> we nu de tweede uitdrukking door de eerste, dan vind<strong>en</strong> we, na wat herschikk<strong>en</strong>:<br />

<strong>en</strong> hieruit volgt dat<br />

(n + 2) yn+2<br />

yn+1<br />

yn<br />

yn+1<br />

= n + 1<br />

+ 1 = (n + 1) 1<br />

yn+1<br />

yn<br />

1 + (n + 2) yn+2<br />

yn+1<br />

Herhaaldelijk toepass<strong>en</strong>, beginn<strong>en</strong>d met n = 0, geeft:<br />

y1<br />

y0<br />

= 1<br />

1 + 2 · y2<br />

y1<br />

= 1<br />

2 · 2<br />

1 +<br />

1 + 3 · y3<br />

y2<br />

= 1<br />

2 · 2<br />

1 +<br />

3 · 3<br />

1 +<br />

1 + 4 · y4<br />

y3<br />

= 12<br />

1 + 22<br />

1 + 32<br />

1 + 42<br />

Als we dan terugkijk<strong>en</strong> naar de oorspronkelijke definitie van yn, dan zie je dat<br />

y1<br />

y0<br />

= 1 − ln 2<br />

ln 2<br />

1<br />

1<br />

= − 1 ⇒ ln 2 =<br />

ln 2 1 + y1<br />

y0<br />

1 + . ..<br />

Deze twee uitdrukking<strong>en</strong> combiner<strong>en</strong> levert je de kettingbreuk van Euler op. Hier staat ze naast<br />

die voor <strong>π</strong> zodat je ze gemakkelijk kan vergelijk<strong>en</strong>:<br />

ln 2 = 1<br />

1 + 12<br />

1 + 22<br />

1 + 32<br />

1 + 42<br />

1 + .. .<br />

, <strong>π</strong><br />

4<br />

= 1<br />

1 + 12<br />

2 + 32<br />

2 + 52<br />

2 + 72<br />

2 + .. .<br />

Op deze manier (zie ook [10]) kan je <strong>kettingbreuk<strong>en</strong></strong> vind<strong>en</strong> voor combinaties van bek<strong>en</strong>de<br />

constant<strong>en</strong>, bijvoorbeeld:<br />

√ <br />

1 3<br />

<strong>π</strong> + ln 2 =<br />

3 9 1<br />

1 + 12<br />

3 + 42<br />

3 + 72<br />

3 + 102<br />

3 + . . .


Voor de berek<strong>en</strong>ing van de waarde van zo’n kettingbreuk ga je als volgt tewerk: je kapt hem<br />

gewoon af op e<strong>en</strong> bepaalde plaats (je vervangt de ’staart’ door 0) <strong>en</strong> berek<strong>en</strong>t de overblijv<strong>en</strong>de<br />

eindige breuk van achter naar voor. Do<strong>en</strong> we dit voor de kettingbreuk van ln 2, waarbij we<br />

afkapp<strong>en</strong> voor de 4 2 , dan berek<strong>en</strong> je dus:<br />

3 1 2 1 1<br />

Euler was niet alle<strong>en</strong> actief in de analyse, maar werkte zowat in alle gebied<strong>en</strong> van de wet<strong>en</strong>schap.<br />

Zijn naam wordt bijvoorbeeld ook vaak g<strong>en</strong>oemd in de ontstaansgeschied<strong>en</strong>is van de Sudoku:<br />

Euler bestudeerde Latijnse vierkant<strong>en</strong>.<br />

Voor <strong>en</strong>kele andere verwez<strong>en</strong>lijking<strong>en</strong> van Euler, met name de oplossing van het Baselprobleem,<br />

<strong>en</strong> het invoer<strong>en</strong> van de constante van Euler-Mascheroni, zie [11], [12].<br />

E<strong>en</strong> leuk <strong>en</strong> beroemd probleem, dat aan de basis ligt van de graf<strong>en</strong>theorie <strong>en</strong> de topologie, is<br />

het Königsberg-brugg<strong>en</strong>probleem van Euler uit 1736.<br />

Het gaat als volgt:<br />

De Pregel stroomt door het stadje Königsberg (geleg<strong>en</strong> in het vroegere Oost-Pruis<strong>en</strong>, teg<strong>en</strong>woordig<br />

Kaliningrad in Rusland). In de rivier ligt e<strong>en</strong> eiland <strong>en</strong> bov<strong>en</strong>di<strong>en</strong> splitst de<br />

rivier zich waardoor het stadje opgedeeld wordt in vier stukk<strong>en</strong>. Er zijn in totaal zev<strong>en</strong><br />

brugg<strong>en</strong> die de verschill<strong>en</strong>de del<strong>en</strong> van Königsberg met elkaar verbind<strong>en</strong>. (Zie figuur.)<br />

Is het mogelijk e<strong>en</strong> wandeling door Königsberg te mak<strong>en</strong> zodanig dat je iedere brug precies<br />

één keer oversteekt, e<strong>en</strong> ketting vormt van brugg<strong>en</strong>? (Het maakt niet uit in welk deel<br />

van de stad je de wandeling start <strong>en</strong> ook niet waar je aankomt.)<br />

<br />

<br />

<br />

<br />

Je kan de situatie schematiser<strong>en</strong> door de landmassa’s voor te stell<strong>en</strong> door punt<strong>en</strong> <strong>en</strong> de brugg<strong>en</strong><br />

door lijnstukk<strong>en</strong> of bog<strong>en</strong>. Dan krijg je volg<strong>en</strong>de figuur, die door wiskundig<strong>en</strong> e<strong>en</strong> graaf g<strong>en</strong>oemd<br />

wordt. <br />

En de vraag uit het zev<strong>en</strong>brugg<strong>en</strong>probleem van Euler wordt dan:<br />

<br />

<br />

<br />

<br />

<br />

<br />

tek<strong>en</strong> bov<strong>en</strong>staande graaf zonder je p<strong>en</strong> op te heff<strong>en</strong> <strong>en</strong> zonder tweemaal over dezelfde<br />

lijn te gaan.<br />

Probeer maar e<strong>en</strong>s!<br />

Dit doet me d<strong>en</strong>k<strong>en</strong> aan analoge puzzeltjes die ik als kind oploste. Misschi<strong>en</strong> herk<strong>en</strong> jij ze ook?


Onderzoek of je volg<strong>en</strong>de figur<strong>en</strong> kunt natek<strong>en</strong><strong>en</strong> zonder je potlood op te heff<strong>en</strong> <strong>en</strong> zonder<br />

tweemaal over dezelfde lijn te gaan.<br />

Euler slaagt er niet alle<strong>en</strong> in te verklar<strong>en</strong> waarom zo’n wandeling door Königsberg onmogelijk<br />

is, hij veralgeme<strong>en</strong>t ine<strong>en</strong>s het probleem <strong>en</strong> haar oplossing voor elke graaf! Hij bewijst de<br />

volg<strong>en</strong>de stelling:<br />

Als e<strong>en</strong> graaf meer dan twee onev<strong>en</strong> knooppunt<strong>en</strong> heeft, dan bestaat er ge<strong>en</strong> ’Eulerwandeling’<br />

over die graaf.<br />

(E<strong>en</strong> knooppunt heet onev<strong>en</strong> wanneer er in dat punt e<strong>en</strong> onev<strong>en</strong> aantal weg<strong>en</strong> aankomt;<br />

in het andere geval noemt m<strong>en</strong> het ev<strong>en</strong>.)<br />

Dat er hoogst<strong>en</strong>s twee onev<strong>en</strong> knooppunt<strong>en</strong> mog<strong>en</strong> zijn, kan als volgt verklaard word<strong>en</strong>. Neem<br />

e<strong>en</strong> knooppunt dat niet begin- of eindpunt is van de wandeling. Dan moet er voor elke weg<br />

die aankomt, ook e<strong>en</strong> vertrekk<strong>en</strong>. En al deze weg<strong>en</strong> moet<strong>en</strong> bov<strong>en</strong>di<strong>en</strong> verschill<strong>en</strong>d zijn! Zo’n<br />

knooppunt is bijgevolg ev<strong>en</strong>. De <strong>en</strong>ige onev<strong>en</strong> knooppunt<strong>en</strong> kunn<strong>en</strong> dan alle<strong>en</strong> begin- <strong>en</strong> eindpunt<br />

van de wandeling zijn.<br />

Nu is duidelijk waarom e<strong>en</strong> Eulerwandeling door Königsberg onmogelijk is: er zijn vier knooppunt<strong>en</strong><br />

<strong>en</strong> deze zijn allemaal onev<strong>en</strong>.<br />

Wat de ’kinderpuzzels’ betreft, daar kun je nagaan dat alle<strong>en</strong> de eerste twee figur<strong>en</strong> op de<br />

afgesprok<strong>en</strong> manier na te tek<strong>en</strong><strong>en</strong> zijn.<br />

Refer<strong>en</strong>ties<br />

[1] zie http://www.eulerarchive.org<br />

[2] L. Berggr<strong>en</strong>, J. Borwein, P. Borwein, Pi: A Source Book, Springer, New York, 2004.<br />

[3] W. Dunham, Euler - The Master of Us All, The Mathematical Association of America,<br />

Washington, 1999.<br />

[4] L. Euler, Mechanica Vol. I, Sint-Petersburg, 1736.


[5] L. Euler, De formulis differ<strong>en</strong>tialibus angularibus maxime irrationalibus, quas tam<strong>en</strong> per<br />

logarithmos et arcus circulares integrare licet, Institutiones calculi integralis 4, 1794, pp.<br />

183-194.<br />

[6] L. Euler, De la controverse <strong>en</strong>tre Mrs. Leibnitz et Bernoulli sur les Logarithmes des<br />

nombres négatifs et imaginaires, Mémoires de l’académie des sci<strong>en</strong>ces de Berlin 5, 1751,<br />

pp. 139-179.<br />

[7] L. Euler, Introductio in analysin infinitorum, Vol. 1, Lausanne, 1748.<br />

[8] R. Feynman, The Feynman Lectures on Physics, vol. I, Addison-Wesley, Reading, Mass.,<br />

1977.<br />

[9] R. Gowing, Roger Cotes - Natural Philosopher, Cambridge University Press, 2002.<br />

[10] P. Levrie, A Short Derivation of Lord Brouncker’s Continued Fraction for <strong>π</strong>, verschijnt<br />

in The Mathematical Intellig<strong>en</strong>cer, 2007.<br />

[11] P. Levrie <strong>en</strong> H. Missinne, <strong>Over</strong> <strong>π</strong>2<br />

6<br />

Onderwijs 29, 114, p. 127-136, 2003.<br />

<strong>en</strong> e<strong>en</strong> probleem van J. Bernoulli, Wiskunde <strong>en</strong><br />

[12] P. Levrie <strong>en</strong> H. Missinne, <strong>Over</strong> speelkaart<strong>en</strong>, de harmonische reeks <strong>en</strong> het getal γ,<br />

Wiskunde <strong>en</strong> Onderwijs 32, 127, p. 232-243, 2006.<br />

http://www.euler-2007.ch<br />

Hilde Missinne<br />

Instituut Spijker<br />

Lind<strong>en</strong>dreef 37, 2320 Hoogstrat<strong>en</strong><br />

Paul Levrie (paul.levrie@kdg.be)<br />

Karel de Grote-Hogeschool Antwerp<strong>en</strong>, Departem<strong>en</strong>t IWT<br />

Salesian<strong>en</strong>laan 30, 2660 Hobok<strong>en</strong><br />

<strong>en</strong><br />

K.U.Leuv<strong>en</strong>, Departem<strong>en</strong>t Computerwet<strong>en</strong>schapp<strong>en</strong><br />

Celestijn<strong>en</strong>laan 200A, 3001 Heverlee

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!