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.