Matematikatrtnet

Pej Balzs
1.

kori matematika

1.1. Elzmnye
Egyiptomi s mezopotmiai civilizcik mezgazdasghoz szksges ntzshez, naptrksztsre csillagszati matematikra volt szksg. A papok
mveltk e tudomnyt. A piramisok ptshez sk- s trtani ismeretekre
volt szksg, pldul a csonkagla trfogatra(V = 31 m(a2 + b2 + ab), ahol
a s b az alapuk hossza, mg m a csonkagla magassga), mely a moszkvai
papruszokon maradtak fent. Pi-re a (4/3)4 3, 16 rtket hasznltk, mely a Rhinden papiruszokon maradt fent. A babiloniaiak ismertek egy
hatkony eljrst a gyk keressre : xn+1 = 12 (xn + /xn ), ahol gykt
keressk, s x0 tetszleges.

1.2. Szmrs
Summrok

60-as szmrendszert hasznltak, s ismertk a tizedestrt eldjt. Szmjegyek helyett szmjeleket hasznltak, nem ismertk a nullt.

Grgk

ABC els 10 betje 1-9, kvetkez 10 bet 10-90 ig, miutn krbertek,
ellrl kezdtk a bet el egy vesszt tve.

1.3. Grg geometria

Rjtterk, hogy szksg van bizonytst nem ignyl aximk beveze-

tsre, s ezekbl a tteleket be kell bizonytani.

Thalsz (kb. i.e. 585) : els volt, aki komondott, s be is bizonytott

tteleket, rla kapta a nevt az a ttel ,mely azt mondja ki, hogy a
flkrv tmrjbl a flkrv brmely pontja derkszgben ltszik.

Pthagorasz (kb i.e. 550) : A rla elnevezett ttel azt mondja ki, hogy

a dergszg hromszg befginak a ngyzetsszegnek a gyke az

tfog. A hrhossz, s a zenei harmnia kztti sszefggst fedezte
fel. Az egyik szrevtele, hogy ha egy hrt megfeleznk, akkor ktszer
nagyobb rezgsszm hangot ad, mely egybehangzik az eredetivel.
1

 Platn (i.e. 427-347) : oktatja Theaitosz (kb 414-369), aki felfedezte

a 4. s 5. szablyos polidert, azaz az okta- s ikozadert.

Eudoxosz (kb i.e. 410-355) : Megalkotta az els kozmikus modellt.

Euklidsz (kb i.e. 300) : F mve az elemek, mely a geometria axima-

tikus felptst is tartalmazza. Mr is tudta, hogy a prhuzamossgi

axima klnbzik a tbbitl.

Apollonisz (i.e. 262-190) : Az kor legnagyobb geomtere, a kpszeletekkel foglalkozott. ttele az y 2 = 2px fekv parabola fels gnak x0
beli rintje y tengelyt y0 /2-ben metszi.

1.4. Szmelmlet
Ezeket mint tartalmazza az Elemek :
x2 = 2 megoldsa nem rhat fel kt szm hnyadosaknt.
vgtelen sok prm van
a pitagoraszi szmhrmasok a kvetkez alakak : x = 2mn, y = m2
n2 , z = m2 + n2 , ahol m>n, klnbz paritsak.
p = 2n+1 1 prm, akkor p2n tkletes.

1.5. Grg analzis

Znon (i.e. 460) : 4 hres paradoxona kzl az egyik : hiba fut ktszer

gyorsabban Akhilleusz mint a teknsbka, soha nem ri utol. E a vgtelen sor sszegt kiszmtva megolddik, melyet a 17.sz.-ig nemtudtak.

Eudoxosz : egy kr kerlete az tmrje ngyzetvel arnyos.

Arhimdsz (i.e.287-212) : A grg matematika cscsa

 az egysgsugar krbe rt szablyos n illetve 2n oldal sokszg fl

oldalhosszai kztt a kvetkez rekurzi rvnyes:
s

a2n =

1 a2n
, A2n =
2

1 + A2n 1
An

E kzelts a 96 oldal szablyos sokszg hasznlatval ezt a becs10

lst adja : 10
71 < < 70
 Legyen rn , Rn egy n-oldal szabyos sokszgbe rt s krlrt krnek sugara. Ekkor a ugyanekkora kerlet, duplaannyi oldal
sokszgre az albbi igaz:
r2n =

p
rn + Rn
, R2n = Rn r2n
2

 R sugar flgmb trfogat az R sugar, R magassg henger trfogatnak 2/3-ada.

 a cos grbe alatti terlet [0,x] szakaszon pp sin(x).
ismertk a szgfggvnyeket, s az adicis tteleket, melyek segtsgvel
kiszmoltk a cos(0.5), mely segtsgvel rtket kaptak a tbbi szghz

is.

1.6. Hanyatls
Kls okai : vrosllamok sztesse, rmai birodalom terjeszkedse
Bels okai : nem hasznlhattak vltozkat, mert a szmokat is betk

jelltk. Nem ismertk a negatv szmokat.

2.

Kzplori matematika

2.1. Kna
Hasonl a matematikjuk a mezopotmiaiakhoz az, valsznleg az ntzses gazdlkods maitt. J kzeltsdel ismertk a -t( 355
113 ). A knai maradkttel, s a Horner-mdszer is ttk szrmazik. A pascal hromszget
is ismertk, de az Eurpai matematikra semmilyen hatst nem gyakorolt,
mivel mire a felfedezs eljutott oda, addigra mr a Nvadik is kitalltk
azokat.

2.2. India
Brahmagupta (kb 682 krl) lt indiai matematikus, ki ismerte a Heronkpletet, de hibsan ltalnostotta azt ngyszgekre(hrngyszgekre igaz).

2.3. Hindu szmok

Arabok ltal kitallt szmokat hasznlunk napjainkban is, mely a 7.sz.ban kezdett megjelenni indiban, ksbb majd arab kzvettssel eurpban
is. Ellnye, hogy az els 9 szm egyjel, s egymsmg rva knnyen lltalnosthat.

2.4. Iszlm
Az arab hdtsoknak ksznheten ismertk meg az arab szmokat, s
nekk ksznhet, hogy az kori rsokat lefordtottk, hogy fenntmaradhassanak. Euklidsz Elemek cm mvt maga II. Szilveszter ppa is fordtotta,
ki Istvnnak koront kldtt. Al-Hvrizmi, arab matematikus, kinek a nevbl alakult ki a mai algoritmus sz. Algebrt problta kialaktani, a knyve
3

