V geometrii je paralelný postulát jednou z axióm euklidovskej geometrie. Niekedy sa nazýva aj Euklidov piaty postulát, pretože je piatym postulátom v Euklidových Elementoch.

Postulát hovorí, že:

Ak úsečku pretnete dvoma priamkami a dva vnútorné uhly, ktoré tieto priamky vytvárajú, sú menšie ako 180°, potom sa tieto dve priamky nakoniec stretnú, ak ich dostatočne predĺžite.

Oblasť geometrie, ktorá sa riadi všetkými Euklidovými axiómami, sa nazýva euklidovská geometria. Geometrie, ktoré sa neriadia všetkými Euklidovými axiómami, sa nazývajú neeuklidovská geometria.

Ekvivalentné formulácie

Paralelný postulát má viacero logicky ekvivalentných foriem, z ktorých najznámejšie sú:

  • Playfairov postulát: Pre danú priamku a bod mimo nej existuje práve jedna priamka, ktorá je s danou priamkou rovnobežná.
  • Uholový súčet v trojuholníku: Súčet vnútorných uhlov ľubovoľného trojuholníka je rovný 180° (piatečná uholová verzia).
  • Podobnosť trojuholníkov: Všeobecné pravidlá pre zhodu a podobnosť trojuholníkov (napr. že rovnaké vnútorné uhly dávajú podobné trojuholníky) vyplývajú tiež z postulátu o rovnobežnosti.

Dôsledky v euklidovskej geometrii

  • Existencia a jedinečnosť priamky rovnobežnej s danou priamkou pre ľubovoľný bod mimo nej.
  • Každý trojuholník má súčet vnútorných uhlov 180° a existujú obdĺžniky a štvorce s pravými uhlami.
  • Mnohé základné vetvy geometrie – napr. vlastnosti rovnobežných priamok, transverzály, podobnosť a mnohé konštrukčné postupy – sú možné len pri platnosti paralelného postulátu.

Historické poznámky

Paralelný postulát bol v Euklidových Elementoch uvedený ako samostatný postulát, pretože sa nedá ľahko odvodiť zo zvyšku postulátov. Počas storočí mnohí matematici sa pokúšali prejaviť, že piaty postulát je nadbytočný (t.j. že možno ho odvodiť z ostatných). Medzi známe pokusy patria práce Girolama Saccheriho a Johanna Heinricha Lamberta v 18. storočí, ktorí skúmali „alternatívne“ možnosti a vlastnosti výsledných geometrií.

V začiatku 19. storočia nezávisle od seba vznikli plne rozpracované neeuklidovské geometrie: hyperbolická geometria (Nikolaj Lobachevskij, János Bolyai) a eliptická/sférická geometria. Eugenio Beltrami (1868) a neskôr Felix Klein a Henri Poincaré poskytli modely, ktoré ukázali, že hyperbolická geometria je konzistentná, ak sú konzistentné Euklidove axiómy — to znamenalo, že paralelný postulát nie je logickým dôsledkom ostatných Euklidových axiómov, ale nezávislým axiómom.

Význam a použitie

Paralelný postulát je jedným z pilierov klasickej (euklidovskej) geometrie, ktorá tvorí matematický základ pre inžinierstvo, architektúru, navigáciu a mnohé aplikácie každodenného života. Zároveň štúdium dôsledkov jeho odmietnutia viedlo k objavu neeuklidovských geometrií, ktoré sú kľúčové pre modernejšie oblasti matematiky a fyziky. Napríklad v obecnej teórii relativity sa priestor–čas modeluje ako zakrivená (neeuklidovská) geometria, kde Euklidove pravidlá, vrátane postulátu o rovnobežnosti, platia len lokálne alebo vôbec.

Krátke zhrnutie

  • Paralelný postulát (Euklidov piaty postulát) určuje správanie priamok, ktoré sú „takmer“ rovnobežné — hovorí, že ak vnútorné uhly tvoria menej než 180°, priamky sa pretínajú.
  • Existujú viaceré ekvivalentné formulácie (napr. Playfairov postulát alebo súčet uhlov v trojuholníku = 180°).
  • Jeho nezávislosť od ostatných euklidovských axiómov viedla k rozvoju nový́ch a dôležitých oblastí matematiky — neeuklidovských geometrií.