Euklidov piaty postulát — paralelný postulát: definícia a význam
Euklidov piaty — paralelný postulát: jasná definícia, historický kontext a jeho význam pre euklidovskú a neeuklidovskú geometriu.
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í.
Ak je súčet vnútorných uhlov α (alfa) a β (beta) menší ako 180°, obe priamky sa niekde pretnú, ak sú obe predĺžené do nekonečna.
História
Niektorí matematici sa domnievali, že Euklidov piaty postulát je oveľa dlhší a zložitejší ako ostatné štyri postuláty. Mnohí z nich si mysleli, že sa dá dokázať z ostatných jednoduchších axiómov. Niektorí matematici vyhlásili, že ho dokázali z jednoduchších postulátov, ale ukázalo sa, že sa všetci mýlili.
Playfairova axióma
Ďalšie novšie tvrdenie známe ako Playfairova axióma je podobné Euklidovmu piatemu postulátu. Hovorí, že:
Ak je daná priamka a bod, ktorý neleží na tejto priamke, môžete cez tento bod narysovať len jednu priamku, ktorá sa nestretne s druhou priamkou.
V skutočnosti matematici zistili, že táto axióma je nielen podobná Euklidovmu piatemu postulátu, ale má úplne rovnaké dôsledky. Z matematického hľadiska sa tieto dva výroky nazývajú "ekvivalentné" výroky. Playfairovu axiómu dnes matematici používajú častejšie ako pôvodný Euklidov paralelný postulát.
Neeuklidovská geometria
Nakoniec sa niektorí matematici pokúsili vytvoriť nové geometrie bez použitia axióm. Jeden druh neeuklidovskej geometrie sa nazýva eliptická geometria. V eliptickej geometrii je paralelný postulát nahradený axiómou, ktorá hovorí, že:
Ak je daná priamka a bod, ktorý neleží na tejto priamke, nemožno cez tento bod narysovať priamku, ktorá by nakoniec nepretínala druhú priamku.
Matematici zistili, že keď nahradili Euklidov piaty postulát touto axiómou, stále boli schopní dokázať mnohé z ostatných Euklidových tvrdení. Jedným zo spôsobov, ako si predstaviť eliptickú geometriu, je predstaviť si povrch zemegule. Na glóbuse sa zdá, že dĺžkové čiary sú na rovníku rovnobežné, ale všetky sa stretávajú na póloch. Koncom 19. storočia sa ukázalo, že eliptická geometria je konzistentná. Tým sa dokázalo, že Euklidov piaty postulát nie je nezávislý od ostatných postulátov. Potom sa matematici väčšinou prestali snažiť dokázať piaty postulát na základe ostatných štyroch postulátov. Namiesto toho mnohí matematici začali študovať iné geometrie, ktoré sa neriadia Euklidovým piatym postulátom.
Ďalšia axióma, ktorou matematici niekedy nahrádzajú Euklidovu piatu axiómu, hovorí, že:
Ak máte danú priamku a bod, ktorý neleží na tejto priamke, môžete cez tento bod narysovať aspoň dve priamky, ktoré sa nakoniec nebudú pretínať s druhou priamkou.
To sa nazýva hyperbolická geometria.
Iná geometria jednoducho odstraňuje Euklidov piaty postulát a ničím ho nenahrádza. Nazýva sa neutrálna geometria alebo absolútna geometria.
Prehľadať