Piąty Postulat Euklidesa

Piąty postulat Euklidesa, znany również jako postulat równoległości, to fundamentalne twierdzenie geometrii klasycznej zawarte w dziele Elementy z około 300 roku p.n.e.

W ujęciu podręcznikowym orzeka on, że jeśli przez dwa punkty na płaszczyźnie przechodzi prosta, a poza nią znajduje się punkt, to przez ten punkt można poprowadzić tylko jedną prostą równoległą do danej.

Treść i sformułowanie postulatu

Oryginalne sformułowanie, które podał Euklides w pierwszej księdze Elementów, jest znacznie bardziej skomplikowane niż jego współczesne, szkolne wersje.

Euklides sformułował je następująco: „Jeśli linia prosta padająca na dwie linie proste tworzy kąty wewnętrzne po tej samej stronie mniejsze od dwóch kątów prostych, to te dwie linie proste, przedłużone nieograniczenie, spotkają się po tej stronie, po której są kąty mniejsze od dwóch kątów prostych”.

To sformułowanie budziło niepokój starożytnych uczonych ze względu na swoją długość i brak intuicyjnej oczywistości, którą posiadały pozostałe cztery postulaty.

Pięć postulatów Euklidesa

Aby zrozumieć, dlaczego piąty postulat Euklidesa stał się przedmiotem tak żarliwych sporów, należy zestawić go z pozostałymi założeniami systemu:

• I: Z dowolnego punktu do dowolnego punktu można przeprowadzić linię prostą.
• II: Ograniczoną linię prostą można przedłużyć w sposób ciągły w linię prostą.
• III: Z dowolnego środka i dowolnym promieniem można zakreślić okrąg.
• IV: Wszystkie kąty proste są sobie równe.
• V: Wspomniany wyżej postulat o przecinaniu się prostych (postulat równoległości).

Matematycy greccy, tacy jak Proklos (V wiek n.e.), wskazywali, że piąte twierdzenie brzmi raczej jak twierdzenie wymagające dowodunauk., a nie jak oczywiste założenie wstępne.

W Komentarzu do pierwszej księgi Elementów Euklidesa Proklos wyraził opinię, że postulat ten powinien zostać całkowicie usunięty z listy postulatów i przeniesiony do kategorii twierdzeń.

Historyczne próby dowodzenia postulatu

Piąty postulat historia to w dużej mierze kronika nieudanych prób wyeliminowania go jako niezależnego założenia.

Uczniowie Euklidesa i późniejsi badacze wierzyli, że musi on wynikać z czterech pierwszych postulatów, które wydawały się bardziej „naturalne”.

W świecie arabskim, w XI wieku, matematyk Ibn al-Haytham podjął próbę dowodunauk., opierając się na pojęciu linii prostej poruszającej się w sposób równoległy, co jednak wprowadzało nowe, nieudowodnione założenia.

Najbliżej przełomu był jezuita Girolamo Saccheri, który w dziele Euclides ab omni naevo vindicatus (Euklides oczyszczony z wszelkiej zmazy) starał się wykazać, że zaprzeczenie piątemu postulatowi prowadzi do sprzeczności.

Saccheri badał tzw. czworokąt Saccheriego i doszedł do wniosków, które dziś stanowią fundament geometrii hiperbolicznej.

Niestety, uznał on swoje poprawne wyniki za „absurdalne” i odrzucił je, nie zdając sobie sprawy, że właśnie odkrył nowy świat matematyczny.

Pojęcie postulatu równoległości w ujęciu Playfaira

Większość współczesnych uczniów nie poznaje oryginalnego tekstu Euklidesa, lecz tzw. aksjomat Playfaira, sformułowany przez Johna Playfaira w 1795 roku.

Brzmi on: „Na płaszczyźnie, przez punkt nieleżący na danej prostej, można poprowadzić co najwyżej jedną prostą do niej równoległą”.

Choć logicznie równoważny sformułowaniu Euklidesa, jest on znacznie prostszy w odbiorze i stał się standardem w edukacji geometrii.

Warto zaznaczyć, że status tego twierdzenia jako „dogmatu” naukowego zaczął słabnąć pod koniec XVIII wieku.

Matematycy zauważyli, że postulat równoległości jest specyficznym opisem przestrzeni „płaskiej”.

Pojawiło się pytanie: czy logikafiloz. matematyczna dopuszcza istnienie spójnych systemów, w których ten postulat nie obowiązuje?

Piąty postulat jako dogmat metodologiczny

W filozofii naukifiloz. przypadek piątego postulatu jest często przywoływany jako przykład upadku dogmatyzmu racjonalistycznego.

