A modern matematika kialakulsa (Kiss Olga) A grg matematikai tradci eurpai megszakadsnak az oka kzismert mdon az, hogy

az antik kultra hanyatlsval a matematika mvelsnek kzpontja is Biznc lett. E szzadokban Boethius egyszer, euklidesz-tredkeket is tartalmaz munkja (Institutio arithmetica, azaz Bevezets az aritmetikba, i.sz. 500 krl) volt a matematika mvelsnek legfbb forrsa. 1Noha a ht szabad mvszet kztt ott volt a geometria s a szmelmlet, ezek csak elemi szint ismereteket jelentettek, klnsen az akkor mr ltez magas szint antik-arab elmleti tudshoz kpest. A nyugat-eurpai kolostorokban mr nem ugyanaz a pezsg szellemi let zajlott, mint a pr szz vvel korbbi Athnban, vagy akr mg Alexandriban is. Az itt kvetkez fejezetben azt fogjuk szemgyre venni, hogyan ledt jj ez a szellemi let egy egszen j terleten: Nyugat-Eurpban. A folyamat a mba nylik benne llunk a hagyomnyban, melynek trtnett rjuk, s a fordulatok sorban az egyik legjelentsebb mg alig szz ve zajlott. Itt most az azt megelz, teht a XIX. szzadig terjed korszak lesz vizsgldsaink trgya. A modern matematika szletsekor nem csupn a forrsokat tekintjk t, de figyelmet szentelnk annak is, miknt alakult t ekzben a klasszikus grg matematikai paradigma. Mely vonsait rizte meg, s melyeket hagyta el a modern korban.

1. A nyugat-eurpai matematika forrsai Sajnlatos mdon azt kell mondanunk, hogy az eurpai kultra jjszletst kt harci cselekmny tette dnten lehetv. Az egyik Toledo eleste (a mi oldalunkrl bevtele), mellyel az antik kultra mr knyvtrakban rztt hatalmas kincsestra feltrunlt az eurpai rtelmisg eltt, Mr csak arra volt szksg, hogy az arab szvegeket lefordtsk latinra. A msik pedig Konstantinpoly trk kzre kerlse, aminek kvetkeztben az onnan mernekl grgk szmos grg nyelv kziratot hoztak magukkal, melyek befogadsra Eurpa addigra mr ppen felkszlt. A mroktl visszahdtott Spanyolorszg knyvtraiban felfedezett tudomnyos szvegeket a XII-XIII. szzadban kezdtk latinra fordtani, hogy az akkori (mi szempontunkbl nzve) mvelt vilg is megismerhesse azokat. Ezek az arab nyelv munkk rszben az eredeti grg szvegek hellenisztikus korban keletkezett fordtsai voltak, rszben pedig eredetileg is arab nyelven rdott nll mvek, kivonatok, kommentrok, magyarzatok. (A matematikai ismeretek egyik legfbb forrst jelent euklideszi Elemek grg szvegnek ismerete egszen ksi eredmny.) Az arabok azonban nem egyszeren csak kzvettettk az antik grg ismereteket. Hozzjrulsuk az eurpai gondolkodsmd kialakulshoz ennel jval nagyobb horderej. Az algoritmikus gondolkodsmd, az algebra s a segtsgvel kialakul fggvnyelmlet, st, a helyirtkes szmols s a nulla alkalmazsa is az
1

Boethius volt az, aki Cassidorussal egytt a pthagoreus mathmata ngy elemhez, a kvadriumhoz - zene aritmetika, csillagszat s geometria - hozzvatte a triviumot - grammatika retorika s dialektika. E ht szabad mvszet volt az elkvetkez fl evezredben az iskolai oktats alapja, mr ami a teolgival kevsb szoros kapcsolatban ll ismereteket illeti.

arab hatsnak ksznhet. A nullt s az arab szmokat, melyekkel ma oly egyszer a szmols, hogy kisgyerekeknek tantjuk az ltalnos iskolban, k hoztk indibl. Az algoritmus szavunk Al Hvrizmi nevnek latinos alakjbl (Algorismus) szrmazik, aki Aritmetikjban bemutatja az ezekkel val szmols mvszett Sevillai Jnos is gy foglalja ssze mvnek lnyegt: Algorismus knyve a gyakorlati aritmetikrl (ez 1134-1153 krl jelent meg). Korbban ugyanis az alapmveletek elvgzshez knyelmesnek egyltaln nem mondhat rmai szmok voltak eurpban hasznlatosak. Abakuszon, azaz szmoltbln szmoltak kis kvecskkkel, majd a az eredmnyt lertk. Nos, knyvviteli szempontbl lnyeges, hogy a rmai szmokat nem lehetett hamistani, az arab szmok pedig olyanok, hogy elg csak mg rni egy-kt nullt, mris egszen mst jelent. Erre hivatkozva a kereskedk szvesebben alkalmaztk a rgi mdszert mg akkor is, ha az j mellett szlt egyszersge, elegancija s ttekinthetsge. Tbb szz vig folyt a harc az abacistk s az algoritmikusok kzt, az llspontok sszemosdtak. Fibonacci Liber abacija pldul - cmvel ellenttben - nem az abakuszon val szmolsrl, hanem ppen a hindu szmjegyek hasznlatrl szl, az sszeadstl a gykvonsig. Az