cmbl ered az algebra sz. Al-Ksit hasznlta elszr a tizedestrteket,

mely segtsgvel az eddigieknl a legpontosabb becslst adta a -re. A kzelt ngyzetgykvonsi eljrsa a binomlis ttel eldjnek tekinthetjk.
Vgl, megjelent a zrus.

2.5. Eurpa
Sorra alakultak az egyetemek. Leonardo Pisano (Fibonacci, kb 11801250), aki az arab vilgban tanult, kitn tanknyvet rt, mely npszer
lett, mert nagyon megknnytette a szmolst, de ksbb betiltottk, mert
alkalmazsvan knny volt hamistani a knyvelst. A rla elnevezett szmokat egy nyulas szaporods pldvalvezette be. A logaritmus felfedezse
eltt a szorzst addicis ttelek segtsgvel rtk t sszeadss. Kt pspknek, Bradwardine (1290-1349), s Oresme (1323-1382) -nek ksznhetjk
a logaritmust, kik zikai ton, a sebessg, az er, s az ellenlls kzti sszefggssel az albbi kpletre bukkantak (hibsan) :


xv = xV

F
R

x 

F2
,
=
R2

F1
R1

 v2
v1

Oresme igazolta, hogy a termszetes szmok repiproksszege divergens.

3.

jkori matematika kezdete

Ekkor volt a renesznsz, az egyhzi kultra melett megjelent a vilgi,

fejldtt a kzmvessg, kereskedelem, megjelentek az llamok, Guttemberg
feltallta a knyvnyomtatst, Kolombusz felfedezte amerikt, Magelln krbehajzza a fldet.

3.1. Harmadfok megoldkplet

Girolamo Cardano (1501-1576), olasz matematikus tallta meg a megoldst. A ngyzetes tag egy helyettestssel kikszblhet (x = y
a/3), st, elg az x3 + ax = b egyenletet vizsglni. A megolds kulcsa

a szimmetriban rejlik, azaz x=v-u. Az esetsztvlaszts miatt be kell

2
3
vezetnnk a diszkriminnst : = b4 + a27 . Ekkor, ha ez pozitv, akkor
az egyenletnek egy vals, s kr komplex gyke van, < 0 esetn pedig mind a 3 gyk vals. Ekkor mg a komplex szmok s az algebra
alapttele bvebb trgyalsa mg vrat magra. Cardanorol neveztk
el a kardncsuklt is.

A harmadfok megoldokpletet felhasznlva Ludovic Ferrari (1522-

1566) mr knnyen beltta azt negyedfokra. Az tdfok egyenlet

megoldhatatlansgnak a bizonytsa mg vratott magra.
4

 Francois Viete (1540-1503) volt az els, aki kvetkezetesen megkln-

bztette a paramtereket a vltozktl(magnhangz : vltoz, mssalhamgz : paramter). szrevette az eggytthatk, s a megoldsok

kzti sszefggst. Visszavezette a 3-adfok egyenletet szgharmadolsra : x3 + ax + b = 0 egyenlet a 4y 3 3y = c alakra hozhat. TFH.
|c|<1. y = cos() helyettestssel, s az addicis ttelek segtsgvel
cos(3) = c-t kapjuk. Viete legltvnyosabb geometriai felfedezse, a
binomilis ttel elfutra :
sin(nx) = n cosn1 (x) sin(x)

n(n 1)(n 2)
cosn3 (x) sin3 (x) + . . .
123

Albert Girard (1590-1939) kimondta az n-edfok polinom gykei s

eggytthati
kztti sszefggseket. Megtallta az n-edfok, szimmetP
P
rikus ( ai z i ) a megoldsi mdszert rekurzi segtsgvel(sr = zir ) :
an sn + . . . + a0 smn = 0, ha m>n, egybknt an sm + . . . + anm+1 s1 +
manm = 0

Rene Descartes (1599-1650) felfedezte, hogy ha egy pn -nek gyke az a,

akkor ltezik olyan pn1 -edfok polinom, melyre : pn = (x a)pn1

3.2. Logaritmus
Szorzatot tudtak sszegg bontani, de osztst mg nem. John Napier

(1550-1617) s Jobst Brgi (1552-1632) egymstl fggetlenl fedeztl fel. MIvel nem mindenhol a 10-es alap szmrendszert hasznltl
(pl nagybritannia),gy egy sszefoglal tblzat sokig vratott magra.
Vgl, hasonl mdszerrel mint a grgk a szgfggvnyeket, ksztettek egy logaritmustblzatot. Napier nem jutott el az e szmig, mert
meglt a n = 107 -nl. Felrt egy mozgsegyenletet : x0 = x.

Jakob Bernoulli (1654-1705) heurisztikus bizonytst adott az e(x) =

lim(1 + nx )n hatrrtk ltezsre. Tulajdonsgai :








e(1)=e
e(x)>0
e(x)e(y)=e(x+y)
e(0)=1
e(-x)=1/e(x)
e'(x)=e(x)

3.3. binomilis ttel

n

(1 + x) =

n
k

!
k

x ,

n
k

n1
k1

n1
k

Vratlan kapcsolat a kombinatorika

s az algebra kztt. Pascal hasznlta
P
elszr a teljes indukcit. Snr = kr = az els n szm r-edik hatvnysszege.
Pascal beltta az albbi egyenletet is :
X

r+1
j

Snr+1j = (n + 1)r+1 (n 1)

3.4. Szmelmlet
Marin Mersenne (1588-1648) -rl elnevezett prmek (Mp = 2p 1)

miatt rdekes, illetve sejtseiben meglepen kevs hibt vtett.

Fermat kt ttele :

 kis fermat ttel : p prm, akkor minden a esetn ap a oszthat

n
p-vel. Fermat prmek : Fn = 22 + 1, mely n=5-re mr nem prm.
 x4 + y 4 = z 4 egyenletnek nincs termszetes megoldsa.

Utobbit llts n-re a felrmat sejts, melyenek tudta a bizonytst(rosszul),

de mivel nem frt ki a margra, nem rta le.

