Geometria nieeuklidesowa

Co się właśnie stało?

Ze szkoły znasz jedno „prawo": suma kątów trójkąta to zawsze $180^\circ$. To prawda — ale tylko na płaszczyźnie. Gdy trójkąt narysujesz na zakrzywionej powierzchni, suma jego kątów przestaje być stała: zależy od krzywizny tej powierzchni.

Trzy geometrie — trzy sumy kątów:

Na sferze (dodatnia krzywizna) trójkąt z wierzchołkiem na biegunie i dwoma na równiku ma trzy kąty proste: $90^\circ+90^\circ+90^\circ=270^\circ$. Na powierzchni siodłowej (ujemna krzywizna, geometria hiperboliczna) suma jest mniejsza od $180^\circ$.

Niezmiennik — nadmiar i defekt kątowy:

Odchylenie sumy kątów od $180^\circ$ — nadmiar na sferze lub defekt na siodle — jest wprost proporcjonalne do krzywizny $K$ powierzchni i pola $P$ trójkąta. Im większy trójkąt na kuli, tym bardziej suma jego kątów przekracza $180^\circ$.

Rewolucja XIX wieku:

Przez ponad dwa tysiące lat matematycy sądzili, że geometria Euklidesa (z sumą kątów $=180^\circ$) jest jedyną możliwą i „prawdziwą" geometrią przestrzeni. Próbowano wyprowadzić jego piąty postulat (o prostych równoległych) z pozostałych — bezskutecznie. Przełom nastąpił, gdy Nikołaj Łobaczewski (1829), János Bolyai (1832) i Bernhard Riemann (1854) niezależnie odkryli spójne geometrie nieeuklidesowe. Nie były to „błędne" geometrie, lecz równie logicznie spójne jak euklidesowa — po prostu zależne od krzywizny przestrzeni.

Dlaczego to ważne:

Odkrycie zrewolucjonizowało matematykę i filozofię: przestrzeń nie musi być „płaska". Geometria różniczkowa Riemanna stała się matematycznym językiem ogólnej teorii względności Einsteina, w której grawitacja to zakrzywienie czasoprzestrzeni — trójkąt kątów innych niż $180^\circ$ to dziś fizyka, nie tylko abstrakcja.

Po co Ci to na maturze:

Reguła „suma kątów trójkąta = $180^\circ$" obowiązuje w geometrii euklidesowej — i taka jest na maturze. Ale warto wiedzieć, że to aksjomat płaszczyzny, a nie prawda absolutna: zmiana piątego postulatu daje inne, równie poprawne geometrie.

Zapamiętaj: suma kątów trójkąta zależy od krzywizny powierzchni — $=180^\circ$ na płaskiej, $>180^\circ$ na sferze (dodatnia krzywizna), $<180^\circ$ na siodle (ujemna, geometria hiperboliczna).