Debreceni Egyetem

Termszettudomnyi Kar

Matematikai Intzet

Szakdolgozat

Pi formulk

ksztette:

Szab Mariann

tmavezet: Dr. Tengely Szabolcs

Debrecen, 2008.
Tartalomjegyzk

Tartalomjegyzk i

1. Bevezet 3

1.1. A Pi trtnete . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.2. rdekesssgek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

2. Eredmnyek 13

2.1. Az egysgnyi tmrj kr kerlete . . . . . . . . . . . . . . . . . . 13

2.2. Pi irracionlis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2.2.1. Bizonyts . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2.3. Buon tproblmja . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.3.1. Bizonyts (1) . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2.3.2. Bizonyts (2) . . . . . . . . . . . . . . . . . . . . . . . . . . 21

2.4. Az Euler-fle sor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

2.4.1. Bizonyts (1) . . . . . . . . . . . . . . . . . . . . . . . . . . 24

2.4.2. Bizonyts (2) . . . . . . . . . . . . . . . . . . . . . . . . . . 27

2.5. Pi nem egyenl 22/7-el . . . . . . . . . . . . . . . . . . . . . . . . . 28

2.6. Wallis formula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2.6.1. A Wallis formula . . . . . . . . . . . . . . . . . . . . . . . . 31

2.6.2. Egy szmsorozat . . . . . . . . . . . . . . . . . . . . . . . . 32

2.6.3. Egy geometriai rtelmezs . . . . . . . . . . . . . . . . . . . 34

2.7. sszegzs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

Irodalomjegyzk 37

i
Ksznetnyilvnts

Szeretnm ksznetemet kifejezni Dr. Tengely Szabolcsnak, hogy lehetsget

nyjtott szakdolgozatom elksztshez, valamint hogy szakmai tancsaival mind

elmleti, mind gyakorlati tren segtette elrehaladsomat.

Tovbb ksznetet mondok csaldomnak, akik a kezdetektl fogva csaldi s

anyagi htteret biztostottak szmomra tanulmnyaim sikeres befejezshez.

1
1. Bevezet

A mindennapi letnk sorn nem telik el gy nap, hogy ne tallkoznnk krrel, kr

alak trggyal. Nem felttlenl a matematika rejtelmeiben kell kutatnunk. Elg

csak egy egyszer gyrre gondolnunk, vagy egy tnyrra, a hromszg alak kis

sajtokat rejt dobozra, egy tortra, vagy emlthetjk az rt is. Bizonyra nagy-

on sokan bmultk mr nagyra nylt szemekkel, csodlattal a prgettyt, amit a

gyerekek ma is nagyon szeretnek. Szlesebb krben pedig gondoljunk a gmbre,

letnk els pttys labdjra, vagy a szerencsejtk sorsolsnl az urnra s a

szmokat rejt kis labdkra. Egyszer kis trgyak ezek, mgis mindegyikben ott

rejlik valahol a , ha egy kr kerlett, terlett keressk. Az ezekhez szksges

ismeretekkel az iskolban tallkozunk elszr. Akkor csodlkozunk r elszr a

-re.
Bizonyra elgondolkodott mr rajta lete sorn legalbb egyszer minden ember,

hogy vajon honnan jhetett ez a szm, ez a jells.

Van valami klns varzsa ennek a klnleges szmnak. A titok taln ppen ab-

ban rejlik, hogy klnleges, egyedi, s az ilyen tulajdonsggal felruhzott dolgok

nagyon sok ember rdekldst felkeltik. ppen emiatt esett a vlasztsom erre

a tmra.

Ismerkedjnk meg teht ezzel a szmmal kzelebbrl!

A pi egy konstans, egy termszeti lland, amely a bennnket krlvev vilg

fontos jellemzje; -vel jelljk. Nagyon sok matematikai s zikai egyenlet el-

maradhatatlan egytthatja. Egy vals szm, melyet egy d = 2r tmrj kr K

kerletnek arnyaknt rtelmeznk:

K K
= = .
d 2r
A grg nv, , (perifria=kerlet) is erre utal. A Pi-t Arkhimdszi-
, vagy Ludolph-konstansnak (egy holland - kutat, Ludolph von Ceulen utn)

is nevezik.

A rtke tven tizedesszmjegyig:

3, 14159265358979323846264338327950288419716939937510 . . .

3
4 FEJEZET 1. BEVEZET

Ez a pontossg elegend a tudomnyos munkk sorn, de a tizedesjegyek sz-

ma vgtelen. A mai modern szmtstechnikai eszkzkkel, mdszerekkel mr

tbb mint egybilli tizedesjegyig kiszmtottk az rtkt.

1.1. A Pi trtnete
A Pi a kr kerletnek kiszmtsakor jelent meg, mint problma. A Biblia kt

hivatkozst is tartalmaz, mely -nek hrom rtket ad. Meg kell emlteni, hogy

mindkt eset majdnem biztosan zikai mrsek eredmnyei.

Kirlyok I. knyve, 7.23: s csinla egy nttt tengert, melyek egyik szltl fog-

va a msik szlig tz sing volt, krskrl kerek, s t sing magas, s a kerletit

harmincz sing zsinr rte vala krl.

K 30
Ugyanez megtallhat a II. Krnikkban (4.2). Ezek szerint: = d = 10 = 3.
1
A babyloniak egy becslse: 3+ 8 = 3, 125.
Az egyiptomi Rhind papiruszon tallhat egy kplet, ami ennek a problmnak a

megoldsval foglalkozik. Mindez i.e. 1650 krli idkben. A kpletet alkalmazva

28
kapjuk a
34
= 3, 1605 . . . rtket, ami abban az idben rendkvli pontossgnak

szmtott.

Nem kevesebb, mint 1500 v elteltvel Arkhimdsz (i.e. 287-212), akit az kor

legnagyobb s a vilg egyik legnagyobb matematikusaknt tartanak szmon, a

kr terletnek kiszmtsakor a kvetkez hatrrtkeket llaptotta meg a kr

kerlete s tmrje kztti arnyra:

3 10 1
71 < < 3 7 vagy 3, 140 < < 3, 142.

Az antik vilg utols nagy matematika tudsnak Apollniosz Pergiosznak (i.

e. 262-205) lltlag sikerlt megllaptania a els ngy pontos tizedest. Errl

azonban semmi biztosat nem tudunk, mivel sok mve elveszett.

Mezopotmiban ugyanekkor lnyegesen pontatlanabb kzelt rtket hasznl-

tak, de szinte minden tuds klnbz kzeltst tallt, s alkalmazott.

Knban a mrtkegysgek egysgestst rendeltk el a Han-dinasztia idejn.

Ekkor, a matematika trtnetben egyedlll esetknt, trvny szabta meg a

Pi rtkt, ami 3, 1547 volt.

A hinduk, Ariabatha - az egyik legnagyobb indiai gondolkod s csillagsz - rvn

a 3, 1416 kzelt rtkkel szmoltak 500 krl. Az rtkt a perzsk 16 tizedes-

jegyig szmtottk ki.

Az V. szzadban Tsu Csung Chih, a hres csillagsz, Ariabatha kortrsa, megl-

laptja a els hat pontos tizedest, s kimutatja, hogy ez a szm a 3,1415926 s a

1.1. A PI TRTNETE 5

3,1415927 kztt van. Ugyancsak neki tulajdontanak egy msik egsz szmokbl
355
ll arnyt is, amely hat tizedesig kzelti meg: = 113 .
E nagyszer felfedezsek utn azonban a knai s az indiai matematika hanyatlsnak

indul. Ez a korszak egybeesik a rabszolgatart-rendszer sszeomlsval s a feu-

dalizmus megjelensvel.