abakusz szt mr kezdtk hasznlni az egsz aritmetikra. Ekzben az itliban a XIV. szzadban magnszemlyek ltal alaptott vilgi iskolkban matematikra s knyvvitelre oktattk a kereskedelmi s pnzgyi plyra kszl fiatalokat. Az eredetileg homoktbln vgzett arab szmols, melynl az egyes rszeredmnyeket mindig letrltk, hogy helyre rhassk a kvetkezt, a papr olcsbb vlsval s elterjedsvel kiss talakult. Szmos klnbz formban rgztettk a szorzsok s osztsok rszeredmnyeit (rdemes visszafel gondolkodva a ksz szmalakzatokbl kikvetkeztetni, milyen szably alkalmazsa vezethetett ezekhez az eredmnyekhez, s azutn mai techniknkkal megvizsglni, helyes-e): A ma hasznlatos algoritmus s forma mr egyrtelmen az itliai szmolmesterek kreativitsnak gymlcse. Vgl az j szmrs elterjedst s vgs gyzelmt - mint oly sok mst is - a knyvnyomtats hozta meg a XV. szzadban. A flrertsek elkerlse vgett azonman mig megmaradt a szmoknak szavakkal trtn lersa a vltkon s egyb pnzgyi manvereknl, ahogy azt a vitk srjben Firenzben mg 1299-ben javasoltk az j szmrs ellenzi. Taln lnyegtelennek ltszik a problma, mgis jelents. Az antik matematika egyik korltja ugyanis ppen a kifejezsmd nehzkessge volt. Ennek csak egyik

aspektusa a szmolshoz nem igazn knyelmes jells hasznlata. A msik az, hogy minden sszefggst szavakkal mondtak el, s rtak le, azaz nem hasznltak formulkat. A kpletek hasznlata tbb szz ves folyamat eredmnyekppen lpsrl lpsre alakult ki Eurpban, mgpedig gy, hogy ppen az jfajta szmtsi eljrsok keretben - elszr az algebrai mveleteket kezdtk szimbolumokkal jellni, majd az egyenletekben szerepl ismeretlent s a szmokat (a fggvnyeket, stb). Ha most algebrt emltek, akkor persze nem a mai algebrra kell gondolni. Ltni fogjuk, milyen hossz fejldsi folyamat eredmnyekppen alakult ki e diszciplna mai formja. De nzzk elszr a forrst!

2. Al Hvrizmi algebrja A mr emltett Al Hvrizmi munkja: Rvid knyv a kivons (dzsabr) s az sszevons (mukabala) szmolsrl (Latin fordtsban: Liber algebrae et almucabola) az egyenletek megoldsnak mdszereirl szl, alapveten mg geometriai terlettdarabolsi technikkkal. E knyv gyakorlati cllal rdott, vgrendeletek s rksgek problmival kapcsolatos els s msodfok egyenletek megoldst tartalmazza. A kznsges szmok mellett megklnbztet gykket s ngyzeteket is. Az egyenletek, melyekkel foglalkozik, a kvetkezk: a ngyzet egyenl a gykkel a ngyzet egyenl egy szmmal a gyk egyenl egy szmmal a ngyzet s a gyk egyenl egy szmmal a ngyzet s a szm egyenl egy gykkel a gyk s a szm egyenl a ngyzettel. Mr az is rdekes krds lehet a trtneti szvegek tanulmnyozsban jratlan olvasnak, hogy egyltaln mirl is van itt sz. (Sgok: az els a - mai jellssel- az ax2=bx alak egyenleteket jelenti. A tbbinek kitallst ezutn mr az olvasra bzom.) Lthatjuk, milyen krlmnyes az esetsztvlaszts. A szveget olvasva az is feltn, hogy sem a nulla, sem a negatv gykt nem veszi figyelembe. Negatv s pozitv szmok sincsenek benne, csak kivonandk s hozzadandk. Ami pedig az egyenletek megoldst illeti, Al Hvrozmi - ppgy, ahogy az ismeretlen szerz annak idejn az rnokoknak szl babiloni iratokban - egyszeren ad egy pldt mindegyikre.
Melyik az a ngyzet, amely a gyknek tzszeresvel egytt sszesen 39-et ad? Az ilyen egyenlet megoldsnak mdja, hogy vegyk az emltett gykk felt. Az elttnk ll feladatban 10 gyk van, teht vegynk 5 gykt, melyet nmagval megszorozva 25-t kapunk, melyet adjunk a 39-hez, ami 64-et ad. Vegyk ennek a ngyzetgykt, az 8. Vonjuk ki belle a gyk felt, azaz az 5-t. Ez 3. A hrom a ngyzetnek az egyszeres gyke, gy a ngyzet maga termszetesen 9.2

(Feladat: Ellenrizzk le mai techniknkkal!) Al Hvrizmi azonban - szemben a babiloniakkal - a szably megadsa mellett

D.J. Struik (ed): QA Source Book in Mathematics (Cambridge, Ma: Harvard University, 1969)

geometriai ton is megmutatja a megolds menett. A bizonyts gy kezddik, hogy vesz egy ismeretlen oldal ngyzetet. Ez, valamint egy olyan tglalap, melynek egyik oldala az ismeretlen, a msik pedig tz egysg. egytt 39-et ad. A ngyzet oldalaira teht olyan tglalapokat llt, melyek msik oldala a 10 negyedrsze (2,5 egysg) A sarkokban kimarad kis terletek egytt 4x2,5x2,5 = 25 Ha ezt hozzvesszk az brhoz, akkor a feladat rtelmben 39 + 25 = 64-et kapunk, melynek gyke 8. Ebbl mr valban csak le kell vonni az 5-t, s megkapjuk az ismeretlent. tletes s egyszer: a geometriai demonstrci pontrl montra megmutatja az algebrai szably alkalmazsnak geometriai rtelmt. Hasonl okoskodsokat kockkkal s hasbokkal harmadfok egyenletek megoldshoz mg a renesznsz mesterei is alkalmaznak. Cardano mr explicit mdon gy pti fel aritmetikjt: Questo, Regula, Demonstratio (azaz: feladat avagy krds, szably, s bizonyts, v.. DeArithmetica..., 1538) A bizonyts segtett megrtetni, hogy a szably mirt mkdik, trtnelmi jelentsge mgis a geometriai demonstrcit megelz kivonsi s sszevonsi techniknak lett. E technikk kpeztk az alapjt az algebra s az eurpai matematika fejldsre jellemz jfajta szimblimhasznlat kialakulsnak. Az egyes szavak, mint ngyzet, kb, ismeretlen (a dolog) szimblumokk rvidltek a hasznlatban. E szimblimokkal - kpletekkel - megtanultunk szmolni, megismertk a logikjukat, s ma mr bizonytsainak is ezek kpezik az alapjt. Ez az egyik jellemz klnbsg az antik s a modern eurpai matematika kztt. E trtnet kezdete teht Al Hvrizmi munkinak latinra fordtsig nylik vissza.

