PL 
EnglishDomyślny
Українська🌐 Poincare Disk (Hyperbolic Geometry)
Drag points inside the unit disk to draw real hyperbolic geodesic arcs via circle-inversion geometry, building a hyperbolic polygon whose angle sum falls short of the Euclidean value. Compare with Euclidean lines and an approximate hyperbolic tiling overlay.
Podobne symulacje
🌐 Co przedstawia
Model dysku Poincarégo przedstawia całą nieskończoną płaszczyznę hiperboliczną wewnątrz skończonego euklidesowego dysku jednostkowego. W tym modelu hiperboliczne „proste” (nazywane geodezyjnymi) są reprezentowane albo jako średnice dysku, albo jako łuki okręgów, które spotykają się z okręgiem brzegowym pod dokładnie 90° (prostopadle do niego). Mając dwa punkty wewnątrz dysku, unikalną geodezyjną przez nie znajduje się, konstruując okrąg przez oba punkty, który przecina okrąg jednostkowy pod kątem prostym — ten symulator oblicza ten okrąg bezpośrednio, stosując standardowy wzór z geometrii inwersyjnej, a następnie rysuje poprawny łuk, zamiast przybliżać go linią prostą.
Ten model daje konkretny obraz załamania się piątego postulatu Euklidesa: mając daną geodezyjną i punkt na niej nieleżący, istnieje nieskończenie wiele odrębnych geodezyjnych przez ten punkt, które nigdy nie spotykają pierwszej („równoległych” w sensie nigdy nieprzecinających się) — a nie tylko jedna unikalna prosta równoległa, jaką gwarantuje geometria euklidesowa. Trójkąty hiperboliczne zbudowane z trzech krawędzi geodezyjnych mają też sumy kątów ściśle mniejsze niż 180°, przy czym „brakująca” wielkość (defekt kątowy) rośnie wraz z wielkością trójkąta, w przeciwieństwie do trójkątów euklidesowych, gdzie suma kątów zawsze wynosi dokładnie 180° bez względu na rozmiar.
Jak korzystać
- Kliknij wewnątrz dysku, aby umieścić do 6 punktów; przeciągnij istniejące punkty, aby je przesunąć. Symulator łączy je po kolei prawdziwymi hiperbolicznymi łukami geodezyjnymi, tworząc wielokąt hiperboliczny.
- Przełącz Pokaż euklidesowe proste linie, aby nałożyć zwykłe odcinki proste między tymi samymi punktami dla porównania z zakrzywionymi geodezyjnymi.
- Przełącz Pokaż nakładkę wypełnienia hiperbolicznego, aby zobaczyć rekurencyjnie odbijany wzór wypełnienia {7,3} (siedmiokątny rzędu 3) lub {5,4} (pięciokątny rzędu 4) dla kontekstu wizualnego — przybliżone, ale geometrycznie wiarygodne renderowanie prawdziwego wypełnienia hiperbolicznego, wyraźnie niebędące dokładnym wypełnieniem krawędź-w-krawędź opartym na przekształceniach Möbiusa.
- Obserwuj panel Statystyki pokazujący sumę kątów wielokąta, porównaną z ustaloną wartością euklidesową dla wielokąta o tylu samo bokach.
Czy wiesz, że?
Model dysku Poincarégo został spopularyzowany przez Henriego Poincarégo w latach 80. XIX wieku, ale leżąca u jego podstaw geometria hiperboliczna sięga niezależnych prac Jánosa Bolyaia i Nikołaja Łobaczewskiego z lat 20. i 30. XIX wieku, którzy pokazali, że istnieje w pełni samospójna geometria, w której piąty postulat Euklidesa po prostu nie obowiązuje. Holenderski artysta M. C. Escher wykorzystał model dysku Poincarégo (przedstawiony mu przez matematyka H. S. M. Coxetera) jako podstawę swojej słynnej serii drzeworytów „Circle Limit”, wypełniając dysk powtarzającymi się, kurczącymi się motywami ryb i aniołów/diabłów, które wszystkie reprezentują przystające kształty w prawdziwej przestrzeni hiperbolicznej, mimo że wyglądają na coraz mniejsze w kierunku krawędzi dysku.
O tej symulacji
Ten symulator implementuje model dysku Poincarégo geometrii hiperbolicznej. Mając dowolne dwa punkty umieszczone wewnątrz dysku jednostkowego, oblicza prawdziwą geodezyjną — łuk kołowy prostopadły do okręgu brzegowego (lub średnicę, w przypadku zdegenerowanym) — łączącą je, wykorzystując standardową konstrukcję z geometrii inwersyjnej, i podaje sumę kątów wynikowego wielokąta hiperbolicznego, która jest zawsze mniejsza niż wartość euklidesowa dla tej samej liczby boków.
🔬 Co przedstawia
Dla dwóch punktów wewnątrz dysku jednostkowego, unikalny okrąg przez nie przechodzący, który spotyka okrąg jednostkowy pod kątem prostym, znajduje się przez odbicie jednego punktu przez okrąg jednostkowy (inwersja okręgu) i rozwiązanie dla okręgu przechodzącego przez oba oryginalne punkty i punkt odbity. Łuk tego okręgu między dwoma punktami jest prawdziwą geodezyjną hiperboliczną.
🎮 Jak korzystać
Kliknij wewnątrz dysku, aby dodać do 6 punktów (przeciągnij, aby je przesunąć); kolejne punkty są łączone łukami geodezyjnymi, tworząc wielokąt hiperboliczny. Przełącz linie euklidesowe dla porównania i włącz nakładkę wypełnienia, aby zobaczyć przybliżone wypełnienie hiperboliczne {7,3} lub {5,4} renderowane jako kontekst wizualny, a nie dokładne wypełnienie oparte na przekształceniach Möbiusa.
💡 Czy wiesz, że?
Słynne drzeworyty „Circle Limit” M. C. Eschera wykorzystują dokładnie ten model: powtarzające się figury ryb i aniołów/diabłów kurczą się w kierunku krawędzi dysku tylko w euklidesowym wyglądzie — w rzeczywistej geometrii hiperbolicznej, którą reprezentuje model, każda powtórzona figura ma dokładnie taki sam rozmiar.
Najczęściej zadawane pytania
Czym jest geodezyjna w dysku Poincarégo?
Geodezyjna to hiperboliczny odpowiednik prostej: najkrótsza droga między dwoma punktami w przestrzeni hiperbolicznej. W modelu dysku Poincarégo geodezyjne są reprezentowane jako łuki okręgów przecinających brzeg dysku jednostkowego pod kątem prostym, lub jako średnice przez środek w szczególnym przypadku, gdy taki prostopadły okrąg degeneruje się do prostej linii.
Jak faktycznie obliczany jest łuk geodezyjny?
Mając dwa punkty wewnątrz dysku, jeden punkt jest odbijany przez okrąg jednostkowy za pomocą inwersji okręgu (odwzorowując punkt w odległości r od środka na odległość 1/r wzdłuż tego samego promienia). Okrąg przechodzący przez oba oryginalne punkty i ten odbity punkt automatycznie spotyka okrąg jednostkowy pod kątem prostym, a jego łuk między dwoma oryginalnymi punktami jest geodezyjną.
Dlaczego sumy kątów wielokątów hiperbolicznych są mniejsze niż wartość euklidesowa?
W geometrii hiperbolicznej suma kątów wewnętrznych trójkąta jest zawsze ściśle mniejsza niż 180 stopni, przy czym brakującą wielkość nazywa się defektem kątowym, a większe trójkąty mają większe defekty. Ten wzorzec rozciąga się na wielokąty: suma kątów n-kątnego wielokąta hiperbolicznego jest zawsze mniejsza niż wartość euklidesowa (n-2) razy 180 stopni, odzwierciedlając ujemną krzywiznę przestrzeni.
Co oznacza, że postulat równoległości nie obowiązuje tutaj?
Piąty postulat Euklidesa mówi, że przez punkt nieleżący na danej prostej można poprowadzić dokładnie jedną prostą do niej równoległą. W geometrii hiperbolicznej przez punkt nieleżący na danej geodezyjnej można poprowadzić nieskończenie wiele odrębnych geodezyjnych, które nigdy nie przecinają oryginalnej, dlatego geometrię hiperboliczną nazywa się geometrią nieeuklidesową.
Czy nakładka wypełnienia jest matematycznie dokładnym wypełnieniem hiperbolicznym?
Jest to uproszczone, geometrycznie wiarygodne przybliżenie zbudowane przez rekurencyjne umieszczanie przeskalowanych i pozycjonowanych wielokątów zgodnie ze znaną strukturą kombinatoryczną wypełnienia {7,3} lub {5,4}, a nie w pełni dokładne rekurencyjne zastosowanie grupy odbić hiperbolicznych (przekształceń Möbiusa). Ma na celu dać dokładne wrażenie wizualne tego, jak takie wypełnienia kurczą się w kierunku brzegu, a nie precyzyjną konstrukcję matematyczną.