Egszen az V. szzadig nem rtak egyetlen olyan knyvet sem Eurpban, amely-

ben megemltenk Arkhimdsznek a -vel kapcsolatos valamelyik flfedezst.

Az kori grgk ismertk az egyiptomiak s a babiloniak eredmnyeit. Azokban

az idkben azonban minden tudomnyos eredmnyt nagy titokban tartottak. En-

nek abban is ltjuk krt, hogy nem maradt meg az utkor szmra Apollniosz

eredmnyeinek teljes egsze.

Nagyon sok v telt el, mg a problma elrkezett Eurpba. A kzpkor ta-

lakulsainak szzadai megviseltk a grg geometrit, mr csak arab kziratok

riztk. Amelyek aztn fokozatosan tntek fel latin nyelvre fordtva Eurpban.

Az egyik ilyen arab kziratban, melyet a hrom Banu Musa testvr, Muhhamed,

Ahmed s al Hasszan fordtott, a kr kerletnek s terletnek megllapts-

val kapcsolatban a -nek a kvetkez rtkeket tulajdontottk: = 10 vagy
22
= 7 .

Leonardo Fibonacci (11701250) 1220-ban rt Practica geometriae cm mvben

rtke nem egszen

megemlt egy rgta elfeledett igazsgot, nevezetesen, hogy a
1
pontosan 3 7 , hanem csak megkzeltleg annyi. Tovbb arra is rmutat, hogy
377
a rtke ugyancsak megkzeltleg a
120 arnnyal is kifejezhet. Ez az rtk
indiai eredet s Ariakhattl szrmazik; hogy Fibonacci megemlti a knyvben,

arra utal, hogy ismerte az indiai matematikusok mveit is.

Leonardo azonban megnevez egy harmadik kzelt rtket is:

864
= 275 = 3, 1418

melyet minden valsznsg szerint maga Leonardo llaptott meg. A knyv tar-

talmbl egyrtelmen ltszik, hogy jl ismerte Arkhimdsz azon eljrst, a-

mellyel a krbe s a kr kr 96 oldal sokszget szerkesztett.

Szmtsai szerint a rtke a kvetkez arnyok kz esik:

1440 1448
458 49
<< 458 15

melyeknek 3,1418 a megkzelt rtke. Teht Fibonacci pontosan llaptotta

meg a els hrom tizedest.

Nagyszer logikjval s matematikai ismereteivel Fibonacci messze fellmlta

kortrsait.
6 FEJEZET 1. BEVEZET

Azt a tudsszintet, amelyet Arkhimdsz felfedezsvel megteremtett, csak a

XVII. szzad matematikusainak sikerlt fellmlniuk.

A XVII. - XVIII. szzadban aztn risi rdekldsnek rvendett a matematiku-

sok krben a termszetnek megfejtse.

A XVII. szzad vge fel Adrian Anthonisz (15271607) pontosan meghatroz-

355
ta a rtknek els hat tizedest, = 3, 1415929 . . . , amelyet a
113 arnnyal
fejez ki. Ezt az arnyt a knaiak mr az V. szzadban megllaptottk, az eur-

paiak azonban ez idig nem ismertk. Elkpzelhet, hogy egy misszionrius hozta

magval Knbl, de ppgy lehetsges az is, hogy Eurpban jra felfedeztk.

Azonban alig, hogy megllaptottk ezt az j rtket, a matematikusok szerint ez

a hat tizedesjegy tl kevs a szm azonostshoz.

1579-ben Francois Vite (15401604) a els kilenc tizedesjegyt hatrozza meg.

Egy 393216 oldal sokszgre alkalmazta Arkhimdsz eljrst.

Nem telt el sok id Vite felfedezse utn, Adrien van Roomen (1561-1615) egy

23 0 = 1073741824 oldal sokszget hasznlva 15 pontos tizedest llaptotta meg

a -nek.

1562-ben Ludolph van Ceulen (15401610), aki nem volt hivatsos matematikus,

Arkhimdsz mdszert egy 32 millird 512 milli oldal sokszgre alkalmazva,

els 20 pontos tizedesjegyt llaptotta meg. Azonban csak 1596-ban hozta

nyilvnossgra eredmnyt, holland nyelven rt De circulo cm knyvben. Halla

utn tovbbi 15 tizedesszmjegyet talltak kzirataiban.

Ludolph hallos gyn meghagyta, hogy vssk srkvre ezeket a szmokat, ahogy

annak idejn Arkhimdsz sremlkre a hengerbe szerkesztett gmbt vstk.

Emlkt azzal tiszteltk meg, hogy hossz idn keresztl Ludolph-fle szmnak

neveztk a -t.

1654-ben Huygens a De circuli magnitudine inventa cm munkjban megmutat-

ta, hogyan szerkeszthetk olyan egyenes szakaszok, melyek elg jl megkzeltik

a krvet. Egy hatszgre alkalmazva formulit, 9 tizedesjegyt llaptotta meg.

Vite-nek ehhez a kzeltshez egy majdnem 400 ezer oldal sokszgre volt szk-

sge.

John Wallis, Euler, James Gregory, Leibniz, T. F. Lagny, Newton vgtelen szorza-

tok segtsgvel kzltettk rtkt. A Newton ltal megllaptott sor segts-

gvel knnyen ki lehet szmolni az els 14 tizedesjegyet.

A XVIII. szzad elejn fellnklt a tizedesszmjegyei utni hajsza.

Abraham Sharp (16511742) a

q
1 1 1 1


6 = 3 1 33 + 32 5
33 7
+
1.1. A PI TRTNETE 7

sor tagjainak sszegzsvel a 72 tizedesjegyt hatrozta meg. Nem sokkal ksbb

John Machin csillagsz 100 tizedesjegyig jutott. Utna Lagny mr 148 tizedesig

szmtotta ki rtkt. Ezutn Euler tallt egy jabb sort, amivel a Lagny ltal

megtallt tizedesszmjegyeket 80 ra alatt kiszmolta, s ekzben felfedezte, hogy

Lagny tvedett a 113. szmjegynl egy egysget.

A XIX. szzadban is folytatdott az rdeklds a tizedesjegyei utn. Persze

hibk is akadtak bven a szmtsokban, de mindig akadt valaki, aki rtallt a

helyes irnyra.

Vega 136 pontos tizedesjegyig jutott, William Rutherford 151, Z. Dase, a tehet-

sges hamburgi szmol, 200 tizedesjegyt mutatta ki. 1847-ben Thomas Clausen

248, mg 1853-ban Z. Dase 440 pontos tizedesjegyet szmolt ki, de ebben az vben

a rekord mgis William Shanks (18121888) nevhez fzdik, aki 607 tizdesjegyig

jutott. 1853-ban mr 707 tizedesszmjegyet hatrozott meg, de 1944-ben a szin-

tn angol Ferguson rjtt, hogy az 528. tizedestl hibs a szmts.

1958-ban elektronikus szmolgpek segtsgvel a -nek 10000 tizedesszmjegyt

llptottk meg. Az els 3000 tizedesjegyet mindssze 10 perc alatt szmtottk

ki.

Egy japn szmtstechnikai tuds 2002-ben szmtgppel 1,24 billi (!) jegy

pontossggal szmolta ki a rtkt.

Mr a XVIII. szzadtl tudjuk, hogy a Pi irracionlis szm. Elsknt 1767-

ben Johannes Heinrich Lambert (17281777) mutatta ki. Adrien Marie Legendre

(17521833) 1794-ben megjelent Elements de gomtrie cm munkjban egy j

s pontosabb bizonytst adott a s 2 irracionlis voltra. Charles Hermite