3. Az eurpai matematika renesznsza A renesznsz matematikatrtneti vonatkozsban is azt jelentette, hogy jraledt a klasszikus tradci. Azrt beszlek immr tbbedszer is hagyomnyrl, mert nem csupn az elmletekrl van sz. Ha pusztn a ttelek s matematikai rendszerek fejldst tekintennk a tudomnytrtnet lnyegnek, s eltekintennk a kontextus s az rtelmezsi keret klnbsgeitl, - a kzpkort s a renesznszt egyszeren ki is hagyhatnnk vizsgldsaink krbl. Ez idszakban ugyanis nem szlettek olyan nagy eredmnyek, melyek meghaladtk volna az antik matematikai ismereteket. A kultra, s gy a matematika mvelse azonban nem csupn a szvegek megltn mlik. A tudst letben kell tartani, ez pedig csak gy lehetsges, ha az j nemzedkek jra meg jra elsajttjk s j letet adnak neki. Ez az a hagyomny, ami a grg kultra hanyatlsval megszakadt itt Eurpban. Az arab s antik grg(-rmai) szvegekkel megismerkedve az eurpai kultra, s benne a matematika a XII-XIII. szzadban hirtelen gyors fejldsnek indult. A fordtsokat elssorban fejedelmi udvarokban (pl. X. Alfonz) s fordtiskolkban (pl. Toledban) ksztettk orvosok, asztrolgusok, tudsok s filozfusok, fknt a mai Spanyolorszg s Sziclia terletn. Innen terjedt el a tuds a kontinensen az egyetemek (XI.sz. Salerno, 1100 Bologna, XII. sz. Prizs, 1209 Cambridge, 1348 Prga, 1364 ismt Prga, 1365 Bcs, 1367 Pcs, 1385 Heidelberg, 1388 Kln, 1409 Lipcse, ...) s vilgi iskolk rvn. A fordtk gy nagy szerepet kaptak az j-antik ismeretek kzvettsben. Az angliai Adelard lefordtotta tbbek kztt Al Hvrizmi aritmetikai munkjt, s Euklidesztl az Elemeket, Gerhardo Apolldniosztl a Kpszeleteket, Ptolemaiosztl az Almagesztet, Hvrizmi

Algebrjt. A XIII. szzadban Campano jrafordtotta az Elemeket, mg mindig arabbl (grgbl elszr Zamberti tette t latinra , ez 1505-ben jelent meg). Apollniusz s Arkhimdsz mvei ekkor mg a legmveltebbeknek sem voltak egyszerek, s ez jl lthat a fordtsok sznvonaln. A fordts ugyanis nem pusztn a szavak egyms utn ttele. Matematikt nem - ahogy mst sem - lehet fordtani pusztn j nyelvtudssal, a szveg rtelmnek felfogsa nlkl. gy ezek a fordtsok valjban inkbb az eurpai kultra els ismerkedsei voltak az eldk nagyszer eredmnyeivel. Ugyanakkor sztnzst is jelentettek, s kijelltek valamifle irny is, hogy mi az, amit mg meg kellene rteni. Ez a megrts azonban mint ltni fogjuk - mr nem az antik alapokon jtt ltre. Az arab szmolsi eljrsok s egyenletmegoldsi mdszerek j, technikaibb szemlletet hoztak. A renesznsz idejn felrtkeldtt htkznapi-gyakorlati tuds, mely lehetv tette a klasszikus tudomnyos (mechanikai, optikai, ptszeti ...) szvegek valdi elsajttst, szintn ezt a technikai szemlletet erstette. Megmaradt a teoretikus, bizonytsra trekv tuds elismertsge, megjelent azonban a gyakorlati tudomny is. A practica s theorica megklnbztetse a XII. szzadban keletkezett a mai Spanyolorszg terletn. A kifejezs els elfordulsakor a gyakorlati geometria (Practica geometriae, Paris, 1130 krl) mg nagyon alacsony szinvonal. m a gondolat vilgos: Az elmleti geometria a grbk, testek, felletek tulajdonsgait vizsglja, a rjuk vonatkoz sszefggseket keresi, bizonytja s tantja. A gyakorlati geometria a val let kihvsainak tesz eleget, valdi hosszsgok s terletek mrsvel, alakzatok ltrehozsval foglalkozik, s ehhez klnbz segdeszkzket alkalmaz. Az alkalmazott tudomnynak teht nem a bizonyts a clja - azt a teoretikusokra bzza. Az feladata, hogy megtallja az problmja megoldsra alkalmas elmletet, s a megfelel mdon kpes legyen azt hasznostani. gy Arkhimdesz, aki egyarnt kzismert bizonytsai szigorrl s technikai jtsairl, a legnagyobb becsben tartott szerzk egyike lett e korban. Ne feledkezznk meg, mg ha kzismert is, a matematika s a festszet j viszonyrl a renesznszban: a geometriai ismeretek ltal lehetv tett prespektivikus brzolsmdrl. Az ptszet haonlkppen sokat mertett az antik arnyelmletbl s ltalban a matematikbl. Ekkor kezddtt az pletek mai rtelemben vett tervezse is. A matematikai mdszerek alkalmazsa a kzpkor s a renesznsz idejn mgsem csupn a technika fejldsre volt j hatssal, hanem maguknak az elmleti konstrukciknak is szmos esetben inspircit jelentett. Niccolo Tartaglia pldul, aki az gygolyk rpplyjt vizsglva nem ppen rtalmatlan elmleti matematikt mvelt, s akit mi mr nem tzrtiszti ismeretei miatt rtkelnk, e ksrleteivel (egyb ksbb emltend eredmnyei mellett) hozzjrult a mozgs matematikai vizsglatnak, s ezen keresztl a matematikai analzisnek a kialakulshoz. Kepler a boroshordk trfogatnak meghatrozsra dolgozta ki azt a mdszert, mellyel vgl hozzjrult az integrlszmts kialakulshoz. sszegezve teht sem a gyakorlati, sem az egyetemeken - tbbnyire a Szabad Mvszetek Karn - a quadrivium keretei kztt oktatott matematika kezdetben mg nem volt tl magas sznvonal s nem is hozott sok jdonsgot. Az els matematika tudomnyok tantsra szakosodott professzor valsznleg a Gmundenbl szrmaz Johann volt a Bcsi egyetemen 1412-tl. A tekintlyelv skolasztikus is szellem aligha tett jt a matematika mvelsnek, mgis mindig voltak olyanok, akik nem dogmaknt tekintettek a matematika igazsgaira. A trtnet diadalmas rsze tbbek kzt rluk szl.