3.5. Koordintageometria
Descartes mutatott r elszr, hogy a geometriai problmk gy mdon
algebraiv tehetk. Descartes nem kzlte a pontos analzisbeli httert elmletnek, hogy ms azt ne tulajdonthassa magnak. Levelezs utjn terjedtek a jellsek,felfedezsek.

3.6. Elemi analzis

Egy xa hatvnyfggvny x pontbeli rintjnek meredeksge axa1 .
Fermat a kvetkezt lltotta : a < b, 6= 1. Ekkor x alatti eljeles
terlet a-b kztt : (b+1 a+1 )/( + 1).
Az
= 1 esetet G. Saint-Vincent (1622-1647) ltta be, azaz hogy :
R x 1
t
= log(x). szmolta ki a vgtelen tag hatvnysor sszegt is.
1
4.

Kalkulus

A grgk ismertk a kpszeletek rintit, s az alattuk lv terletet.

Fermat a polinomoknak tudta ugyanezen fggvnyeit. Newton dinamikus
zikai feladatok rvn, mg Leibniz gondokodssal jutott ugyanarra az eredmnyre.

4.1. Derivls
Vgtelen kicsi mennyisgek mr nmagukban ingovnyos talajt kpeztek,
nemhogy a hnyadosuk. Ekkoriban gy fogtk fel, hogy y nem x-tl fgg,
hanem mindkett az idtl, gy a meredeksg mindkt irnyba val elmozduls hnyadosa, azaz dy/dx. Mind Newton, mint Leibniz kidongozta azt
a szablyrendszert, amit ma is tanulnak az egyetemeken. Ismertk a lncszablyt. Newton binomilis ttele:
(1 + h)a = 1 +

X a(a 1) . . . (a k + 1)
X f (k) (x0 )
hk f (x0 + h) =
hk

k!

k!

Ekkoriban merlt fel az interpolci fontossga is(osztott diferencik mdszer), s e sort talaktva, s h-val a 0-ba tartva kapta Brook Taylor (16851731) a rla elnevezett interpolcis polinomot, ahol mg konvergencival
nem trdtek. Pontosabban f (x) = f (x + b) f (x)
k f (x) = k1 f (x + b) f (x), s
f (a + h) =

X h(h b) . . . (h (k + 1)b)

k!bk

k f (a)

4.2. Integrls
Fermat mr ltta a derivls s az integrls kztti sszefggst, de csak
polinomokra. Leibniz s Newton ezt az eredmnyt ltalnostotta azzal, hogy
a grbe alatti terletet a kvetkezkppen denilta:
Z b

f (x)dx =
a

m
X

fi xi , fi [f (xi ), f (xi+1 )], a = x0 < . . . < xm = b

Ekkor beszlhetnk a Newton-Leibniz ttelrl, azaz ha f folytonos a kortos

