En modern, stegvis utgåva av Euklides första bok – definitioner, postulat, allmänna föreställningar och samtliga fyrtioåtta propositioner i ett sammanhängande undervisningsverktyg.
Författarens verk är långt bättre dokumenterade än hans liv. Ansvarsfull historieskrivning skiljer därför det som kan beläggas från det som senare generationer har velat tro.
Euklides var aktiv runt 300 f.Kr., troligen i Alexandria under den tidiga ptolemaiska perioden. Han kallas traditionellt "geometrins fader", men nästan ingenting säkert är känt om hans födelse, utbildning, personlighet eller död.
Vårt huvudsakliga gamla biografiska meddelande kommer från Proklos, som skrev ungefär sju århundraden senare; Pappus placerar också Euklides inom en alexandrisk matematisk tradition. Den välkända bilden av en skäggig vis är därför en konstnärlig konvention, inte ett porträtt från livet.
Moderna forskare diskuterar hur stor del av Elementa som är Euklides egen och hur stor del som bygger på äldre traditioner. Den säkraste slutsatsen är inte att ”Euklides aldrig existerade”, utan att det bevarade verket är en syntes av tidigare grekisk matematik, formad av en författare eller skola vars personliga historia till stor del har gått förlorad.
Alexandria var då en ung, flerspråkig huvudstad i det ptolemaiska riket och ett exceptionellt centrum för samlande av kunskap och lärdom. Euklides är ofta kopplad till sitt museum och bibliotek, men inga överlevande bevis ger honom en officiell post där. Vad kan dateras är matematiken: han följer Eudoxus och Theaetus och föregår Archimedes, som hänvisar till resultat som hör till den euklidiska traditionen.
Före Euklides
En syntes, inte en början
Den grekiska geometrin innehöll redan djupa resultat. Proklos tillskriver Euklides förmågan att ordna Eudoxos arbeten och fullända sådant som hade utvecklats av Theaitetos. Bok V:s allmänna proportionsteori och bok XII:s uttömningsargument förknippas med Eudoxos; böckerna X och XIII bygger i hög grad på Theaitetos.
Bortom Elementa
En författare med bred matematisk räckvidd
Data undersöker vad som kan härledas när delar av en figur är ”givna”; Optiken behandlar synstrålar och perspektiv; Fenomena rör sfärisk astronomi. Om delning av figurer har huvudsakligen bevarats genom en arabisk tradition. Andra tillskrivna verk är förlorade eller har omstritt författarskap.
Euklides prestation
Arkitektur snarare än enskilda nyheter
Hans storhet ligger inte i att ha uppfunnit varje sats. Den bestående innovationen är ämnets arkitektur: att fastställa ett ordförråd, ange de tillåtna antagandena och ordna resultaten så att senare bevis öppet vilar på tidigare.
Ett smalt historiskt fönster. Datingen är rekonstruerad från senare vittnesmål och Euklides plats i utvecklingen av grekisk matematik.
Elementa erbjöd en återanvändbar arkitektur: definiera, anta, konstruera, bevisa och låta varje resultat bära upp det följande.
Elementa består av tretton böcker och sträcker sig från plangeometri och proportionsteori till talteori, inkommensurabla storheter, rymdgeometri och de fem regelbundna polyedrarna.
Resultaten var inte alla nya. Euklides prestation var också redaktionell och strukturell: äldre matematik, förknippad med bland andra Eudoxos och Theaitetos, ordnades i en lång deduktiv följd. Definitioner och postulat fastställer språk och tillåtna operationer; propositionerna bildar sedan en kedja av konstruktioner och satser.
Denna form blev en modell för kunskap. Newtons Principia och Spinozas Etik anknyter medvetet till det euklidiska idealet: utgå från angivna principer och gör varje slutsats redovisningsbar.
Över 465 propositioner möter läsaren upprepade gånger en igenkännlig bevisrytm: uttal, utformning, konstruktion, bevis och slutsats. Moderna grunder avslöjar antaganden Euklides lämnade implicit - kontinuitet, mellanhet och beteendet hos skärande cirklar - men senare reparation är själv vittnesbörd om hur allvarligt hans ideal av explicit motivering togs.
Böcker I-VIPlangeometri
figurer, cirklar, proportioner, likheter
Böcker VII-XTal och storheter
talteori och ojämförlighet
Böcker XI-XIIIRymdgeometri
rum, volymer och platonska kroppar
Över språk och århundradenResa Elementa
C. 300 f.Kr.Alexandria
En grekisk syntes i tretton böcker.
8:e–9:e c.Arabiska översättningar
Studera och överföra genom den islamiska världen.
1120Adelards latin
En latinsk rutt från arabiska omformar europeisk studie.
1482Tryckt i Venedig
Ratdolts upplaga går med i typ och diagram.
1607Peking
Ricci och Xu Guangqi publicerar böcker I-VI på kinesiska.
1800–1900-talEtt världsklassrum
Skoltraditioner undervisar i geometri genom Euklides eller nära bearbetningar.
Utbildning · ett globalt arv
I generationer menade lärande geometri att lära sig att bevisa.
Elementa blev mycket mer än en europeisk ”stor bok”. Grekiska kommentarer bevarade verket under senantiken och i Bysans. Syriska och arabiska översättare, redaktörer och matematiker gjorde det till en del av vetenskapliga kulturer från Bagdad till Iran och Centralasien; dessa traditioner bidrog senare till nya latinska versioner. Jesuitiska utbildningsnätverk förde Clavius utvidgade utgåva genom Europa och bidrog till att föra dess deduktiva språk till Ming-Kina, där Matteo Ricci och Xu Guangqi 1607 publicerade de sex första böckerna på kinesiska.
Från tidiga universitet och akademier spred sig euklidisk geometri till formella skolsystem. I Storbritannien och Irland lästes det av universitetsstudenter, skolbarn, navigatörer, arkitekter, hantverkare och privata elever. europeiska och imperialistiska läroplaner bar sedan Euklidbaserade geometri mycket längre, medan lokala översättningar och undervisningstraditioner omvandlade hur det mottogs. Resultatet var inte en enhetlig världsomspännande lektion, utan en ovanligt bred referens för vad ett matematiskt bevis skulle vara.
Verkets direkta liv i klassrummet fortsatte in på 1900-talet. I England försvagade reformen omkring 1901 kravet att återge Euklides exakta ordning och formulering, men skolgeometrin förblev uttryckligen organiserad kring euklidiska propositioner. En diskussion om skolgeometri från 1924 förutsatte fortfarande att eleverna kände de viktigaste satserna i böckerna I–IV och VI. På andra håll skedde övergången från Euklides text till moderniserade läroböcker i euklidisk geometri vid olika tidpunkter. Även där den äldre ordningen övergavs levde strukturen definition–sats–bevis vidare.
Matematik
Bevis som offentlig kedja
Ett bevis kan inspekteras steg för steg. Dess auktoritet ligger i definitioner, antaganden och tidigare resultat - inte i talarens status.
Vetenskapsvetenskap
En modell av förklaring
Copernicus, Kepler, Galileo och Newton arbetade i kulturer där den euklidiska demonstrationen hjälpte till att definiera hur rigorös vetenskap kunde se ut.
Utbildning
Träna resonemang sinne
I århundraden eleverna lärde geometri och demonstration tillsammans. Reformers kritiserade rätt rote recitation, men den djupare utbildningsmål uthärdas: skilja en övertygande bild från en slutsats tvingas av skäl.
I två årtusenden försökte geometriker göra Euklides mest komplicerade antagande till en sats. De upprepade ”misslyckandena” blev till slut själva upptäckten.
Euklides formulering
Om en transversal bildar inre vinklar på samma sida vilkas summa är mindre än två räta vinklar, möts de båda linjerna på denna sida när de förlängs obegränsat.
Playfairs ekvivalenta formulering
Genom en punkt utanför en given linje kan exakt en linje dras parallellt med den givna linjen.
Det femte postulatet framstod som mindre omedelbart än Euklides övriga konstruktionsregler. Proklos, Ibn al-Haytham, Omar Khayyam, al-Tusi, Wallis, Saccheri, Lambert och Legendre bidrog alla till det långa försöket att härleda det ur de övriga axiomen.
Problemet var logiskt, inte bara visuellt. Ett påstående kan verka uppenbart på ett plant papper och ändå vara oberoende av de övriga axiomen. Varje föreslaget bevis måste därför granskas efter en dold ekvivalent till själva postulatet – ofta ett antagande om rektanglar, likformiga trianglar eller räta linjer på obegränsat avstånd.
Saccheris strategi från 1733 var avgörande i efterhand: anta ett alternativ och sök efter en motsägelse. Han härledde många äkta hyperboliska satser men tolkade deras främmande karaktär som ett tecken på att alternativet måste vara omöjligt. Lambert gick längre och fann ingen motsägelse.
Gauss utvecklade privat betydande icke-euklidiska idéer men publicerade dem inte. Lobatjevskij publicerade den första systematiska framställningen 1829; János Bolyais oberoende behandling utkom 1832. Riemanns föreläsning 1854 vidgade geometrin till rum av varierande dimension och krökning, och Beltramis modeller från 1868 gav avgörande belägg för den hyperboliska geometrins relativa konsistens.
Beltrami, Klein och Poincaré visade hur den nya geometrin kunde representeras av modeller vilkas konsistens kunde knytas till accepterad matematik. Upptäckten visade alltså inte att Euklides hade ”fel”. Den visade att parallellpostulatet väljer en sammanhängande geometri bland flera möjliga; vilken geometri som bäst beskriver det fysiska rummet blir åtminstone delvis en empirisk fråga.
Dolda former av postulat V
Olika meningar, samma extra antagande
Med de vanliga axiomen av neutral geometri, är varje uttalande nedan likvärdigt med det euklidiska parallellpostulatet. Ett förment bevis på en från neutrala principer måste därför dölja ett likvärdigt antagande någonstans.
Vinkelsumma
Varje triangel har vinkelsumman exakt 180°.
Rektanglar
Det finns en fyrhörning med fyra räta vinklar.
Likhet
Det finns liknande trianglar som inte är kongruenta.
Avstånd
Likvidistanta räta linjer möts inte.
1000–1200-talKhayyam & al-Tusi
Studerar särskilda fyrhörningar och dolda antaganden om paralleller.
1733Saccheri
Utforskar akutvinkelhypotesen medan man försöker rättfärdiga Euklides.
1766Lambert
Utvecklar ytterligare konsekvenser och finner ingen motsägelse.
1810-20-taletGauss
Fungerar privat; fruktar skada på hans rykte.
1829Lobatjevskij
Publicerar en geometri med mer än en parallell.
1832Bolyai
Publicerar en oberoende ”absolut vetenskap om rymden”.
1854–68Riemann & Beltrami
Krökning och modeller placerar nya geometrier på fast mark.
1870-80-taletKlein & Poincaré
Kraftfulla modeller kopplar samman geometri, projektiva metoder och analys.
Geometrierna förstås bäst som en familj av axiomsystem, inte som konkurrerande teckningar. Antalet paralleller är det tydligaste kännetecknet, men det logiska släktträdet kräver en viktig precisering.
Inget parallellpostulat antas. Euklides I.1–I.28 tillhör denna gemensamma teori.
Lägg tillExakt en parallell
Euklidisk geometri
Lägg tillMer än en parallell
Hyperbolisk geometri
Ändra mer än parallellaxiometInga paralleller
Elliptisk geometri är icke-euklidisk, men vanlig neutral geometri medger redan vissa icke-skärande linjer. Konsekventa elliptiska axiomsystem måste därför även ändra antaganden om incidens, ordning eller obegränsad förlängning.
Euklidisk geometri
Paralleller genom P
Exakt en
Triangelns vinklar
Vinkelsumma = 180°
Krökning
Noll
Det välbekanta plana fallet. De svagt markerade alternativen genom P skär den givna linjen; endast den tydligt markerade linjen är parallell.
Tre geometrier med konstant krökning
Egenskap
Euklidisk
Hyperbolisk
Elliptisk
Krökning
0
negativ
positiv
Paralleller genom P
exakt en
oändligt många
inga
Triangelns vinkelsumma
180°
mindre än 180°
större än 180°
Liknande trianglar
Många skalor
samma vinklar tvingar kongruens
samma vinklar tvingar kongruens
Representativ modell
planet
Poincarés skiva / övre halvplanet
sfären med identifierade antipoder
Absolut geometri
Satser som är oberoende av varje parallellpostulat. Detta är den gemensamma grund som euklidisk och hyperbolisk geometri delar mest direkt.
Euklidisk geometri
Det plana fallet: exakt en parallell genom en yttre punkt, likformiga men icke-kongruenta trianglar och vinkelsumman 180° i varje triangel.
Icke-euklidisk geometri
Ett samlingsbegrepp. Hyperbolisk geometri har oändligt många paralleller genom punkten; elliptisk geometri har inga.
Modell kontra bild
Vad räknas som en rät linje?
En geometri definieras av sina punkter, linjer, avstånd och axiom – inte av hur diagrammet ser ut på en euklidisk skärm. I Poincarés modeller representerar böjda euklidiska bågar hyperboliska räta linjer, eftersom de är geometrins geodeter.
Lokalt och globalt
Plant i liten skala, krökt i stor
Ett litet område av en slät krökt yta ser ungefär euklidiskt ut. Över större avstånd blir krökningen mätbar: trianglars vinkelsummor, omkretsar och geodeternas beteende avslöjar skillnaden.
Från kartor till rumtid
Geometrin blev ett empiriskt verktyg
Sfärisk geometri är oumbärlig för geodesi och astronomisk navigation. Riemannsk och lorentzsk geometri låter fysiken beskriva krökta rum och rumtid. Den allmänna relativitetsteorin använder varierande krökning och är därför inte bara ett av de tre konstant krökta fall som visas ovan.
Bevistexten följer T. L. Heaths engelska översättning, här återgiven på formell modern svenska och uppdelad i steg som lämpar sig för undervisning. Marginalhänvisningarna och konstruktionerna har kontrollerats mot David E. Joyces utgåva vid Clark University. Kommentarerna hålls åtskilda från Euklides egen argumentationskedja.
Varje fullständig konstruktion ritas dynamiskt ur sina geometriska beroenden. När ett bevissteg väljs bevaras källdiagrammet, samtidigt som de punkter, sträckor, cirklar, figurer och vinklar som används i just detta steg framhävs.