Ilyen volt pldul az oxfordi Merton College-ban 1323-35-ig dolgoz Thomas Bradwardine, aki De continuo c. mvben jralesztette az antik vitt az atomizmusrl. Ennek jelentsge nem pusztn filozfiai. A knyv a diszkrtsg s folytonossg problmjt, a vgtelen nemeit s szlsrtkproblmkat trgyal. A krds nem is annyira a skolasztika idejn mint inkbb a XVII. szzadban vlik majd nagy jelentsgv. Egyelre inkbb a szmokkal kapcsolatos fogalmak kiterjesztsnek els prblkozsairl van sz. Megfogalmazza az irracionlis arny (1 arnya 2-hz), s a 2 mint 1/2-ik hatvny gondolatt Az munkssgt kvetve Nicole DOresme Franciaorszgban mr lerja a trthatvnyokkal vgzett mveletek szablyait is. Oresme mg egy krdst trgyal, mely a mi szempontunkbl nzve igen jelents. Mint emlksznk, Arisztotelsz s az antik tudomny ppgy mint a skolasztika az olyan minsgeket, mint sebessg, fehrsg, jszvsg, melegsg,... nem tartottk mrhetnek. Oresme azonban ezek intenzitsnak (intensio) sszehasonltsa vgett sajtos brzolsmdot alkalmaz. Vegyk pldul a mozgst s intenzitst (sebessg). Ennek extenzija lehet a megtett t, de akr az id is, melyet egy vzszintes szakaszon (longitudo) mr. Az intenzikat pedig a megfelel pillanathoz tartoz, e tengelyre lltott merlegesek (latitudo)segtsgvel hasonltja ssze. Hromfajta mozgs formjt ltjuk az brn: az uniformis (egyenletes), az uniformiter difformis (egyenletesen vltoz) s a difformiter difformis (vltozan vltoz) mozgst. Ismers? Ht igen. Mintha csak fggvnygrbt rajzonla, mikzben termszetesen mg sz sincs a mai rtelemben vett fggvnyekrl sem grbikrl. m ppen ez az, ami miatt ezek a kutatsok szmunkra fontosak. Olyan mdszerekhez adtak alaptletet, melyekhet ma a legszlesebb krben hasznlunk. Oresme azt is le tudta olvasni az brrl, hogy a sebessg-id grbe alatti terlet megadja a megtett utat. Ez az egyenletesen vltoz esetben: v = t(v0 + v1)/2 A korszak vgre Galilei rvn a tnyleges mozgsok (pl szabadess) tudomnyos feldolgozsa is megszletett. Az t-id s a sebessg-id grbe kztti kapcsolat ltalnos megfogalmazsa a XVII. szzad eredmnye lesz. Oresme munkja ppgy mint az algorismus, az egyetemi oktats rsze lett, gy tnylegesen elsegthette a matematika fejldst, megtermkenythette az j tudsnemzedkek gondolkodst. A renesznsz idejn az eurpai kultra az antik matematikai ismereteket prblja megrteni s feldolgozni. Azok a munkk, melyek ebben az idszakban szletnek, jrszt e hagyomny jrarendezsvel, j szempont tgondolsval foglalkoznak. Sokan foglaltk ssze egy-egy terletre vonatkozan az akkor fellelhet sszes ismeretet (k mg megtehettk). ttr matematikai kutatsok folytak viszont az algebra, annak geometriai alkalmazsa, valamint az oxfordi Merton College, Bradwardine s Oresme munkira tmaszkodva a mozgs matematikai tanulmnyozsra tern. Fontos szerepet jtszott a renesznszra jelemz mdon a htkznapi tuds felrtkeldse. A vrosi kereskediskolkban a np nyelvn tantottak, a papron