Immanuel Kantfiloz. w Krytyce czystego rozumu (1781 r.) twierdził, że geometria euklidesowa jest formą a priori naszej naoczności, co oznacza, że umysł ludzki nie może postrzegać świata inaczej.

Odkrycie geometrii nieeuklidesowych podważyło to twierdzenie, pokazując, że to, co wydaje się koniecznością myślową, może być jedynie nawykiem wynikającym z ograniczonego doświadczenia.

Matematycy tacy jak David Hilbert, w swoim dziele Grundlagen der Geometrie (Podstawy geometrii, 1899 r.), dokonali ostatecznej aksjomatyzacji dziedziny.

Hilbert wykazał, że piąty postulat Euklidesa jest niezależny od pozostałych aksjomatów.

Oznacza to, że nie można go ani udowodnić, ani obalić przy pomocy pozostałych założeń — wybór należy do badacza i zależy od tego, jaki model rzeczywistości chce opisać.

Współczesna naukanauk. przyjmuje, że geometria euklidesowa jest doskonałym przybliżeniem dla małych odległości (skala ziemska).

Jednak w skali kosmologicznej, gdzie masa i energia zakrzywiają czasoprzestrzeń, postulat równoległości w klasycznym brzmieniu przestaje obowiązywać.

Tym samym dogmat euklidesowy stał się jedynie szczególnym przypadkiem szerszej teoriinauk. przestrzeni.

Zastosowania i konsekwencje praktyczne

Choć spór o piąty postulat wydaje się czysto teoretyczny, jego rozstrzygnięcie miało kolosalne znaczenie dla technologii.

Bez geometrii nieeuklidesowych niemożliwe byłoby precyzyjne działanie systemów nawigacji satelitarnej (GPS).

Sygnały przesyłane przez satelity muszą uwzględniać zakrzywienie czasoprzestrzeni, co jest bezpośrednim zastosowaniem geometrii Riemanna.

Również w sztuce i architekturze odrzucenie dogmatu euklidesowego otworzyło nowe perspektywy.

Prace M.C. Eschera często wykorzystują reguły geometrii hiperbolicznej do tworzenia obrazów, które wydają się sprzeczne z naszą codzienną intuicją.

Współczesna fizyka cząstek elementarnych również operuje na przestrzeniach wielowymiarowych, które nie podlegają klasycznemu postulatowi równoległości.

FAQ

Czy piąty postulat Euklidesa jest prawdziwy?

W systemie geometrii euklidesowej jest on prawdziwy z definicjifiloz. (jako aksjomat). Jednak w sensie fizycznym, przestrzeń kosmiczna może nie spełniać jego założeń, co czyni go nieprawdziwym w skali całego wszechświata.

Dlaczego Euklides w ogóle sformułował ten postulat?

Euklides potrzebował tego założenia, aby móc dowieść wielu twierdzeń dotyczących prostych równoległych i sumy kątów w trójkącie. Bez niego jego system geometryczny byłby niekompletny.

Jaka jest różnica między aksjomatem a postulatem?

W tradycjipot. antycznej aksjomat był prawdą ogólną, dotyczącą wszystkich nauknauk. (np. „całość jest większa od części”), natomiast postulat był założeniem specyficznym dla danej dziedziny, w tym przypadku geometrii.

Kto jako pierwszy udowodnił, że piątego postulatu nie da się dowieść?

Za ostateczne potwierdzenie niezależności tego postulatu uznaje się prace Eugenio Beltramiego z 1868 roku, który skonstruował modele geometrii nieeuklidesowych wewnątrz geometrii euklidesowej.

Czy istnieją inne wersje tego postulatu?

Tak, istnieje wiele twierdzeń równoważnych, takich jak twierdzenie, że suma kątów w każdym trójkącie wynosi 180 stopni lub twierdzenie Pitagorasa. Jeśli przyjmiemy jedno z nich, możemy dowieść piątego postulatu.

Problem piątego postulatu Euklidesa ukazuje ewolucję pojęcia „dogmatu” w nauce — od nienaruszalnego fundamentu, przez przedmiot krytycznych badań, aż po narzędzie modelowania rzeczywistości.

Historia ta pokazuje, że systemy logiczne, choć wewnętrznie spójne, są ograniczone przez wstępne założenia, których prawdziwości nie da się dowieść wewnątrz tych systemów.

Współczesna matematyka nie szuka już „jedynego prawdziwego” postulatu równoległości, lecz bada strukturę różnych światów, które wynikają z przyjęcia odmiennych aksjomatów.