(18221901) 1873-ban kzlt egy jabb bizonytst. A XX. szzadi matematiku-

sokat is foglalkoztatta ez a krds, me nhny nv: Nagell 1951; Niven 1956;

Struik 1969; Knigsberger 1990; Schrder 1993; Stevens 1999; Borwein s Bailey

2003.

Ferdinand Lindemann (18521939) fedezte fl a transzcendens voltt 1882-ben.

Lindemann bizonytsnak Klein 1955-ben egy egyszerstett, de mgis bonyolult

verzijt mutatta meg.

Ha a szm egy irracionlis algebrai szm, akkor fel lehetne ttelezni, hogy

ltezhet olyan algebrai egyenletsorozat, amely lpsrl lpsre val megolds tjn

vezessen el egy irracionlis egytthatj egyenlethez, s gy adja meg egy krz-

vel s vonalzval val szerkeszts lehetsgt is. Csak 1844-ben mutatta ki Li-

ouville, hogy lteznek olyan irracionlis szmok is, amelyek egyetlen racionlis

egytthatj algebrai egyenletnek sem gykei. adta meg az els pldkat

is egyes ilyenfajta nem algebrai szmok szerkesztsre, amelyeket transzcendens

szmoknak nevezett el. Ennek a felfedezsnek az alapjn a matematikusoknak

8 FEJEZET 1. BEVEZET

lehetsgk nylt arra, hogy pontosabban fogalmazzk meg a szm termszetre

vonatkoz krdst: algebrai vagy transzcendens szm-e a ? Az kori grg prob-

lma, a kr ngyszgestsnek a lehetetlensge csak akkor bizonytott tny, ha ki

lehetne mutatni, hogy a transzcendens szm, vagyis hogy a nem lehet gyke

egyetlen racionlis egytthatj algebrai egyenletnek sem.

Azt is tudjuk, hogy nem Liouville-szm, melyet Mahler bizonytott be 1953-

ben.

Joseph Liouville (18091882) megmutatta, hogy tbb transzcendens szm az 1+

1 1 1 1
n + n2
+ n3
+ + nn + alakban rhat, ahol n>1 vals szm.

A szimblumot elszr egy Welsh-i matematikus, William Jones hasznlta

1706-ban a Synopsis palmariorun matheseos cm munkjban. A bet lland

c
hasznlatig klnbz jellseket alkalmaztak, pldul:
, r. Aztn 1734-tl

kezdve alkalmazta Euler, igaz nem kvetkezetesen. 1736-tl ezt a jellst hasznl-

ta a Goldbach s Bernoulli testvrekhez rott leveleiben, majd 1784-ben, az Intro-

ductiv in analysis innitorum cm knyvben. Azta ezt a jellst vglegesnek

tekintettk, s gy hasznlja az sszes matematikus.

1.2. rdekesssgek
Az 1988-ban Darren Aronofsky lmet forgatott a hres szmrl. A Pi cm lm

egy stt, klns s hiperkinetikus alkots, mely egy matematikusrl szl, aki

lassan elmebetegg vlik egy, az rtktzsdhez val kplet keresse sorn. Egy

Hasidic nev titkos szekta s egy Wall Street-i cg is elsajttja az kutatst,

s megprbljk magukhoz csbtani t. Sajnos, a lm alapjban vve a valdi

matematikval egyltaln nem foglalkozik.

314159, els 6 szmjegye. Ez a kombincija Carl Sagan: Kapcsolat cm

regnyben Ellie irodai szfjnek. A regny vgn olvashatunk egy kitallt pldt a

rtknek nagyon-nagyon pontos kiszmtsra. Itt az okos rdicsillagsz lny

keresi ltezsnk, st vilgunk ltezsnek okait. A kutatsval prblkozik, s

igen meglep eredmnyre jut, ami a regnybl kszlt ltvnyos lmbl sajnos

kimaradt.

A eddig kiszmtott egyms utn kvetkez szmjegyei kztt nem talltak

semmilyen ismtldsi mintt, elfordul azonban egy rdekes rszlet: egyszer sze-

repel a 271828182845, ami az e termszeti lland.

A Willim Shanks ltal tallt 707 tizedesszmjegyet megrktettk a prizsi Fel-

1.2. RDEKESSSGEK 9

fedezsek Palotja egyik frzn.

Ugyancsak a prizsi Felfedezsek Palotjban, a matematika osztlynak egyik

ajtaja fl van vsve Euler egyik hres relcija:

eix = cos x + i sin x

A kpletben, ha x felveszi a rtkt, az ei = 1 sszefggst kapjuk. Ami

azrt is klns, mert az e vals szmot az i imaginrius hatvnyra emelve, a
1 vals szmot kapjuk eredmnyl.

Leonardo da Vincit (14521519) is rdekelte a kr ngyszgestsnek problm-

ja. Azonban mveltsge, vagy taln inticii arra ksztettk, hogy ktelkedjen

a krzvel s vonalzval val megoldsban. A mvsz ismerte Arkhimdsznek

a kr mrsre vonatkoz munkit is. Htramaradt rsaiban a kvetkez meg-

jegyzssel tallkozhatunk: A kr ngyszgestse  j az elnevezs, de rossz a

megfogalmazsa. Az elnevezs azrt j, mert Arkhimdsz szerint a kr terlete
egy, a kr kerletbl s fltmrjbl alkotott derkszg hromszg terletvel
egyenl; a megfogalmazs azonban helytelen, mert tulajdonkppen egy 96 oldal
sokszg ngyszgestst llaptja meg, olyant, amelybl hinyzik a 96 oldal ltal
levgott 96 szelet. Ez semmikpp sem nevezhet a kr ngyszgestsnek; nem
kevsb igaz azonban, hogy lehetetlen ezt mskpp csinlni.
D. E. Smith a kvetkezket rta: Leonardo da Vincit jeles matematikusknt em-

legetnk, ha msirny kivlsgai nem homlyostank el matematikusi hrnevt.

Akadtak szlhmosok is, akik nagy pnzeket akartak keresni a kr ngyszgest-

svel. me egy plda: kt lht sszellt, engedlyt vltott ki s Ngyszgest

Irodt nyitott. Prospektusukban ezt rtk: Mita vilg a vilg, ltezik egy

sszemrhet s lland arny a kr s egy adott egyenesoldal sokszg kztt.

Ez a pontos arny 9 179

200 -zal egyenl! Keresse fl rendelseivel a Ngyszgest

Irodt.

A henger trfogatnak kplete egy matematikai vicchez vezet: Mekkora egy pizza
10 FEJEZET 1. BEVEZET

trfogata, ha a vastagsga a s sugara z? A vlasz: Pizza. Ez az eredmny 2.

pizza - ttelknt is ismert.

Mrcius 14-e a pi napja, 1988 ta nnepeljk. Tovbb is bonthat ez a nap,

van teht pi perc, st msodperc is. Amit a tovbbi tizedesjegyek alapjn l-

lapthatunk meg: 1 ra 59 perc s 26 msodperc. Erre a rendkvli napra egyre

tbb gyelem sszpontosul. Ma mr lehet a szimblummal elltott ereklyket

vsrolni, a pln t a bgrig. St, mg sokan tortval kszntik e jeles napot,

mghozz kr alak tortval, amin akr egy szimblum is szerepelhet.

Vletlenl ppen a mrcius 14-i pi napon szletett a zsenilis zikus, Albert Ein-

stein.

Egy szoborral is megtiszteltk ezt a klnleges szmot. Ez a szobor Seattle-ben,

Washington llamban tallhat.

A Brsszelben tallhat Eurpai Uni szimblumaknt ismert gmbkben is

ott rejlik a pi szm. A gmbk egyenl tvolsgra vannak egymstl, s minde-