[a,b]-n,
s itt megegyezik egy msik fggvny rintivel(F'(x)=f(x)), akkkor
Rb
f
(x)dx
= F (b) F (a). A szorhatfggvny integrlsra parcilis, mg a
a
lncszably helyett a helyettestse integrlst hasznltk. Leibniz eggyik f
eredmnye a kzeltse vgtelen sorsszegel, de ez nagyon lassan konvergl.

4.3. Alkalmazsok
A gykkeressi algoritmusoknl a Newton mdszer a rinttulajdonsgot
hasznlja, azaz xn+1 = xn (f (xn ))/(f 0 (xn )). Ekkriban kezdik megemlteni
a dierencilegyenleteket, ahol nem csak vltozk, hanem azok derivltjai is
szerepelnek. Leibniz ttele a sztvlaszthat
esetrl : x0 (t)R= g(t)h(t), akkor
Rx
az x0 = x(0) kezdeti rtkkel a megolds : x0 1/h()d = 0t g( )d . A logaritmusfggvny inverzvel nem foglalkoztak vgtelen soros formban. Newton 1687-ben publiklta a Principit, els knyvt, mely szmos trvnyre ad
magyarzatot, tbek kztt igazolja Kepler els trvnyt, s meghatrozza
a kozmikus sebebesget(amivel el lehet hagyni a fldet).
7

4.4. Prioritsi vita

Newton a fnyelmletes felfedezsei rvn publiklt elszr, amikor is
sszetkzsbe kerlt Hooke-kal, gy ezekutn kevesebet publiklt. Habr
elbb tallta ki a kalkulus elmlett mint Leibniz, de jobb jellseket hasznlt. Leibniz Pascal szmologpe tkletestsrt tagja lett a Kirlyi trsasgnak, ahol ismerkedett meg Newton mveivel. A kt tuds hvei kezdemnyeztk a vitt, ahol Newton jtt ki gyztesknt.
5.

Mtrixok

5.1. Lineris eggyenletek

Mr az korban foglalkoztak tbbismeretlenes eggyenletredszerekkel. Cardano mr 1545-ben megfogalmazta a 2 2-es mtrixokra a Cramer-szablyt,
melyet a nvad, Gabriel Cramer (1704-1752) lltalnost n n-es mtrixokra. A determinns denicijt egy japn, Szeki Takakazu (kb 1642-1708)
mondja ki. A dupla index jells is Leibniztl szrmazik. Nem mint nnll tdomny, hanem mint eszkz, a tbbi feladat megoldsa jtt ltre, gy
a fejldse lasabb. Louis-Joseph Lagrange (1736-1813) vette szre, hogy 3
dimenzis trben az oszlopok lltal kifesztett paralelepipedon trfogata a
determinns. Gauss szabadosan kikszbls mdszerval mindegyik megoldst megkaphatjuk, a Cramerrel ellenttben. Mg kortrsai mr anyanyelvkn, Gauss mg latinul publiklt. Mint oly sor mst, ezt a tmakrt is
Augustin-Cauchy (1789-1857) fektetette biztos denicis alapokra.

5.2. Lineris dierencileggyenletek

Leonard Euler (1707-1783) lltalnostotta a dierencil eggyenleteket

magasabbrendv, Jonatak Bernoulli (1667-1748)-val, Jakob ccsvel a

lehajl rd kihajlsnak problmjrl jutott el egy negyedrend egyenlethez. Hatvnysoros mdszerrel eljutott 4 megoldshoz, de csak
ksb
P
ltta kztk meg az sszefggst, nevezetesen, hogy x(n) = Pak x(k)
homogn linris dierencilegyenlet lltalnos megoldsa n = ak k ,
karakterisztikus
egyenlet gykeibl(
) a kvetkezkppen addik :
P
P k j
x(t) =
k ek t , ahol x(j) (0) =
k k . Azt is szrevette, hogy ha
multiplicits van a karakterisztikus polinom gykei kztt, akkor az
ahoz tartoz megoldsokat meg kell szorozni rendre 1, t, t2 , . . .-al.

Lagrange a tbbvltozs elsrend dierencilegyenletekkel foglalkozott, nevezetesen P

az x0 = M x egyenletnek az x(t) = eM t x0 a megoldsa, ahol eM t = M k tk /k!. Ez az eredmny vezetett el a sajtrt-

kekhez, illetve a sajtvektorokhoz, azaz, hogy hogyan lehet egy mtrixot gyorsan hatvnyozni. Ezek ismeretben az x0 = M x egyenletmeg8

oldsa n dbPlinerisan fggetlen sajtvektor esetn x(t) =

ahol x0 = vk k .

k vk ek t ,

A nem homogn esettel D'Alembert foglalkozott : x0 M x = g egyelnet

megoldsai legfeljebb a homogn megoldsban klnbzhet egymstl.

5.3. Lineris algebra

Homogn lineris transzformci : tkrzs, nyjts, forgats.
Hasonlsgi transzformcit elszr Cauchy hasznlt.
Artur Cayley (1821-1896) denilta az m n-es mtrixokat, s meg-

mutatta, hogy a kvadratikus alakok ennek specilis esete. Bevezette a

mtrixalgebra, a mtrixmveleteket, s az inverz fogalmt is. CayleHamilton : minden ngyzetes mtrix kielgti a karakterisztikus polinomjt. A bizonytsban megelgednek az n=2 esettel.

A mtrix rangjt James Sylvester (1814-1897) denilta.

A vektortr fogalmt Leibniz sugallta, de a cikk halla utn jelent meg.

Hamilton rt az n-dimenzis vektorterekrl. A komplex szmokat, mint

vals test feletti ktdimenzis vektorokat rta le, de f cljt, a komplex szmok hromdimenzis ltalnostst nem rte el. Ezzelszemben
ngydimenzis szmokat tallt, az ugynevezett kvaternikat(i2 = j 2 =
k 2 = ijk = 1). Az lett ezeknek, a nemkommutatv testnek szentelte
ezutn.

Hermann Gnther Grassman (1809-1877) kzpiskolai matematikata-

nr mr vektorokkal rta le a mechanika egyenleteit, s expliciten rgztette a vektorsszeads kommutativitst s asszociativitst. Azonban a hrnv csak ksbb jtt el, amikor mr sikeresen foglalkozott
okortudomnnyal, gy nem rdekelte az elismers.

6.

Variciszmts

Mr az korban is foglalkoztak optimalizlsi feladatokkal, tbbekkztt

az izopermetikus feladattal(adott kerlet skidomok kzl melyik a legnagyobb terlet).
Euklidesz is tudta mr, hogy a tkrbe bees-, s visszaverdsi szge

ugyanannyi. Heron felismerte, hogy a trgy s a kp kztt a tkrt

rint fny tja minimlis.

Snellius s Descartes azt vettk szre, hogy a leveg s a vz hatrfe-

lletn a beessi szgek szinusznak hnyadosa lland. Fermat felfedezte, hogy ebben az esetben is rvnyes a minimum elv, csak az idre
9

: inhomogn kzegben kt pont kztt a fny a legrvidebb tplyn

terjed(Fermat-elv[Leibniz els kalkuluscikkben pont ezt bizonytotta
be az eddigieknl sokkal egyszerbben]). Fermat azt is tudta, hogy
konvex tkr esetben a leghosszabb utat vlasztja a fny, azaz mindig
valami szlsrtket.
Newton oldotta meg az els igazi varicifeladatot a Principiban : me-

lyik forgstestnek van a minimlis kzegellenllsa, ha a forgstengely

irnyba haladunk.

Brachisztochron feladat : homogn nehzsgi ertrben kt pont k-

ztt melyik a leggyorsabb lesiklst biztost grbe? A feladatot mg

Galilei tette fel, s a negyedkrt adta meg vlasznak. Johann Bernulli
megtallta az igazi megoldst, s tett egy felhivst, hogy ki tudja mg
megoldani. Newton, Jacob Bernoulli, Leibniz s l'Hopital oldotta mg
meg(a megolds a ciklois).

Johann Bernoulli vetette fel a geodziai felletek legrvidebb plyinak a

problmit tantvnynak, Eulernek. Euler megfogalmazta a variciszmts alapfeladatt,
s megoldotta a legltalnosabban vett izopermetikus felR
adatot : 0x f (x, y(x), y 0 (x))dx max. Euler a Bernoulli-fle diszkretizcis eljrst hasznlva felfedezte a variciszmts alapttelt, melyet Lagrange bizonytott : fy0 (x, y, y 0 ) = (d/dx)fy0 0 (x, y, y 0 )(Euler-Lagrange dierencilegyenlet).

6.1. Kapcoslatok
A kt testvr Johann s Jakob(13 vvel idsebb) Leibniz melett ltak

a prioritsi vitban. Amikor a atalabbik a bttya babrjaira trt,

a btty fltkenysgbl megproblt minnl tbb rszt kihastani ccse
sikereibl. Johann a, Daniel rt egy munkt a hidrodinamikrl, de azt
ksi publiklsa miatt megproblta apja a magv tenni, de ezzel a
lpssel sajt eredmnyeit sem ismertk el.

Lagrange s Euler lelkesen leveleztek, s Euler tadta a publikls lehe-

tsgt Eulernek a variciszmtssal kapcsolatban. Egytt kidolgoztk a zikai varicis elvet, mely Newton ertrvnyeit lltalnostja.
Voltaire azonban rosszakat rt Eulerrl.

7.

Kalkulustl az analzisig

A kalkulust nagy kritika rte, mert homlyos fogalmakkal dolgozott, a

gondolatmenetei zavarosak voltak.

10

7.1. Euleri heurisztika

Pietro Mengoli (1625-1686) fogalmazta meg a krdst a termszetes szmok reciproksszegrl, melyet Euler bizonytott, hogy 2 /6, br ez a bizonyts hagy maga utn kivetnivalt. Ksbb, sokan indultak el ezen a heurisztikus ton, majd sikerlt is bebizonytania sin fggvny Taylor-sorval,
azazhogy a termszetes szmok 4 reciproksszege 4 /90.

7.2. Fggvnysorok
A rezg hrt ler parcilis dierencilegyenletek : 2 y/t2 = a2 2 y/x2 ,
ahol a peremfelttelek y(t, 0) = y(t, l) = 0, ahol l a hr hossza, s
f (x) = y(0, x), yt0 (0, x) = 0. d'Alambert tallt egy megoldst, Euler

ebbl egy msikat(Daniel Bernoulli Euler megoldst lltalnostotta,

felfedezte, hogy nem csak folytonos fggvnyre svnyes a formula).
Euler egy j fejezett nyitotta meg ezzel az analzisnek.

Ezt az eredmnyt felhasznlva Joseph Fourier (1768-1830), a hvezets

parcilis difegyenlett tanulmnyozva felfedezte a fourier-sorokat, mely

bizonytst igencsak hinyosan hagyta. Euler kiszmolta a fouriereggytthatk rtkt f-tl fggen.

Niels Abel (1802-1829) beltta, hogy ( x)/2 =

sin(kx)/k , ha
[0, 2]-n nzzk, de ms eredmnyre jutunk a [, ]-n. Abel arra is rP

jtt, hogy ha egy hatvnysor konvergl r-ben, akkor [-r,r]-en is. Azt hittk, hogy folytonos fggvnyek hatrrtke is folytonos. Cauchy adott
elszr elfogadhat denicit a folytonossgra.

Lejeune Dirichlet (1805-1859) azt lltotta, hogy ha f vges monoton

szakaszbl ll, akkor a fourier sora konvergl hozz. Az egyenletes

konvergencia(N : n > N, |fn (x) f (x)| < ) denicijt s szksgessgt, habr Karl Weierstrass (1815-1897) is tudta mr, Philipp
Seidel (1821-2896) publiklta csak, s j idbe telt, mire elfogadtk.
Seidel azt is lltotta, hogy ha fn egyelnletesen konvergl, akkor f folytonos.

Eduard Heine (1821-1881) igazolta, hogy az egyenletesen konvergen

fggvnyek fourier sora eggyrtelm. Gastton Garboux (1842-1917) pedig, hogy egyenletes konvergencia esetn a fggvnysor tagjai egyenknt derivlhatak. Cesare Arzela (1847-1912)-nek sikerlt arra az esetre
lltalnostania, amikor a hatrfggvny Riemann-integrlhat.

Marc-Antoine Parseval (1755-1836) jtt r, hogy 1/ 02 f 2 = 2a20 +

P 2
(ak + b2k ). aul du Bois-Reymond (1831-1883) megmutatta, hogy vanR

nak olyan folytonos fggvnyek, melyek fourier sorai vgtelen sok pontban diverglnak. Fejr Lipt (1880-1959) beltta, hogyha a fourier sor
konvergl, akkor maghoz a fggvnyhez konvergl.
11

7.3. Hatrrtk
Cauchy vezette be a derivltat, mint dierencilhnyados rtkt.

hozta aklap al a hatrozott integrl fogalmt, melyet Bernhadr Riemann (1826-1866) lltalnostott folytonos fggvnyekrl tetszlegesre.
Cauchy szabatosan denilja a hatrrtket, mg Weierstrass mr a
mai, -os denicival. Cauchy visszatrt a grg szigorhoz, denicittel-bizonyts ala fogalmakhoz.

A vals szmok fogalmt Georg Cantor (1845-1918) s Richard Dedek-

ind (1831-1916) denilta helyesen: akrhogy osztjuk kett a racionli s

szmok halmazt, gy, hogy A beliek kisebbek legyenem a B belieknl,
ha A nak van legnagyobb, vagy B nek legkisebb eleme, akkor a vgs
racionlis, egybknt irracionlis. Az gy modon denilt vals szmok
testet alkotnak.

Arhimedeszi tulajdonsg : midnen x,y szmhoz ltezik olyan n, hogy

nx>y, ahol midne a 3 szm pozitv. Bernhard Bolnazo (1781-1848)

volt az els, aki sehol sem derivlhat, folytonos fggvnyre pldt
mondott. Henri Poincare (1852-1912) s Charles Hermite (1822-1901)
azt mondta, a mai matematikusok nem azrt tallnak ki fggvnyeket,
hogy egy problmt megoldjanak, ahnem az eldjeiket cfoljk.

Dirichlet fggvnye, majd ksbb a Brown mozgs(atomok, s a tzs-

dei rfolyamok mozgsnak lersa) is sehol sem dihat, folytonos

fggvny. Abraham Robinson (1918-1972) megalkotta a nemszetenderd
analzis axiomarendszert, melytl sokat vrtak, de nem vltotta be a
hozz fztt remnyeket.

8.

Komplex

A harmadfok egyenlet megoldokpletben mr megkerlhetetlenl meg-

jelennek a komplex szmok, de a szabatos trgyalsukig az 1800-as

vekig vrni kelett.

Bomelli felfedezte, hogy a mveletek tovbbra is rvnyesek maradnak,

s disztributvak.

d'Alembert beltta, hogy z w szintn a+bi alakban irhat fel.

Girard mr 1629-ben felfedezte a negatv szmegyenest, de a komplex

szmskot csak ksbb, kt amatr matemaikus, Caspar Wessel (17451818) s Jean Robert Argand (1768-1822) fedezte fel.

De moviere, habr konkrtan nem rta le, utalt a kvetkez rvnyes

kpletre : z n = rn (cos(n) + i sin(n)).

12

 Amg nem lttk gyakorlati hasznukat a komplex szmoknak, elg k-

lns dolgot magyarztak beljk, Leibniz maga istent ltta bennk.

8.1. Fggvnytan
A logaritmus rtelmezse jelentett csak igazi kihvst, amin Johann

Bernoulli s Leibniz sokat vitatkoztak, hogy log(x<0)=vals (Ber.)

vagy komplex(LE.). A hallukig senki nem adott r megoldst, majd
Euler felfedezte, hogy log(1) = i(2k + 1). Euler az exponencilis
fggvny hatvnysorbl rjtt, hogy ei = cos() + i sin() ei =
1. Ezt heurisztikusan Newton trsa, Roger Cotes (1682-1716) is ismerte.

Alexis Claude Clairaut (1713-1765) (x,y) skbeli erteret modellezett,

s szrevette, hogy ha az energia megmarad, pontosan fggetlen a

munka integrlja az ttl, ha P = f /x, Q = f /y P/y =
Q/x. d'Alembert ugyanerre jutott plusz egy felttellel : =0.

f holomorf, ha lim(f (z+h)+f (z))/h ltezik. Euler rjtt, hogy rdemes

kln foglalkozni a kpzetes, s vals rsszel, gy kapta meg a Cauchy

s Riemann a rluk elnevezett egyenleteket : du/dx = dv/dy, dv/dx =
du/dy ahol f (x + yi) = u(x, y) + iv(x, y).

Cauchy tovbbi eredmnye, hogy regulris tartomnyon zrt grbe in-

tegrlja zrus, amibl kvetkezik hogy a vonalintegrl rtke fggetlen

az ttl.

analitikus egy fggvny, ha midnen pontja krl sorba fejthet. Ca-

uchy:midnen dihat fggvny analitikus.

fourier-transzformci:
R
(x) =

itx
e f (x)dx

F (s) =

st dt
0 f (t)e

laplace-transzformci:
R
Simeon-Denis Poisson (1782-1840)
szrevette, hogy fordtva is igaz,
R a+i
azaz hogy f (s) = 1/2i ai
F (t)est ds, ahol a elg nagy vals szm.
Algebra alapttelt Gauss mondta ki, s bizonytotta. Rouche azt mondta

ki, hogy egy regulris tartomnyon. ekkor ha a hatrn g-nek nincs

gyke, akkor f+g.nek ugyanannyi gyke van mint f nek a tarotmnyon.

9.

Szmelmlet

9.1. Euler
Fermat eredmnyei nem sok gyelmet keltettek, mg Euler indult el

ezen az ton, tbbekkztt Christian Goldbach (1690-1764) -nak k13

sznheten, kinek a nevt a mig bizonytatlan sajtsrl ismerhetjk

: minden pros szm felbonthat kt prm sszegre.
ltta be a fermat-szmokrl, hogy az 5. mr nem prm(mig nem

ismernk tbb prmet az els 4-en kvl).

ltta be azt is, hogy nincs ms pros tkpetes szm a (2n+1 1)2n -n

kvl(mig sejts, hogy nincs pratlan tkletes szm).

Bevezette a (x) szmelmleti fggvnyt, mely x nl kisebb, hozz

relatv prmek szmt adja meg.

A kongruencia fogalmt Gauss vezette be, melynek segtsgvel Euler

beltta, hogy a(m) 1(mod m).
ltta be fermat sejtst(xn + y n = z n ) n=3 esetre, s (tvesen) az
albbi lltst is kimondta : x4 + y 4 + z 4 = u4 nem megoldhat.
vezette be a (Riemannrl elnevezett) zeta-fggvnyt :
Q
P
(s) = (1 1/ps )1 = 1/ns , 1 < s R.
A kvetkez becslst adta a prmszmok reciproksszegre :
P
log log n 2 < 1/p < log log n + c
Igazolta az exponencilis fggvny hatvnysorrl, hogy e irracionlis.
Johann H. Lambert (1728-1777) igazolta ugyanezt a -rl is.

Ernst Kummer (1810-1893) bevezette az idelok fogalmt, s jelentsen kiterjesztette a fermat sejts rvnyessgt, de azt csak az ezredfordul krnykn
sikerlt Andrew Wiles (1953-) -nek.
Gauss bevezette a (x) fggvnyt, az x nl kisebb primszmok szmra,
s asszimptotikus becslst adott r : lim (x)/(x/ log(x)) = 1. gauss

hrommilliig ellenrizte(Ezt Riemann bizonytotta be, elemi mdszerekkel elszr

meg Erds Pl. ). Ennl pontosabb becslst is adott :
R
li(x) = 0x dt/ log(t). Ez a Gauss-fle legaritmikus integrl.

Pafnutyij Csebicsev (1821-1894) beltta, hogy 0.9 < (x)/(x/ log(x)) <
1.1. igazolta Joseph Bertrand (1822-1900) sejtst is, miszerint min-

den n, s 2n kztt van prm.

Euler klnbztette meg elszr a transzcendens s az algebrai szmokat. Legendre azt sejtette, hogy transzcendens.
Elszr Joseph LiP
ounville (1809-1882) konstrult ilyen szmokat( 10k ). Hermite k-

sbb beltta, hogy az e transzcendens, ileltve Ferdinand Lindemann

(1852-1939) pedig hogy a is. Ebbl kvetkezik, hogy a kr nem ngyzetesthet(nem lehet szablyos szerkesztsi eszkzkkel adott kerlet
krbl ugyanakkora kerlet ngyzetet csinlni).
14

 Ekkor jtt ltre a halmazelmlet Cantor ltal, aki megmutatta, hogy

tvv transzcendens szm van, mint algebrai.

David Hilbert (1862-1943) a problmirl hres, melyek kzl a 7.-et(ha

egy szmot irracionlis szmra emelnk, akkor az eredmny transzcendens) Alexandr Gelfont (1906-1968) s Theodor Schneider (1911-1988)
bizonytotta. Hilbert gy gondolta, hogy a Riemann-sejtst 10, a feermat sejtst 50, mg a 7. sejtst 100 ven bell nem oldjk meg, de
minden pont fordtva trtnt.

10.

Valsznsgszmts

Cardano irta a szerencsejtkokrl egy elg felletes knyvet. Az els igazi

valsznsgi feladatot Pascal s Fermat oldotta meg : ha 1. jtkosnak m, a
2.-nak n jtszmra van szgsge a nyershez, !
akkor az 1. jtkos gyzelni eslyei: p1 = 2(m+n1)

Pm+n1
j=n

m+n1
j

. A kztk zajl levelezs egy

hres mondata : "Ltom, hogy az igazsg ugyanaz Prizsban, mint Touluseban.". Jakob Bernoulli denilta elszr a klasszikus valsznsget, mely
utn Laplache fogalmazta meg az "idelis/sszes" elvet.

10.1. Paradoxonok
Kt ember igazsgosaj jtszik. 6 gyzelem utn vge a jtknak. 5-3 az

lls. Hogy osszk el a nyeremnyt? Mivel legfeljebb 3 jtk van mr

htra, s annak 8 kimenetele lehet, s csak 1 kedvez a 3-asnak, gy
7-1 arnyban kell osztozniuk.

szentptervr paradoxon : ha a ttet folyamatosan duplzom, akkor

biztos nyerek. Ez igaz, de a tt vrhat rtke , ennyi tkje meg

senkinek nincs.

3 doboz, eggyik nyer, vlasztasz eggyet. A msik kettbl megmutatnak

egy reset. rdemes e vltani?Igen.

Csaldnevek kihalsrl : midnen 25 vben egy frnek szletik 0,1,...

gyereke. Mi annak a valsznsge, hogy kihal a csaldnv?

d'Alembert szerint kt rme feldobsnak 3 kimenetele van. Daniel Bernoulli

bevezette a Neumann-Morgenstein haszonfggvny eldjt azt lltotta, hogy
a nyeremny hasznossga a nyeremny nagysgval nem egyenesen arnyos,
hanem csak logaritmikusan. Thomas Bayes (1702-1761) fogamlazta meg a
feltteles valszinsg ttelt. folytonos, egyenletes eloszls voltozkat
vizsglt.

15

10.2. Nagy szmok trvnye

Jakob Bernoulli : n kisrlet! alatt k szor siker kvetkezik be, azzak a
n
valszinsge pk,n =
pk q nk . Nagy szmok gyenge trvnye :
k
, > 0N, , hogyha n nagyobb ennl, s a kirsrletet annyiszor

megismteljk, akkor k/n relatv gyakorisg eltrse a p-tl legalbb

1 valszinsggel kisebb lesz mint .

Centrlis hatreloszls(De Moviere) : Legyen Xn egy standarizlt(0

vrhat rtkkel, 1 szrssal) vletlen valszinsgi vltoz. Ekkor

1
lim Fn (x) = (x) =
n
2

Z x

t2
2

dt

ahol a Gauss-fle hibafggvny, Fn pedig eloszlsfggvnye Xn -nek.

Legendre s Gauss a valszinsgszmts alaperedmnyeibl jtt r a

legkisebb ngyzetek mdszerre.

A valszinsgszmts klasszkus aximatikus felptse jval elmaradt

a tbbi terlettl, ami ahoz vezetett, hogy a matematikusok nem fogadtk el tnyleges tudomnygknt. Hilbert hres problminak az
eggyike ennek az axiomatizlsa. Ezt Andrej N. Kolmogorov (19031987) meg is tette azt, mrtkelmleti alapokra helyezve azt.

Nagy szmok ers trvnye : Ha a fggetlen Xi val.vltozknak, melyeknek van vrhat rtkk, akkor az sn = (X1 + . . . + Xn )/n, ezek

szorzata majdnem biztosan tart a kzs vrhat rtkhez.

11.

Lehetetlensgi ttelek

11.1. 5-dfok egyenlet

A negyedfok egyelnet megoldkplete utn 2 vszzadig sikertelenl probltk megoldani az 5-dfokt. Langrange rakta le a csoportelmlet alapkvt, melyet vele prhuzamosan Theophile Vandermonde (1765-1822) is kodolgozott. Paolo Runi (1765-1822) bebizonytotta, hogy az 5-dfok egyenlet
gykeinek nincsenek olyan nem trivilis fggvnyei, amelyek 5-nl kevesebb
rtket vesznek fel. Abel adta meg e bizonytst helyesen. Evariste Galois
(1811-1832) elmlete oldotta meg teljesen ezt a problmakrt, szedettvedett
jegyzetben, amit Liounville adott ki jval a halla utn. A csoportelmlet
Gauss, Abel, Galois s Cauchy munkiban lehet felfedezni.
A permutcicsoportokat csoport mivoltt Dedekind bizonytotta.
Lagrange denilta a rang, s a rszcsoportot, s ezek segtsgvel ki-

mondta, hogy a rszcsoport rendje osztja a csoport rendjt.

16

 Galois vezette be a normloszt denicijt.

Abel : midnen vges kommutatv csoport felbonthat prmhatvny-

rend csoportok direkt szorzatra.

Cayley : Midnen vges csoport reprezentlhat permutcicsoportok-

kal.

Dedekind megalkotta a vges absztrakt csoportot.

Felix Klein (1849-1925) bevezette a vgtelen transzformcocsoporto-

kat, s ennek segtsgvel osztlyozta a geometrikat.

Sophus Lie (1842-1899) szrevette, hogy az integrlhat kznsges dif-

ferencilegyenletek invarinsak a folytonos transzformcicsoportokra.

Poincare : A csoportelmlet az egsz matematika megtiszttva anyag-

tl, s tiszta formjra egyszerstve

11.2. Sokszgek szerkesztse

Gauss dolgozata szablyos sokszgek krzvel s vonalval val szerkesztsrl, illetve ami vele ekvivalens, az y n 1 = 0 alak egyenletek gykeinek kifejezsrl ngyzetgykk segtsgvel. Gauss kimondta, hogy midnen
n = 2 p1 . . . -oldal szablyos sokszg megszerkeszthet, ahol pi -k klnbz fermat prmek(azaz a 17, 257, s a 65537). A ttel megfordtst Pierre
Wantzel (1814-1848) ltta be.
a kockafelezs nem megoldhat
60 fokos szget nem lehet harmadolni
szablyos 9 szget nem lehet szerkeszteni

11.3. Prhuzamossgi axima

Mr Euklidsz is kln trgyalja az Elemek cm mvben ezt a posztultumot. Sokig azt hittk levezethet a tbbibl, Gerolamo Saccheri (16671737) beltta, hogy a hromszg bels szgei nem lehetnem nagyobb mint
180 fok. Ugyanakkor tvesen zrta ki a kisebb mint 180 fok lehetsgt. Lambertot mr foglalkoztatta a gondolat, egy olyan geometria felptse, amelyben nem igaz a prhuzamossgi axima, de visszariatt a forradalmi ujjtstl.
Egymstl fggetlenl Blyai Jnos (1802-1860) s Nyikolj Lobacsevszkij
(1793-1856) dolgozta ki a nemeuklideszi geometria alapjait, mely irnt Gauss
mltatlanul szlt. Ksbb, mikor Riemann ellt a Riemann-geometria alaptletvel, az idsd Gauss arrl mr megbecslen beszlt.

17

11.4. Kontinuum-hipotzis
A fourier sor konvergenciatartomnyt vizsglva Cantor elkezdte a szmossgelmlett kifejleszteni. Kt halmaz egyenl szmossg, ha klcsnsen eggyrtelm megfeleltets ltesthet az elemei kztt.
A racionlis szmok szmossga azonos a termszetes szmokval.
A vals szmok szmossga nagyobb, mint a termszetes szmok.
Az egysgngyzet pontjainak a szma megegyezik az egysgszakaszval.
Minden halmaz rszhalmazaibl ll halmaz szmossga nagyobb, mint

az eredeti halmaz szmossga.

sejts : Ltezik-e szmossg, mely nagyobb mint a megszmllhat, de

kisebb mint a kontinuum? Cantor azt hitte beltta, ksbb azt, hogy
megcfolta, majd mindkt bizonytsrl beltta hogy hibs.

Russel : A borbly azokat borotvlhatja meg, akiknem meguk borot-

vlkoznak. Mit tegyen a borbly nmagval?

Leopold Kronecker (1823-1891) tmadta a leghevesebben Cantort.

Cantor eredmnyei annyira megleptk nmagt is, hogy "ltom, de

nem hiszem", rta bartjnak, Dedekindnek.

Az ellentmondsmentessk kikszblse vgedz egy szkebb axima-

rendszerre volt szksg, melyet Adolf Fraenkel (1891-1965) s ernst

Zermelo (1871-1956) teremtett meg.

Kurd Gdel (1906-1978) beltta, hogy midnen artimetikt is magba

foglal axiomatikus matematikai rendszerben vannak eldnthetetlen lltsok. Gdel igazolta, hogy nem cfolhat: van olyan halmazelmleti
modell, amelyben a sejts igaz. Viszont Paul Cohen (1934-2007) "ellenkez" eredmnyt igazolta: van olyan halmazelmleti modell, amelyben
nem igaz.

12.

Mrtk s funkcionl

12.1. Mrtkelmlet
Els lpst Guseppe Peano (1858-1932) tette a mrtkelmlet fel, a skbeli halmaz bels, illetve kls mrtkvel. A mrtk fogalmt Borel denilta, majd a tantvnya Henri Lebesque (1875-1931) rt el kimagasl eredmnyeket.
denilta a kls mrtk fogalmt, s a -mrtket. A mrhet fgg-

vny kifejezs is tle szrmazik.

18

 Giuseppe Vitali (1875-1932) fedezte fel, hogy brmely eltolsinvarins

mrtk esetben maradnak mrhetetlen halmazok.

Ha egy korltos s mrhet fggvny Riemann-integrlhat, akkor Lebesgue-

integrlhat, s a kt rtk azonos. Kimondta a rla elnevezett konvergenciattelt is. Denilta a majdnem mindentt kifejezst.

Pierre Fatou (1878-1929) jelents eredmnyeket rt el a mrtkelmlet

tern.

12.2. Funkcionlanalzis
13.

Csillagszat

13.1. Grgk
Platon : minden gitest gmb alak, 5 szablyos polider van -> 5 elem

van (fld, vz, tz, leveg, llek)

Arisztotelsz : geocentrikus vilgkp : nehezebb testek gyorsabban es-

nek, egyenes vonal egyenletes mozgs fenntartshoz er kell, a fld

krl kering minden

Ptolemaiosz dolgozta ki ezt a vilgkpet : a hold s a nap egyenletesen

kering a fld krl, a hold havonta ujjszletik, a csillagok rgztve

vannak, az 5 bolyg elre-htra mozog az gen

Arisztarkhosz (kb. i.e. 310-230) azt mondta, hogy a Fld sajt tengelye

krl forogva kering a Nap krl.

Eratosztensz egsz j becslst adott a nap-fld tvolsgra

13.2. Kopernyikusz-korszak
Mikolaj Kopernyikusz (1473-1543) ellt a heliocentrikus vilgkppel,

azazhogy : a nap a vilgegyetem kzpontja, a nap krl forog a fld, a

fld krl meg a hold, a csillagok mrhetetlen tvol vannak

parallaxis:a csillagok ugyanugy ltszanak tavasszal s sszel

Az egyhz nem tmadta, csak a protestnsok
Tycho de Brahe (1541-1601) kombinlta a fldkzpont, s a napkz-

pont vilgkpeket. Mindenelett az eddigieknl jobb mrseket vgzett.

Ezek alapjn mr csak egy modell jhetett szba : Johannes Kepler
(1571-1630) elmlete, mely azt mondja, hogy a volygl elipszisplyn
keringenek a nap krl, s a nap a fkuszban van, minden bolyg pillanatnyi sebessge fordtottan arnyos a naptl vett tvolsgval, s
19

a naprendszer brmelyik bolygjnak a keringsi idejnek a ngyzett elosztva az elipszis nagytengelynek a kbvel, ugyanazt a szmot
kapjuk
Galilei : felfedezte, hogy a holdnak vannak krterei, s hegyei, a jupi-

ternek vannak holdjai

Newton az egsz Kepleri rendszert zikai alapokra helyezte, s bebizo-

nytotta.

13.3. Kopernyikusz utn

Max Planck, a kvantumzika attya aztmondta, hogy a tudomnyos

igazsgokat nem az j igazsgok gyzik le, hanem a kpviselik halnak

meg

Frederick Herschel (1738-1822) felfedezte a naprendszer j bolygjt(Urnusz).

Friedrick Bessel (1784-1846) igazolta a parallaxist.
Urbain Leverrier (1811-1877) megjsolta a mg ismeretlen neptunusz

helyt

Albert Eistein (1879-1955) az lltalnos relativitselmletet hasznlva

bebizonytotta a Newtoni elmlet utols rejtlyt : a merkur perihliumt, melyret Levierre tvesen egy msik bolygval magyarzott

Az els naprendszeren kvli bolygt az ezredfordul krnykn fedez-

tk csak fel

Az eggyhz ujratrgyalta Galileo pert 2000-ben, s felmentette t, mg

Kopernyikusz knyvt 1822-ben vettk le a tiltlistrl

20