Euklids parallelitetspostulat: Definition og betydning i geometri
Forstå Euklids parallelitetspostulat: klar definition, historisk betydning og konsekvenser for euklidisk og ikke‑euklidisk geometri — essentiel læsning for studerende og lærere.
I geometri er parallelitetspostulatet et af aksiomerne i euklidisk geometri. Nogle gange kaldes det også Euklids femte postulat, fordi det er det femte postulat i Euklids Elementer.
Postulatet siger, at:
Hvis du skærer et linjestykke med to linjer, og de to indvendige vinkler, som linjerne danner, er mindre end 180°, så vil de to linjer til sidst mødes, hvis du forlænger dem længe nok.
Det geometriske område, som følger alle Euklids aksiomer, kaldes euklidisk geometri. Geometrier, som ikke følger alle Euklids aksiomer, kaldes ikke-euklidisk geometri.
Formuleringer og ækvivalente udsagn
Selv om Euklids oprindelige formulering lyder, som ovenfor, findes der flere udsagn, der er logisk ækvivalente til dette postulat — det vil sige, hvis ét af dem gælder i et geometrisk system, så gælder de andre også. De mest kendte er:
- Playfairs aksiom: Givet en linje l og et punkt P uden for l, findes der præcis én linje gennem P, som ikke skærer l (altså én parallel linje).
- Vinkelsummen i en trekant: Summen af de tre indre vinkler i enhver trekant er 180° (eller π radianer).
- Eksistens af rektangler: Der findes figurer med fire rette vinkler (rektangler).
Historie og forsøg på at bevise postulatet
Gennem århundreder forsøgte mange matematikere at bevise Euklids femte postulat ud fra de øvrige mere intuitive aksiomer — fordi det virkede mindre åbenlyst end for eksempel at to punkter bestemmer en linje. Men alle sådanne forsøg mislykkedes, og i begyndelsen af 1800-tallet viste en række opdagelser, at postulatet er uafhængigt af de øvrige euklidiske aksiomer: både hyperbolisk og elliptisk geometri kan konstrueres, hvor de andre aksiomer holder, men hvor femte postulat ikke gør.
Vigtige bidrag kom fra matematikere som Saccheri og Lambert, og endeligt fra Lobachevskij og Bolyai, som uafhængigt udviklede hyperbolsk geometri. Senere viste modeller som Beltrami-, Poincaré- og projektionale modeller, at ikke-euklidiske geometrier er konsistente, så længe den euklidiske aritmetik selv er konsistent.
Konsekvenser i euklidisk geometri
Antagelsen om Euklids postulat fører til en række velkendte og nyttige egenskaber i plane geometrier:
- Unik parallel: Gennem et punkt uden for en given linje går der præcis én parallel linje.
- Trekantens vinkelsum: Alle trekanter har vinkelsum = 180°.
- Skalerbarhed og ligedannede trekanter: Ligheds- og skaleringsbegreber fungerer på den sædvanlige måde (f.eks. proportioner mellem sider i ensvinklede trekanter).
- Areal- og trigonometriformler: Mange standardformularer for areal, cosinus- og sinusrelationer bygger på euklidisk baggrund.
- Inddeling i rette vinkler og rektangler: Eksistens og egenskaber ved rektangler og kvadrater følger direkte.
Ikke-euklidiske geometrier og deres forskelle
I ikke-euklidisk geometri afviger mindst ét af Euklids aksiomer — oftest det femte. De to hovedtyper er:
- Hyperbolsk geometri: Gennem et punkt uden for en linje går der uendeligt mange linjer, som ikke skærer den givne linje (altså mange "parallele"). Trekanters vinkelsum er mindre end 180°.
- Elliptisk geometri (sphærisk geometri): Der findes ingen parallelle linjer; alle "linjer" (store cirkler på en kugle) skærer hinanden. Trekanters vinkelsum er større end 180°.
Denne forskel har store konsekvenser for fx kortprojektioner, kosmologi (rummets geometri) og teoretisk matematik.
Hvorfor postulatet stadig betyder noget
Selvom moderne matematik accepterer, at man kan vælge forskellige aksiomsystemer, er Euklids postulat centralt for den klassiske plane geometri, som bruges i mange praktiske anvendelser: ingeniørarbejde, arkitektur, grundlæggende undervisning i geometri og i algoritmer inden for computergrafik. At kende postulatets status og konsekvenser hjælper også til at forstå, hvorfor andre geometrier opfører sig anderledes.
Samlet set er Euklids parallelitetspostulat ikke blot et teknisk udsagn, men en grundlæggende idé der adskiller euklidisk geometri fra alternative geometrier og som har både historisk og praktisk betydning.
Hvis summen af de indre vinkler α (alpha) og β (beta) er mindre end 180°, vil de to linjer skære hinanden et sted, hvis de begge forlænges til uendelig.
Historie
Nogle matematikere mente, at Euklids femte postulat var meget længere og mere kompliceret end de fire andre postulater. Mange af dem mente, at det kunne bevises ud fra de andre enklere aksiomer. Nogle matematikere meddelte, at de havde bevist sætningen ud fra de enklere sætninger, men det viste sig, at de alle tog fejl.
Playfairs aksiom
En anden nyere sætning, kendt som Playfairs aksiom, svarer til Euklids femte postulat. Det siger, at:
Hvis du har en ret linje og et punkt, der ikke ligger på denne linje, kan du kun tegne én ret linje gennem dette punkt, som ikke møder den anden ret linje.
Faktisk fandt matematikerne ud af, at dette aksiom ikke blot ligner Euklids femte postulat, men at det har præcis de samme implikationer. Matematisk set kaldes de to sætninger for "ækvivalente" sætninger. I dag anvendes Playfairs aksiom oftere af matematikere end Euklids oprindelige parallelle postulat.
Ikke-euklidisk geometri
Til sidst forsøgte nogle matematikere at bygge nye geometrier uden at bruge aksiometrierne. En form for ikke-euklidisk geometri kaldes elliptisk geometri. I elliptisk geometri er parallelpostulatet erstattet af et aksiom, der siger, at:
Hvis man har en ret linje og et punkt, der ikke ligger på denne linje, kan man ikke tegne en ret linje gennem dette punkt, som ikke til sidst vil krydse den anden ret linje.
Matematikere fandt ud af, at når de erstattede Euklids femte postulat med dette aksiom, var de stadig i stand til at bevise mange af Euklids andre teoremer. En måde at forestille sig elliptisk geometri på er ved at tænke på overfladen af en klode. På en globus ser længdegraderne ud til at være parallelle ved ækvator, men de mødes alle ved polerne. Sidst i det 19. århundrede blev det vist, at den elliptiske geometri er konsistent. Dette beviste, at Euklids femte postulat ikke var uafhængigt af de andre postulater. Herefter holdt matematikerne for det meste op med at forsøge at bevise det femte postulat ud fra de fire andre postulater. I stedet begyndte mange matematikere at studere andre geometrier, som ikke følger Euklids femte postulat.
Et andet aksiom, som matematikere nogle gange erstatter Euklids femte aksiom med, siger, at:
Hvis du har en ret linje og et punkt, der ikke ligger på denne linje, kan du tegne mindst to rette linjer gennem dette punkt, som ikke krydser den anden rette linje.
Dette kaldes hyperbolisk geometri.
En anden geometri fjerner blot Euklids femte postulat og erstatter det ikke med noget som helst. Dette kaldes neutral geometri eller absolut geometri.
Søge