gyik gmb azonos mret.

1.2. RDEKESSSGEK 11

A mnemotechnikai verseknek egyik fajtjt az olyan versek (szvegek) kpezik,

amelyek szmneveket nem is tartalmaznak, hanem a szveg minden egyes szav-

nak a beti szma adja a megjegyzsre sznt szmsorozatot. Ez utbbi versek

fleg sokjegy szm, illetleg hossz tizedes trt szmjegyeinek megjegyzsre al-

kalmasak, amennyiben a szmjegyek kztt nem szerepel nulla.

Minden idk legjobb  a fenti kritriumoknak eleget tev  magyar nyelv pi-

verst Szsz Pl matematikus rta 1952-ben:

3 1 4 1 5 9

Nem a rgi s durva kzelts,

2 6 5 3 5

Mi sztl szig gy kijn

8 9

Betiket szmllva.

7 9 3

Ludolph eredmnye mr,

2 3 8 4 6

Ha itt vgezzk hsz jegyen.

2 6 4 3 3 8

De rendre kij mg tz pontosan,

3 2 7 9

Azt is bzvst grhetem.

A matematikban sok vgtelen trt van, de a pi mindenkit megbabonz. Mert

elbvl, hogy egy rendkvl bonyolult szmban egy olyan vgtelenl egyszer

fogalom rejlik, mint a kr.

2. Eredmnyek

2.1. Az egysgnyi tmrj kr kerlete

Bevezetsknt az egyik legismertebb formula bizonytsa kvetkezik.

Az r sugar kr kerlete:

K = 2r (2.1.1)

Egy kr kr rajzolt egyenloldal rintsokszg, illetve a krbe rajzolt egyen-

loldal hrsokszg kerlete a sokszg oldalszmnak nvelsvel egyre kzelebb

kerl a kr kerlethez, de nem ri el azt.

A sokszg felbonthat egyenlszr, egybevg hromszgekre. Az rintsokszg

mdszervel fogjuk -t kiszmtani.

Kkr = Ksokszg = n a (2.1.2)

Az brn egy egysgnyi tmrj krt lthatunk, amely kr egy rintsok-

szget rajzoltunk.

Brmilyen n oldalszm sokszget vlasztunk, az mindig egybevg egyenlszr

13
14 FEJEZET 2. EREDMNYEK

hromszgekbl ll; pontosan annyibl, ahny oldal a sokszg.

A sokszg kerlete egyenl az egyenlszr hromszgek a alapjainak sszegvel,

ami lthat az brbl. Minl nagyobb a sokszg oldalainak szma annl jobban

megkzelti az sszeg a kr kerlett.

Ha tudjuk, hogy a sokszgnk hny oldal, akkor mr csak az a hosszsgot

kell kiszmolnunk. Majd a-t az oldalak n szmval beszorozva kapjuk a kr

kerletnek kzelt rtkt.

Az a hosszsgot az albbi bra alapjn hatrozhatjuk meg:

a
szemkzti oldal 2 a 1 a 2
tan = = 1 = = =a
2 melletti oldal
2
2 2 2 1

A kr kr rajzolt rintsokszgnek az egyik hromszgbl indulunk ki. Az

brbl kitnik, hogy az egyenlszr hromszg alaphoz tartoz magassga pon-

1
tosan a kr sugara, azaz
2 . Ez a magassgvonal a hromszg szimmetriatengelye
is.

Szmtsainkat a hromszg szimmetriatengelytl jobbra es derkszg hrom-

szgn vgezzk el.

Az brn a derkszg hromszg hosszabbik befogja ismert, 1/2. A hromszg

szgt a kvetkezkppen szmthatjuk ki: a kr teljes, 360 -os szge egyenl
arnyban oszlik meg a sokszget alkot hromszgek

kztt. Azaz = 360 /n,

ahol n a sokszg oldalainak szma.

Az a rtkt a derkszg hromszgekre vonatkoz fggvnyek segtsgvel kap-

hatjuk meg:
2.1. AZ EGYSGNYI TMRJ KR KERLETE 15

a
2
tan = 1
2 2
a
2 a 1 a 2
1 = = =a
2
2 2 2 1

tan = a
2
rtkt behelyettestve:

360 /n
a = tan .
2
Egyszersts utn:

180
a = tan .
n
Ez alapjn szmthatjuk ki az rintsokszg egyik oldalnak hosszt, aminek

felhasznlsval a kr kerlete:

Kkr = n a
180
Kkr = n tan
n

Kkr = n tan
n
Brmilyen nagy oldalszmot is vlasztunk, az rintskszg kerlete mindig

valamivel nagyobb, mint a kr.

16 FEJEZET 2. EREDMNYEK

2.2. Pi irracionlis
Ezt mr az kor legnagyobb gondolkodja, Arisztotelsz (i.e. 384322) is sejtette,

amikor a kr sugarrl s kerletrl azt lltotta, hogy nem sszemrhetk. Br

nem volt matematikus, nagyon rdekelte ez a tudomnyg, amelyre szmos utals

esik mveiben.

Az els bizonytst erre az alapvet tulajdonsgra Johannes Heinrich Lambert

adta 1766-ban.

Az albbi bizonyts 1947-bl, Ivan Niventl szrmazik. Rendkvl elegns egy-

oldalalas bizonyts, mely csak elemi analzist hasznl.

Iwamoto s Koksma is megmutatta, hogy:

2 irracionlis (ez ersebb llts)

er irracinonlis minden r 6= 0 racionlis szmra.

Niven mdszernek gykerei s elzmnyei egszen 1873-ig, Charles Hermite

klasszikus cikkig nylnak vissza, melyben elszr mutatta meg, hogy e transz-

cendens, vagyis hogy e semmilyen racionlis egytthats polinomnak nem gyke.

1 1 1 1
e := 1 + + + + + = 2, 718281828 . . . (2.2.1)
1 2 6 24

Mivel 2 irracionlis volta ersebb llts, ezrt az albbiakban ezt az lltst bi-

zonytjuk.

2.2.1. Ttel. 2 irracionlis.

2.2.1. Bizonyts
a
Tegyk fel, hogy 2 = b a, b > 0 egszekre. Most az

F (x) := bn ( 2n f (x) 2n2 f (2) (x) + 2n4 f (n) (x)I . . . ) (2.2.2)

polinomot fogjuk hasznlni, mely kielgti az

F 00 (x) := 2 F (x) + bn 2n+2 f (x) (2.2.3)

azonossgot.

2.2.1. Lemma. Valamely rgztett n 1-re legyen

xn (1x)n
f (x) = n!
2.3. BUFFON TPROBLMJA 17

1 P2n i
(i) Az f (x) fggvny f (x) = n! i=n ci x alak polinom, ahol a ci egytthatk
egszek.

1
(ii) 0 < x < 1-re s 0 < f (x) < n! teljesl.

(iii) Az f (k) (0) s az f (k) (1) minden k 0-ra egszek.

Bizonyts:

Az (i) s (ii) nyilvnval. Az (iii)-hez vegyk szre, hogy az f (k) k -adik de-

x = 0-ban eltnik, hacsaknem n k 2n, ebben a tartomnyban viszont

rivlt
k!
f (k) (0)
= n! ck egsz. Msrszt f (x) = f (1 x)-bl f (k) (x) = (1)k f (k) (1 x)
minden x-re, ezrt f
(k) (1) = f (k) (0), teht szintn egsz.

A lemma (iii) lltsa miatt F (0) s F (1) egszek. Elemi derivlsi szablyok

alapjn

d  0 
F (x) sin x F (x) cos x = (2.2.4)
dx
F 00 (x) + 2 F (x) sin x =


