Glimtar ur matematikens historia - Ncm
Glimtar ur matematikens historia - Ncm
Glimtar ur matematikens historia - Ncm
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Glimtar</strong> <strong>ur</strong> <strong>matematikens</strong><br />
<strong>historia</strong><br />
HARRY LINDHOLM<br />
Rötterna till den västerländska kult<strong>ur</strong>en kan man till stor del finna i det som greker<br />
presterade under den korta perioden 600 till 300 f Kr. Det var då som de konstnärer<br />
och författare verkade som blev stilbildande för lång tid framåt. Den e<strong>ur</strong>opeiska<br />
nat<strong>ur</strong>vetenskapen uppstod också under denna period.<br />
I denna artikel skall Harry Lindholm redogöra för några av de betydelsefulla<br />
insatser som grekiska matematiker gjorde under periodens första hälft.<br />
Ännu för hundra år sedan ansåg man att matematiken<br />
nästan uteslutande hade skapats av De<br />
gamle greker. Nu vet vi att de i inte obetydlig<br />
utsträckning hämtade kunskaper och stimulans<br />
från lärde män i Babylonien och Egypten, som<br />
gästfritt tog emot dem och delade med sig av sina<br />
kunskaper om astronomi, matematik och teknik.<br />
Man har spekulerat mycket över orsakerna till<br />
det kult<strong>ur</strong>ella uppsving som tog sin början omkring<br />
600 f Kr. En positiv faktor anser man det<br />
1. Miletos (Thales)<br />
2. Samos (Pythagoras)<br />
3. Abdera (Demokritos)<br />
4. Kios (Hippokrates)<br />
5. Athen (Platon)<br />
6. Knidos (Endoxos)<br />
7. Stagira (Aristoteles)<br />
8. Delos<br />
9. Delfi<br />
ha varit att i de grekiska stadsstaterna spelade vid<br />
denna tid inte prästerna huvudrollen utan klassen<br />
av handelsmän. De första försöken till vetenskaplig<br />
forskning — det gällde främst astronomi —<br />
hade visserligen ägt rum i området kring Eufrat<br />
och Tigris, men det var grekiska läkare och<br />
handelsmän som först sökte göra sig fria från<br />
religiösa föreställningar och självständigt behandlade<br />
de kunskaper de mottog utifrån.<br />
Den grekiske handelsmannen behövde inte un-
derordna sig åsikterna hos någon härskare eller<br />
något prästerskap. Tack vare sitt yrke och en<br />
verksamhet, som alltmer byggde på att kroppsarbetet<br />
utfördes av slavar, fick han en fritid, som<br />
kunde användas till att fundera över vad han såg<br />
omkring sig och diskutera det med jämlikar.<br />
Sönerna till läkare och affärsmän hade råd att<br />
göra studieresor och att lyssna på de män som<br />
blev ryktbara därför att de sökte ge svar på frågor<br />
som: Vad är allt gjort av?, H<strong>ur</strong> ser jorden ut?,<br />
Vad är liv?<br />
I det politiska livet i dessa stadsstater spelade<br />
förmågan att argumentera en viktig roll. Dialektiken<br />
— diskussionskonsten — var därför av stort<br />
intresse för den klass som hade den politiska<br />
makten. Det stora intresse som ägnades matematiken<br />
i de grekiska stadsstaterna har delvis sin<br />
förklaring i detta; den betraktades som ett specialområde<br />
av dialektiken.<br />
Thales<br />
Han är de förste vetenskapsman som vi vet namnet<br />
på. Han föddes och verkade i Miletos, en av<br />
dessa grekiska handelsstäder i västra Mindre<br />
Asien där de s k joniska filosoferna utvecklade<br />
sina tankar. På grundval av vissa uppgifter om<br />
honom, bl a att han skall ha förutsagt en solförmörkelse,<br />
som vi vet ägde rum 585, säger man att<br />
han skall ha fötts omkring 624 och dött omkring<br />
546.<br />
Det vi vet om Thales har vi i huvudsak från tre<br />
källor: Herodotos <strong>historia</strong> om grekerna och omgivande<br />
folk skriven omkring 440, Platons dialoger<br />
skrivna under några årtionden omkring 360<br />
och utdrag <strong>ur</strong> Eudemos matematik<strong>historia</strong><br />
skriven cirka 320, som finns i ett arbete som nyplatonikern<br />
Proclos skrev om Euklides första bok<br />
cirka 450 e Kr.<br />
Medan vi från det babyloniska området har<br />
kvar mängder av originalframställningar av matematiska<br />
arbeten, till och med lertavlor med skolelevers<br />
räkningar, saknar vi med undantag av<br />
några papyrusfragment samtida material om det<br />
antika Greklands matematik.<br />
Från och med Platons tid finns det däremot<br />
avskrifter av avskrifter av avskrifter osv av<br />
många arbeten med matematiskt innehåll. Många<br />
betydelsefulla arbeten före Platons tid och delvis<br />
också efter denna tid har emellertid gått förlorade<br />
därför att de som bestämt vilka papyrusblad som<br />
skulle skrivas av inte ansett att innehållet varit<br />
intressant eller lämpligt att föra vidare.<br />
Thales från Miletos betraktades senare som den<br />
äldste av Greklands sju vise män och det tycks<br />
som om de som följde i hans spår hade en önskan<br />
att tillskriva honom större upptäckter än han<br />
verkligen gjort.<br />
Frimärke med "Babylons hängande trädgårdar".<br />
Efter att i unga år ha skaffat sig en förmögenhet<br />
genom handel med säd och andra jordbruksprodukter<br />
skall han ha ägnat sitt senare liv åt resor<br />
och studier. Enligt de nämnda källorna skall han<br />
en tid ha vistats i Egypten och Babylonien. När<br />
han kom hem ägnade han sig bl a åt matematiska<br />
problem. Senare antika matematiker ansåg att<br />
Thales var den förste som sökte bevisa geometriska<br />
satser genom en serie av argument och genom<br />
logiska tankesteg. Med andra ord han påstås vara<br />
den som uppfann den deduktiva matematiken,<br />
som 250 år senare fulländades av Euklides.<br />
Enligt vad Proclos säger sig citera från Eudemos<br />
skall Thales ha utvecklat de logiska bevisen<br />
för följande satser:<br />
1. En cirkel halveras av sin diameter.<br />
2. I varje likbent triangel är basvinklarna lika<br />
stora.<br />
3. När två räta linjer skär varandra så är<br />
motstående vinklar lika stora.<br />
4. Två trianglar är kongruenta när de har en<br />
sida och två (närliggande) vinklar lika stora.<br />
Men Thales beundrades också för att han löste<br />
praktiska problem. Han skall i Egypten ha väckt<br />
uppmärksamhet genom att beräkna höjden hos<br />
en av pyramiderna med hjälp av dess skugga.<br />
Satsen om kongruenta trianglar skall han ha<br />
använt för att bestämma avståndet från stranden<br />
till ett fartyg till sjöss.<br />
Praktisk matematik<br />
Det finns en rad efterföljare till Thales, som<br />
verkade i städerna på Mindre Asiens västkust och<br />
öarna där utanför, de joniska filosoferna. Dessa<br />
— och i ännu högre grad Platon och hans efterföljare<br />
— värderade filosofiska spekulationer<br />
högre än praktiska värv. Detta resulterade i att<br />
grekiska ingenjörers och uppfinnares arbeten ej<br />
uppmärksammades. Det som har skrivits om deras<br />
insatser har nästan helt försvunnit.
Ett bevis på h<strong>ur</strong> väl man vid denna tid praktiskt<br />
kunde utnyttja geometriska kunskaper fann man<br />
1882 på ön Samos. En tysk arkeolog, som grävde<br />
efter antika föremål, fann då en 1 km lång<br />
tunnel, som byggts för att leda vatten genom ett<br />
berg. Det visade sig att allt stämde med en beskrivning<br />
av ett tunnelbygge som Herodotos lämnat<br />
och som enligt honom ägt rum omkring<br />
530 f Kr. Studier av tunneln visade att man<br />
arbetat från båda hållen och att felet då man<br />
möttes var förvånansvärt litet, van der Waerden,<br />
som redogör för detta i sin bok Science awakening,<br />
anser att det varit möjligt tack vare att man<br />
redan då hade mycket noggranna vinkelmätningsinstrument,<br />
som bl a utnyttjade vattenpass och<br />
kugghjul.<br />
Klotet skall påminna om att man ansåg att Pythagoras<br />
var den förste som antog att jorden är ett<br />
klot.<br />
Pythagoras<br />
Bland dem som påstås ha lyssnat till Thales<br />
utläggningar i Miletos nämns den omkring femtio<br />
år yngre Pythagoras. Han föddes och växte upp<br />
på den närbelägna ön Samos.<br />
Det finns en hel del uppgifter om honom i<br />
antika skrifter, bland annat en biografi på latin,<br />
som skrevs av en Pythagorasbeundrare, Jamblichos,<br />
omkring 300 e Kr. Enligt dessa bör Pythagoras<br />
ha levat från ca 582 f Kr till ca 497 f Kr.<br />
Pythagoras efterföljare, pythagoréerna, betraktade<br />
honom som grundare av ett religiöst<br />
samfund och sökte på olika sätt öka hans anseende.<br />
Det berättas om underverk som han skall ha<br />
utfört, att han befunnit sig på två platser samtidigt<br />
osv. Han skall ha predikat tron på själavandring<br />
och att dj<strong>ur</strong>en är av samma art som människan<br />
och att man därför borde avstå från att äta<br />
kött.<br />
Det fanns fler sådana grundare av religiösa<br />
samfund bland grekerna vid denna tid och i<br />
Indien förde Buddha ungefär samtidigt fram delvis<br />
samma idéer som Pythagoras. Liksom denne<br />
omhuldade Buddha matematiken. Framför allt<br />
var det aritmetiken som fick högt anseende inom<br />
buddismen.<br />
Om vi får tro Jamblichos så skall Thales ha<br />
givit Pythagoras rådet att fortsätta sina studier i<br />
astronomi och geometri hos de egyptiska prästerna<br />
och från Egypten skall han ha kommit till<br />
Babylonien. Efter att ha vistats där under flera år<br />
kom han hem till Samos för att finna det andliga<br />
klimatet otrevligt sedan Mindre Asien råkat under<br />
persisk överhöghet. Han utvandrade därför<br />
till Croton, en av de grekiska kolonierna i södra<br />
Italien. Det bör ha skett år 530 f Kr.<br />
Inte långt från Croton låg den grekiska kolonin<br />
Paestum, vars tempel visar att byggherrarna kunde<br />
tillämpa geometri för att uppnå önskade optiska<br />
effekter. De höga pelarna gavs sådan lutning<br />
att de syntes vara parallella, då de betraktades<br />
från marken.<br />
Pythagoras tog avstånd från Thales och de<br />
andra joniska filosofernas rationalism och grundade<br />
i Croton ett religiöst samfund. Av medlemmarna<br />
fordrade han att de skulle föra ett asketiskt<br />
liv och att de skulle ägna sig åt vad vi skulle<br />
kalla vidskepliga riter. Han predikade att målet<br />
för människan skulle vara att rena och befria<br />
själen. Ett av medlen som han anvisade var<br />
studier, bland annat av astronomi, matematik<br />
och musik.<br />
Musiken spelade en stor roll för pythagoréerna.<br />
Pythagoras skall ha upptäckt att toner som frambringas<br />
av lika spända och lika tjocka strängar,<br />
vars längder förhåller sig som små hela tal, ljuder<br />
vackert tillsammans eller efter varandra. Dessa<br />
iakttagelser fick avgörande betydelse för hans<br />
uppfattning om världen — och speciellt matematiken.<br />
De gav honom tanken att hela universum<br />
kan beskrivas med hjälp av de hela talen. Han<br />
tillskrev dem också alla möjliga mystiska egenskaper.
Att tillägna talen mystiska egenskaper var inte<br />
något nytt, men hos Pythagoras utvecklades detta<br />
oerhört. Det var inte bara så att man associerade<br />
talet 1 med en punkt, 2 med en linje, 3 med en yta<br />
och 4 med rymden. Han förband också 2 med<br />
omdöme och manlighet och talet 3 med kvinnlighet;<br />
5 symboliserade äktenskapet osv.<br />
Enligt Pythagoras fanns inget ädlare studium<br />
än det av de hela talen. Pythagoréerna sökte efter<br />
tal med egenartade egenskaper. Tal som man<br />
sökte efter var t ex perfekta tal, dvs tal som är<br />
summan av sina faktorer.<br />
och vänliga tal, dvs talpar där det ena är summan<br />
av alla möjliga faktorer hos det andra.<br />
Man konstruerade också samband mellan tal och<br />
geometriska fig<strong>ur</strong>er och med deras hjälp bevisade<br />
men regler för beräkning av talföljders summa.<br />
Man talade om triangeltal (1, 3, 6, 10, . . .),<br />
kvadrattal (1 ,4, 9, 16, ...), pentagonaltal (1, 5,<br />
12, 22, . . .) osv.<br />
Bild av frimärke med strängaspel.<br />
Det var kanske studiet av strängar som gjorde att<br />
Pythagoras och hans lärjungar ägnade proportionsläran<br />
så stor uppmärksamhet. Det är pythagoréerna<br />
som infört begreppen aritmetiskt, geometriskt<br />
och harmoniskt medium. Beteckningen<br />
harmoniskt medium för 2ab/(a + b) skall ha införts<br />
på grund av att pythagoréerna vid försök<br />
med svängande strängar skall ha funnit att då de<br />
gav harmoniska toner så förhöll sig deras längder<br />
som de hela talen 6, 8, 9 och 12. En utförligare<br />
redogörelse lämnar Thorleif Johansen i Forntidens<br />
matematik.<br />
Något som också stimulerade talmystiken var<br />
att grekerna utnyttjade det från fenicierna upptagna<br />
alfabetet för att beteckna siffror. De använde<br />
till att börja med talsymboler som påminner<br />
om vad vi kallar romerska siffror, dvs de<br />
använde, förutom det raka strecket för ett, begynnelsebokstäverna<br />
i de grekiska orden för fem,<br />
tio, hundra osv.<br />
Under Pythagoras livstid började man använda<br />
de små bokstäverna i alfabetet för att beteckna<br />
tal. Enheterna från 1 t o m 9 fick särskilda tecken<br />
(a, ß osv), likaså tiotalen från 10 t o m 90 (t, x<br />
osv) och hundratalen från 100 t o m 900 (e, Σ<br />
osv). För större tal började man om från början,<br />
men för 1 000 satte man ett litet streck (komma)<br />
framför α.<br />
De grekiska, liksom de egyptiska, symbolerna<br />
för tal var mycket olämpligare än de babyloniska,<br />
då det gällde att göra numeriska beräkningar.<br />
Papyrusblad var också dyrare än lertavlor och<br />
detta kom att påverka den grekiska <strong>matematikens</strong><br />
inriktning.<br />
Liksom andra samtida folk använde grekerna<br />
räkneram eller räknebord vid de beräkningar som<br />
gjordes i vardagslivet av t ex affärsmän, byggmästare<br />
och skatteindrivare. Hos grekerna kallades<br />
en sådan anordning för abax, vilket på latin<br />
blev abacus. Räkningen på räknebordet utfördes<br />
med hjälp av småstenar. Av romarnas namn på<br />
liten sten, calculus, har vi fått orden kalkyl och<br />
kalkylera.<br />
Grekernas användning av bokstäver för att<br />
beteckna tal gjorde också att de inte som babylonierna<br />
kunde använda tecken för orden längd,<br />
area och volym för att symbolisera okända storheter.<br />
Dessa olägenheter med det grekiska talsystemet<br />
var en bidragande orsak till att praktiskt taget all<br />
grekisk matematik under denna tid gavs en geometrisk<br />
framställning. Men upptäckten av de<br />
irrationella talen var säkert det viktigaste skälet.<br />
Upptäckten har samband med satsen som bär<br />
Pythagoras namn. I flera antika skrifter anges att<br />
han upptäckt satsen att kvadraten på hypotenusan<br />
i en rätvinklig triangel är lika med summan<br />
av kvadraterna på de två kateterna. Detta sam-
and var, som tidigare nämnts, redan känt av<br />
babylonierna omkring 1800 f Kr, men det är<br />
säkert så att det är genom Pythagoras som västerlandet<br />
fått kännedom om satsen. Därom är källorna<br />
eniga, liksom att han skall ha varit den<br />
förste som givit ett allmängiltigt bevis för satsen.<br />
H<strong>ur</strong> han bevisade den vet vi emellertid inte.<br />
Pythagoréernas intresse för olika slag av medelvärden<br />
kan ha lett dem till att söka svar på<br />
frågan: Vilket är det geometriska medelvärdet av<br />
1 och 2 (dvs med vårt beteckningssätt 1 • 2)?<br />
Denna fråga kunde sedan med hjälp av Pythagoras<br />
sats överföras till en fråga om vilket förhållandet<br />
är mellan diagonalen och sidan i en kvadrat.<br />
Det blev en chock för pythagoréerna då de<br />
fann att förhållandet inte kunde uttryckas med<br />
tal. För grekerna var tal alltid hela, positiva tal.<br />
De uteslöt för övrigt 1 från de egentliga talen och<br />
ansåg det vara både jämnt och udda.<br />
Upptäckten har kanske inte inträffat under<br />
Pythagoras levnad, men i varje fall före 430. Det<br />
bevis pythagoréerna utarbetade är sannolikt det<br />
som återges i den tionde boken av Euklides Elementa,<br />
sammanställd omkring 290. Det kan återges<br />
så här:<br />
— Om diagonalen AC och sidan AB i kvadraten<br />
ABCD är kommens<strong>ur</strong>abla (sammätbara), låt<br />
deras kvot, förkortad så mycket som möjligt,<br />
vara m/n. Av detta följer att<br />
(AC) 2 /(AB) 2 = m 2 n 2 ,<br />
men eftersom (AC) 2 = 2(AB) 2 leder detta till att<br />
m 2 = 2n 2 ,<br />
dvs att m 2 är ett jämnt tal. Då måste också m vara<br />
jämnt. Då m/n ej kan förkortas så måste n vara<br />
udda. Men är m jämnt så måste m 2 vara delbart<br />
med 4, alltså n 2 delbart med 2 och följaktligen n<br />
jämnt. Men då n inte kan vara både jämnt och<br />
udda kan inte AC/AB skrivas som en kvot av<br />
heltal.<br />
Det här givna s k indirekta beviset är det äldsta<br />
bevarade exemplet på ett bevis av detta slag. Som<br />
tidigare nämnts hade babylonierna redan omkring<br />
1700 f Kr beräknat ett approximativt värde<br />
som mycket noggrant satisfierade ekvationen<br />
x 2 = 2, men beviset för denna ekvation inte har<br />
någon exakt lösning, som kan anges med rationella<br />
tal, var ett betydande matematiskt framsteg.<br />
Längden av en diagonal i en kvadrat med t ex<br />
sidan 1 kunde således inte anges med grekernas<br />
tal. Den var outsägbar, som grekerna uttryckte<br />
det. Vi säger att den anges av ett irrationellt tal.<br />
Däremot kunde man genom en enkel geometrisk<br />
konstruktion åskådliggöra talet. Geometrin ansågs<br />
därför vara ett överlägset redskap för en<br />
exakt framställning av matematiken.<br />
Enligt vissa källor skall pythagoréerna ha visat att<br />
5 var outsägbart, innan de visade att det gällde<br />
för 2. Det skall ha skett i samband med studiet<br />
av den regelbundna femhörningen, som skall ha<br />
fascinerat Pythagoras. Med hjälp av diagonalerna<br />
konstruerade han femstjärnan, som blev det<br />
tecken som pythagoréerna använde som ett slags<br />
medlemsmärke. Genom ytterligare linjer kunde<br />
han dela upp femhörningen i 30 småtrianglar och<br />
till sin glädje finna att förhållandena mellan vinklarna<br />
kunde uttryckas med hjälp av små hela tal.<br />
Vid studiet av sambanden mellan sträckor i fig<strong>ur</strong>en<br />
skall man så funnit att 5 var ett outsägbart<br />
tal. Andra menar att pythagoréerna visat detta i<br />
samband med sina undersökningar av det gyllene<br />
snittet (Se Nämnaren nr 1, 84/85).<br />
Pythagoréerna studerade sannolikt också förhållandet<br />
mellan sidorna hos femhörningar inskrivna<br />
i varandra som nedanstående frimärke<br />
visar.
De antika grekiska matematikerna kände troligen<br />
till babyloniernas algebra men fann den tydligen<br />
inexakt och ej anpassbar till deras siffersystem.<br />
De klädde därför algebran i geometrisk<br />
dräkt. Mycket av denna geometriska algebra har<br />
tillskrivits pythagoréerna och det är sannolikt att<br />
många av de satser och bevis för algebraiska<br />
samband som finns i Euklides Elementa kommer<br />
från dem.<br />
Regeln att (a + b){a - b) = a 2 - b 2 "bevisas" i<br />
nedanstående fig<strong>ur</strong> där P är mittpunkt på AB.<br />
Babylonierna löste andragradsekvationer ungefär<br />
som vi, medan grekerna använde geometriska<br />
metoder. Anledningen var problemet med de irrationella<br />
talen, som var outsägbara, men som<br />
logiskt invändningsfritt kunde tänkas representerade<br />
av sträckor.<br />
Ekvationen x 2 -px + q 2 = 0 löstes t ex genom<br />
följande konstruktion, som finns i Euklides Elementa.<br />
Uppgiften är att dela en given sträcka (AB = p)<br />
så att rektangeln, som bildas av dess delar (AQ<br />
och QB), är lika med en given area (q 2 ), där arean<br />
inte får vara större än kvadraten på halva sträckan<br />
(dvs q 2 (p/2) 2 ).<br />
För att göra detta konstruerar man PC = q på<br />
mittpunktsnormalen till AB. Med C som medelpunkt<br />
och PB som radie drar man en cirkelbåge<br />
som skär AB i Q.<br />
Enligt den föregående satsen är AQ • QB =<br />
(PB) 2 -(PQ) 2 men då PB = CQ erhålles med<br />
hjälp av Pythagoras sats att AQ • QB =<br />
(CP) 2 = q 2 .<br />
Om r och 5 är rötterna till andragradsekvationen<br />
så gäller att r + s = p och r • s = q 2 . Men<br />
AQ + QB = p och AQ • QB = q 2 . Därför representerar<br />
AQ och QB rötterna till andragradsekvationen.<br />
Med liknande metoder visade man h<strong>ur</strong> man<br />
skulle geometriskt bestämma de reella lösningarna<br />
till andra typer av andragradsekvationer<br />
x 2 ± px ± q 2 = 0.<br />
Zenon<br />
Det var inte endast de outsägbara talen som<br />
vållade de grekiska matematikerna bekymmer.<br />
Från staden Elea i Syditalien, endast några mil<br />
från Croton, där Pythagoras hade verkat, kom ca<br />
450 f Kr filosofen Zenon till Athen och pekade på<br />
andra svårigheter i det matematiska tänkandet.<br />
Skall man anta att en storhet är oändligt delbar<br />
eller att den består av ett mycket stort antal små<br />
odelbara delar? I sina paradoxer, bl a den om<br />
Akilles och sköldpaddan pekade Zenon på de<br />
logiska problem som båda antagandena ledde till.<br />
En del av svårigheten låg i att man trodde att<br />
summan av ett oändligt antal positiva storheter<br />
måste vara oändligt stor, även om varje storhet<br />
var oerhört liten. Det skulle dröja till 1600-talet<br />
innan man ordentligt studerade konvergenta serier.<br />
Zenons paradoxer, som sedan behandlades utförligt<br />
av Aristoteles i hans Logik, verkade mycket<br />
stimulerande på det matematiska tänkandet.<br />
Men de svårigheter för tanken som följde med<br />
uttryck som det oändligt lilla och det oändligt<br />
stora eller summan av oändligt många kvantiteter<br />
förde med sig att de grekiska matematikerna<br />
undvek att använda ordet oändligt.<br />
LITTERATUR<br />
utöver den som nämnts i artikeln i Nämnaren<br />
nr 1, 1985/86.<br />
Aaboe, Asger: Antikens matematik från babylonierna<br />
till Ptolemaios, Stockholm 1969.<br />
Brun, Viggo: Alt er tall, Matematikkens historiefra<br />
oldtid til renessanse, Bergen 1964.<br />
Eves, Howard: An Introduction to the History<br />
of Mathematics, New York 1964.<br />
Newman, James: Sigma, En <strong>matematikens</strong><br />
kult<strong>ur</strong><strong>historia</strong>, Stockholm 1965 del 1 s 27—48,<br />
137—143, 384—387 och del 4 s 1319—1327.