rsban vgzett szmols mvszett kvettk. A XIV. szzadban mr megjelentek az els skandinv, nmet, cseh, lengyel s angol nyelv knyvek e tmban Trtnetileg tbb vszzadra elnyltak azok a folyamatok, melyeket itt rviden kell jellemeznnk. Az j szemlletmd alapja ugyanis pp az algebra lett, melynek segtsgvel a geometriai problmk jfajta kezelse is lehetsgess vlt. Noha a geometriai s algebrai problmakr egyestse Descartes rdeme, az els ilyen gondolatok mr kt vszzaddal korbban megjelentek Mr Regiomontanus hasznlta az araboktl tvett algorismus mdszert hromszgszerkesztsi problmk megoldsakor (De triangulis omnimodis libri quinque, aza t knyv mindenfle hromszgekrl, 1462-64). volt az is, aki elsknt megadta a gykmennyisgek mveleti szablyait. Nicolas Chuquet (De triparty en la science des nomres, A szmok tudomnya hrom rszben, 1484) a hindu-arab szmrs segtsgvel ismerteti a racionlis s a negatv szmokra vonatkoz mveleti szablyokat, noha ezeket mg j ideig nem tekintik valdi szmoknak, Mvben mr tkletesen kidolgozott algebrai jellsrendszert tallunk. Alkalmazza az sszeads s kivons mveletre a ma is hasznlatos jeleket, melyek minden bizonnyal Jan Widmann knyvben (Gyors s szp szmols minden keresked szmra) jelentek meg elszr 1485-ben (e jellsmdok eredetrl klnfle feltevsek vannak). Ekkoriban mr negyedik s tdik hatvnyokat s gykket is jelltek, azaz az egyenletmegolds vgleg elszakadt a geometriai korltoktl.

4. Az algebra eurpai megjelense A modern algebra forrst valjban a mr korbban emltett Leonardo Pisano, azaz Fibonacci 1202-ben megjelent Liber abacija jelenti. E knyvben tallkozunk elszr a geometriai eredettl elszakad, harmadrendnl magasabb hatvnyokkal: a ngyzet ngyzetvel (census de censo) s hatodik hatvnnyal (cubus cubi). Olvasi a vilgi iskolkban kereskednek, trkprajzolnak, mesternek vagy ptsznek kszltek. Az idk folyamn a hasznlatban a regola dellalgebra ammucabola lervidlt regola della cosa-v, azaz a dologra vonatkoz szablyra, ahol a dolog, amirl beszlnk, az ismeretlen a cosa. Luca Pacioli Az aritmetika, a geometria, az arnyok s az arnyossgok sszegzse (Summa de arithmetica, geometria proportioni et proportionalita, 1494, Velence) mr tbb szmjellst is hasznl: no (numero) - szm, co (cosa) az ismeretlen, ce (censo)- a ngyzet ... Niccolo Tartaglia (Trattato di numeri e misure, azaz rtekezs a szmokrl s mrtkekrl, 1556-60) mr megadja a hozzjuk tartoz kitevket is: n (numero) 0 co (cosa) 1 ce (censo) 2 cu (cubo) 3 cece 4 pri relato 5 cecu 6 o 7 2 rel cecece 8 ... 29 9o rel

(krds az olvashoz: mi lehet a pri rel, vagy ltalban az no rel?) A XVI. szzadban az algebra fokozatosan talakul. Mg korbban szavakkal megfogalmazott szablyokat lthattunk (pl. Al Hvrizminl) n. retorikus algebrt rtak, a szavak helyre fokotatosan szimblumok kerlnek,s kialakul a modern matematikra jellemz kpletek alkalmazsa. De ha mr Tartaglinl jrunk elmtst kell tennnk a renesznsz matematika egy jellemz intzmnyrl. Ebben az idben szmolmesterek jrtk az orszgokat, tantottak, kereskedk, s iparosok szmra ksztettek szmtsokat, fejedelmi udvarokban vettek rszt matematikai viadalokon. Tartaglia is ilyenfle dolgokkal foglalkozott. A kb plusz dolog egyenl szm (azaz x3 + bx + c = 0 alak) egyenletek ltalnos megoldsi mdszert egy knnyed kijelentsnek ezek megoldhatsgrl, s a r kvetkez matematikai prviadalnak ksznhetjk (a mdszert Tartaglinak valjban csak a viadal eltti jjelen sikerlt sszehoznia). Tudst titoktartsi fogadalom mellett tadta a tma irnt nagyon is rdekld orvosnak, Cardanonak, aki ezt meg tartotta egszen addig, amg egy hagyatkban r nem lelt a kpletre. Ekkor viszont (1545-ben) megrta az Ars magna sive de regulis algebraicis-t, melyben mr ltalnos megoldsi eljrst ad az sszes teljes harmadfok egyenletre (az esetsztvlasztsra mg mindig azrt volt szksg, mert a negatv szmokat nem tekintettk szmnak), valamint kzli bartja, Lodovico Ferrari mdszert is a negyedfok egyenlet megoldsra. A renesznsz algebra egyik kiemelked alakja Francois Vite. In artem analyticam isagoge, azaz Bevezets az elemzs (analzis, itt: algebra) tudomnyba (1591) c. fmvben egysgesti kornak egyenletmegoldsi eljrsait s tbb olyan jellst vezet be, melyeket a mai napig hasznlunk. Ennek segtsgvel ltalnos alakra hozva a harmadfok egyenletek addig kln trgyalt eseteit egyszerre tudta trgyalni