=
= bn 2n+2 f (x) sin x =
= 2 an f (x) sin x (2.2.5)

gy ezt kaptuk:

Z 1  1
n 1 0
N: = a f (x) sin xdx = F (x) sin x F (x) cos x =
0 0
= F (0) + F (1) (2.2.6)

ami egsz. Tovbb N pozitv, hiszen egy (a hatrokat leszmtva) pozitv

fggvny integrljaknt deniltuk. Ha azonban n-et olyan nagynak vlasztjuk,

an
hogy
n! <1 legyen, a Lemma (ii) lltsbl

an
R1
0<N < 0 an f (x) sin xdx < n! < 1-et kapunk, ami ellentmonds.

2.3. Buon tproblmja

Egy francia nemes, Georges Louis Leclerc, Buon grfja (1707-1788) 1777-ben az

albbi problmt vetette fel:

18 FEJEZET 2. EREDMNYEK

Ha leejtnk egy tt egy vonalas lapra, mi a valsznsge annak, hogy a t ke-

resztezni fog egy vonalat?

A valsznsg a lap vonalainak d tvolsgtl s a t l hossztl fgg, vagyis

inkbb az l/d arnytl. A rvid t szmunkra ld hosszt fog jelenteni. Mssz-

val, rvid t az, ami nem metsz tbb vonalat egyszerre (kt vonalat nulla valsz-

nsggel rint). A vlasz Buon krdsre taln meglep: -vel van sszefggs-

ben.

2.3.1. Ttel. (Buon tproblmja):

Ha egy rvid, l hosszsg tt leejtnk egy egyenl, d l tvolsg kzkkel

vonalazott paprlapra, akkor annak a valsznsge, hogy a t keresztezni fogja
valamelyik vonalat, pontosan:

2 l
p= (2.3.1)
d

2.3.1. Bizonyts (1)

Ebbl az eredmnybl kzelt rtket kaphatunk -re. Ugyanis, ha egy tt N-

P 2 l
szer ejtnk le, s a t P esetben metsz vonalat, akkor
N megkzeltleg d -vel
egyenl, ebbl

2l N
.
d P
A legalaposabb vizsglatot Lazzarini vgezte 1901-ben.

Ha tetszleges hosszsg tt (hosszt vagy rvidet) ejtnk le, a metszspontok

szmnak vrhat rtke:

E = p 1 + p 2 + p3 + . . . ,

ahol
2.3. BUFFON TPROBLMJA 19

p1 annak a valsznsge, hogy a t pontosan egy vonalat fog metszeni,

p2 az a valsznsg, melyet pontosan 2 metszspont esetn kapunk,

p3 a hrom metszspont valsznsge, stb.

Annak a valsznsge, hogy legalbb egy metszspont lesz (ezt krdezi a Buf-

fon problma):

p = p 1 + p2 + p3 + . . .

Megjegyzs. Azoknak az esemnyeknek a valsznsge, amikor a t pontosan a

vonalon fekszik, vagy egyik vgpontja esik valamelyik vonalra: nulla. Ezrt ezeket

az eseteket elhanyagolhatjuk a problma trgyalsakor.

Msrszt annak a valsznsge, hogy a t egynl tbb vonalat metsz, ha rvid:

nulla, p 2 = p3 = . . . = 0 , gy E = p-t kapunk, vagyis a keresett valsznsg p-

pen a keresztezsek vrhat rtke. Ez az tfogalmazs nagyon hasznos, hiszen

kihasznlhatjuk a vrhat rtk linearitst.

Egy l hosszsg egyenes t leejtsekor keletkezett metszspontok vrhat szma

legyen E(l). Ha ez a hossz: l = x + y, s a hossz x els, illetve y msodik rszt

kln vizsgljuk,akkor az

E(x + y) = E(x) + E(y)

eredmnyt kapjuk. Hiszen mindig az els s a msodik rsz sszege lesz a kelet-

kezett metszspontok szma.

A fggvnyegyenletbl, n szerinti indukcival E(nx) = n E(x)-et kapunk minden

n N -re, s ekkor

n   n 
mE x = E m x = E(nx) = nE(x),
m m
vagyis minden r Q racionlis szmra E(rx) = rE(x) teljesl. Tovbb E(x)
monoton, ha r 0, amibl
20 FEJEZET 2. EREDMNYEK

E(x) = c x-et kapunk minden x 0-ra, ahol c = E(1) valamilyen konstans.

Ezen konstans meghatrozshoz ms alak tket hasznlunk. Ha leejtnk egy

egyenes darabokbl ll trttvonal tt, melynek teljes hossza l , akkor a kelet-

kezett metszspontok szma (1 valsznsggel) az egyenes darabok metszspont-

jainak sszege.

Azaz a metszspontok vrhat szmnak ugyancsak az E = cl rtket kaptuk a

vrhat rtk linearitsa miatt.

Megjegyzs. Itt nem szmt, hogy az egyenes darabok rugalmasan vagy mereven
csatlakoznak.

Barbier megoldsnak kulcsa az, hogy egy tkletes d tmrj, x = d hossz-

sg, kr alak tt vett. Ha egy vonalas paprlapra ilyen tt ejtnk, akkor az

minden alkalommal pontosan kt metszspontot eredmnyez.

A krt sokszgekkel lehet kzelteni. gy a kr alak C tvel a lapra ejtnk egy

Pn bert s egy Pn krrt sokszget is. Minden vonal, amely metszi Pn -et, C-t is

metszeni fogja, s minden C-t metsz vonal P n -et is metszi majd. Azaz a met-

szspontok vrhat szma az

E(Pn ) < E(C) < E(P n )

egyneltlensget kielgti. Mivel Pn s Pn is sokszgek, gy mindkt esetben

a metszspontok szma "c-szer a hossz"', mg C-re ez az rtk 2, teht

2.3. BUFFON TPROBLMJA 21

cl(Pn ) < 2 < cl(P n ) (2.3.2)

Pn s Pn is kzelti C-t, ha n . Specilisan

lim l(Pn ) = d = lim l(P n ) (2.3.3)

n n

s gy n -re (2.3.2)-bl

cd 2 cd

2 1
kvetkezik, ami c= d -t ad.

2.3.2. Bizonyts (2)

Bizonyts analzissel!

A tproblma egy (egyszer) integrl kiszmtsval megoldhat. Ehhez elszr

a t meredeksgt vizsgljuk. Tegyk fel, hogy amikor leesik, szget zr be a

vzszintessel, ahol 0 2.

Megjegyzs. Elhanyagolhatjuk azt az esetet, amikor a t negatv szget zr be a

vzszintessel. Ugyanis ez a pozitv esettel szimmetrikus, gy ugyanazt a valsz-

nsget adja.

Az szgben fekv t hossza l sin , s annak a valsznsge, hogy egy ilyen

t az egymstl d tvolsgban elhelyezked vzszintes vonalak valamelyikt met-

szi:
22 FEJEZET 2. EREDMNYEK

l sin
.
d

Teht a valsznsget a lehetsges szgek szerinti tlagolssal kapjuk:

Z /2
2 l sin 2
p = d = R /2
0 d l
d 0 sin d
2 l /2 2 l
= [ cos ]0 = (0 (1)) (2.3.4)
d d

l sin
Hossz tre is ugyanezt az
d valsznsget kapjuk, ha l sin d, vagyis
d
0 arcsin l.

A t nagyobb szgekre azonban egy vonalat mindenkppen metsz, teht a

valsznsg 1. gy l d-re
2.4. AZ EULER-FLE SOR 23

!
Z arcsin(d/l) Z /2
2 l sin
p = + 1d (2.3.5)
0 d arcsin(d/l)
!
Z arcsin(d/l)
2 l /2
p = sin + []0
d 0
 