Algebrai geometria A matematikt, mely a renesznsz rvn az jkorban nll alakot lttt legjobban taln a francia matematikus-filozfus katonatiszt, Ren Descartes munkja segtsgvel jellemezhetnnk. Leghresebb knyvnek (Discourse de la mthode pour bien conduire sa raison et chercher la verit dans le sciences, azaz rtekezs az rtelem helyes vezetsnek s a tudomnyos igazsg keressnek mdszerrl, 1637) a fggelkeknt kzreadott Geometria (La Geometrie) az els modern matematikaknyv. Mitl modern? Egyesti a grg geometriai s az arab algebrai hagyomny eredmnyeit, s gy a geometriai problmkat j mdon tudja kezelni. Szvege lnyegretren a kvetkezkkel kezddik:
A geometria brmely problmja knnyszerrel bizonyos, a szerkesztshez 3 szksges vonalak hossznak ismeretre egyszersthet

Clja ketts: egyfell megszabadtani a geometrit a grbkkel val bajlds nehzsgeitl, msfell pedig a geometriai rtelmezs segtsgvel a technikn tlmutat jelentst adni az algebrai eljrsoknak. gy noha tbbnyire az analitikus geometria fejldsrl szl fejezetekben szoktk trgyalni a matematikatrtnetek, e
3

The Geometry of Ren Descartes (eds: Smith, D. E. s Lathan, M. L., Dover, New York 1954)

m ppoly joggal tart ignyt az algebra vagy az analzis trtnetben betlttt helynek elismersre. Vegynk pldul egy Hvrizmi algebrjbl ismert egyenletet: gyk s a szm egyenl a ngyzettel, s nzzk, hogy kezeli ezt Descartes! Alkalmas helyettestssel rjuk egyenletnket az az + b2 = z2 alakba. Az ismeretlen (z) megszerkesztst a kvetkez bra mutaja: lltsunk a b hosszsg szakasz vgpontjba merlegest, mrjnk fel r a/2-t s e pontban rajzoljunk krt a/2 sugrral. A kiindulsul szolgl szakasz msik vgpontjt s a kr kzept sszekt egyenesnek a krrel vett metszspontjai lesznek a vgpontjai az egyenlet kt gykt megad szakaszoknak. Figyelemremlt, hogy Descartes figyelmen kvl hagyja a negatv megoldst (ezt hamis-nak nevezi). Az egyenletek felrsakor az abc elejrl veszi a paramtereket, a vgrl az ismeretleneket jell betket. Ugyanazokat a szimblumokat hasznlja a kivonsra s sszeadsra, mint mi. Radsul elszakad az antik hagyomnytl abban is, hogy nem tekinti mr terletnek a ngyzetet s trfogatnak a kbt. gy gond nlkl sszead s kivon egymsbl klnbz hatvnyokat: erre mondjk, hogy algebrai a szemlletmdja. Az els knyv olyan problmkkal foglalkozik, melyek megoldshoz elegendek krk s egyenesek. A msodik knyv a geometriban trgyalt grbk osztlyozsval s tulajdonsgaival, a harmadik az egyenletekkel, gykkkel s egyenletmegoldsi eljrsokkal foglalkozik. Mdszere a geometriai problmk megoldsra: megfogalmazza a feladatot az algebra nyelvn, egyenlet formjban, majd ezt algebrai talaktsokkal olyan egyszerbb formra hozza, melyet mr tud brzolni, gy a megolds utols lpse ismt geometriai. Kicsit hinyrzetnk tmad az olvasskor: hol vannak ht a koordintk, ahogy mi ismerjk ket? A knyvben nem talljuk a rendezett prokat, st, azt mondhatjuk, hogy Oresme latitudjai s longitudjai mg mindig kzelebb lltak a mai felfogsunkhoz, mint Descartes-. nem is hivatkozik az eurpai eldkre - nincs is kzvetlen bizonytkunk arra, hogy ismerte-e munkikat -, annl inbb az antik klasszikusokra. Geometrijnak cscspontja Papposz egy ngy egyenesre s ngy szgre vonatkoz mrtani hely problmjnak ltalnostsa. Megkzeltsmdja is sokkal kzelebb ll az antik hagyomnyhoz. Ezrt is vetettk fel egyes matematikatrtnszek (pl. J. L. Coolidge), hogy valjban mr a grgk is felfedeztk a koordintageometrit. Arkhimedesz pldul a kvetkez mdon definilja a parabolt: egy paralellogrammbl indul ki, s annak OA kzpvonalbl, a parabolt pedig azokkal a pontokkal definilja, melyekre BC:EF = BO2:EO2.

Hasonl sszefggst tallunk - immr ttelknt - Apolloniusznl, aki a Kpszeletekben szintn a grbk osztlyozsval s tulajdonsgaival foglalkozik.

Lthat a rokonsg megkzeltsmdjukban. Dnt klnbsg azonban Descartes s Apolloniusz (illetve Arkhimdsz) kztt, hogy Apolloniusznl mg semmifle szerepet sem jtszott az algebra, gy a koordintageometria egy lnyeges motvuma hinyzik. Descartes megkzeltsmdjval azonban nemcsak a geometria, hanem a A fggvnytan sokat nyert, annak dacra, hogy nla nincs sz sem fggvnyrl, sem a grbjrl. A fggvny fogalma egyszeren nem jtszott szerepet geometrijnak kidolgozsban. Ennek ellenre munkja nemcsak az j brzolsmdot hozott. Descartes elsknt definilta (megfeleltetsknt) a fggvny fogalmt.