l 2 arcsin(d/l) d
p = [ cos ]0 + arcsin
d 2 l
r ! !
2 l d 2 d
p = 1 1 2 + arcsin
d l 2 l
r ! !
2 l d2 d
p = 1+ 1 1 2 arcsin (2.3.6)
d l l

2
l = d-re a formula
-t ad, l -ben szigoran n, valamint 1-hez tart, ha l :

2

p = 1+ (1 1 1) arcsin 1

2
p = 1 + (1 arcsin
| {z 1})

2

2 2
p = 1+
| {z 2}
1
2
p =

Ma mr nagyon sok weblapot tallunk, amelyek matematikval foglalkoznak.

Az egyik ilyen lapon

tesztet is futtathatunk arra vonatkozlag, hogy a Buon

tproblma valban a pi kzelt rtkt adja eredmnyl.

2.4. Az Euler-fle sor

P 1 P 1
Tudjuk, hogy a n1 n sor divergens, st mg a pP p sor is.
Viszont a ngyzetek reciproksszege konvergens, s rdekes hatrrtket ad.

2.4.1. Ttel. (Euler sor):

X 1 2
= (2.4.1)
n2 6
n1

http://www.angelre.com/wa/hurben/bu.html
24 FEJEZET 2. EREDMNYEK

Ez az llts Euler egy kalsszikus, hres s fontos ttele 1734-bl. Egyik rend-

kvl fontos kvetkezmnye, hogy a Riemann-fle zta fggvny els nemtrivilis

rtkt, (2)-t adja meg. Ez az rtk irracionlis.

Az eredmnyen kvl a bizonytsok soksznsge is rendkvl rdekes sznfoltja a

matematikatrtnetnek.

2.4.1. Bizonyts (1)

William J. LeVeque szmelmlet feladatgyjtemnyben jelent meg feladatknt az

els bizonyts, 1956-ban. Majd ksbb Tom Apostol jra felfedezte. A bizonyts

az

Z 1Z 1
1
I := dxdy
0 0 1 xy

1
ketts integrl ktfle kiszmtsn alapul. Az elshz az
1xy -t mrtani sorr
fejtjk, szorzatokra bontjuk az sszeadandkat, majd integrlunk:

Z 1Z 1 X XZ 1Z 1
n
I := (xy) dxdy = xn y n dxdy
0 0 n0 n0 0 0

X Z 1  Z 1  X 1  1
1 1
= xn dx y n dy = xn+1 y n+1
0 0 n+1 0 n+1 0
n0 n0
X 1
 
1
 X
1 1
= 0 0 =
n+1 n+1 n+1 n+1
n0 n0
X 1 X 1
= = = (2).
(n + 1)2 n2
n0 n1

A szmts azt is megmutatja, hogy a (pozitv fggvnyen vett, x = y = 1

plus) ketts integrl vges. Meggyelhetjk, hogy az elbbi levezets visszafel

olvasva is egyszer. (2) kirtkelse teht az I ketts integrl kirtkelshez

vezet.
2.4. AZ EULER-FLE SOR 25

I msik kiszmtshoz megvltoztatjuk a koordintkat. Az j kooordintkat

az
y+x yx
u := 2 s a v := 2
kifejezsek adjk.

Az eredeti integrlsi tartomnybl gy kapjuk az jat, hogy az eredeti ko-

ordintarendszert 45 -kal elforgatjuk, majd 2-ed rszre kicsinytjk. gy teht
1

az j integrlsi tartomny egy
2 2 oldal ngyzet.
Behelyettestve x = u v -t s y = u + v -t
1
1 xy =
1 u2 + v 2
addik.

Az integrl talaktshoz dxdy -t 2dudv -vel helyettestjk hogy a koordinta-

transzformci miatti terletfelezdst kompenzljuk (a transzformci Jacobi

determinnsa 2, amire azrt van szksg, mert helyettestses integrlst alkal-

maztunk). Az u tengelyre nzve az j integrlsi tartomny s az integrland

fggvny szimmetrikusak, ezrt a tartomny fels felben ktszer kell kiszmtani

az integrlt, melyet kt rszre vgunk.

26 FEJEZET 2. EREDMNYEK

Z 1/2 Z u  Z 1 Z 1u 
dv dv
4 du + 4 du.
0 0 1 u2 + v 2 1/2 0 1 u2 + v 2
R dx
Felhasznlva, hogy
a2 +x2
= a1 arctan xa + C :

Z 1/2   u Z 1   1u

1 dv 1 dv
I := 4 arctan +4 arctan
0 1 u2 1 u2 0 1/2 1 u2 1 u2 0
1/2   Z 1  
1u
Z
1 u 1
= 4 arctan du + 4 arctan du
0 1 u2 1 u2 1/2 1 u2 1 u2
a kapott rtk.

Az integrlok meghatrozshoz kzvetlenl kiszmtjuk, hogy a

 
g(u) := arctan u
1u2
fggvny derivltja g 0 (u) = 1
1u2
,

mg a
  q 
h(u) = arctan 1u
1u2
= arctan 1u
1+u derivltja h0 (u) = 12 1u
1
2
.

Teht hasznlhatjuk a kvetkez formult:

Z b  b
1 1
f 0 (x) = f (x)dx = f (x)2 = f (b)2 f (a)2
a 2 a 2
s gy

Z 1/2 Z 1
I = 4 g 0 (u)g(u)du + 4 2h0 (u)h(u)du
0 1/2
1/2 1
= 2 g(u)2 0 4 h(u)2 1/2
 
 2  2
1 2 2 1
= 2g 2g(0) 4h(1) + 4h
2 2
 2  2  2
= 2 00+4 =6 =
6 6 6 6

Az Euler sor rtkt ebbl a bizonytsbl egy egyszer koordinta-transzfor-

mcival, integrlssal kaptuk. Hasonl jelleg bizonytst ksbb Beukers, Ca-

labi s Kolk tallt, melyben egy trivilisnak egyltaln nem nevezhet koordinta-

transzformcit hasznltak. Bizonytsuk kiindulpontja az, hogy pros s prat-

P 1
lan tagokra bontottk fel a n1 n2 sort.
2.4. AZ EULER-FLE SOR 27

1 1 1 P 1 1
Az
22
+ 42
+ 62
+ = k1 (2k)2 pros tagok sszege 4 (2), teht a prat-
lan tagok:

1 1 1 P 1
12
+ 32
+ 52
+ = k1 (2k+1)2 a teljes (2) rtk 3/4-t teszik ki.

Teht az Euler sor a pratlan tagokra vonatkoz egyenlsggel ekvivalens:

X 1 2
=
(2k + 1)2 8
k0

2.4.2. Bizonyts (2)

Az els bizonytshoz hasonlan az sszeget egy ketts integrllal fejezzk ki,

mgpedig

Z 1Z 1
1 X 1
J = dxdy = (2.4.2)
0 0 1 x2 y 2 (2k + 1)2
k0

A J integrlt kell kiszmolunk. Beukers, Calabi s Kolk javaslata alapjn a

bevezetett j koordintk:

s
1 x2
u := arccos
1 x2 y 2
s
1 y2
v := arccos
1 x2 y 2
Nem vesszk gyelembe a ketts integrl kiszmtsakor az integrlsi tartomny

hatrt, 0 < x < 1, illetve 0 < y < 1 tartomnyban vizsgljuk x-et s y -t. Ekkor

az u s v az u > 0, v > 0, u + v < /2 hromszgben fekszik.

A koordinta-transzformc explicit inverze a kvetkez helyettestsre vezet:

sin u sin v
x= cos v s y= cos u .
28 FEJEZET 2. EREDMNYEK