A vgtelenl kicsinyek (infinitezimlisok) Fermat, aki szintn foglalkozott Apolloniusz s Papposz feladataival, 1636ban hasonl eredmnyekre jutott, s gy Descartes-hoz hasonl joggal tarthatnnk t is a koordintageometria felfedezjnek, br csak egyszerbb problmk megoldsra szortkozott. Egyesek szerint Oresme brzolstechnikjbl indult ki, mg ms matematikatrtnszek (pl. Boyer) szerint egyszeren a renesznsz algebrt alkalmazta az antik problmkra. Abban mindenesetre egyeetrtenek a trtnszek, hogy a Vite -fle jellsekkel a kpszeletek elmlett dolgozta ki j mdon. Nos, Fermat foglalkozott szlsrtk problmkkal is. Descarteshez rott egyik levelben pldul Papposz egyik feladatt vizsglta: adott egy tglalap kt oldalnak sszege. Mekkork legyenek az oldalak, hogy a maximlis terletet kapjuk? Papposznl a krds metszsi problma: az oldalak sszege: a, a kt oldal: a s a-x Fermat a kvetkez okoskodssal oldja meg a problmt: a terlet: x(a - x) = ax - x2 Most menjnk egy kicsit odbb a szakaszon. Ekkor a terlet: (x + E)(a - x - E) = ax - 2Ex + aE - E2 - x2 nagyon kicsi elmozdulsnl a kt terlet vgtelenl kicsiny mrtkben tr el egymstl, gy az aE - 2Ex - E2 = 0 egyenlethez jutunk, ezt E-vel osztva a - 2x - E = 0, s mivel E igen kicsi, a = 2x. A megolds teht a ngyzet. Kicsit furcsnak tnhet az okoskods, hogy valami azonos is meg nem is valami mssal. Mgis, mdszere lnyegben lim(f(x + E) - f(x))/E hatrrtk meghatrozsn alapul: azokat a helyeket kereste, ahol ez nullval egyenl. gy Fermat, ha gy tetszik, nemcsak az analitikus geometria, de a differencilszmts felfedezjnek is tekinthet. Nem hasznlta termszetesen mg a mi precz fogalmainkat (ezek kidolgozshoz majd ktszz vre volt mg szksg) m a lnyeg mr megjelent munkiban: a vltoz kicsiny mdostsval a fggvnyrtk vltozsnak figyelse. Van egy harmadik terlet is, amelyen Fermat, ha nem is ttr, de jelents szerepet jtszott. Mr 20 vvel Cavalieri oszthatatlanjainak megjelense eltt nemcsak az y = xn alak grbk rintit tudta megadni, de a grbe alatti terletet is. Fermat-val egyidben msoknl is megjelennek a vgtelenl kicsiny mennyisgek. A renesznsz ugyanis a mozgs vizsglatban is j gondolatokat hozott. A Merton College eredmnyei utn Tartaglia (De substilitate, 1551, Opus novum, 1570) az gylvedkek plyjt, Benedetti pedig a szabadesst vizsglva jutott j, az arisztotelszi fizikval ellenttes eredmnyekre. Az eredmnyeikre tmaszkodva Kepler a bolygk mozgst vizsglva egy olyan technikt alkalmazott, amit korbban