Ez a kplet bijektv transzformcit ad meg az S = {(x, y) : 0 x, y 1} egysg-

ngyzet belseje s a T = {(u, v) : u, v 0, u + v /2} hromszg belseje kztt.

A koordinta-transzformci Jacobi determinnsa ezutn

!
cos u sin u sin v
sin2 u sin2 v
det cosv
sin u sin v
cos2 v
cos v =1 = 1 x2 y 2 .
cos2 u cos u
cos2 u cos2 v

Ez azt jelenti, hogy a kiszmtand integrl

Z /2 Z /2u
J = 1dudv (2.4.3)
0 0

1 2 2


alakba rhat, amely egyenl a T hromszg
2 2 = 8 terltvel.

Ugyanez a bizonytsi mdszer alkalmazhat (2k) 2k -dimenzis integrlokkal

trtn kiszmtsra is minden k 1-re.

2.5. Pi nem egyenl 22/7-el

A 22/7 egy racionlis szm, mely szleskrben hasznlt kzelt rtke -nek.
A kzelts az kor ta ismert. Elszr Arkhimdsz bizonytotta, a Measurement

of a Circle cm mvben egy 6 2n szget egy krbe rva s a kr kr rajzolva,

meghatrozta az els szigor megkzeltst arra vonatkozan, hogy a 22/7 fels

becsls. Az n = 4 -re a kvetkezt kapta a kr kerlete s tmrje kztti

arnyra:

10 1
3+ < <3+
71 7
2.5. PI NEM EGYENL 22/7-EL 29

Fibonacci a Practica geomatriae cm knyvben rmutat arra, hogy a rtke

1
nem pontosan 3 , hanem csak kzelt rtke. Fibonacci ismerte Arkhimdsz
7
eljrst, ami nemcsak ebbl a mvbl, hanem egyb munkibl is megllapthat.

Akkoriban mg nem sokat lehetett tudni a -rl, s nagyon sok matematikus sz-

erint ez az arny a pi pontos rtke. A XIV. szzadban Dominicus Parisiensis

a Practica geometriae cm mvben hangslyozza, hogy a 3 17 a kr kerlete s

tmrje kztti arnynak csak megkzelt rtke.

22
Egy lnyegretr, modern bizonyts kvetkezik arrl, hogy a
7 > , mely csupn
alapvet matematikai mdszereket ignyel. A cl nem elssorban az, hogy meg-

gyzzem az olvast arrl, hogy ez az llts valban igaz; ltezik szisztematikus

eljrs rtknek kiszmtsra.

Az alaptlet

Z 1 4
22 x (1 x)4
= dx
7 0 1 + x2
Z 1 4
x (1 x)4 22
0 < 2
dx = x (2.5.1)
0 1 + x 7

22
Ebbl kvetkezik, hogy
7 > .

Rszletesebben:

Az a tny, hogy az integrl pozitv, abbl az lltsbl kvetkezik, hogy pozi-

tv fggyvny integrlja is pozitv. Jelen esetben az integrland fggvnynk egy

trt, a szmll s a nevez is nemnegatv. Nemnegatv vals szmok hatvny-

nak ssszege vagy szorzata szintn nemnegatv.

Mivel az integrland fggvnynk teht pozitv, az integrl 0 s 1 kztt pozitv,

mert az integrls als hatra kisebb mint az integrl fels hatra (0 < 1).

Megmutatjuk, hogy az integrl valban eleget tesz a kvnt felttelnek:

A szmllban felbontjuk a zrjelet, majd az azonos tagokat sszevonjuk. Ezutn

a szmllt bvtjk. gy rendezzk a szmllban lv kifejezst, hogy kiemelst

tudjunk alkalmazni, s gy a nevezben lv kifejezssel azonos rtkeket is kapjunk,

hogy aztn egyszersthessnk azokkal.

30 FEJEZET 2. EREDMNYEK

1
x4 (1 x)4
Z
0 < dx (2.5.2)
0 1 + x2
Z 1 4
x (1 2x + x2 )(1 2x + x2 )
0 < dx
0 1 + x2
Z 1 4
x (1 2x + x2 2x + 4x2 2x3 + x2 2x3 + x4 )
0 < dx
0 1 + x2
Z 1 4
x (1 4x + 6x2 4x3 + x4 )
0 < dx
0 1 + x2
Z 1 4
x 4x5 + 6x6 4x7 + x8
0 < dx
0 1 + x2
Z 1
4x4 + (4x4 + x4 + 5x6 ) + (x6 + x8 ) + (4x5 4x7 )
0 < dx
0 1 + x2
Z 1
4x4 + (5x4 + 5x6 ) + (x6 + x8 ) + (4x5 4x7 )
0 < dx
0 1 + x2
Z 1
4x4 + 5x4 (1 + x2 ) + x6 (1 + x2 ) 4x5 (1 + x2 )
0 < dx
0 1 + x2
Z 1
4x4 5x4 (1 + x2 ) x6 (1 + x2 ) 4x5 (1 + x2 )

0 < + + + dx
0 1 + x2 1 + x2 1 + x2 1 + x2
A kvetkez egyenlet alkalmazhat a szmllban, ezzel az integrl rtkn

nem vltoztatunk.

4x4 = 4x4 4x2 + 4x2 + 4 4

A lehetsges egyszerstseket vgrehajtjuk, majd elvgezzk az integrlst.

1
(4x4 4x2 ) + (4x2 + 4) 4
Z 
4 6 5
0 < + 5x + x 4x dx
0 1 + x2
Z 1
4x2 (1 + x2 ) 4(1 + x2 )

4 4 6 5
0 < + + 5x + x 4x dx
0 1 + x2 1 + x2 1 + x2
Z 1  
4
0 < x6 4x5 + 5x4 4x2 + 4 dx
0 1 + x2
 1
4
0 < x6 4x5 + 5x4 4x2 + 4
1 + x2 0
x7 2x6 4x3 1
0 < + x5 + 4x 4 arctan x (2.5.3)

7 3 3 0

Behelyettestjk x helyre 1-et (arctan(1) = /4) s 0-t, majd kivonjuk ket

egymsbl.
2.6. WALLIS FORMULA 31

gy a kvetkez eredmnyhez jutunk:

1 2 4
0 < +1 +4 (2.5.4)
7 3 3
1
0 < +3
7
1 21
0 < +
7 7
22
0 <
7
22
<
7
22
6= (2.5.5)
7
Teht valban 22/7 > .

Az integrl becslse els zben 1968-ban jelent meg feladatknt a Putnam

versenyen.

D. P. Dalzell 1944-ben mutatta meg, hogy ha x helyre a nevezben 1-et helyette-

stnk, akkor az integrl egy als becslst, mg ha 0-t helyettestnk, akkor egy
fels hatrt kapjuk:

1
x4 (1 x2 )4
Z
1 1
< 2
dx < . (2.5.6)
1260 0 1+x 630
Teht

22 1 22 1
<< . (2.5.7)
7 630 7 1260
Taln nem is ltezik mg egy ilyen szmtsi mdszer becslsre, amely kzel
3 tizedesjegyet ennyire gyorsan s egyszeren kiszmol. Dalzell is gy gondolta.

2.6. Wallis formula

John Wallis (16161703) nagy csodlja volt a grg matematikusoknak, kiadta

Arkhimdsz, Eutociusz, Ptolemaiosz s Arisztarkhosz munkinak egy rszt.

2.6.1. A Wallis formula

A kvetkez egyszer bizonyts, mely Johan Wastlund nevhez fzdik, nem

ignyel semmilyen integrls vagy szgfggvny alkalmazst.

32 FEJEZET 2. EREDMNYEK

Az albbi kplet bizonyts nlkl megtallhat Wallis 1655-ben megjelent Arith-

metica innitorum, sive Nova Methodus... cm knyvben, azzal a megjegyzs-

sel, hogy a kpletet nem a szerz llaptotta meg, hanem egyik bartja, William

Brouncker. Az els bizonytst tbb mint 120 vvel ksbb Euler adta meg.

2 2 4 4
= . (2.6.1)
1 3 3 5 2
(2.6.1) klnbz bizonytsa a legtbb knyvben bizonyos hatrozott integrl

becslsre tmaszkodik, hasonlan mint az

Z /2
(sin x)n dx
0

parcilis integrlsnl. Ez a bizonytsi mdszer a matematikusok szmra sem

egy alapfeladat.

A kvetkez bizonyts clja, hogy megmutassuk, (2.6.1)-t az ltalnos iskolban

tanult matematika mdszerekkel is tudjuk igazolni, gymint: alapvet algebrai

ismeretek, Pitagorasz ttele, az r sugar kr r2 terletkplete.

1951-ben Viggo Brun adott meg egy mdszert Wallis formuljnak kiszmtsra.

1953-ban Yaglom s Yaglom adott (2.6.1)-re egy gynyr bizonytst, mely nem

hasznl integrlst, hanem nhny meglehetsen bonyolult trigonometriai azonos-

sgot.

2.6.2. Egy szmsorozat

A Wallis formult a kvetkez alakban adjuk meg:

2 2 4 4
W = . (2.6.2)
1 3 3 5
(2.6.2)-t felrhatjuk 2 rszsorozat szorzataknt, ahol az egyik rszsorozat tnye-

zi pros szmok, melyek egy nvekv sorozatot adnak (2, 2, 4, 4, . . . ); mg a msik

1, 13 , 13 , 15 ,


rszsorotat tagjai pratlan szmok, s cskken sorozatot alkotnak .

Legyen s0 = 0, s1 = 1, s az n-edik tag:

3 5 2n 1
sn = .
2 4 2n 2
(2.6.2) pratlan szmokbl ll rszsorozata felrhat a kvetkez formban:

2n 22 42 (2n)
= > W,
s2n 1 32 (2n 1)2
2.6. WALLIS FORMULA 33

mg a pros szmokbl ll rszsorozat:

2n 1 22 42 (2n 2)2
= (2n 1) < W.
s2n 1 32 (2n 3)2
Ebbl kvetkezik, hogy

2n 1 2n
< s2n < . (2.6.3)
W W
Megmutatjuk an -re az sn+1 sn klnbsget, s vegyk szre, hogy

 
2n + 1 sn 1 3 2n 1
an = sn+1 sn = sn 1 = = .
2n 2n 2 4 2n
Elszr levezetjk a kvetkez azonossgot:

j+1 i+1
ai aj = ai aj+1 + ai+1 aj . (2.6.4)
i+j+1 i+j+1
Bizonyts:

A behelyettestsek utn

2i + 1
ai+1 = ai
2(i + 1)
s

2j + 1
aj+1 = ji ,
2(j + 1)
(2.6.4) jobb oldala megfelel:

 
2j + 1 j+1 2i + 1 i+1
ai aj + = ai aj .
2(j + 1) i + j + 1 2(i + 1) i + j + 1

Az a20 -tl indulva s (2.6.4)-et alkalmazva a kvetkez azonossgot kapjuk:

1 = a20 = a0 a1 + a1 a0 = a0 a2 + a21 + a2 a0 = (2.6.5)

= a0 an + a1 an1 + + an a0 .

Bizonyts:

(2.6.4)-et minden tagra alkalmazva, az a0 an1 + + an1 a0 sszeg megfelel:

     
1 n1 2 1
a0 an + a1 an1 + a1 an1 + a2 an2 + + an1 a1 + an a0 .
n n n n
34 FEJEZET 2. EREDMNYEK

Az egynem tagokat sszeadjuk, majd a lehetsges egyszerstseket elvgezve

kapjuk: a0 an + + an a0 .

2.6.3. Egy geometriai rtelmezs

Az xy sk pozitv negyedt tglalapokra osztjuk, mgpedig gy, hogy egyenes

vonalakat rajzolunk x = sn s y = sn n-re.

rtkeknl, minden

Legyen adott az Ri,j tglalap a bal als sarknak (si , sj ) koordintival s a

jobb fels sarknak (si+1 , sj+1 ) koordintival. Az Ri,j tglalap terlete ai aj .

Kvetkezskppen a (2.6.5) azonossg felhasznlsval az Ri,j tglalap terlete 1,

ahol i + j = n.

Legyen Pn egy sokszgtartomny, amelyet az sszes Ri,j tglalap alkot, ahol

i + j < n. Ennlfogva Pn terlete n (lsd az albbi brt).

Pn kls sarokpontjai az (si , sj ) koordintj pontok, melyre i + j = n + 1.

A Pitagorasz ttel miatt, egy ilyen pont origtl val tvolsga
q
s2i + s2j .
(2.6.3) miatt ez fellrl korltos a kvetkez alapjn

r r
2(i + j) 2(n + 1)
= .
W W
2.7. SSZEGZS 35

Hasonlan, Pn bels sarokpontjai az (si +sj ) koordintj pontok, ahol i+j =

n. Egy ilyen pont origtl val tvolsga alulrl korltos a kvetkez alapjn

r r
2(i + j 1) 2(n 1)
= .
W W
p
Ezrt Pn tartalmaz egy 2(n 1)/W sugar negyedkrt, sPn benne van
p
egy 2(n + 1)/W sugar negyedkrben. Mivel egy r sugar negyedkr terlete
2
r /4, a kvetkez hatrokat kapjuk Pn terletre:

(n 1) (n + 1)
<n< .
2W 2W
Mivel ez minden n-re igaz, arra a kvetkeztetsre jutottunk, hogy valban:

W = .
2

2.7. sszegzs
A -nek rengeteg formulja ltezik az egyszertl a rendkvl komplikltig, a-

hogyan azt lthattuk az eddigi pldk alapjn is. Nem az volt a dolgozatom

clja, hogy bemutassam a sszes formuljt, hanem, hogy nhny rdekes s

egyszerbb formulval rszletesen foglalkozzunk.

letnk sorn brmerre tereldik is a gyelmnk, mindig elnk kerl valamilyen

formban a . Egy gumigyr gmb alak butntrol-tornyaiban (azrt gmb

alak, mert az sszes azonos felletnagysg testek kzl a gmbnek van a leg-

nagyobb trfogata) ppgy jelen van, mint egy egyszer kerkben, vagy a termels

gpestsre s automatizlsra szolgl legbonyolultabb berendezsekben.

Mindennapjaink rszv vlt teht ez a klnleges szm, mg akkor is, ha megfeled-

keznk rla.
Irodalomjegyzk

[1] Martin Aigner and Gnter M. Ziegler. Bizonytsok a knyvbl. 2004.

[2] L. Berggren, J. Borwien, and eds P. Borwien. Pi: A source book. 1997.

[3] F. Beukers, J. A. C. Kolk, and E. Calabi. Sums of generalized harmonic series and

volumes. 1993.

[4] Florica T. Cimpan. A pi trtnete. 1971.

[5] http://en.wikipedia.org.

[6] http://www.ep.liu.se/ea/lsm/2005/002/lsm05002.pdf.

[7] http://www.maths.ex.ac.uk/ rjc/etc/zets2.dvi,ps,pdf.

[8] http://www.mathworld.wolfram.com/Pi.html.

[9] H. S. Zuckerman I. Niven. Bevezets a szmelmletbe. 1978.

37