a boroshordk trfogatnak meghatrozsra dolgozott ki (Stereometria doliorum vinorum, 1615). A hord trfogatt az alapkr sugara mentn olyan szeletekre bontotta, melyekkel azonos trfogatak egytt egy hengerszeletet adtak, gy az ssztrfogatot mr knnyszerrel meg tudta hatrozni. Kepler szeretett volna olyan szmtsi eljrst tallni, mellyel leegyszersthette volna a rengeteg szmolst, amit az apr terletek sszegzse jelentett. Ez a mdszer - az integrlszmts - hamarosan meg is szletett. Kialakulsban fontos szerepet jtszott Galilei egyik tantvnya, Bonaventura Cavalieri (Geometria indivisibilius continuorum nova quadam ratione, azaz Az j mdon kifejtett oszthatatlan folytonos mennyisgek geometrija, 1635) hasonl szeletek sokasgnak tekintve az alakzatokat a terlet- s trfogatszmts egy j elmlett dolgozta ki. Emlksznk mg Arkhimdsznek arra az tletre, hogy a parabolaszelet terlett prhozamos hrjaira bontva vizsglja? Cavalieri ezeket oszthatatlanoknak tekintette (hogy utaljunk ismt a Bradwardine-nl mr emltett kontinuum-vitra), ugyanakkor gy vlte, ezek a vgtelenl kicsiny szeletek a teljes alakzatnl eggyel alacsonyabb dimenzijak. A vonalak alkotjk a skidomot, s skidomok a testeket. gy nyilvnval, hogy a terletek (vagy trfogatok) arnya azonos lesz e szeletek sszegzett hossznak ( ill. terletnek) rnyval: TABCD:TABEF=y1: y2. Mieltt tovbblpnnk az integrl- s differencilszmts fejldsnek taglalsra, emltsk meg kiemelked szerept a szzad negyedik nagy jtsa, a valsznsgszmts kidolgozsban. Pascallal folytatott levelezsben a szerencsejtkok olyan rgta ismert problmira kerestk a vlaszt mint pl. hogyan kell felosztani a nyeresgalapot a jtkosok kztt, ha a jtk menet kzben megszakad. Fermat s Pascal tbb olyan megoldsi eljrst is kidolgoztak, melyek ksbbi ltalnostsukkal a valsznsgszmts alapjaiul szolgltak. Pascalnl maradva a szlsrtk vizsglata izgalmas krds akkor is, amikor egy grbhez hzott rint meredeksgt prbljuk meghatrozni. Az rint a mozgs vizsglatban azrt rdekes, mert a mozgs pillanatnyi irnyt mutatja. Ha az rinthz szelk segtsgvel kzeltnk, az rint ezek hatrhelyzett jelenti, az elpattan egyenest, aminek mr ppen csak egy kzs pontja van a grbvel. (termszetesen nem minden ilyen helyzet egyenes lesz rint. A grblet vltozsnak pontjaiban (inflexis pontok) az ilyen egyenes metszi a grbt. A grblet vizsglatval azonban ezek az esetek sztvlaszthatk.

Az rint keressekor teht a szelk hatrhelyzete a

lim(dy/dx) = lim((f(x + e) - f(x))/e) hatrrtk meghatrozst jelenti. Ez a differencilhnyados az (x,f(x)) pontban A differencilhnyados keressnek inverz mvelete: adott a differencilhnyados, s keressk azt a grbt, melynek az adott pontban pp ez az rintje. Nem trivilis. Erre vonatkozik a Newton-Leibniz ttelknt ismert sszefggs, melyet az analzis alapttelnek tartanak. E ttel inkbb csak a nagy mesterekre val tekintettel viseli e kt kivl tuds nevt. Az sszefggs mr ismert volt Newton mestere, Isaac Barrow eltt is, aki 1699-ben megjelent Lectiones geometricae c. munkjban kzlte azt:
Legyen ZGE tetszleges grbe VD tengellyel, s legyenek e tengelyre merlegec ordintk a VZ ordinttl kezdve folyamatosan nvekvek; legyen tovbb VIF egy olyan grbe, hogy ha a VD-re lltott merleges EDF egyenes E s F pontban metszik a grbket, VD-t pedig Dben, a DF s egy adott R ltal alkotott tglalap egyenl a kzrezrt VDEZ terlettel.; valamint legyen DE:DF = R:DT, s vegyk TF egyenest. Ekkor TF rinti a VIF grbt.4

Ht, azt hiszem, aki ismeri az analzis alapttelt, nem erre szmtott. Bizony gondolkodni kell azon, valban ekvivalensek-e. (A kedves olvas akr le is ellenrizheti, tud-e olyan rtelmezst adni a fentieknek, melybl kijn a krdses ttel. Az vilgos, hogy van egy terletet jellemz fggvny amelynek az rintjrl mond valamit. De mit is?) Mg ha nem is tkletesen a mai formjban de mr a keznkben van az integrl s differencilszmts sszefggse, csak ppen mg egyik sem szmts. Ehhez az kell, hogy ne legyen szksg egyedi tletekre, ha szembekerlnk egy konkrt feladattal. Legyen egy ltalnos eljrs, mellyel bizonyos tpus feladatok megoldhatk, s el lehessen dnteni, hogy egy feladat az adott tpusba tartozik-e. Ezt az ltalnos megkzeltsmdot tallta meg Newton s Leibniz egymstl fggetlenl. Newton mr 1665-ben hasznlta, m csupn heurisztikus eljrsknt, mivel logikai megalapozsa mg nem voltak tiszta. Leibniz viszont publiklta sajt technikjt 1684-ben (nem mintha ez sokkal vilgosabb lett volna).Mindketten az infinitezimlis (vgtelenl kicsiny) mennyisgekkel szmoltak, s ezek alkalmazsa, ahogy azt George Berkeley a the Analyst c. munkjban megvilgtotta, nem volt ppen mentes a logikai hzagoktl. A XVIII. szzad matematikusai igyekeztek alkalmazni e technikkat, gyesen bvszkedtek, osztottak, szoroztak az infinitezimlisokkal. (Ami itt problmt jelent, az az, hogy mikor lehet szmolni velk mint 0-nl nagyobbal, s mikor lehet elhagyni ket, illetve ennek specilis eseteknt az oszts: ha valamit az egyik lpsben nullnak tekintnk, hogyan tudunk vele osztani?) E tren a Bernoulli fvrek s L`Hospital mrki eredmnyei mellett fontos megemlteni Leonhard Euler munkssgt. Hrom knyvet rt az analzisrl: egy bevezett (1748.), egyet a differencil- (1755) s egy ngyktetest az integrlszmtsrl (1767-1770.) Ez utbbi tartalmazza a
4

D.J. Struik: A Source Book in Mathematics (Cambridge, Ma, 1969)

differencilegyenletekre vonatkoz, s a termszettudomnyok fejldsre oly nagy hats ismereteket is. Knyvei sszefoglaltk mindazt, amit akkoriban e trgykrben tudni lehetett. adta meg az n-edrend differncilegyenletek elmletnek ltalnos fogalmi kereteit is. Johann Bernoulli, Euler s Lagrange j analitikus mdszereket dolgoztak ki fizikai problmk megoldsra, gy nemcsak a tiszta de az alkalmazott matematika szempontjbl is klnsen jelentsek munkik. A differencil s integrlkalkulus szigor megalapozsa azonban a hatrrtk, a folytonossg s a vals szm fogalmnak definilsval, konvergenciakritriumok megadsval Augustin Louis Cauchy munki (Courese danalyse, 1821) s Carl Weierstrass berlini eladsai rvn majd a XIX. szzad vvmnya lesz.

Irodalom Bell, E. T.: The Development of Mathematics (McGraw Hill, New YorkLondon 1945) Boyer, C. B.-Merzbach, U. Z.: A History of Mathematics (John Wiley and Sons, 1989) Freud R. (szerk): Nagy pillanatok a matematika trtnetben (Gondolat, Budapest 1981) Juskevics, A.P.: A kzpkori matematika trtnete (Gondolat, Budapest 1982) Sain Mrton: Nincs kirlyi t. Matematikatrtnet (Gondolat, Budapest 1986) Struik, D. J.: A Source Book in Mathematics (Cambridge, Ma, 1969) T. Tth Sndor-Szab rpd: Matematikai mveltsgnk keretei. Kzpkor s renesznsz (Gondolat, Budapest 1988) Toeplitz, Otto: The Calculus - A Genetic Approach (The Univ. of Chicago Press 1963)